摘要：信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景下,围绕源代码中硬件木马的检测和验证展开了研究。基于硬件木马危害结果属性,在学术上提出基于安全风险的模型和验证规则,给出相应的描述形式,从理论上说明安全验证规则在减少验证盲目性、缩小可疑代码范围、提高评估效率的作用,实验表明,基于安全风险规则的验证,可以避免验证的盲目性和测试空间向量膨胀的问题,有效验证疑似硬件木马的存在和危害,对源代码安全评估是有一定效果的。

摘要：微流水技术是异步电路中实现流水线设计的有效方法，而路由芯片是高速通信网络中的重要硬件部件．文中首先介绍了微流水设计的基本结构和控制，然后介绍了采用蛀洞机制的路由芯片的工作机理，并给出了利用微流水实现 Ａ Ｓ Ｉ Ｃ路由芯片的具体应用，该芯片达到了简单、高效、可靠的设计目标。

摘要：在序列模式的分层算法框架下 ,从理论上分析并讨论了数据集的渐进性和算法参数的相似性为增量式挖掘带来的启发信息 ,提出了增量式挖掘算法设计的 4项原则 。

摘要：CAXA实体设计是一个具有开放式结构体系的三维CAD创新设计平台,为用户提供了多层次的二次开发方案.描述了CAXA实体设计专用化开发的整体理论框架,根据耦合程度的不同,用户可以选择应用程序集成、数据集成、基于DLL的集成和基于COM组件的集成4种方式对系统进行专用化开发;重点介绍了基于COM组件的二次开发的过程和方法,展示了部分开发成果.

摘要：路由算法在大规模并行处理机 (MPP)系统中对互连网络通信性能和系统性能的发挥起着关键作用 .深入分析消息在网络中寻径特性 ,提出“最佳寻径网 (BNR)”概念 ,根据 BNR构造全自适应路由算法设计框架 ,并给出一类 Mesh网络基于 BNR的全自适应路由算法 BBFAM的设计 .性能分析表明 ,BBFAM是一类高效全自适应路由算法 ,从而证明 BNR构造框架对网络设计人员确能提供有效的路由算法设计指导 .

摘要：自适应能力被普遍认为是移动应用成功的关键 .针对移动 IP环境提出一种应用自适应框架 .在该框架中 ,在移动主机和静态主机之间插入称为代理过滤器的中介 ,该中介能根据当前网络状态对到移动主机的数据进行动态自适应过滤 .对该框架的原理和设计进行了详细描述 .

摘要：结合协同式工厂设计系统中数据管理的要求和特点,给出了基于C/S模式的3层体系结构,并在此基础上提出数据管理的动态模型·详细讨论了模型数据及其拓扑关系的表示方法、模型设计版本的控制方法以及数据访问控制方法等·将这些方法应用于协同式工厂设计原型系统中,较好地解决了系统中数据管理的基本问题·

摘要：为了在不同商用3DCAD系统之间实现含设计意图的几何模型数据的网上实时交换,提出了一种基于XML描述的数据交换格式,可将参考面的定位数据与局部坐标、组成轮廓草图的图元数据与约束关系、特征的构建形式与构建过程以层次结构化的方式包含在交换数据中,满足了同构与异构CAD系统之间实时交换含设计意图的数据之需要.

摘要：为了提高可逆视频水印的嵌入容量和嵌水印视频质量,提出一种使用运动估计和预测误差直方图修改的算法.在嵌入端,根据视频中相邻帧间的内容关系,对每一帧使用运动估计获得其像素的预测误差,生成预测误差直方图,并通过扩展位于直方图峰值点的预测误差来嵌入水印;在每帧的嵌入过程中会产生少量用于提取水印和还原视频的头信息,包括运动向量和边界表等,将其与水印一起嵌入到该帧的参考帧中.在提取端,先获取参考帧中的水印和头信息并还原参考帧,保证提取操作具有正确的上下文,然后根据获取的头信息和还原后的参考帧提取当前帧中的水印.实验结果表明,采用文中算法获得的预测误差直方图具有高度的集中性,并且对像素值的修改十分微小,比其他可逆水印算法具有更大的嵌入容量和更好的嵌水印视频质量.

摘要：将遗传算法（ＧＡ）引入到计算机数学试验（ＣＥ）的研究中，在ＭｍＬＨ设计空间，给出新的位串编码规则及相应的遗传操作，从而得到一个构造ＭｍＬＨ设计的有效方法，与传统方法相比，它具有更高的构造效率比，并可将其用于其它准则的设计研究与构造中·