一种面向并行工程的产品开发过程关系模型

为了处理产品开发过程由串行到并行的转变而引起的问题，全面地表示且维持产品开发过程中各开发小组及小组成员间应满足的关系，保证开发过程满足顾客需求，本文分析了并行产品开发过程的特点，提出了一种适合这些特点的产品开发过程关系的层次表示模型，介绍了此关系模型的实现方法和它与并行工程环境中其它系统的集成关系，给出了此关系模型在产品开发过程中的应用     

协同任务规划中基于约束满足的资源冲突检测与消解

资源的有限性以及活动的并发执行导致协同任务中极易发生资源冲突,需施加时间约束以限定活动执行时间从而避免冲突的出现。在分析多机协同任务的基础上,将任务过程转化为带有多容量资源的任务调度模型,根据模型时间特性给出资源冲突定义及其判断准则。提出基于最小冲突集的资源冲突检测算法,其中利用时间交叠关系的特点,将资源冲突的检测与消解问题转化为连通图中闭团的检查与消除问题。进而从约束满足的角度研究了基于最小承诺策略的消解算法。实验结果表明方法的有效性。     

基于约束理论的一个管理决策NLP模型

在并行工程环境下，很广泛的一类管理决策过程可归结为一类线性约束ＮＬＰ模型，本文依据约束理论（ＴＯＣ）给出了确定“瓶颈”约束的定量方法，并提出了通过增加“瓶颈”约束的资源以有效地提高管理决策的整体综合效益的模型流程。     

并行工程产品开发过程的建模方法学

在并行工程中，为了实现产品开发过程的集成、并行和最优化，首先要建立能够充分反映产品开发过程各方面信息的产品开发过程模型。通过对模型的仿真分析和优化，指导产品开发过程的实施。本文首先提出了并行工程产品开发过程模型是集成多视图模型，随后提出了采用集成多视图建模理论的并行工程产品开发过程建模、分析和管理的方法学框架     

协同产品开发中设计者任务排序

针对协同产品开发中设计任务静态排序的不合理性,提出了一种基于最小化完工时间的任务优化动态排序方法.通过分析协同产品开发中设计任务的过程状态,建立了任务状态模型,确定了任务剩余处理时间和任务的权.对具有优先约束关系的任务排序和新任务到达时的任务排序进行了重点研究.最后通过应用实例验证该排序方法的有效性.     

对具有时间转换约束网络模型的特性研究

传统的网络技术规定工序可以在任意时刻开始,但是在现实的工程中由于时间转换约束的存在,活动很少在满足优先关系约束后在任意时刻开始.本文主要是在时间转换约束模型网络的基础上,提出时间转换约束对网络关键线路的影响,并对网络的传递性进行了分析,得出传递量推算过程.最后通过算例验证了其准确性.     

参数化设计的定性建模与仿真

对参数化设计问题提出了一种新的基于DOF（Degreesoffreedom）的定性建模与仿真方法。在几何约束求解的过程中，通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则，新方法引入定性图对几何约束进行定性建模及模型求解．经过一系列基于DOF的定性图推理过程，几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定量计算的次序．结合了定性推理方法的高效性以及定量方法的精确性，初步实验表明新方法能够提高约束求解的效率。     

一种基于约束关联网络模型的模块化设计方法

针对侧重产品设计各阶段宏观布局原则制定、忽略布局合理性及其进化分析技术研究的现状,提出了一种基于细粒度约束关联网络模型的模块化设计方法.从布局规划及其协同进化的角度,给出了此方法的技术框架和闭环流程框架.研究了基于细粒度约束关联网络模型建立产品族模型的方法.探讨了基于细粒度、多视图产品族模型实现模块划分的分析技术和算法.研究了其设计过程调度方法,并提出了基于过程冲突定位和优化细粒度产品族模型的技术方法.通过在某型号发动机模块化设计中的应用,验证了所提出方法的合理性和有效性.     

CAD系统中几何变动的建模与仿真研究

研究了三维CAD系统中几何变动的零件层建模和装配层仿真。首先，提出了变动几何约束概念和分类，研究了几何变动的定性和定量表示和建模；然后，研究了基于变动几何约束网络及其运动学模型的几何变动仿真方法，包括完全约束仿真方法和可装配性仿真方法；最后，给出了几何变动建模和仿真的总体框架和系统实现，并通过实例分析验证了方法的有效性。     

基于灰色模型的系统半定量关联矩阵

根据知识不完备的复杂系统中部分变量的定量信息，合理地构造系统相关变量间的半定量约束，是建立复杂系统定性定量相结合模型的有效方法。为了实现这一目标，一种新的系统半定量关联矩阵的构建方法被提出，它以系统部分变量观测数据流的定性划分为基础，应用灰色GM（1，1）模型建立其系统动态包络，并以动态包络中变量各种状态的对应面积之比作为它们的关联系数。这种关联矩阵不仅客现地反映了变量关联性的强弱，提高了对变量关联性的表示能力，也为灰色定性仿真过程中定量信息传播提供了一种可行的策略。     

