整车物流网络规划集成优化模型研究

优化整车物流系统配送网络可降低成本，为此，建立了综合考虑运输规模效应、库存控制策略、设施和服务质量等决策因素的整车物流网络规划集成优化模型。给出了一种流预测和遗传算法相结合的求解方法。在遗传算法中采用二进制码和自然码组合的编码方式，使得每个合法染色体都代表一种可行物流网络结构。为了解决适应度函数中的工厂与分销中心之间的运输成本计算困难的问题，提出了流预测算法，用于确定产品在工厂、集货中心和分销中心构成的凹费用流网络中的最优运输路径，进而获得适应度函数值。最后，通过仿真试验验证了优化模型的正确性和算法的有效性。     

CIMOSA功能模型的Petir网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｉｒ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＭＩＭＯＳＡ模型仿真和执行中出现的不确定性，资源共享和仿真传递问题，提出了一种扩懈的有以Ｐｅｔｒｉ网方法－控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｉｒ网表示方法并给出了由ＣＩＭＯＡ功能模型到Ｐｅｔｉｒ网模型的转换步骤     

产品族谱系的配置方法研究

由于单一拓扑空间内的产品配置建模和求解均较复杂，提出了一种通过配置空间规划构筑产品族谱系，实现优化配置的方法。在剖析客户群需求共性和产品模块的分类聚合特性的基础上，给出了产品族谱系的概念表示和建模方法，以及基于产品族谱系模型对客户需求和约束进行分类求解的方法。阐述了通过谱系定位、关键配置、功能配置和个性配置4个阶段分步实现产品配置生成的过程。最后，以台式电脑为例，说明了该配置方法的有效性。     

联盟企业敏捷性的向量评估法

在分析动态联盟操作流程的基础上，给出了衡量企业敏捷性的一组评价向量和评价指标，如企业投产／生产时间向量、企业投产／生产费用指标等。这种向量评估方法从一个侧面反映了待选企业的敏捷性，为盟主企业正确地选择联盟伙伴提供了决策依据。     

基于对象的柔性组织建模方法

企业组织建模具有重要意义，但现有的组织建模方法还存在很多不足。本文在分析各种不足的基础上，应用面向对象技术，采用构件化方法，提出了一种柔性的、在模型全生命周期表达一致的组织建模方法。它引入了角色和工作组等新型建模元素，有力支持了过程模型的动态执行，并可在一定程度上描述虚拟企业组织结构。同时还介绍了应用该建模方法开发的组织建模软件工具。     

一种成本约束条件下的工作流资源数量优化方法

研究了成本约束条件下协调工作流活动对资源数量的使用,以减少整个工作流系统执行时间.该问题可归纳为多选择背包问题,并设计了资源数量优化算法来满足成本约束,算法的目标是在该约束下最小化工作流系统关键路径的执行时间.最后通过实例测试了算法的有效性和正确性.     

基于 Petri 网和图像识别方法的故障预防系统研究及实施

以国家ＣＩＭＳ工程技术研究中心制造系统为对象，设计并实施了一个制造系统故障预防系统。文中首先提出了制造系统的谓词／变迁网模型，以此为基础设计了基于Ｐｅｔｒｉ网可达性树分析方法和图像识别方法的制造系统故障预防系统，并给出了系统的总体结构图和相应的模块结构图。该故障预防系统已完成实施，在提高制造系统运行的安全性和可靠性方面，发挥了重要作用。     

一对多业务服务协商模型

为了对包含多项功能属性的业务服务质量优劣程度进行量化度量,提出基于指标分层结构和受多个利益相关方偏好影响的指标权重确定方法,进一步根据不同服务质量指标的特性分别制定了相应的效用度量方法,并建立了基于对方报价与剩余资源影响的报价策略,在此基础上构建了一对多业务服务协商模型,并以算例对本模型进行了验证。     

基于Petri网的动态服务流程模型分割

为解决不同组织之间的统一流程定制和动态服务流程模型分割问题,提出了基于多个业务流程执行引擎支持的动态服务流程模型分割方法.首先提出基于高级Petri网的水平分割和垂直分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,然后根据组织的不同,分别放置在多个BPEL行语言引擎上执行,在此基础上进行了模型分割的正确性验证;为进一步提高多个BPEL引擎共同执行的性能,提出了混合分割方法及其体系结构,从而提高了其吞吐率,减少了服务响应时间的花费,并通过示例验证了BPEL流程模型混合分割执行的可行性.最后给出了支持模型混合分割的原型系统,实验结果表明,该模型的混合分割比水平分割和垂直分割更有效.     

分布式工作流中的自适应实时任务调度方法

为提高分布式工作流中实时任务的调度效率,提出了一种基于比例-积分-微分控制的自适应任务调度方法.该方法采用基于动态关键路径的任务分配策略把任务分配到不同的流程引擎上,并通过任务调度器对任务进行调度.任务调度器根据准入控制器和比例-积分-微分控制器的计算结果,采用弹簧算法调整流程引擎中实时任务的各项参数,以便让流程引擎处理尽可能多的任务.此外,为了防止系统的瞬时过载,自适应任务调度方法采用了准入控制策略.该策略根据系统当前的负载情况实时对进人系统的任务数量进行控制,保证了系统的稳定运行.