公理设计中的信息公理和复杂性分析

公理设计是一种科学的设计方法,为设计提供了理论基础,因此受到设计人员重视。本文着重研究了公理设计中复杂性的定义及其和信息公理的关系,建立了信息计算模型和流程图,并对信息量计算进行分析,给出了计算事例。     

基于OWL的制造业知识本体构建研究

如何描述制造企业逻辑模型是当前企业信息化实现过程中亟待解决的关键问题．文中以本体论为理论依据,以制造业物资管理子领域为研究背景,在分析其业务流程的基础之上,采用OWL（Ontology Web Language）本体描述语言,完成了领域概念抽取、OWL描述及约束公理定义,构建出物资管理子领域知识本体模型,进而提出了基于OWL构建制造业知识本体的方法．     

交通运输方式选择多属性决策的信息公理方法

基于信息公理的多属性决策方法为旅客的出行方式选择提供了一种有效工具。通过分析旅客出行行为特性的影响因素,确定出旅客出行方式选择的评价指标。利用成功概率计算出每种方案所包含的信息量,信息量最小的方案为最佳方案。由于避免了权重分配所带来的人为影响以及量纲不统一等问题,使得评价结果更趋合理,评价过程计算简单易于实现。     

基于公理设计方法的工程布局CAD系统设计

针对车辆动力舱的布局设计开发了一个支持完整布局设计流程的CAD系统.为了保证该软件的高效性与合理性,采用面向对象的软件设计的公理方法对该系统进行分析论证,最终得到软件的层次结构图、面向对象模型和流程图,用以指导软件的开发过程.     

电力机车空心轴架悬驱动装置公理设计分析

运用公理设计理论的独立公理对SS9型机车空心轴—六连杆架悬式驱动装置和＂Taurus＂class高速电力机车空心轴六连杆架悬驱动制动装置进行分析,从功能与概念设计层面对电力机车架悬驱动装置的发展趋势进行了初步探讨。结果表明,上述两种驱动装置均为弱耦合设计,满足独立公理,公理设计理论能够给出该结构之所以能够历经考验的理论解释。本研究为如何获得空心轴连杆架悬驱动装置这种优良设计并不断推陈出新提供了方法学上的借鉴。     

基于设计公理的多属性决策方法

针对多属性决策过程中容易引起目标冲突、重复决策过程复杂等问题,对基于公理设计理论的多属性决策过程进行了研究,提出了基于独立公理的有向层次化指标分析体系和基于信息公理的方案评价方法．所建立的指标体系能够充分考虑指标的层次性和独立性,使决策者能够理清指标间的影响关系,从而降低多属性决策过程中的指标冲突．通过加入满意度计算项,对信息量的计算公式进行了改进,弥补了原有公式仅体现系统能力的不足,并给出了模糊性和非模糊性属性值信息量的计算方法．运用该评价方法,决策者根据系统信息量的大小即可判断方案的优劣．最后,通过案例验证了该方法的有效性和可行性．     

面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。