拒绝服务攻击下的Euler Lagrange系统的安全控制

研究了Euler Lagrange系统在拒绝服务(denial of service, DOS)攻击其传感通信通道时的安全控制问题.为减少采样资源消耗，本文设计了基于事件触发机制的控制算法.针对DOS攻击活跃期和休眠期两种情况，设计了Lyapunov函数并证明了所提出的基于事件触发的算法能保证Euler Lagrange系统在DOS攻击下的稳定性.最终通过仿真算例验证了算法的有效性.     

Orbital stability close to asteroid 624 Hektor using the polyhedral model

We investigate the orbital stability close to the unique L4-point Jupiter binary Trojan asteroid 624 Hektor. The gravitational potential of 624 Hektor is calculated using the polyhedron model with observational data of 2038 faces and 1021 vertexes. Previous studies have presented three different density values for 624 Hektor. The equilibrium points in the gravitational potential of 624 Hektor with different density values have been studied in detail. There are five equilibrium points in the gravitational potential of 624 Hektor no matter the density value. The positions, Jacobian, eigenvalues, topological cases, stability, as well as the Hessian matrix of the equilibrium points are investigated. For the three different density values the number, topological cases, and the stability of the equilibrium points with different density values are the same. However, the positions of the equilibrium points vary with the density value of the asteroid 624 Hektor. The outer equilibrium points move away from the asteroid’s mass center when the density increases, and the inner equilibrium point moves close to the asteroid’s mass center when the density increases. There exist unstable periodic orbits near the surface of 624 Hektor. We calculated an orbit near the primary’s equatorial plane of this binary Trojan asteroid; the results indicate that the orbit remains stable after 28.8375?d.     

Sustained data recording system based on disk array

Most sustained data recording systems in many real-time fields are based on tape equipments. We have developed an innovative sustained data recording system based on disk array which consists of Array Controller Module (ACM), String Controller Module (SCM) and Main Controller Module (MCM). This system has a better performance and higher reliability than the traditional tape recorder and can be used conveniently in many areas of data recording, storing, playback, and remote backup. This novel recording system has been used in radar data recorder for spacecraft orbit tracking and satellite remote sensing data recording successfully.     

项目教学法在《微机系统实现与维护》课程教学中的应用探索

项目教学法突破传统的教学模式,在参与项目完成的过程中学生能更好、更快地掌握所学知识,学习的积极性和主动性大大提高。本文将项目教学法的学习模式引入到高职高专的《微机系统实现与维护》课程教学中,对如何把理论与实践有机地结合,如何提高学生的技能水平作了一定的探索。     

故障检测与分离的广义一致性算子法

本文提出了故障检测与分离的广义一致性算子法的一般形式。得出了两个故障可分离的充要条件和多个故障可分离的充要条件。最后给出了检测和分离故障的过程。     

一种简易的码同步提取方法

描述一种码同步信号的提取方法。根据靶场工作的实际需要 ,在分析码同步器现状的基础上 ,通过深入探讨某型飞行器遥测信息流的特点 ,总结出一种利用 BIΦ码码型特点提取码同步信号的方法。这种简易实用的方法 ,不需要锁相环技术就可以稳定可靠地实现所需的功能     

Net110网吧安全审计管理系统的设计与实施

信息时代对公安管理系统提出了新的挑战，Net110网吧安全审计管理系统充分利用互联网络的技术特点，通过公安监察部门的电脑系统集中，统一和高效地管理在城区分散的网吧。本文着重阐述了系统设计的基本原理，并以南昌市公安局为例，介绍了从需求分析、系统设计到系统实施的建设全过程。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

浮动壁火焰筒壁温试验和计算分析

对某浮动壁火焰筒的壁温进行了试验和计算分析。该火焰筒应用了新型的浮动壁结构和高效的冲击/发散复合冷却技术。壁温分布试验在全环形燃烧室试验台上进行,采用热电偶和示温漆测量。计算采用了稳态导热问题的有限元求解方法。研究分析表明,火焰筒壁温在材料的长期许用温度范围内,壁温计算反映了火焰筒壁温的分布规律和趋势。冲击/发散复合冷却方式的轴向壁温梯度小于缝槽气膜冷却方式,对降低热应力水平,延长火焰筒使用寿命有利。