基于软件方法故障注入系统

基于软件故障注入方法,设计一个软件故障注入系统SFIS,提出动态故障库.建立适用于单粒子事件的故障模型.最后采用两台PC机串口通信,用SFIS采用断点中断实现瞬时故障的注入,采用单步中断实现永久故障的注入.     

软件实现的无人机故障注入系统

结合无人机的特点提出了一种基于软件的无人机故障注入系统实现方案,利用故障注入技术实时地模拟无人机机载设备的故障,演示机载设备在寿命试验中的快速失效过程;并构造了一个实用的故障注入工具UAVFI-01,考察无人机故障检测、隔离及系统重构的能力,测试其可靠性.在无人机动态测试过程中,故障注入试验结果表明了这种方案的正确性和可行性.     

软件实现的星载系统故障注入技术研究

结合软件故障注入的特点和星载系统的特殊性,给出了用于星载系统可靠性评测的软件实现的故障模型及其实现方案．该方法通过软件来模拟星载系统硬件由于太空辐射引起的单粒子事件,可以用来评测星载系统的可靠性及容错性．实验结果表明,本文提出的故障模型及其实现方案是可行的．     

软件工程技术在卫星故障诊断系统中的应用

阐述了运用软件工程工具Rational Rose辅助卫星网络化、组件化故障诊断系统平台开发的过程，用软件工程的思想体系实现了系统的开发．在软件工程的辅助开发下，使整个系统结构紧凑，布局合理，分工明确，稳定性和可靠性有很大提高．     

软件工程技术在卫星故障诊断系统中的应用

阐述了运用软件工程工具 Rational Rose 辅助卫星网络化、组件化故障诊断系统平台开发的过程,用软件工程的思想体系实现了系统的开发.在软件工程的辅助开发下,使整个系统结构紧凑,布局合理,分工明确,稳定性和可靠性有很大提高.     

基于IPO功能分解的嵌入式软件故障树分层构建方法

针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.     

基于软件差错相关的可靠性增长模型

通过考虑软件中差错的相关性,讨论了一种基于ＮＨＰＰ的新的软件可靠性增模型,并以ＭＬＬＦ、ＡＩＣ和均方误差为准则,将该模型与普通Ｓ型可靠性增长模型和延迟Ｓ型可靠性增长模型做了比较,得出了较为满意的结果。     

A fault injection model-oriented testing strategy for component security

A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities. A fault injection model was defined, and the faults were injected into the tested component based on the fault injection model to trigger security exceptions. The testing process could be recorded by the monitoring mechanism of the strategy, and the monitoring information was written into the security log. The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log. Lastly, some experiments were done in an integration testing platform to verify the applicability of the strategy. The experimental results show that the strategy is effective and operable. The detecting rate is more than 90% for vulnerability components. Foundation item: Project(513150601) supported by the National Pre-Research Project Foundation of China     

基于UML的智能故障诊断系统的开发

将传统的软件工程方法与面向对象的软件工程方法相结合,利用UML(统一建模语言)为工具,采用面向对象的方法对智能故障诊断系统进行了分析、设计和建模,从而使智能故障诊断系统的复杂性降低,更便于管理。     

基于UGIS图形软件系统的研究

以面向对象的程序设计方法就图形软件系统的数据结构及存储组织作了较为深入的研究 .对图形软件系统的图形编辑、图形显示功能的有关算法作了较为详细的介绍 ,并就基于城市地理信息系统 (UGIS)的图形元素与数据库的关联方式作了说明 .     

基于神经网络数据融合技术的诊断系统的研究

神经网络数据融合技术的诊断系统是以电机振动信号和电流、电压信号为研究对象的,对采集到的3类信号进行实时处理,运用神经网络对数据进行局部诊断,再利用数据融合技术对故障信号进行全局分析融合,从而达到对电机故障类型的准确判断。通过运行表明,应用在故障诊断中的神经网络数据融合技术是一种故障识别率高、方便灵活而且诊断精度高的故障诊断方法。     

基于接地故障类型的综合选线研究

