直接不交化方法在故障树定量分析中的应用

在布尔集合运算方法和不交化方法基础上,提出了单调关联故障树系统定量分析优化方法,通过故障树定量分析优化方法,可以方便地得到系统的可靠度、不可靠度、最小割集、最小路集、关键重要度等指标。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

Simultaneous measurement of multiple radiation-induced protein expression profiles using the Luminex(TM) system.

Space flight results in the exposure of astronauts to a mixed field of radiation composed of energetic particles of varying energies, and biological indicators of space radiation exposure provides a better understanding of the associated long-term health risks. Current methods of biodosimetry have employed the use of cytogenetic analysis for biodosimetry, and more recently the advent of technological progression has led to advanced research in the use of genomic and proteomic expression profiling to simultaneously assess biomarkers of radiation exposure. We describe here the technical advantages of the Luminex(TM) 100 system relative to traditional methods and its potential as a tool to simultaneously profile multiple proteins induced by ionizing radiation. The development of such a bioassay would provide more relevant post-translational dynamics of stress response and will impart important implications in the advancement of space and other radiation contact monitoring.     

系统群进化环境的模型设计

由于系统群复杂性的增加和有关实践的非成熟性,开发了一个系统化的方法来进行进化活动显得十分必要。本提出了一个系统群进化的综合环境的设计模型,介绍了该环境的设计思想,操作的流程,主要的模块以及如何运用系统构架知识来支持系统的进化,最后给出了该环境设计的高层结构。     

多尾鳍仿生航行器推进性能的三维数值研究

采用格子波尔兹曼方法及浸没边界法,发展了一套适用于自由游动的三维数值研究程序。进而以多尾鳍推进仿生航行器为原型,讨论了尾鳍数目、形状、材料刚度等构型参数及振幅、频率等尾鳍摆动参数对推进性能的影响。结果表明对称布置、反对称摆动的双尾鳍能够明显消除侧向力而避免航行器主体的横向晃动,且推力大于两个单独尾鳍的简单加和;在中等Reynolds数下,具有波动性质的柔性尾鳍不论是推进速度还是推进效率均优于刚性尾鳍;当尾鳍单纯摆动推进时,具有完整鳍面的半椭圆形尾鳍的推进性能优于后部有缺口的深叉形尾鳍。     

基于风洞试验的非定常空气动力模型识别

在某飞机模型大振幅风洞试验的基础上,分析讨论了单自由度叠加模型、动导数模型、混合模型和非定常模型的适用性.结果表明,单自由度叠加模型、动导数模型和混合模型在小攻角时均是可用的,在大攻角时都不能正确反映飞机的非定常迟滞特性;但与前两种模型相比,混合模型在中等攻角时仍然适用.对于非定常模型,无论在小攻角还是大攻角时,均能较好地反映耦合运动的非定常气动特性.     

高精度GPS定位的精密电离层模型

在长距离GPS实时动态定位(RTK)过程中,电离层延迟误差是影响定位精度的主要误差源.目前,由于采用全空间电离层模型精度不够,对长距离RTK定位主要采用双差电离层残差内插方式.本文提出一种新的电离层模型.该模型仅对每个卫星轨迹通过的电离层部分进行建模,可适用于高精度GPS定位.采用香港数据,结果表明,该模型可较好地模拟低纬度电离层变化,并可支持GPS厘米级定位精度.