Petri网在基于规则系统一致性问题检查中的应用

基于规则系统是目前应用较为广泛的一类专家系统,但它的知识库不易维护。本文针对基于规则系统的一致性问题,应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法,提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较,并在含约束Ｐｅｔｒｉ网模型基础上,提出了一致性检验的命题方法,最后以实例说明该方法的实现步骤。当规则库较大时,相应的Ｐｅｔｒｉ网模型可能也会很庞     

面向虚拟企业模型的本体表示方法

针对现有本体表示方法在虚拟企业模型描述方面的不足,通过扩展本体关联语义和约束规则,提出一种适合虚拟企业模型的、图形化的本体表示模式--本体结构图.在分析虚拟企业模型及其特点的基础上,形式化定义了本体结构图的关联和约束规则,给出了虚拟企业模型片段的本体结构图的描述实例,并进一步提出了一种基于可扩展标记语言扩展的本体描述语言,说明了其基本元素和文档结构,描述了本体结构图的关联和约束.最后,通过与其他本体表示方法的比较,阐述了本体表示方法的可行性.     

基于资源导航的虚拟企业模型化方法

针对企业视图模型的一致性和非资源驱动的问题，提出了基于资源导航的虚拟企业模型化的方法体系。主要相关内容包括企业自有资源与市场机遇需求资源的差异性导致的虚拟企业动因、虚拟企业组建决策与其资源识取需求的关系，虚拟企业模型的形式化描述，以及基于资源导航的虚拟企业模型的一致性保证等。     

基于低碳的虚拟企业合作伙伴选择研究

为解决虚拟企业绿色合作伙伴的选择问题,提出了一种基于低碳的伙伴选择方法,建立了以极小化成本为优化目标的虚拟企业制造伙伴和运输伙伴集成选择模型.该模型考虑了制造和运输过程中的碳排放、交货期以及任务的时序等因素.为解决基本蝙蝠算法容易陷入局部极值的问题,设计了一种加入变异操作的改进蝙蝠算法来求解上述的伙伴选择模型.仿真结果表明了该方法的有效性.     

单值模糊广义预测控制及其在热工对象中的应用

热工火电机组具有非线性、时变性、大时滞等特性,工业控制中有一定的难度.在前人对T-S模型辩识研究的基础上,本文提出了一种自适应模糊模型辨识算法,通过置信度检验,自适应改变模糊规则数,确保保留最有效的模糊规则.在此基础上,本文提出了一种基于T-s模型的单值模糊广义预测控制策略,与基本模糊广义预测控制算法相比较,该算法具有结构简单、计算过程快的优点.仿真结果表明,该算法明显地改善了控制系统的控制品质.     

面向敏捷虚拟企业的模型重用过程与方法研究

敏捷虚拟企业的建立、运行和演变涉及大量的模型重用问题。首先分析了敏捷虚拟企业建模的“无参照”、“基于模型构件”、“基于伙伴企业模型”和“基于敏捷虚拟企业模型”的四种模式,提出了“创成式敏捷虚拟企业建模”和“派生式敏捷虚拟企业建模”的概念。在此基础上,又提出了一种基于实例的模型重用方法。最后,给出了一个敏捷虚拟企业建模效率模型,并对建模模式和模型重用方法进行了简要的分析和比较。     

支持扩展QoS约束的动态虚拟企业伙伴选择模型

现有Web服务架构为动态虚拟企业系统集成提供了良好的解决方案,但不能很好地支持扩展QoS(QoSextr)约束的动态虚拟企业伙伴选择。提出一种基于Web服务架构的动态虚拟企业伙伴选择扩展模型(DVEPSEM),对传统QoS进行了扩展,利用QoS监控系统对企业QoSextr进行实时监控和处理,同时发挥本体语义优势,建立企业服务分类集和领域本体间的映射,以提高企业服务发现的准确性和效率。基于DVEPSEM模型提出一种改进的自适应遗传伙伴选择算法(IAGA),实现QoSextr约束和大规模的动态虚拟企业伙伴选择。实验表明,IAGA算法能够较大程度地减少进化代数,提高伙伴选择的准确性。     

几何公差基准体系合理性检验的本体化方法研究

为解决基于纯数学的基准体系合理性检验方法难以显式表示检验过程中所使用的公差信息语义的问题,将本体技术引入到合理性检验的研究中.首先建立了一个由公差类型层、基准体系层、基准层、几何要素层和自由度层组成的层次公差信息模型,用于表示基准体系合理性检验中所使用的公差信息.然后在所建立的模型基础上构建基准体系合理性本体,表示产品几何信息的结构和相互关系.在构建的本体中,定义了基于布尔运算和自由度分析的推理规则来描述基准体系合理性检验过程中的知识和经验.设计并实现了一种基于本体推理规则的基准体系合理性自动检验算法.通过将该算法应用于工程实例,验证了该算法的有效性.     

模糊环境下基于Vague集的虚拟企业伙伴选择研究

为解决模糊完工时间和交货期下的虚拟企业伙伴选择问题,提出一种基于Vague集的伙伴选择方法。在给出基于Vague集的交货时间满足度概念的基础上,建立了以极大化交货时间满足度指数为优化目标的虚拟企业伙伴选择模型,该模型考虑了交货时间满足度、成本和任务间的时序关系等因素。为解决标准粒子群优化算法容易陷入局部极值的问题,引入混沌搜索方法,设计了一种混沌粒子群优化算法进行模型求解。实例分析表明,混沌粒子群优化算法比标准粒子群优化算法具有更强的局部搜索能力。     

