服务流程动态分割执行中时序一致性的实时验证

服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销,提高了执行站点的自治性;另外,它对分布结构没有限制,能够应用于各种动态分割执行方式。     

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

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

云—雾—边缘协同的数字孪生制造系统仿真过程动态扰动响应方法

鉴于现有仿真技术对制造过程动态响应能力不足,数字孪生技术为仿真系统对制造过程的动态映射提供了解决方案,但仍存在设备运行过程中动态扰动识别困难且扰动识别模型的训练过程受制于计算和数据资源,导致耗时较长,以及用于识别动态扰动和构建约束条件的数据为离线或半离线状态,不能满足实时响应要求的问题。针对以上问题,提出一种基于云—雾—边缘协同的数字孪生制造仿真过程动态扰动响应方法。在云端使用公共数据集训练普适化模型并使用边缘端数据训练个性化模型来提升扰动识别精度,雾端通过部署云端训练的个性化模型保证扰动识别速度,同时将识别的扰动更新到数字孪生仿真模型中。边缘端负责采集实时信号并上传至雾端。经实验验证,扰动约束更新机制能够准确更新扰动,从而对运行过程中的扰动做出快速响应。     

服务工作流中基于资源约束的服务选取方法

在面向服务的工作流管理系统中,目前多采用难以准确获取的服务质量信息来选取服务,忽略了基于业务去选取符合需求的服务。通过对资源约束间的相关性、约束满足的时效性等性质进行分析,提出基于资源约束满足性的服务选取方法,并给出了具体算法。该方法将工作流模型中描述的约束条件分离出来,并在运行时和服务选取之前判定其满足性,从而可以选取满足业务需求的服务。实例分析表明该方法具有很强的通用性和实用性。     

机械设备自动化制造过程资源优化调度方法设计

在机械设备自动制造过程中,常见的资源调度方法在动态环境下信息延迟比较大,调度方法整体适应性比较差.为了解决这一问题,提出机械设备自动化制造过程资源优化调度方法设计.从制造过程特性入手,构建基于资源优化的制造过程模型,确定资源调度的时序约束和各个资源间的逻辑关系,将时间、成本、质量、逻辑关系和资源消耗作为目标,获得各个目...     

网格环境下多服务质量约束的复合服务调度机制

目前,由于没有一个动态、可扩展的服务组合模型,在服务网格环境中缺乏满足多性能目标约束的、复合服务的调度机制。为此,在分析动态服务调度机制基础上,将服务质量约束引入到状态图工作流模型中,提出一种多服务质量约束的动态组合服务模型,给出了在服务组合过程中保持服务组件之间服务质量一致性的方法,并将复合服务的调度问题（即执行路径的动态选择问题）归结为多属性决策问题。采用简单加权法,以保证组合后的服务满足综合服务质量约束。通过实现的服务调度组件验证了该机制的可行性和有效性。     

跨组织业务过程协同并行建模

为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。     

基于动态适配的数控信息语义集成

针对多源数控信息存在语法结构和语义异构特点而难以有效集成的问题,根据数控加工过程中信息组织形式的特点,建立了数控信息资源领域本体,提出了一种基于动态适配模式的数控信息语义集成框架.该框架在建立数控信息知识库的基础上,实现从语法和语义两个层次对多源异构数控信息的集成.描述了动态适配模式下的信息集成过程和语义映射过程,提出了利用基于可扩展标记语言的约束规则的实现方法和语义查询实现模型,并对动态构建相互独立适配通道和动态配置规则约束进行了描述.通过原型实例分析,证明了该框架及其实现方法的可行性.     

开放式体系结构数控系统实时性的建模与分析

给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)。TTM/ATRTTL提供一整套方法用于对OAC系统的硬实时性和反馈特性进行建模并使用该形式化方法在系统层对OAC系统进行建模。分别给出开环OAC,系统级逻辑控制器以及任务间通信和同步机制的TTM模型,并最终给出具有调度机制的闭环OAC系统TTM模型。该模型为系统验证体系结构的基础。最后,给出系统验证体系结构并用模型验证工具STeP和CAD工具SF2STeP实现之。在系统验证过程中,首先解决STeP中遇到的若干模型验证问题,这些问题包括重写规则,验证规则,状态爆炸问题,以及时间约束限制问题。通过模型验证试验解决OAC系统运行过程中出现的死锁以及系统各模块执行时间约束检验问题。试验结果表明该方法可以有效地对OAC系统进行建模并对系统的实时特性进行验证。     

