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

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

插装式液控能源选择阀的设计与分析

针对液压系统油源的安全性及可靠性问题,提出油源冗余设计方法,即多油源供给多负载,当某一油源发生故障时能源选择阀切断故障油源,由其他油源给负载提供基本液压能源,系统能完成必须的服役性能。针对液压系统能源选择阀存在的频繁换向与振动问题,提出一种插装式液控能源选择阀,其先导阀采用锥阀和可变阻尼形式,主阀采用三台肩且终端有缓冲功能的滑阀。建立了插装式液控能源选择阀的数学模型,分析了能源选择阀在两种模拟故障下的切换压力及切换时间、油源压力脉动等特性。理论分析结果表明,油源压力阶跃和线性变化时,某能源选择阀切换时间分别为5 ms和7 ms。当压力发生波动时,主阀不会发生振动,还可通过液控先导阀结构设计来控制切换压力和回复压力大小。     

冗余系统两种应力-强度分布模型的可靠度计算

本文运用应力-强度干涉理论,说明如何确定相同设备(或元件)构成的冗余系统的可靠性。讨论了冗余系统的并联和从n中取k两种结构形式的数学模型,推导了应力和强度服从瑞利分布的并联冗余系统,以及应力和强度分别服从麦克思韦分布和瑞利分布n中取k冗余系统的数学公式。最后,给出这两个模型在应力作用下,对应于不同的强度参数,设备或元件的可靠性曲线,直观地说明应力强度参数的改变对可靠性的影响。     

分布式容错系统的低冗余重构策略及拓扑结构研究

分布式系统需要采用合理的拓扑结构，才能在低冗余的条件下的实现容错，从而获得高的性能价格比。本文从分析的可靠性与重构策略的关系以及重构策略与系统拓扑系统入手，找出解决这一课题的一种途径，最后介绍了一个低余度高可靠实时重构的分布式容错系统的实现。     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

复合材料缠绕接头几种受力状态的解析分析

针对复合材料缠绕接头,利用Airy 应力函数,推导出与其相关的缠绕圆筒受内外压力的应力解析表达式,进而对缠绕圆拱形梁受弯矩以及受均匀拉伸载荷、不同材质复合材料多层缠绕圆筒承受内外压力的应力分析方法进行了研究。文中讨论了接头内圆弧处应力集中系数随外/内径比值和环向/径向弹性模量比值的增加情况,并对复合材料缠绕接头的两种增强方法,即施加预应力或混杂材质缠绕进行了探讨     

一种采用解析积分的直线单元的边界元法

本文提出一种采用解析的直线单元计算受有离心力的二维问题的边界元法,推导了相应直线单元的积分解析式。算例表明,本文方法能获得较高的数值精度,尤其在计算靠近边界的内点应力时,效果更好。     

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)对环境当量折算系数的影响规律,为飞机结构防腐控制及日历寿命研究提供了工程技术依据。