随机需求下的选址-库存配送系统集成规划模型及算法

研究了随机需求条件下由单供应商、候选分拨中心和分销点构成的选址－库存问题, 分销点、分拨中心分别基于周期检查(R, s,Q)和连续检查(s, S)库存控制策略. 综合考虑库存成本、运输成本和设施成本之间的均衡关系, 建立了二级库存与无能力约束选址集成规划模型. 给出了适合求解实际规模问题的拉格朗日松弛算法, 提出了求解子问题的有效启发式方法, 改进了次梯度优化方法. 通过仿真试验验证了模型的正确性和算法的有效性. 最后讨论了相对于传统规划方法, 需求方差、服务水平、持有成本、提前期等关键库存控制参数对系统运营成本节约的影响规律.     

流程企业生产过程集成建模方法研究

针对流程企业对市场变化反应较慢的缺点,提出了流程企业的生产过程物流、资金流和工作流集成建模方法。利用物流模型生成资金流模型,通过对资金流的优化实现物流的优化,在物流优化的实现阶段,将人员的安排以工作流模型的方式集成到物流模型中来,从而实现物流、资金流和工作流的集成建模。利用该集成模型进行决策,可提高企业对市场的反应速度。     

基于模糊层次分析法的集成软件质量评估模型

通过建立软件质量点模型和软件质量度量模型,并运用模型集成的方法,构建了软件质量的集成评估模型。通过模型转换方法将其转换为层次分析模型,并针对模型中权重指标难以确定的问题引入了模糊分析的方法。最后通过一个实例验证了该方法的可行性。     

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

MDA实施过程中的数据一致性研究

在基于模型驱动体系结构的软件开发过程中,各个平台相关模型实施过程中的数据一致性很难得到保证。使用信息资源规划的方法,将该问题转换为模型的映射一致性问题,并提出了一种基于矩阵的模型映射方法,解决了这一问题。     

Web服务过程建模及其逻辑正确性验证

为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。     

面向网络的综合产品设计模型研究

详细阐述了产品设计模型的数据结构,奠定了产品设计模型的基石,并且采用web技术作为产品分布式设计制造的解决方案,形成了以数据层、服务层和应用层为基础的三层信息体系架构。为产品全生命周期管理模型的实现提供了坚实的核心模型基础。     

基于智能物件的制造企业信息系统研究

为自动、实时、准确、详细地获取企业物理环境的信息,提出了基于智能物件的实时企业的观点.给出了智能物件技术在制造企业中的应用场景,它不仅能够为企业已有的信息系统提供新的数据源,而且能够在一定程度上改进企业的业务流程.给出并详细描述了系统层次结构及需要研究的重点内容.指出基于事件的中间件是系统集成的关键,提出该中间件的体系结构并详细描述其功能,分析了应用中存在的问题.应用案例证明,该方案是切实有效的.     

云制造服务场景下基于QoS值的改进PBFT算法

区块链技术为云制造服务场景下建立供需方信任桥梁的有效工具,共识算法是区块链的核心技术,鉴于现有共识算法存在消耗大、延时高等缺点,提出一种基于服务质量(QoS)值的改进实用拜占庭容错(PBFT)算法。首先根据QoS值筛选共识节点,然后将PBFT算法的三阶段协议优化为二阶段协议,从而在满足安全性的前提下提高通信效率。通过一系列理论和实验分析证明了所提算法的有效性。     

动态联盟建盟过程模型与分析

主要研究动态联盟建盟过程的建模问题。提出一种工具──广义产品依赖关系图（ＧＰＤＲＤ）,利用该工具建立了动态联盟建盟过程的数学模型,同时讨论了动态联盟建盟的各种可能模式,并对每种模式的优缺点和适应情况进行了分析。