根据大量的实际和模拟实验的故障录波数据,分析了影响小电流接地系统单相接地故障选线可靠性的原因。对接地故障的类型进行了分类,建立了基于接地故障类型判别的小电流接地选线方法,并经现场运行证明了选线的准确性和可靠性。     

基于事件注入机制的软件调试方法与实现

在研究原有QF(事件驱动框架)和QS(实时跟踪调试器)的基础上,提出并设计实现了基于事件注入机制的软件调试方法,使得软件调试有针对性地主动进行,并实现调试自动化,该方法可以提高软件调试的效率。     

Study on fault locating technology for satellite power system

The structure and function of a satellite are becom-ing complicated, and the cost for satellite constructionand maintenance is increasing[1]. The power system isa key subsystem of a satellite. If the power systemfails, it is necessary to locate the failure componentwith minimal cost, then repair or replace it. In China itis currently prevalent to locate faults for a satellite pow-er system based on an expert system, not utilizing allthe available information provided by tests. Mostpracti-cal …     

软件控制流故障诊断的研究

软件的故障诊断是软件测试的一个重要组成部分,快速准确地定位故障发生位置对于提高软件质量具有重要的意义.文章提出了一种利用运行时执行路径计算的方法进行故障诊断的方法.利用测试算例,计算出执行路径和候选路径集,并在候选路径集中找出预期路径.通过比较执行路径和预期路径,给出故障诊断的信息.该方法简洁明了,易于应用.     

"S注入法"选线定位原理在谐振接地电网中的应用

在 6～ 35kV供配电系统 ,中性点经过自动跟踪补偿的消弧线圈接地的谐振接地方式得到了越来越为广泛的应用 .分析了这种电网中发生单相接地时系统电压电流的特点 ,指出了传统的基于零序电流的选线原理存在的问题 ,探讨了应用“S注入法”来解决其接地选线与定位问题的原理和方法 ,导出了有关公式和算法 ,研制出了相应装置 .     

软件视频会议系统技术方案与故障维护

针对电务段现有网络资源和用户需求,提出基于B/S架构的软件视频会议系统技术实现方案,阐述网络架构、技术优势和关键技术,并分析软件视频会议系统在实际应用中的常见故障及处理方法。     

基于框架的软构件后缀索引构造方法研究

目前现有的软构件检索方法都是将软构件作为孤立的个体对待,而在实际应用当中软构件大多是基于某框架之下的.为了描述和管理软构件所应用的框架和环境,利用基于有色Petri网的框架模型计算构件之间的框架距离,根据距离的远近利用SOM聚类为构件分类形成框架类别.另外,为了提高检索效率为每个刻面的术语空间建立术语树,并为树中节点建立后缀索引.这样减少检索软构件时遍历术语树中节点的个数,而且使同一批检索到的构件更适合应用到同一框架当中.分析表明,该方法不但可以提高软构件的检索效率,而且保证了检索到的软构件经过最小的修改量就能够被应用到软件系统中.     

配网端多能互补工程全寿命周期经济评价方法

为了向配电网端多能互补工程投资与成本收益管理提供理论支撑和决策依据,提出了一种基于全寿命周期理论的配网端多能互补工程经济评价方法.从全寿命周期成本-收益角度出发,构建了成本分析模型与收益分析模型.引入了环境收益因素,并通过引入小型碳排放权交易将其转换为经济收益,用于定量研究其对发电成本的降低作用.结果表明,所提算法和模型可以从全寿命周期的时间角度有效、全面地评估多能互补工程项目的经济收益,可以作为配电网端多能互补工程项目投资决策与成本收益管理的一般性评估方法.     

基于Markov链的软件可靠性早期评估研究

针对Markov链使用模型缺乏软件失效信息,提出了一种改进Markov链使用模型进行软件可靠性早期评估的方法。该方法首先扩展Markov链使用模型,在其中加入失效状态及执行概率,构建软件可靠性早期评估模型;然后,依据软件可靠性早期评估模型生成算法得到软件可靠性。最后,通过一个SCS软件实例,对本文方法性能进行了验证。实验结果表明,该方法可以自动输出多种软件可靠性评估指标,有效评估软件可靠性。