采用或非门设计最简逻辑电路的方法

给出了采用或非门、利用卡诺图设计最简逻辑电路的方法，并用实例论证这个方法是最简捷的方法，同时也具有一般性。在以CMOS为开关器件的数字集成电路芯片的设计中，由于或非门优于与非门，故应该使用所介绍的方法，直接采用或非门设计组合逻辑电路芯片。     

一种计算机网络脆弱性评估系统的设计

以攻击图建模方法为基础，提出了一种综合利用网络安全评估工具、模型检验工具的计算机网络脆弱性评估系统的设计方案。给出了脆弱性评估系统的总体框架结构，分析了各模块的功能特点和结构组成。该脆弱性评估系统可以分析计算机网络系统的最薄弱环节、最隐蔽被攻击路径、最易被攻击路径和最常被攻击路径，可以有效指导计算机网络系统安全措施制定与改进。     

基于UML时序图的系统运行时耦合度量方法

面向对象耦合性是软件质量重要的内部属性，该文分析了现有基于静态分析的耦合度量，以及其因继承和多态的使用而产生对运行时耦合度量的不足。提出了以用于系统动态建模的UML时序图为基础，定义了反映系统运行时的耦合度量指标，并通过实例验证了耦合指标定义的可操作性和实用性。     

Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

统计过程控制在软件工程中的应用

统计过程控制已经在制造业取得了成功的应用，近年在软件工程方面的应用也不断上升。本文通过分析这些指标数据，找出软件过程中各个阶段的不确定因素，并采取适当措施来保证软件过程处于统计意义下的受控状态，从而达到保证软件质量、提高软件生产效率的目的。     

基于FCM的特征融合医学图像检索

针对医学内窥镜图像,提出一种基于模糊C-均值聚类算法(FCM)的综合颜色直方图和颜色相关图两种特征的特征融合算法.据此,在Windows 2003下,用VC#和SQL2000实现了一个图像检索的原型系统,依据所设计的评价实验,对实验结果进行了比较和分析.实验表明,文中所提出的方法,在基于内容的医学内窥镜图像检索中,具有较好的检索效果.     

电大尺寸导体附近线天线的辐射方向图研究

采用一致性几何绕射理论分析了电大尺寸导体对其附近的对称振子天线辐射方向图的影响,计算了在三种不同环境下的天线方向图,结果与软件(FEKO)仿真结果吻合良好.为分析工程中复杂的电大尺寸目标,提供了重要的参考依据.     

一种基于Gr(o)bner基和有向图的几何约束求解方法

方程组规模大和约束一致性分析方法的欠缺影响基于Grobner基的代数法在约束求解中的应用。针对应用有向图进行约束分解产生的强连通分量不饱和问题，提出进行强连通分量内变量匹配，以消去自由实体，从而使强连通分量趋于饱和，方程组得以简化。并以此为基础提出基于Grobner基进行约束一致性判别的方法。以含有冗余约束的三角形为例阐述了约束一致性分析和求解的过程。     

IFS拓扑不动点原理构造混沌分形图的研究

分形学是一种描述自然界中广泛存在的具有自相似结构的非线性复杂系统内部规律的理论,迭代函数系统(IFS)是构造分形集的核心技术。研究了各类基于IFS吸引子的混沌分形图的计算机构造方法;分析了其应用范围和局限性,对构造混沌分形图的确定性算法、随机迭代算法、字符串替换法、逃逸时间算法和反函数迭代法进行了深入的探讨和对比分析;总结了混沌分形图构造的基本规律。并首次用Java语言实现了各种算法,给出了几种较为常用算法的迭代参数、公式及实验结果。     

以学生全面发展为本的工程图学教育改革

分析了科学技术和社会的发展、人才的培养和发展对工程图学教育的要求。分析了在知识经济时代,创新人才对于增强国际竞争力的重要性。以学生的全面发展为本,提出了创新人才培养的工程图学教育理念和环境,它强调学生的全面和可持续发展、个性化教育、创新能力和综合素质的培养。介绍了工程图学教学改革在大连理工大学的实践情况。