基于并行工程的中药制造企业业务过程建模

通过IDEF0(ICAM Definition)建模方法,分析评价了中药制造企业现有业务流程,基于并行工程的思想,提出了集成并行的业务过程模型,并用于指导某企业的经营和运行.     

约束信息的模板表示模型及其应用

工程约束信息包含着对约束设计过程的抽象和设计模式的总结，将其高效规范地表示出来，对提高工程设计的效率十分必要。文章从这一着眼点出发，首先根据约束特点分类工程设计约束；在分类的基础上和不失一般工程意义的前提下，给出以模板为载体，多种知识表述方法相结合的约来信息表示形式，并将其应用于冷冲模CAD系统的设计中；实践证明，文章的方法在提高工程设计效率和方便用户等方面具有良好的效果。     

动态加强CPT解job-shop调度约束满足优化问题

带有相同到达期与交货期的job-shop调度问题(JSSP)作为多种实际生产调度问题简化模型,是一类典型强NP-hard问题.对优化目标是最小化最大完工时间的JSSP问题,建立了约束满足优化问题模型(JSSC-SOP).利用弧一致约束传播算法和深度优先启发式构造活动调度,逐步加入新约束,实现活动调度集的部分列举与寻优.提出3种动态加强约束传播技术(CPT),嵌入搜索过程,提高求解效率.最后通过随机生成的实例,验证了各方法可行性与有效性.     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

资源约束条件下任务调度算法研究

如何解决资源约束条件下的任务调度问题，保证在资源使用存在冲突情况下, 多个任务高效执行, 其中合理的任务调度和资源冲突消解是影响任务执行效果的关键因素。基于工作流图模型提出了一套资源约束条件下任务调度的框架, 并针对调度过程中产生的资源冲突, 提出了两种任务调度算法: 一种算法通过任务关键度确定优先级, 并基于贪心策略和调整工作流图拓扑结构的方法, 在任务开始前确定任务调度方案; 另一种算法采取弹性资源调度的方式, 使产生冲突的任务优先在资源不足的条件下开始执行, 任务调度和执行交替进行。最后, 通过地震救援案例验证了相关算法可行性, 与求解资源约束条件下任务调度问题的两类典型方法中具有代表性的算法进行对比实验, 分析了所提两种算法的优势与意义。仿真结果表明，所提算法具有适用地震救援资源紧缺特点的优势。     

建筑工程并行设计过程规划与仿真研究

对建筑设计过程进行高效可靠的规划和仿真以增加设计过程的可预测性,缩短开发周期以及降低设计过程失败风险正变得越来越重要。将并行工程的思想和方法运用到建筑设计领域中,通过构建一种基于设计结构矩阵（DSM）的设计过程模型,对在资源约束条件下的设计过程进行有效规划和工期仿真计算。最后以一般商业办公楼的设计过程为例对仿真模型进行了验证。     

正态过程下满足多重约束的CSP-2和Spk集成过程控制方案

单一过程控制工具只能满足一种约束需求,如连续抽样检验(CSP)方案只能满足质量约束,但生产过程控制需要同时满足多种约束需求.为同时满足质量、成本、第一类风险和第二类风险四种约束需求,提出CSP-2 (放宽的单水平连续抽样方案)和Spk(过程良率指数)集成过程控制方案.指出将检验成本转化为极限检验数的转化思路.发现了满足质量和成本约束的唯一可行的CSP-2等值面方案.建立了基于Spk估计精确分布的风险控制方案.集成控制方案运行时,CSP-2和Spk分别利用检验数据的计数信息和计量信息驱动方案运行.与CSP-2独立运行时相比,检验工作量没有增加.四种约束和集成控制方案参数之间一一对应.与传统CSP-2方案相比,各种约束需求下集成控制方案都获得了明显较好的接收曲线.     

时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求,提出了一种时序约束下GSM业务模型的一致性验证与异常处理方法.分为两个阶段:1)将GSM业务模型转化为Petri网模型,再把外部的时序约束映射到Petri网模型中.2)提取Petri网模型中的路径并进行时序一致性验证;如果出现异常,将问题转化为线性规划模型并进行自动求解.不但能够解决GSM业务模型的时序约束验证问题,而且能指导用户进行模型持续优化和改进.最后,通过一个企业的实例验证了其有效性.     

基于粗集理论的多目标规划问题的约束度分析

给出了有冗余约束条件的多目标规划问题的模型约简方法。对于无冗余约束条件的决策系统 ,决策者可通过对约束条件的重要性分析而按其重要性大小适当删除不重要约束 ,从而得到原问题的核心约束条件组和相应核心有效解。原问题的有效解和核心有效解的关系可以用粗糙近似来刻画。用算例说明了这种方法的应用。