Linux操作系统中断与I／O设备驱动驱动程序设计与实现

本文通过对Ｌｉｎｕｘ设备驱动程序的分析和研究，探索了驱动程序设计的方法，并针对一简易时间中断板设计了中断与Ｉ／Ｏ设备驱动程序实例。     

概率安全评定方法的计算程序及其工程应用

考虑四种主要随机因素：载荷（作用应力）、缺陷尺寸、断裂韧性、流变应力等参数的不确定性，针对较为常见的焊接结构型式，如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型，基于双判据失效准则，编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产ＣＦ－６２钢制容积为１５３１ｍ３的球罐可能存在的缺陷进行了概率安全评定，通过对评定参数的敏感性分析，指出了影响其可靠性的关键因素。     

反向需求

“产品在不期望但又可能出现的非正常输入的情况下，能有正确的反应”，这是何国伟定义的反向需求，很多设计人员主要考虑“在规定的输入条件（所谓正常情况）下，能以规定概率（可靠性）完成规定功能”。于是，当非正常输入时，就可能出现危险事件，甚至导致严酷度等级很高的后果。因此在需求子工程中，应该力求需求（包括反向需求）的完备性，主要方法有：1）头脑风暴法；2）建立反向需求库；3）找原始设计需求的疏漏；4）分析危险事件发生的概率分布，发生概率与假设条件的一致性，并以毒奶粉，次级房贷等为例进行说明。     

中国核电厂操作员反应时认知模型的应用(英文)

讨论了一些有关人员行为与时间有依赖关系的可靠性模型；给出了中国核电厂操作员在清华大学培训模型机上的一些可靠性实验结果。此外，还根据已获得的实验数据计算了在ＡＴＷＳ事故条件下人的失误概率。     

依概率P修如新的贮存可靠性模型及其参数估计

对于一类长期贮存，一次使用的产品，通常保持其高可靠性的办法是对其周期检修。基于指数分布给出一个依概率P维修如新、周期检测期间贮存失效率增大的贮存可靠性模型，用最小二乘法对模型参数进行了估计。最后，给出一个应用实例演示了模型的有效性。     

非概率可靠性的工程应用研究

文章论述了非概率可靠性的提出、定义及发展现状等.对非概率可靠性的两种方法即稳健可靠性和区间可靠性的评估方法进行了对比,讨论了qmu(即裕量和不确定性的量化)方法与非概率可靠性的关系,给出了稳健可靠性在螺栓静强度分析中的应用实例,给出了区间可靠性在某库存部件的理化性能分析中的应用实例.     

最坏情况下的可靠性设计及可靠性试验

对安全性要求较高的产品进行可靠性设计时,为保证在最坏条件下仍然能够执行任务,要设定最坏环境及使用条件,不能疏漏,不能再采用3σ之类参数来分析其可靠性,要用允差[Y-,Y+]代替3σ的概率允差[Y′-,Y′+],这样设计出来的产品,在t=T的蜕化情况下能满足规定负载L的要求,则t=0时应能满足更高的负载L*的要求;可靠性试验时负载应该用L*再加上适当安全系数进行,不同于主要用试验设计的健壮设计。     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

Walker星座碰撞检测及碰撞概率分析

针对Walker星座的碰撞问题,在狭义碰撞的基础上,设计一种Walker星座碰撞检测模型。该模型考虑星座实际在轨构型发散与维持偏差,给出了Walker星座构型维持条件下的广义碰撞检测与碰撞概率计算方法,并提出了表征Walker星座构型防碰撞性能的安全度系数。利用该检测模型,在进行Walker星座设计时不仅可以避免狭义碰撞,还可以实现星座在构型维持阈值内的广义碰撞安全性分析,实现星座构型择优。通过案例仿真分析,证明了该系统模型的可行性及可靠性。     

星载GPS接收机RAIM算法性能及参数影响分析

为提高星载GPS接收机的故障鉴别与故障隔离能力,研究了星载接收机自主完好性监测(RAIM)算法的性能,以及参数选取对性能的影响;给出了RAIM算法的可用性及RAIM算法应用的可靠性衡量指标,并推导了内、外灵敏度的计算方法。设计了2种适合于高动态在轨应用环境的参数场景,并基于这2种场景,利用在轨数据分析了性能之间的相互制约关系及不同参数对性能的影响。仿真结果表明:若定位告警门限取300m,可以保证90%的RAIM算法可用性;对于20m的测量误差,能够保证80%的检测概率。将不同性能与先验参数的影响关系具体化,可为不同环境、背景下RAIM算法在工程应用中的参数选取及性能评估提供参考。