基于Hash运算的IPv6地址的分配与验证

目前在网络中，基于仿冒IP的攻击非常普遍，在IPv4中源地址验证比较困难，而在IPv6中，地址位较长，使得基于地址本身验证IP是否合法成为可能。Hash运算具有计算的单向性、寻找相同散列值的明文消息的困难性和对初值的敏感性，利用Hash运算生成IPv6地址，增加了伪造的难度，有效地防止了基于仿冒IP的攻击。     

基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

具有适应能力的微小系统——芯片级系统工程学研究领域的一场革命

当前，在电子工程技术类刊物上，经常会看到有关集成式微小系统及其技术发展现状方面的研究报道。本文立足于此技术发展的前沿，集中论述了当今世界高新技术领头雁美国的一些最新的设计范例，其设计思想和技术发展概念远远超出了当前所有基于静态元件的先进系统。文章首先提出了具有适应能力的微小系统概念，概述了实现这种片上系统所面临的技术难题和适用途径；讨论了美国国防高级研究计划局（DARPA）在推动这种未来元件和未来系统的研究中所起的作用；介绍了DARPA为促进这种系统的研究和生产所做的努力，并着重讨论了DARPA下属的微小系统技术办公室（MTO）目前正在实施的多个研究项目，其中包括新颖的电路体系结构（3DIC）、具有适应能力的成像与感觉判断装置（AFPA，VISA，MONTAGE，A—to—I），以及可重组的RF／微波装置（SMART、TFAST和IRFFE）等。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

准陶瓷Cf/SiC复合材料的制备

采用热重-差热(TG-DTA)、红外(IR)等分析测试手段,研究了聚碳硅烷(PCS)的裂解及化学转化过程,从理论上验证了先驱体聚碳硅烷(PCS)600℃裂解产物的准陶瓷特性.先驱体聚碳硅烷在600℃呈现一种半有机、半无机状态,其产物具有准陶瓷的特征,在大约750℃出现无机化转变高峰,固称其为准陶瓷.以碳布、准三维编织体、三维编织体为增强体,采用先驱体浸渍裂解(PIP)工艺在600℃制备了碳纤维增强碳化硅(Cf/SiC)准陶瓷基复合材料.结果表明,以三维编织体增强的准陶瓷Cf/SiC复合材料获得了较理想的结构、性能,所制备3D-Cf/SiC复合材料密度仅有1.27g/cm3,弯曲强度达到193.69MPa,室温拉伸强度为197.69MPa,600℃拉伸强度为167.33MPa.复合材料断口形貌分析表明,在低温600℃制备的准陶瓷Cf/SiC复合材料呈现明显的韧性断裂特征.     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

基于EPA的分布式控制系统研究与设计

在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验.     

基于优化理论的“惯性/卫星”制导炸弹纵向复合制导律

针对炸弹的弹体特性和"惯性/卫星"制导的特点,提出了中制导与最优末制导相结合的串联复合制导律。中制导通过程序实时解算最优攻角使炸弹升阻比最大以增加炸弹射程,末制导利用最优控制理论以最小的控制能量来保证足够大的弹着角,从而使得制导炸弹射程和杀伤威力都取得满意效果。并以某型"惯性/卫星"制导炸弹为例进行了仿真计算,仿真结果表明该方法有效可行,为"惯性/卫星"制导炸弹制导和控制系统设计提供了参考。     

计算机辅助设计管理数字库

本文介绍了美国“几何与智能计算实验室”开发的一个数字库的最初研究成果,该成果是用于支持计算机辅助的合作设计。目前作为工程设计的知识资料档案库,这个实验平台用于收集和归档公共领域的设计数据,以便供研究者和专业技术人员使用。我们预见这个成果将被推广以方便分布设计和制造人员的技术合作,并简化归档过程。基于知识的CAD对于设计人员来说是核心,他们通过对大量共同的传统数据进行研究,并且通过浏览在线数据表精确地检索组装到新产品上的所需的正确组件,该项研究试图寻找到提高计算方法所需要的关键要求,来论证复杂的几何图形和设计信息。该实验室把焦点集中在机械电子系统的设计和制造数据的归档和再使用上。本文介绍了这个研究课题的一个详细说明。一个关于实验平台最初结构的综述,一个关于概念化设计和设计检索的最初结果的说明。     

软件工程工具AS/SET与应用系统开发

计算机辅助软件工程(CASE)已经不仅仅是课堂上讲授、实验室中研究的科学。随着计算机应用软件需求量的日益增长及软件规模的日益扩大,为计算机用户提供一整套计算机辅助软件工程工具便具有了其战略意义。