基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

自适应软件需求的形式化建模与验证

为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。     

型钢混凝土桁架转换层的监控与分析

对贵阳市某大楼型钢混凝土桁架转换层进行了施工期间的监控,并利用有限元分析软件ANSYS建立了带有型钢混凝土桁架转换层的结构有限元分析模型.针对工程中连接、构造和施工影响等相关因素进行有限元模型的对比分析,明确各因素对桁架受力的影响.结合施工阶段的监控数据,分析此工程中桁架受力状态的成因,为准确判断工程在正常投入使用后的...     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

基于IDEF3的作战指挥情报活动与信息模型

IDEF3建模分析和设计方法能够很好地描述过程流场景和对象的状态转换过程。对比了作战指挥信息分析方式,定义了作战指挥信息的描述模型,在此基础上,分析了作战指挥情报活动的流程,使用IDEF3的过程流图建立流程模型,分析了基于情报活动的信息流动过程,使用IDEF3的对象状态转换网络图建立了情报类信息的模型,根据作战指挥信息的描述模型建立了情报活动信息的映射表,并给出了模型检验的方法。     

辐射率对导弹仪器舱温度分布影响的研究

以某远程防空导弹仪器舱为研究对象,描述导弹的工作环境,对仪器舱的热响应过程进行分析建模,然后利用有限元软件对仪器舱温度场进行分析,研究隔热层和仪器外壳辐射率对仪器舱温度场的影响,得到了一定的数据资料和有价值的结论,为仪器舱的防热结构设计提供参数。     

基于AndroMDA的实时系统代码生成技术研究

针对实时系统软件的代码生成技术，基于开源软件AndroMDA，分析并建立了实时系统平台的PSM元模型，研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则，最后给出了模型转换的实现算法。应用效果分析表明，该方法与LACATRE和手工编码相比，开发软件的效率和质量都有较大的提高。     

快速生成图中全部树

本文提出了一种生成图中全部树的新的有效算法。方法构思新颖,结论简明。作者将根据本文方法原理编制的计算机程序与根据 Minty 法编制的程序进行了实际上机计算比较,运算结果表明本文方法在缩短计算机运行时间方面具有明显的优势。     

一种基于解析冗余关系的半定性故障隔离方法在航天器推进系统中的应用

针对航天器推进系统的时变特性以及随机因素给故障隔离带来的困难,提出了基于Z-检验分析和解析冗余关系相结合的半定性故障隔离方法。基于状态空间转换的思想,运用基于系统诊断键合图模型建立的解析冗余关系挖掘系统时不变的结构特征空间信息,并对解析冗余关系残差进行趋势分析获取时不变、具有残差变化方向的故障特征矩阵,针对存在随机因素对残差定性化的影响,利用了Z-检验分析对残差进行定性化获取观察特征,通过观测特征与故障特征的比较进行系统故障隔离。将该方法应用于推进系统的故障隔离中,结果证明了该方法能有效避免获取推进系统时变诊断准则以及来自系统建模和参数测量等随机因素的干扰,提高了推进系统故障隔离的鲁棒性。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。