质量控制过程的流程重构校验方法研究

通过广义随机Petri网结构等价性的分析和论证，提出质量保证过程的流程建立和重构方法。首先该方法依据ISO9000标准，在网络化制造企业间构造无差错的开放质量活动流程，然后根据网结构等价构造方法分解到企业内部扩展私有流程。两次建模的步骤克服了递阶和集中控制需建立和校验整个流程的缺点，保持分布自治的质量控制过程在网结构特性上能满足有界性、遍历性和标记平衡，适应了网络化制造环境中需要适应性修正的动态特征需求，为网络化制造过程中质量的重构优化找到有效手段，最后通过实例说明结论的可应用性。     

基于CPN的联合作战自适应分队分布式协同结构性能评价

首先以P／T(place／transition)系统(库所／变迁系统)的表现形式,建立了联合作战自适应分队分布式协同结构。然后根据时间CPN的定义及CPN的层次建模方法,建立了系统性能评价的CPN模型;最后根据时间CPN的性能求解方法,用计算机模拟出了系统的平均任务响应时间,并和正常模式下的固定结构作了对比,得出了所建立的自适应分队协同结构的优缺点,指出了其优越性和可行性。     

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

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

THE SINGLE MACHINE STOCHASTIC SCHEDULING WITH THE WEIGHTED JOB TARDINESS MINIMIZATION

This paper considers scheduling n jobs on a single machine where the job processing times anddue dates are independent random variables with arbitrary distribution functions.We consider the casethat the weighted job tardiness in expectation is minimized.It is assumed that job's due dates arecompatible with processing times and weights.We show that the jobs should be sequenced indecreasing stochastic order of their due dates.     

基于Petri网和GASA的双资源JSP动态优化调度

以带有控制器的Petri网为建模工具对柔性生产调度中的离散事件建模.该模型不仅能够反映柔性生产线上待加工产品的多条工艺加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述.利用遗传算法和模拟退火算法(GASA)获得调度结果,用于解决作业车间在机床、操作工人等生产资源制约条件下的动态优化调度.该调度以生产周期为目标,通过多种交叉、变异、概率更新、再分配策略等遗传和模拟退火操作,得到目标的最优或次优解;尤其重要的是该算法能够在扰动发生后迅速提供新的调度计划.对算法进行了仿真研究,结果表明该算法是可行、有效的.     

三重介质单相渗流数学模型

本文把单相流体在三重介质中的流动视为一更新过程,从而用新方法建立了数学模型。     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

自主连续Petri网的性质及判定方法

给出了自主连续Ｐｅｔｒｉ网（ＡＣＰＮ）的动态性质及结构性质的定义,并对其结构性质给出了相应的判定方法,从而为对ＡＣＰＮ的性质分析提供了必要的理论依据     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

基于有色Petri网的Web服务协商

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。