摘要：针对工控系统面临的主要安全问题进行较为深入的分析,结合自主可控技术、可信计算技术、冗余容错技术,设计自主可信工控计算机、三模冗余可信执行装置,提出一种可信联锁互锁方法,探索一种实现工控系统安全的途径。实验结果表明,该系统能够完成对操作站关键安全属性的可信度量,能够确保执行装置每一步动作的安全,系统开销可控制在接受范围内。

摘要：本文介绍了一种关于便携式设备的无线充电系统,该系统采用了一对形状和结构各不相同的PCB线路板绕组作为能量转移装置。文章对无线充电系统的结构和原理做了详细阐述,为手机、MP3和笔记本电脑等便携式电子设备的传统充电系统引入了新的概念,并介绍了PCB线路板绕组线圈的设计思想和对Protel的二次开发。

摘要：嵌入式系统已经被广泛应用在计算机、自动控制等领域。简要介绍了嵌入式Linux操作系统的构成和特点,以及Linux驱动程序的涵义和分类。针对ARM嵌入式系统的硬软件平台和Linux操作系统提供的模块化资源,归纳出在ARM嵌入式平台中开发硬件接口驱动程序的一般性思路和方法,并在此基础上给出了ARM芯片同步串行接口驱动程序的模块构成,以及其设计实现流程。

摘要：面对当今猖狂的垃圾邮件发展事态,反垃圾邮件机制即邮件过滤技术也逐渐成为信息安全的焦点。而邮件过滤技术性能的好坏,关键在于对大量垃圾邮件样本的收集、学习与分析。该系统运用C#语言工具设计开发了具有蜜罐特征的垃圾邮件样本采集系统,实现了高效生成蜜罐邮箱、暴露蜜罐邮箱、查看样本信息的一体化功能。并且用户能够根据需求,自我配置垃圾邮件样本采集方案,能够随时生成蜜罐邮箱,并按照方案进行暴露,大大提高了垃圾邮件样本收集的时效性和广泛性,为各类垃圾邮件过滤机制提供多样的、新鲜的样本学习资料。

摘要：针对C4ISR分析与设计中建模手段的不足,提出了基于SysML对C4ISR系统的组成、接口与通信、功能、状态变迁、系统事件跟踪等进行建模的方法。在分析SysML四层元模型体系结构基础上,分析了SysML的语义与图形表示机制,探讨了SysML对C4ISR系统建模的支持作用,并以某防空指挥系统的建模为例,对系统的组成、接口与通信关系、系统功能、状态转移以及事件跟踪进行了描述,系统分析了基于SysML的C4ISR系统建模过程。对于提高C4ISR系统建模能力提供了一种可行的思路。