序

半个世纪以来, 航天动力学的研究取得了较为丰硕的成果, 中国航天走出了一条独立自主的发展道路, 先后成功实现了\东方红一号" 卫星、载人航天工程和探月工程三大里程碑的跨越. 2012 年6 月29日, 神舟九号飞船与天宫一号目标飞行器载人交会对接任务的顺利完成, 标志着我国航天技术水平又向前迈进了一大步. 航天器和运载火箭作为体现航天技术发展的主要载体, 其研制、发射和运行是一项庞大的系统工程, 而动力学分析、设计及试验验证则是航天器和运载火箭研制过程中的重要环节, 动力学建模、分析方法及试验技术的正确合理性直接影响着航天器和运载火箭的设计水平, 甚至决定着航天任务的成败.      

基于验前试验信息熵的测试性验证试验方案

产品在研制阶段存在大量的试验数据,为有效利用验前数据,降低测试性验证试验样本量,提出一种基于验前试验信息熵的测试性验证试验方案。该方案利用信息熵来度量研制阶段多次验前试验数据对测试性验证试验所起的作用,依据平均互信息熵和信息总量相等的原则,将多次验前试验数据等效成一次成败型数据。在此基础上,通过相容性检验方法确定验前数据与试验数据的相容性水平,并以Beta分布为验前分布,利用加权混合贝叶斯理论建立混合验后分布,之后,基于贝叶斯平均风险理论求解满足双方风险要求的试验方案。最后,以某型雷达发射分机为例,对其进行测试性验证试验研究,研究结果验证了该方案的有效性。     

模型飞行验证系统测控与信息传输技术研究

模型飞行验证系统是为更加有效地开展模型自由飞试验研究而设计的通用试验系统,测控(TT C)与信息传输系统是其信息保障的核心。本文在充分考虑模型自由飞试验特点的基础上,重点研究了模型飞行验证系统研制过程中的测控与信息传输技术,介绍了其工作原理及实现方法,并对部分结果进行分析。     

基于Petri网的电力系统监控数据多点校核方法

由于人为误操作和数据库系统异步因素,电力系统监控数据存在错误风险,需要对监控数据进行多点校核来保障其一致性和正确性,可靠的监控数据保证电力系统的安全运转;然而多点校核业务流复杂且对数据精度要求高,目前的人工校核方法不仅成本高,且精度和效率低,不能保证整个监控数据的实时校核工作;为自动化监控数据多点校核过程,需要对整个业务流建模,针对该问题,提出一种基于Petri网的监控数据多点校核动态建模方法;首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点;然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型;最后,针对该模型提出一种化简技术对其进行化简,并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程。     

基于环境可信的关键档案保护系统的设计与实现

提出并实现了基于windOWS NTFS和FAT32文件系统的关键档案保护系统.该系统采用权限验证、环境可信验证,数据完整性验证和透明加解密等技术手段,对系统的环境信息进行检测并生成环境可信证书保存于USBKEY中.通过权限认证的可信用户只能访问相应权限的档案;木马和病毒无法对关键档案进行访问;脱离可信环境的档案由于无法进行认证将无法使用,从而实现了对关键档案的保护.测试结果表明,该系统能够很好地满足关键档案机密性、完整性以及防泄漏等需求,具有较好的可行性和实用性.     

基于果蝇算法和灰色神经网络的电子装备故障预测方法研究

针对电子装备故障数据小样本、非线性的特点,在相空间重构处理原始时间序列数据的基础上,基于k折交叉验证和果蝇算法优化灰色神经网络模型参数,从而提出一种基于果蝇算法和灰色神经网络的故障预测方法,并以某型雷达高压电源监测数据仿真结果为例验证其模型性能;实验结果表明,相比已有方法,该方法在全局优化、收敛速度、预测精度方面都具有一定优势。     

Effect of Time Delay on Binary Signal Detection via a Bistable System

The effect of time delay on binary signal detection via a bistable system in the presence of white or colored Gaussian noise is investigated. By defining the bit error rate based on the solution of the approximated Fokker- Planck equation, the detector performance is investigated theoretically and is verified by Monte Carlo simulation. It is shown that, when the system parameter or noise intensity is optimally chosen, the increasing time delay generally improves the system performance. It is also shown that it is more difficult to accurately predict the system performance with a larger time delay and correlation time. This may inspire more thorough investigations in cooperative effects of a nonlinear system and time delay on signal processing.     

对部分线性模型用惩罚最小二乘估计时最优光滑化的注记

部分线性模型也就是响应变量关于一个或者多个协变量是线性的, 但对于其他的协变量是非线性的关系\bd 对于部分线性模型中的参数和非参数部分的估计方法, 惩罚最小二乘估计是重要的估计方法之一\bd 对于这种估计方法, 广义交叉验证法提供了一种确定光滑参数的方法\bd 但是, 在部分线性模型中, 用广义交叉验证法确定光滑参数的最优性还没有被证明\bd 本文证明了利用惩罚最小二乘估计对于部分线性模型估计时, 用广义交叉验证法选择光滑参数的最优性\bd 通过模拟验证了本文中所提出的用广义交叉验证法选择光滑参数具有很好的效果, 同时, 本文在模拟部分比较了广义交叉验证和最小二乘交叉验证的优劣.     

两相自然循环系统静态流量漂移及其实验验证

本文基于均相模型,运用非线性分岔理论,计算预测了两相自然循环系统静态分岔(流量漂移)解图。定义了对应系统静态分岔点的理论最大输热能力限,讨论了实际流量漂移发生点。同时分析了系统的迟滞效应及系统压力、入口阻力等对分岔解图的影响。首次用针对性实验验证了两相自然循环静态分岔及其迟滞现象;对有关参数效应亦进行了实验验证研究。