面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

基于修正似然滤波的无人机编队相对导航方法

针对无人机编队相对导航系统中视觉导航传感器量测数据存在随机时延问题,提出一种能够处理多步随机延迟量测的修正似然容积卡尔曼滤波（ML-CKF）算法。用多个伯努利随机变量对量测模型进行修正以描述随机延迟;通过边缘化延迟变量来计算滤波的似然函数以从延迟量测中提取准确的信息;采用三阶球面-径向容积准则计算高斯加权积分以解决系统的非线性。滤波中的加权因子根据接收量测的特性进行调整,因此,所提修正似然滤波具有自适应卡尔曼滤波属性。利用罗德里格斯参数表示姿态误差,设计了基于修正似然容积卡尔曼滤波的相对导航滤波器。仿真结果表明：所提算法可以准确地估计出长机和僚机之间的相对位置、速度和姿态,且估计精度高于容积卡尔曼滤波和传统随机时延滤波。     

多功能水冷壁排管爬壁机器人的研制

介绍了一种新研制开发的永磁吸附式双履带结构爬壁机器人,主要应用于火力发电站的大型排管锅炉中的水冷壁排管壁面的清扫和检测,并能够在检测到壁面厚度小于预置的极限值处发出报警信号、打标记,具有较高的推广应用价值。文中阐述了该机器人的结构、磁路的优化设计、自动测厚、打标系统和控制系统的研制。目前,该机器人已经经过多次现场试验。各项指标均已达到设计要求。     

体表电位标测中的关键技术——心电信号的数字滤波

小波分析在数字滤波领域中具有广大的应用前景，尤其是对具有时变特性的人体心电信号。该文介绍了如何利用coiflet小波对心电信号进行多分辨率分解和重建，并解决了小波分析在心电信号滤波中会遇到一些实际问题，比如小波基函数的选取，确定心电信号及噪声的频域表现和小波在不同尺度下的通带。实验结果表明，用coiflet小波对心电信号进行数字滤波，能很好地消除心电信号中的三大干扰；基线漂移、工频干扰和肌电干扰。     

BMCMC法分析2009年墨西哥H1N1流感病毒与中国流感病毒的进化关系

从GenBank上下载所有1978-2009年在中国分离的H1N1亚型流感病毒的HA和NA基因及所有同期在中国分离的A型流感病毒(宿主包括人、猪和禽)的PB1、PB2、PA、NS、NP和M基因的序列,将这些基因序列与2009年在中国发生的墨西哥H1N1流感病毒的对应基因序列进行BMCMC法分析,绘制BMCMC进化树,结果揭示中国发生的墨西哥H1N1流感病毒的HA和NA基因相对独立于中国季节性H1N1流感病毒;M基因相对独立于中国国内的季节性流感病毒和禽源流感病毒;PB1基因包含在季节性流感病毒的分群内;PB2基因和NS基因与国内重排的流感病毒相关,但相对独立于国内的季节性流感病毒和禽源流感病毒;PA基因包含在国内禽流感病毒的分群内;NP基因则与国内传统的猪流感病毒相关,但相对独立于国内的季节性流感病毒和禽源流感病毒.     

股指期货与现货指数超前滞后关系研究

采用沪深300股指期货和沪深300现货指数的高频数据,运用协整理论和向量自回归模型对股指期货和现货指数的关系进行探讨。研究发现:沪深300股指期货和现货指数之间存在长期稳定的均衡关系,期货价格在价格发现中尚且不能占据主导地位,价格发现能力较弱。     

飞机服役环境当量加速腐蚀折算方法研究

文中依据飞机服役机场地面环境谱与腐蚀损伤等当量原则,建立了环境加速腐蚀当量折算关系,给出了飞机结构主要高强度铝合金材料的当量折算系数α及HR-α、T-α曲线。依据建立的当量折算关系编制的加速环境谱,对飞机铝合金构件进行加速腐蚀试验研究,得到了温度(T)、相对湿度(RH)对环境当量折算系数的影响规律,为飞机结构防腐控制及日历寿命研究提供了工程技术依据。     

航空发动机压气机叶片型面检测技术

叶片是关系到发动机性能的高负荷零件.严格控制叶片的制造质量,是叶片制造中的关键问题.因此,叶片的检测技术非常重要,在叶片制造的总工作量中叶片检测工作量占相当大的比例.     

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展--INDU网络,将Heisenberg不确定性原理应用于INDU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表.FINDU网络在军事多自主体系统中可以得到很好的应用.     

观察宇宙现象

很久以前,我们的祖先是通过肉眼观察遥远星星的方位变化来认知宇宙,世界上最早用科学和数学解释自然的是古希腊人,他们曾用星体的映射关系,测量出地球的尺寸是如此惊人地准确。