微控制器静态时序分析方法研究

静态时序分析方法不依赖于激励,且可以穷尽所有路径,运行速度很快,占用内存很少,克服了动态时序验证的缺陷.我们探讨了时序路径、路径延迟、时序约束等问题,重点研究了多周期路径造成的时序异常排除方法,并用静态时序分析工具Primetime对微控制器软核HGD08R01进行了案例分析,获得了满意的效果.     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性，以及资源和变迁的有效时间约束问题。为此，通过对模糊时间Petri网的各个元素中引入时间约束，提出了一种工作流模型，即模糊时态工作流网，给出了该工作流网中各种时态元素的计算方法，并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后，用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。     

虚拟企业模型一致性检查算法设计与实现

针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法.首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联.在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性.最后,利用一个系统验证了算法的可行性.     

资源约束下多过程的不确定时间建模与分析

由于测量不精确、信息不完备以及信息包含噪声等原因,工作流的时间信息会具有不确定性。针对不确定性情况下工作流时间建模和分析的实际需求,基于可能性理论,给出扩展模糊时间工作流网(Extended fuzzy timing work flownets,EFTWFN)定义,实现对不确定性时间信息的全面描述。在考虑资源约束情况下,提出一种工作流多过程EFTWFN模型的推理分析方法,将EFTWFN与线性逻辑结合,定义多种变迁间的化简规则,再基于规则逐步化简EFTWFN模型,从而实现对不确定性时间问题的解决。所提出的方法实用性较强,能够有效处理资源约束情况下工作流多过程的定量和定性两方面问题;而且效率较高,可在线性时间复杂度内完成对问题的求解。在某制造企业中的实例应用与仿真验证表明,该方法具有很好的效果。     

扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

发电设备预防性检修策略比较研究

在已知设备初始时间、延迟时间分布规律的基础上，由潜在故障和延迟时间的概念出发，分别研究了工龄更换策略和点检定修策略的费用模型、功能故障风险模型，并通过算例进行了两种策略的比较分析。分析结果表明，从费用及功能故障风险的角度来说，点检定修策略优于工龄更换策略。     

敏捷产品开发中的时间工作流建模研究

在大规模定制模式下如何高效地处理敏捷产品开发过程中的工作流是实现敏捷产品开发的关键问题。敏捷产品开发中的工作流具有很强的时间逻辑关系。在敏捷产品开发的工作流模型中增加时间信息，并利用J．F．Allen研究的时间逻辑对时间信息进行验证，建立敏捷产品开发的时间工作流模型；在敏捷产品开发过程中从本企业各部门选择合适的人员和动态联盟中其他企业的人员组建多功能开发团队，并运用时间工作流管理系统进行管理，并通过Internet来对工作流进行集成。     

支持企业能效评估的能源消耗过程仿真方法

为定量和定性分析企业能源消耗情况,结合企业能源消耗过程多装置、多过程、多工序的并行、串行、返流等特性,在研究面向企业能源消耗过程的模糊扩展Petri网的基础上,深入分析了模型的有效冲突及其解决策略,提出了基于该模型的企业能源消耗过程仿真方法,并详细地给出了仿真模型和仿真算法的具体实现。实例仿真表明,该方法可以有效地模拟企业生产过程中能源使用与消耗的动态行为,为企业提供直接能耗、间接能耗等相关数据,是一种行之有效的企业能效评估方法。     

自由曲面超声检测机器人运动学分析

在对自由曲面超声检测机器人进行结构分析的基础上,采用Denavit-Hartenberg方法建立了连杆坐标系下的机器人运动学模型,对其进行了运动学正向、逆向分析求解,并通过实验数据证明了该解方法的正确性。事实证明,通过对该检测机器人进行的运动学分析,可为计算机控制检测探头进行曲面检测提供准确的控制参数,为实现自由曲面连续的仿形超声检测提供可靠的方法和理论依据。     

一体化框架在某型民机疲劳试验中的设计与应用

在以往的全机静力/疲劳试验中,常采用立柱-龙门架加载框架。该加载方式不便于设计检查平台,不适用于疲劳试验。针对疲劳试验周期长、试验加载设备反复使用、经常检查试验件等特点,设计了一体化加载框架,主要包括整体框架式加载系统、检查平台、油路线槽系统。一体化加载框架可以一次安装到位,减轻了试验人员的重复劳动,有利于试验件的损伤检查,减少疲劳试验裂纹的漏检率。试验表明,该加载方式可在后续全机和部件的静力/疲劳试验中应用。