模糊推理在软件维护性评估和预测中的应用

摘要：在基于活动的质量模型维护性分析方法基础上,对贝叶斯方法进行了扩展,将模糊推理技术与现有的贝叶斯方法进行比较,开发了一个基于模糊推理的系统来对软件维护性进行量化评估和预测,描述了模糊技术在维护性评估和预测准确度方面的优势．     

一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

汽车驾驶模拟器软件系统

介绍了QJM主动式实时仿真三维计算机成像汽车驾驶模拟器软件系统的实现方法。这些方法已应用于桑塔纳型和东风型汽车驾驶模拟器。     

软件工程在模拟潜艇指控台上的应用

介绍了模拟潜艇指控台在军事应用软件的计划与开发过程中所面临的各种困难,提出并采用了软件工程设计的方法来解决此类问题的思路与方法。     

On optimality of one‐bug‐look‐ahead policies for a software testing model

The optimality of the One‐Bug‐Look‐Ahead (OLA) software release policy proposed by Morali and Soyer ( 15 ) is re‐examined in this paper. A counterexample is constructed to show that OLA is not optimal in general. The optimal stopping approach is then called upon to prove that OLA possesses weaker sense of optimality under conditional monotonicity and the strong sense of optimality holds under a more restrictive sample‐wise monotonicity condition. The NTDS data are analyzed for illustration, and OLA is shown to be robust with respect to model parameters. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

航测平台监测系统的开发应用研究

航测平台监测系统是在航测平台系统的调试开发过程中,根据工程的实际需要开发完成的.系统具有硬件实现简单、软件灵活、独立性强、易于扩展等特点.对该系统的组成、设计实现方法做了详细的介绍,对系统进一步的研究进行了探讨,并对系统开发应用中的特点进行了分析.通过实际应用,证明该系统具有一定的工程应用和研究意义.