摘要：约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。

摘要：网络接口对于图像在局域网或因特网中传输起着关键作用。讨论了基于TCP/IP协议用于网络相机的网络接口,采用MAC控制器芯片和51单片机,实现了一种实用的、低成本的网络接口方案。给出了网络接口的硬件组成框图。针对具体的网络相机应用背景,讨论了接口相关协议的实现方法以及基于Winsock的编程接收,并对通过UDP协议传输图像时丢包和包失序现象产生的原因及处理方法进行了探讨。最后给出了在局城网环境下的实验结果。

摘要：内存泄漏是程序设计中经常出现的问题,会降低系统性能,甚至耗尽内存空间导致系统崩溃。文章采用反射和开放编译技术,对开放编译器OpenC++进行了扩展与改进,设计并实现了一个C/C++动态内存泄漏检测工具,以帮助开发和测试人员查找内存泄漏。

摘要：多通道界面旨在充分利用一个以上的感觉和动作通道来捕捉用户的意向,提高人机交互的自然性和高效性,其核心问题就是通道整合的问题。该文针对该问题提出了一个基于分层的任务模型的整合算法,该算法处理中涉及到程序运行状态表示、任务结构的设计和交互原语相关性表示等问题。针对以上3个问题展开讨论,在此基础上得到最后的算法。

摘要：基于程序源代码的设计模式自动发现是软件逆向工程的重要技术组成。以此为研究对象,提出了一种通用的设计模式自动发现框架,对该框架中的代码理解、模式表示、匹配算法等关键技术进行了研究。并在该框架下,分析比较了国际上三种先进解决方案在以上各技术方面的实现方法和各自特点。并对该项技术的发展前景进行了展望。

摘要：提出了2个适用于封闭使用了随机数作为阈下信息载体的阈下信道的理论模型,给出了该模型能够成功封闭阈下信道的几个条件,并根据这2个模型分析并设计了几种封闭阈下信道的方案。总结得出封闭阈下信道的2个重要切入点———会话密钥的随机性和隐私性,是封闭阈下信道成功与否的关键。

摘要：电子现金体制的最主要内容是提供支付双方相同的公平性,而现有方案几乎都不能提供完全的公平性。该文设计了一个新的电子支付协议,能够为支付过程提供完全的公平性。通过分析,该协议具有更好的不可否认性、公平性、保密性、完整性和认证性,提高了运行效率,对于电子商务应用发展有着重要的意义。

摘要：本文探讨了ADSPTigerSHARC101S的在基于线性约束最小二乘恒模算法(LSCMA)中的应用。首先介绍了最小二乘恒模算法基本原理和权值迭代公式,并对其进行线性约束然后介绍了ADSPTigerSHARC101S芯片的基本结构特征和它强大的功能并简单描述了其相应开发软件VisualDSP++3.0的功能及使用方法。给出了最小二乘恒模算法实现波束合成的具体流程图,在经过Matlab软件成功进行仿真模拟之后用VisualDSP++3.0设计了DSP程序,用C语言嵌套部分汇编语言的形式实现了用ADSPTigerSHARC101S进行迭代求权向量的过程。

摘要：结合TI公司C64系列DSP芯片指令并行处理的特点,在自主开发的以TMS320DM642为核心的嵌入式MPEG-4视频监控平台上,通过对编码软件进行C语言级、线性汇编级的优化,实现了高效运行的MPEG-4算法,完成了系统对视频编码的实时性要求。

摘要：随着行波管的大功率小型化,收集极的温度分布和采用的散热手段对行波管的正常工作有很大影响。利用ANSYS软件对行波管收集极的散热问题进行详细的模拟计算,分析比较了不同热流加载方式对收集极温度分布的影响。采用均匀热流加载定性地比较计算了自然冷却、风冷、单层水套和双层水套等不同散热条件下收集极的热耗散功率,计算结果与经验值一致,说明了所用模型和方法的正确性。模拟分析为行波管收集极的散热方案优化设计提供有效的参考依据和手段。