基于XML的智能设计系统构造方法

提出了一种基于XML的智能设计系统构造方法并构建了相应的智能设计工具DEST.分析了现有的智能设计系统构造方法的不足,论述了XML语言的特性及其在知识表示、知识利用等方面的优势,提出了基于XML的智能设计系统构造方法的框架,并详细介绍了基于XML的面向对象的知识表示方法、基于XML的知识利用方法等重要支撑技术;介绍了基于上述方法开发的智能设计工具DEST的体系结构及各组成部分的功能,并通过对该系统的性能分析验证了基于XML的智能设计系统构造方法的有效性.     

中断环境下供应链弹性运作分析与优化

近年来自然灾害、事故、人为中断等供应链问题受到人们的关注. 为此，本文从定量分析的角度讨论了供应链弹性运作问题及优化问题. 首先，分析供应链弹性的概念，从时间、空间两个弹性维度分别讨论了其量化评估方法，将供应链的弹性运作问题描述为多变量耦合控制模型，分析不同灾害事件的交互影响机制. 其次，本研究没有仅仅从传统增加冗余的角度来增加弹性，而是建立可变结构的弹性制造模型，提出有针对性的自学习机制，并从企业文化、业务弹性、和建立弹性管理信息系统等方面给出了解决方案. 最后，用一个案例进行了验证，本方案能够量化地观察分析当供应链受到灾害事件冲击时，弹性恢复过程中的现象规律，有助于供应链弹性问题的量化决策和优化.     

复杂系统结构建模的新方法

在对现有解释结构建模(ISM)方法进行分析的基础上,针对复杂系统结构建模特点,采用将拓扑分析演化为代数分析的思路,提出了一种结构建模新方法,包括强连通子集划分、区域划分、级别划分和求骨架矩阵等4个环节.给出了相应的若干定理作为理论依据,并通过一个示例的演示验证了该方法的简捷性和有效性,进而对该方法进行了模糊化推广.     

结构建模代数方法在关系模式设计中的实现

运用结构建模代数方法研究关系数据库设计中关系模式的规范分解,介绍了借助结构建模生成层次清晰的属性集结构的原理,分析了生成后的层次关系所蕴涵的关键字信息、关系模式信息和约束信息.由此给出了一种构造规范化的数据库关系模式的新方法.以炼油调度基础数据库为对象,演示了方法的具体实现,从而通过应用实例证实了该方法的简洁性和有效性.     

面向模块的知识库管理技术

针对模块化智能设计过程中，专家系统处理的重点和难点是大量的经验性、启发性领域知识的问题，对专家系统的核心部分－知识库的管理进行了研究，给出了面向模块的知识库组织策略，提出了一种知识库结构建模方法。应用实例表明了该方法的有效性。     

关于极大偏好断面约束的分析

研究了使过半数规则产生的群体（社会）序具有传递性的偏好断面规模及其极大化问题，分析了基本约束集、次级约束集和Ｆｉｓｈｂｕｒｎ约束的基本特性及其偏好断面规模；仿Ｆｉｓｈｂｕｒｎ约束的构造方式，构造了扩展Ｆｉｓｈｂｕｒｎ约束，利用该约束可以确定极大偏好断面规模的下界值．     

结构建模中区域划分的代数方法

针对现有结构建模区域划分方法的不足，基于将拓扑分析转化为代数分析的原理，指出区域划分的实质是要构造某种等价关系，该等价关系是元素不可分的充要条件．进而给出了充要条件定理．在此基础上提出了结构建模区域划分的代数方法．列出了代数方法的实施步骤，并通过一个具体示例的演示验证了该方法的简捷性和有效性     

社会选择理论研究进展

在介绍社会选择的形式化描述和社会选择理论的基本框架结构的基础上,对社会选择理论研究中的若干重要问题及进展进行分析和评述,其内容涉及社会选择中的理性假设问题、极大偏好断面规模问题、无约束域条件、合理字典序的构造、防操纵性社会选择机制设计以及基于相容信息的社会选择机制设计等诸多方面.     

变参数四杆机构的设计及应用

针对常规四杆机构中可控性结构参数少的缺点,给出了一种机构参数在运动过程中适时变化的新型变参数四杆机构．讨论了变参数四杆机构设计分析的通用步骤及方法,提出了变参数四杆机构分析设计的两个重要数学模型并加以求解．实验和应用显示了变参数四杆机构优良的动力学特性．