摘要：针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证模型;最后利用模型检测器对所构造的模型进行验证,当模型违反设定的安全验证属性时,检测到其中的硬件木马。利用Trust-HUB硬件木马测试基准的实验结果表明,该方法生成的形式化验证模型,能够有效检测寄存器传输级硬件设计中的木马。

摘要：介绍了雷电自动记录系统的硬件组成和软件组成。硬件组成包括雷电检测电路 ,单片机、时钟芯片、键盘、液晶显示、串行通讯接口、看门狗及电源监控电路。软件组成包括单片机软件及PC机软件 。

摘要：大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和可靠性验证需求。研究面向安全性和可靠性验证的形式化模型,形成有效的硬件安全性与可靠性形式化验证方法。该方法能够从门级对集成电路进行建模,生成细粒度的形式化模型,实现对安全性与可靠性的形式化验证,可以捕捉硬件设计中潜在的安全隐患。实验结果表明该验证方法对硬件设计中存在的侧信道和硬件木马导致的信息泄露和篡改有很好的检测效果。

摘要：对脉冲信号硬件处理电路和软件处理系统进行了设计,其中的硬件电路采用模块化设计,对信号的处理采用了自动增益和自动门槛以及迟滞比较。该电路有较好的适应性,抗干扰能力强。除了可以测脉冲频率外,还有专门测脉冲周期的电路。经现场应用,表明该系统比较简洁实用,能达到预期的目的。

摘要：针对一个可进行声波变密度测井的CBL(水泥胶结测井)组合仪设计了一种新的地面系统来取代原AT+数控测井系统。地面系统硬件由信号预处理电路、时序电路、信号分离和分配电路、接口电路、深度处理电路等组成;软件基于Win9x环境开发,采用Delphi和汇编语言混合编程。该地面系统现场实际使用效果良好。

摘要：数据包发生器被广泛地应用在多种网络环境下,对于网络测试和网络分析有着重要的作用。Winpcap是功能强大的数据包捕获和网络分析构架。针对这个构架,文章着重分析了数据包构造和数据包发送方法,设计实现了基于Winpcap的数据包发生器。

摘要：本文针对网络安全技术课程中的实验教学进行了研究。探讨当前网络安全实验教学中的问题,提出了利用虚拟机技术改进网络安全实验的思路。文中总结了VMware的特点,设计出了基于虚拟机技术的网络安全实验拓扑,并在拓扑的基础上例举了网络安全实验项目的实施。

摘要：设计一个对脉冲类测井仪器处理的简单系统 ,其中的硬件电路采用模块化设计 ,对信号的处理采用了自动增益和自动门槛 ,以及迟滞比较。该电路有较好的适应性 ,抗干扰能力强。同时给出与硬件配套的软件处理的几个简单程序。除了可以测脉冲频率外 ,还有专门测脉冲周期的电路。经过在江汉石油学院与江汉石油管理局仪表厂联合新研制的数控测井地面系统中的使用 ,表明该系统比较简洁实用 。

摘要：随着无线网络技术的普及与教育手段的革新,基于WLAN的无线网络构建已成为组建无线校园网的主流技术,是有线校园网网络延伸的重要手段之一。文章对无线局域网技术、无线校园网的构建原则和方法作了介绍,并以常州工学院将要组建的无线校园网为实例,提出了初步的设计方案。

摘要：利用新兴的嵌入式Internet技术 ,吸取国内外数控系统的优点 ,研制了一种基于嵌入式网络互连的新一代数控测井地面系统。该系统软件上采用客户 /服务器模式 ,利用装载在PC10 4上的客户机进行实时数据采集 ,安装在普通PC机上的服务器进行复杂的后期数据处理操作 ;硬件结构紧凑 ,外部连线少且操作简单 ,主要以挂接普通的生产测井仪器为主 ,并且很容易扩展和挂接新的测井仪。这种设计思路利用了嵌入式设备的实时性、低功耗等特点 ,还充分利用了现代PC的多媒体性能和高速的处理能力 ,以网络为中介 ,突破了空间限制 ,是对嵌入式Internet技术和现代数控测井技术的有效结合的成功尝试。