软件可靠性模型建立

本文给出一个实际软件的可靠性模型，这是一个小型软件。通过此软件可靠性模型的建立，我们得出下面的结论：一般中、小型软件的可靠性不一定适合指数分布，此例的软件为幂函数分布的。

基于NLM的图像三维去噪算法

图像去噪要求在尽量保留有用信息完整性的基础上去除干扰信息,同时保证去噪结果的时域稳定性。在非局部平均NLM(Non-Local Means)算法的基础上提出了更加合理的图像三维去噪算法。该算法首先进行NLM空域去噪,然后再对空域去噪的结果进行加权平均的时域去噪。实验结果表明,本算法和传统去噪算法相比具有去噪结果稳定并不模糊细节的优点,为实际工程应用提供了技术支撑。

软件可靠性建模分析

从软件可靠性的概念出发，阐述了软件可靠性模型在软件开发及评测中的作用．同时给出了软件可靠性模型的分类、故障数据的收集方法，及软件可靠性建模过程．并通过实例分析，指出了在建模过程中应注意的问题。

软件质量及可靠性保证的技术分析

分析了软件开发的上游工程和下游工程对软件质量的影响，用一个实例说明了上游工程对软件质量的决定性影响；对于下游工程，提出了４种质量保证技术，并对提高软件质量的两种技术－－容错技术、程序正确性证明给予了介绍。

软件可靠性模型Jelinski－Moranda的计算机实现

Ｊｅｌｉｒｉｓｋｉ一Ｍｏｍｎｄａ模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现，并引用一个实例对此程序进行验证。

面向数据结构的设计方法-Jackson方法的分析与改进

采用二维展开的表现程序和数据逻辑结构的ＰＡＤ图图示技术，对Ｊａｃｋｓｏｎ结构图解增添了循环和选择条件，使基于数据结构的设计方法具有更清晰的逻辑结构图形表示，且易读、易维护、易转换成高级语言源程序。

工程数据库管理系统程序与数据的独立性实现

程序和数据的独立性是数据库的主要特征之一。作为工程数据库管理系统，也必须保持这个特征。为此，介绍了具体的工程数据库管理系统EDRMS程序与数据的独立性实现，并用实例予以说明。

Jackson设计方法中关于结构冲突的处理

Ｊａｃｋｓｏｎ设计方法是一种面向数据结构的设计方法，本文对此方法的内容给予简单介绍，并对此方法所 涉及的输入输出结构冲突问题给予扩充处理。