基于退化数据与故障数据的导弹竞争故障预测

针对具有多元退化量的导弹竞争故障预测问题,分析了导弹退化特性,并在考虑突发故障与退化故障相关性的基础上,建立了具有多元退化量的导弹竞争故障预测模型。对导弹性能退化数据与突发故障数据进行统计推断,确定了数据的分布类型,在此基础上对竞争故障预测模型的参数进行了求解。针对导弹性能退化数据分布参数存在非线性、小样本等问题,运用最小二乘支持向量机(LS-SVM)预测模型对性能退化数据的分布参数进行了预测,得到了性能退化数据未来某一时刻的分布函数;针对退化量与突发故障的相关性,应用位置-尺度模型分析了退化量与突发故障的关系,得出了突发故障与退化量的相关参数,进而根据导弹竞争故障预测模型得到了导弹未来一段时间内的竞争故障概率。以贮存状态下的整批导弹为例,实现了导弹竞争故障预测,并与其他预测方法进行了对比,结果验证了方法的合理性与有效性。      

政策

<正>日本颁布《赛博安全基本法》体现了国家在赛博攻击应对中责任的《赛博安全基本法》于2014年11月6日在日本众议院正式会议上表决通过。另外,根据日本国家信息安全中心于11月12日向管辖关键基础设施运营商的相关省厅发布的文件显示,日本《赛博安全基本法》已于11月12日正式颁布,并从即日起开始实施。《赛博安全基本法》的颁布,使日本政府的赛博安全推进体制有了法律依据。     

低剂量电离辐射环境下微生物群落物种多样性的产生和维持机制

空间站微生物严重滋生现象表明：在低剂量电离辐射（Low-Dose Ionizing Radiation,LDIR）环境下,微生物群落物种多样性水平大大增加,其机制目前尚不清楚。在前期调查和具体实验观测的基础上,本研究首次提出LDIR能够使微生物群落中的物种产生不同程度的生长延迟效应,从而减小了物种之间的竞争排斥,诱导并维持了微生物群落的物种多样性。本研究基于经典的Lotka-Volterra竞争模型,将生长延迟时间环节引入其中,得到LDIR下微生物群落的演替模型,在Matlab/Simulink平台上进行大规模的计算机仿真实验,获得LDIR下微生物多样性产生和维持的动力学机制,得到结果可为认识低剂量电离辐射环境下微生物群落的演替过程提供科学的理论依据。     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

基于竞争博弈的多目标可靠性优化设计方法

针对目标权重选取的主观性问题,提出基于竞争博弈进行多目标可靠性优化设计的方法。首先,将各设计目标视为不同的博弈方,通过随机设计变量集映射（RDVSM）技术,将优化模型中的随机设计变量集分解为各博弈方所拥有的策略集;然后,各博弈方以自身收益为目标,结合性能测量方法在各自的策略集中进行单目标可靠性优化设计,并由所有的优化设计结果形成一轮博弈的策略组合;经过多轮博弈之后得博弈均衡解。压力容器和齿轮减速器2个案例的分析表明,所提方法有效避免了目标权重的选择,设计结果具有较高客观性。      

碳排放限制下的竞争航线货运机队规划研究

当今世界,绿色、低碳发展理念已成为一个重要趋势,为顺应这一趋势,提出了一种考虑碳排放限制的航空公司货机队规划方法。根据相关政策,计算得出各航空公司的碳排放配额,进而基于纳什均衡理论,从航线运力分配角度出发,建立了考虑碳排放限制的竞争航线货运机队规划模型。为探究各航空公司间的竞争关系,将航线市场份额设置为航班频次的函数并引入货运需求溢出量来表示航空公司受航线竞争的影响程度。最终设计了启发式算法并结合2021年国内部分航线运行数据进行了仿真验证。实验表明,模型相较于传统模型更加贴近实际,可作为航空公司在进行航线运营时的决策参考。     

基于多机理竞争退化的导弹贮存可靠性分析

远程转换开关、无线电高度表、雷达角自动装置、陀螺仪和弹上电源是影响导弹长期贮存可靠性的关键部件.明确导弹贮存剖面,通过定期检测得到长期贮存条件下各关键部件的特征电压值,然后采用移动标准偏差方法描述了各特征电压值的贮存稳定性水平,并对其进行退化规律拟合求得各关键部件贮存寿命.提炼出10套导弹产品的各关键部件贮存寿命,通过分布假设检验和分布参数辨识,求得各关键部件的贮存可靠度模型,最后根据导弹产品随机性、分散性、多机理竞争特点,分析导弹产品在悲观和乐观情况下的可靠性结果.本文的研究思路和结论能为长期贮存条件下贮存类产品的贮存可靠性评估、贮存维护方案研究提供技术支撑.     

操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.      

企业的竞争战略与生产系统的动态发展

当今日益变化的市场对传统的生产系统提出了挑战.为了面对变化的市场,形成自我竞争优势,增强企业的应变能力,本文认为生产系统应具有持续的动态发展性,需要从战略的角度重新审视生产管理.目前,柔性化制造原则在生产管理者们心中的地位越来越高,无论是传统的工业企业还是全新的工业企业,对柔性化系统运用的需求在增长.本文介绍了柔性化原则在为企业减少或重新定义不确定性时的应用.     

嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。