精密时统板的设计与应用

为完成某靶场末区测量系统的时间同步任务，达到高精度、小型化、可直接插入通用微机扩展槽的要求，提出了一种精密时统板的设计方法。这种板选取Ｉｎｔｅｌ公司８２５４－Ⅱ型可编程定时／计数芯片，运用无暂态数字锁相技术，产生高精度、高分辨率的时间信号，通过编程实现定时、守时并存贮、回显外触发精确时间值的功能。经硬件实验和Ｃ语言程序调试，满足技术指标。     

事件触发机制下多导弹固定时间编队控制

针对领-从弹编队结构中从弹对领弹的固定时间协同跟踪控制问题，同时为了节省通信带宽和弹载计算资源，基于多智能体一致性理论，给出了有向拓扑下基于事件触发机制的固定时间编队控制算法。用微分几何法将导弹运动模型精确线性化，为其设计固定时间编队控制协议，保证具有较大飞行速度的导弹编队在较短的时间内收敛到稳定的队形。在此基础上，引入事件触发机制，克服有向拓扑下Laplacian矩阵的不对称性和事件触发通信引入的误差项对系统稳定性带来的影响；为从弹设计了基于自身状态误差的事件触发函数，当状态误差满足所设定的阈值时，从弹在通信网络中更新并传递自身的采样信息，有效减少了弹载资源的占用率。利用代数图论、矩阵理论和Lyapunov稳定理论证明了编队控制系统的稳定性。数值仿真结果校验了算法的有效性和稳定性分析的正确性，适用于导弹编队的总体设计。     

具有欺骗攻击的主从神经网络混合 事件触发同步控制

文章提出了一种针对受到欺骗攻击的主从神经网络的混合事件触发同步控制方法。所提出的方法采用以伯努利分布为特征的混合事件触发方案，通过仅在必要时传输数据来减轻通信负担并处理不可预测的网络环境。记忆事件触发机制可以在系统响应状态的峰值和低谷期间传输更多的数据。通过考虑实际情况中的不确定性，将网络诱导时滞和随机发生的欺骗攻击纳入一个统一的框架，并构建了相应的李雅普诺夫泛函。其次，使用李雅普诺夫理论，推导出一个稳定性判据。最后，通过数值算例验证了所提出方法的有效性。     

Perl语言及其应用

Ｐｅｒｌ语言是适合于扫描任意的文本文件，并可以从中提出并报告有关信息。本文首先说明了Ｐｅｒｌ语言的使用范围，特性和基本数据类型语法，然后将Ｐｅｒｌ语言与常用扔Ｃ语文进行比较，总结了Ｐｅｒｌ语言的优点及弱点，最后介绍了作者以Ｐｅｒｌ语言为工具所做的一个应用软件－ｈｔｍ１２１ａｔｅｘ，并说明了作者使用Ｐｅｒｌ语言的体会。     

一种基于学习的高超声速飞行器智能控制方法

针对吸气式高超声速飞行器的飞行控制问题，提出一种基于学习的智能控制方法。为便于控制器设计，将飞行器动力学模型划分为速度子系统和高度子系统：为解决速度子系统控制输入受限的问题，提出一种基于强化学习的智能控制方案；对于考虑有限通信资源的高度子系统跟踪控制问题，提出一种基于事件触发的确定学习控制方案。该方案包含离线学习训练和在线触发控制两个阶段。首先在本地离线学习训练阶段获取并存储系统的未知动态知识，随后利用所获取的经验知识设计基于事件触发机制的在线触发控制器。本文所提方案基于学习的思想将离线学习训练获取的智能体和经验知识应用于在线控制，使得所提方案能够快速计算控制指令且通信资源占用少。仿真结果说明了所提出方法的有效性。     

基于HTML语言的多媒体E—MAIL系统

介绍了一个在ＩＮＴＥＲＮＥＴ上实现的基于ＨＴＭＬ语言的多媒体Ｅ－ＭＡＩＬ系统，提出了一个适合实现多媒体Ｅ－ＭＡＩＬ的体系结构，通过将ＨＴＭＬ语言和Ｅ－ＭＡＩＬ有机结合起来，能达到系统的标准化和开放性等要求。本文在ＳＧＩ ＩＮＤＹ上实现。     

众眼看宇宙

“斯皮策”红外空间望远镜在探索恒星形成区W5时，发现其空穴中心的大质量恒星比空穴边缘的恒星更老，从而揭示出一种新的恒星形成触发机制：中央恒星形成后，     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

基于Stateflow的TTE通信网络仿真和性能验证

时间触发以太网TTE(Time-Triggered Ethernet)是一种可应用于安全关键领域的高可靠性实时网络。研究分析TTE的通信机制和时钟同步过程涉及到的时序保持算法、压缩算法和时钟修正算法。在Matlab环境下,根据有限状态机理论对TTE协议进行形式化建模仿真,构建时间触发的网络通信仿真平台,得到在典型参数下TTE的时钟同步精度,并进一步完成TTE时间触发通信性能的仿真验证,为更深入的研究和应用提供了有力的支持。     

针对触发结构的硬件木马设计及检测技术研究

鉴于硬件木马攻击可能带来的巨大危害，硬件木马的信息攻防已成为集成电路发展所面临的新问题，文章对条件触发型硬件木马的设计及检测进行了研究；为模拟灵活触发以及低的触发率，设计并分析了3种不同触发特征的硬件木马，以丰富硬件木马研究样例，通过对触发条件的控制实验，实现了对目标载体特权位的攻击。在硬件木马检测方面，为了尽可能地消除硬件木马的威胁，通过分析触发特征及电路特性，有针对性地提出检测技术，通过仿真及实测验证，表明该检测技术可对硬件木马实现有效检测。