基于协同学理论的虚拟企业合作伙伴选择研究

为最大化虚拟企业项目中各任务间的协同程度,提出了一种基于协同学理论的虚拟企业伙伴选择方法。建立了以极大化系统协同度为优化目标的伙伴选择模型,该模型考虑了系统的交货时间、总费用和产品准时交货率等因素的协同度。此外,针对基本杂草算法在求解伙伴选择模型的过程中容易陷入局部极值的缺点,设计了一种嵌入混沌搜索行为的混合杂草算法来求解该模型。仿真结果表明了该方法的可行性及有效性。     

模具虚拟企业项目调度遗传算法研究

为解决模具虚拟企业资源受限的多项目调度问题，提出了多项目调度的数学模型。在此基础上采用了一种混合遗传算法的求解方法，该方法分两个阶段进行：先采用优先规则启发式方法产生一组可行解，该过程可视为遗传算法解的初始化；然后对这组可行解采用遗传算法进行优化，以得到次优解或者近似最优解。最后通过实际算例所得结果并与其他方法的比较分析验证了该方法的有效性。     

一种时间工作流模型的启发式分析方法

立足于实际业务过程对工作流系统时间管理功能的需求，提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素；讨论了时序业务环境中活动的可调度分析，给出了时序一致性验证方法；提出了启发式可调度性分析方法，用于验证某一给定工作流实例执行的时间可行性。研究结果表明，所提方法不仅支持业务过程的时间约束规范与验证，还对丰富工作流时间建模理论具有重要意义。     

基于灰色关联分析的虚拟企业伙伴选择系统

分析目前伙伴选择研究的情况,并给出灰色关联选择相对于其他算法的优点。根据虚拟企业的特征和内涵, 对虚拟企业灰色关联伙伴选择系统进行分析和设计,参考J2EE模式提出伙伴选择系统的总体框架体系,并利用 JSP+EJB+SQL Server实现系统的开发。着重论述灰色关联的数学模型、虚拟企业评价指标体系、虚拟企业灰色关联伙伴选择的核心算法及多层次灰色关联选择的实现过程。     

虚拟企业生产项目粗规划

针对项目驱动的虚拟企业生产信息部分共享、成员企业间约束力弱的特点 ,本文提出一种基于协商的虚拟企业生产计划与控制四层模型 :项目粗规划、项目协商规划、生产详细规划和生产作业控制。并就项目粗规划进行深入的讨论 ,分析了粗规划的工作流程和缩短项目总工期的两种工期调整方法 ,从调整范围和调整次序两个方面给出了工期调整方法的处理原则。在此基础上 ,提出了一种控制子项目工期紧迫度和项目协商难度的启发式优化算法。     

制造系统工程本体的跨企业协作资源共享

针对跨企业协作中制造资源共享问题,提出基于制造系统工程本体的跨企业协作框架。采用语义W eb技术构建制造系统工程本体模型。通过定义本体模型的类、属性和本体语义元数据模型,以及给出基于DL安全规则语义推理算法,把各企业本体映射到此通用本体模型上,实现了制造系统工程本体模型在各企业本体间的媒介作用。以上述研究工作为基础,结合制造系统工程本体模型在某企业联盟的用户定制项目的应用实例,验证了制造系统工程本体模型对跨企业协作中制造资源共享的支持作用。     

虚拟装配中装配公差的检验分析

装配性能分析的主要内容之一是装配公差的分析。阐述了虚拟装配系统中公差并行设计的过程，建立了零件尺寸公差与装配体配合公差的模型，利用约束关系图表达了零件尺寸信息与装配体配合关系信息，利用尺寸公差模型与约束关系图通过有关算法生成装配尺寸链。介绍了公差分析的两种方法，并以孔轴的径向配合为例，利用极值法进行装配公差检验，针对检验时出现的各种不合理结果进行了详细分析，并提出了设计公差相应的修改意见。     

多属性虚拟企业部分并行协商项目规划

在虚拟企业环境下,制定基于盟主与合作伙伴协商的项目规划不仅要考虑任务时间与工期的可行性,而且要关注工期费用。在分析虚拟企业项目协商规划的工期与费用的不确定性的基础上,提出了多属性工期一费用随机项目模型,以及工期一费用部分并行协商规划算法,以期望工期费用为优化目标,结合示例阐述其计算过程。最后针对模具生产的特点,对模具虚拟企业的项目进行仿真规划,仿真结果表明了这一方法的有效性和可靠性。     

面向虚拟企业的供应链管理研究

描述了虚拟企业的特点以及对供应链管理的要求，并讨论了传统的供应链管理的缺陷，提出了一种面向虚拟企业的供应链管理的结构，最后叙述了企业从实体企业向虚拟企业转化过程中需要根据不同的阶段实施不同的供应链管理。     

面向互操作的集成化企业建模体系研究

分析了面向互操作的企业建模体系的要求,建立了一个5维的企业参考体系,给出了其组件结构,重点分析了方法论工程组件维、企业工程,及运作组件维和视图维的扩展,突出了企业建模环境、企业工程环境的动态性和不确定性,以及用户对视图维的定制化能力.建立了一个三层视图维结构,依靠基于版本管理机制的核心元模型实现模型的互操作和一致性维护,并设计了其基本类.