逻辑图计算机辅助设计

本文介绍了逻辑图计算机辅助设计,重点论述逻辑图设计接受器,该接受器和自动生成连线表算法结合在一起,在IBM PC机上得以实现。     

印刷线路板测试点自动生成算法研究

根据我国ＰＣＢ制造业的特点，提出了一种ＰＣＢ测试点自动生成的算法，该算法经厂家实用验证，效果良好，具有手工标注测试点无法比拟的优点．     

印制电路板可制造性设计评价模型与知识库

在成品率损失及相关设计特征的基础上，分析印制电路板制造过程，建立了可进行相对成本估算的可制造性设计四元组评价模型与可制造性设计知识库，并介绍了一个过程性知识的实现。最后，提出了一个基于计算机支持的协同工作平台的印制电路板互联网可制造性设计系统，实现了制造知识更新、设计制造信息共享的功能，并用实际示例对可制造性设计评价模型与知识库进行了验证。     

高速网络环境下数据的压缩存储

针对高速网络环境下数据的压缩存储问题,提出一种实用的解决方案,该方案采用软硬件相结合的压缩存储方法,在不影响网络速度的前提下,可以对数据进行实时的压缩存储.方案在硬件上使用汉帆公司（HIFN）的DR系列高性能无损数据压缩卡,该卡由多个9 630压缩芯片组成,采用拥有汉帆自主专利的增强型LZS技术,能够在满足压缩比的前提下提供快速的数据加解压功能.当硬件出现故障时,该方案将采用设备驱动程序中内嵌的eLZS软件模块对数据进行无缝的加解压处理,以保障系统的正常运行.为了使DR压缩卡在Windows环境下有效工作,开发DR压缩卡的Windows驱动程序.该方案在Linux及Windows环境下得到实现,在测试过程中表现出较好的性能.     

支持动态调节的保密性和完整性统一模型

针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历史过程,通过一定的安全转换规则动态调节主体的访问范围,实现BLP模型和Biba模型的有机结合,不仅保证了系统的保密性和完整性,而且使系统具有相当的灵活性和实用性.形式化描述了模型,并对模型的安全性进行相应的分析和证明.通过实例说明了模型的有效性和可用性.     

基于多域特征的JPEG图像盲检测算法

为了提高图像信息隐藏盲检测的检测率,实现了一种从多个域提取统计特征的JPEG图像通用隐写分析算法.采用联合概率密度来计算离散余弦变换(DCT)系数间的相关性,将其扩展到小波域和空域,提取特征值;并使用同样的方法提取校准图像的特征值.二者的差值组成最终的特征向量训练分类器.对5种典型的JPEG隐写术,使用3种不同图像库进行了一系列的实验,结果表明：在嵌入率只有0.05 bpnc时,该算法检测率大于72%,与目前几种典型的通用隐写分析算法相比,具有更好的检测效果;特征约简能弱化高维特征向量间的相关性,提高分类精确度并大大节约分类时间,是通用隐写分析系统框架中一个重要的步骤.     

基于Android智能移动终端的远程音频采集系统的实现

以Android系统的智能移动终端为平台,提出一个远程音频采集系统的设计方案,可实现在采集端将采集到的PCM编码的音频流传输到远程接收端,在接收端实时播放,并可同时编码保存为MP3或WAV格式的音频文件,详细介绍了音频流的采集、传输、实时播放、编码存储等功能的实现方法。     

利用安全协处理器加速实现IKEv2协议

通过对比因特网密钥交换协议IKEv2与IKE的不同之处,分析研究了IKEv2在实现复杂度,降低延迟方面的优越性。简要介绍了IKEv2的消息交换,各种密钥的生成过程,并提出了一种基于安全协处理器硬件加速功能的IKEv2的设计和实现方案, 它在计算各类密钥,会话消息的加解密,完整性校验等方面具有较快的处理速度。     

一种基于转交地址池的层次移动IPv6改进协议

层次移动IPv6协议中,链路转交地址和区域转交地址的重复地址检测操作需要的时间占IP层切换延时的绝大部分。提出了一种层次移动IPv6改进协议,引入链路转交地址池和区域转交地址池,从地址池直接获取转交地址,避免了重复地址检测操作。实验表明,相比层次移动IPv6协议,有效缩短了切换延时。     

GSM系统合法侦听体系结构研究和设计

在分析了合法侦听原理的基础上分析了合法侦听的接口HI1,HI2,HI3三种不同接口实现不同的功能。HI1主要实现鉴权, HI2主要实现被侦听用户的活动信息传送,HI3则是实现被侦听用户的通信内容的传送。根据三种接口给出了GSM系统的合法侦听体系结构和实现GSM合法侦听的系统模型。