基于扩展有向图的产品参数化模型的研究与实现

文章提出了基于扩展有向图的产品参数化模型,将各类约束在形式上利用对象及相关概念统一起来,利用扩展的有向图表示设计对象及对象间的约束关系。对于有环的有向图,在正向约束求解的基础上,引入了反向约束求解,局部调整的机制。模型的主要思想是:求解过程中利用对象本身所具有的性质进行充分推理、判断,在此基础上进行约束的最小方程组计算。

EDG-DCR:一种基于扩展有向图Web服务组合关系描述方法

Web服务组合是充分利用已有的Web服务,生成满足不同用户实际需要的组合服务的重要技术,Web服务组合关系的描述是Web服务组合的基础。目前,Web服务组合关系描述主要有两类方法,一是基于有向图的描述方法,二是基于Petri网、语义的描述方法。前一种方法简单,但不能描述所有的组合关系;后一种方法虽然能描述所有的组合关系,但是它们的组成元素过于复杂,用户难以理解和使用。文章以工作流模式为基础,提出一种基于扩展有向图的Web服务组合关系描述方法,使得其可以描述所有的组合关系。该描述方法使用XML Schema表示组合关系,保证描述过程的简单性、开放性和可扩展性。

面向协同设计的任务规划与解耦策略

为了合理规划协同设计任务,缩短产品开发周期,首先提出了符号设计结构矩阵的概念,并根据设计结构矩阵元素的类型,对设计结构矩阵进行了分类,在有向图建模方法的基础上,扩展了有向图的建模方法。其次,提出了将后序任务对前序任务的强依赖关系用一个弱依赖关系和一个反馈特征来代替的弱化策略,并结合扩展有向图的建模方法和符号设计结构矩阵,给出耦合任务集自动解耦算法。最后以冲压模具协同开发为例进行了验证。实践表明,该方法能有效地减少耦合任务集设计迭代,具有实际的推广价值。

一类资源受限项目调度问题的仿真方法

在资源受限项目调度问题中,基于有限数量的资源可能同时存在多个满足激活条件的活动,这些活动的执行顺序是随机动态变化的,难以用常规的数学方法进行描述;现有仿真软件也不足以支持该类问题的仿真,为此提出一类资源受限项目调度问题的仿真方法。该方法基于扩展有向图建立项目流程仿真模型,将仿真模型数据以活动依赖矩阵和活动资源关联矩阵的形式进行描述,通过编制采用活动扫描法的仿真策略对流程模型进行仿真,得到项目完工时间及活动的安排。通过举例应用和对比,验证了该方法的可行性与有效性。

离散事件驱动的流程建模方法与系统实现

在仿真建模中,为了使建模工具简单易用、仿真运行高效,建立了三层仿真元模型体系结构,并在流程定义分析的基础上,结合扩展有向图建模方法,针对模型层研究了离散事件驱动的流程建模方法。基于该流程建模方法及XML文档形式化描述及数据传递技术,采用面向对象的设计方法,开发了适用于离散事件驱动的流程建模系统。该系统提供了简单的可视化流程建模工具,简化了建模流程,易于对模型的理解与交流。

基于活动的工作流建模及其动态调度研究

首先用扩展有向图的方法构造一种基于活动的工作流建模方法 .在此模型的基础上 ,通过对完成活动所需的资源、角色、时间、成本的分析 ,用人工智能的思想和方法对所建立的工作流模型进行基于规则的启发式动态调度 ,从而实现对工作流模型的动态仿真 .所提出的模型和算法紧密集成 ,易于实现 .并用一个实例对所提出的建模方法和调度过程进行了说明 .

FINITENESS CONDITIONS FOR GENERALIZED EXPONENTS OF DIGRAPHS

Necessary and sufficient conditions are given for the finiteness of the generalized exponents expD(k), f(D, k) and F(D, k) for digraphs which are not necessarily primitive. Also the largest finite value of the generalized exponent expD(k) for digraphs of order n is determined and the complete characterizations of the extreme digraphs are given.