时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

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

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

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。     

基于Petri网的工作流技术复合建模与系统分解

通过对工作流模型过程定义的分析，利用不同的模型机制聚合工作流建模及涉及的要素，认为工作流模型是一个基于信息模型、功能模型、组织模型和资源模型的复合模型，探讨了模型之间的逻辑关系，以及基于复合建模原理的建模步骤。在针对面向过程开展的资源配置研究的基础上，借助敏捷制造过程的应用实例，分析了基于Petri网的复合工作流 模型的建模步骤。根据分层和分块原则，对基于Petri网的复杂工作流模型的简化提出了一种分解策略，并以实例说明这种分解策略。     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作，利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算，给出了基于统一建模语言活动图的工作流过程模型建模方法，讨论了统一建模语言活动图到工作流网的转换方法，包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例，对转换结果进行了分析。     

基于工作流模式的BPMN过程模型验证方法

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.     

基于广义随机Petri网的维护系统仿真与应用

针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护系统的性能求解中,在选定的Artifex工具平台上实现了维护系统的长周期真实模拟。通过对不同资源条件下仿真结果的分析,明确维护资源配置与维护系统性能间的对应关系,为维护系统的改进提供指导。方法的正确性和可行性在企业的实际应用中得到了验证。     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。     

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

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

Minimal Realization of Linear Graph Models for Multi-physics Systems

An engineering system may consist of several different types of components,belonging to such physical"domains"as mechanical,electrical,fluid,and thermal.It is t...     

Non-monotonic material contrast in scanning ion and scanning electron images

30 keV Ga⁺ focused ion beam induced secondary electron (iSE) imaging was used to determine the relative contrast between several materials. The iSE signal compared from C, Si, Al, Ti, Cr, Ni, Cu, Mo, Ag, and W metal layers does not decrease with an increase in target atomic number Z₂, and shows a non-monotonic relationship between contrast and Z₂. The non-monotonic relationship is attributed to periodic fluctuations of the stopping power and sputter yield inherent to the ion–solid interactions. In addition, material contrast from electron-induced secondary electron (eSE) and backscattered electron (BSE) images using scanning electron microscopy (SEM) also shows non-monotonic contrast as a function of Z₂, following the periodic behavior of the stopping power for electron–solid interactions. A comparison of the iSE and eSE results shows similar relative contrast between the metal layers, and not complementary contrast as conventionally understood. These similarities in the contrast behavior can be attributed to similarities in the periodic and non-monotonic function defined by incident particle–solid interaction theory.     

Application of Feature Extraction through Convolution Neural Networks and SVM Classifier for Robust Grading of Apples

This paper proposes a novel grading method of apples,in an automated grading device that uses convolutional neural networks to extract the size,color,texture,an...     

分布动态载荷识别的抗噪处理

针对正交多项式频域法在用多种响应对矩形薄板进行载荷识别中抗噪性较差的问题,综合运用平均法、矩阵预处理和奇异值截断法等方法对之进行改善,并引入空间映射的思想,将该方法的应用范围拓展为复杂的模型.利用仿真算例,证实了该方法具有较好的抗噪性.     

基于MELTAC-N平台的核电厂安全级DCS环网研究与测试

针对工程实践中环网通讯相关问题的处理缺乏理论基础及国产化安全级DCS平台的开发缺乏成熟经验借鉴问题,对基于MELTAC-N平台核电厂安全级DCS环网的软硬件实现进行了研究。提出了安全级DCS环网双环网冗余设计、光切换开关设计等硬件设计方法,以及以RPR协议为基础,采用全数据收发策略的软件设计方法。在CPR1000安全级DCS平台上对安全级DCS环网的可靠性及实时性进行了评价,并进行了容错能力、响应时间及响应时间稳定性测试验证实验。结果表明,基于MELTAC-N平台安全级DCS环网软硬件设计具有较好的容错能力及响应时间稳定性。     

The laboratory simulation of abrasive wear

Abrasive wear has long been recognised as one of the most potentially serious tribological problems facing the operators of many types of plant and machinery; several industrial surveys have indicated that wear by abrasion can be responsible for more than 50% of unscheduled machine and plant stoppages. Locating the operating point of a tribological contact in an appropriate operational ‚map’︁ can provide a useful guide to the likely nature and origins of the surface degradation experienced in use, though care must be exercised in choosing the most suitable parameters for the axes of the plot. Laboratory testing of materials and simulations of machine contacts are carried out for a number of purposes; at one level for the very practical aims of ranking candidate materials or surface hardening treatments in order of their wear resistance, or in an attempt to predict wear lives under field conditions. More fundamentally, tests may be aimed at elucidating the essential physical mechanisms of surface damage and loss, with the longer term aim of building an analytical and predictive model of the wear process itself. In many cases, component surface damage is brought about by the ingress of hard, particulate matter into machine bearing or sealing clearances. These may be running dry although, more usually, a lubricant or service fluid is present at the interface. A number of standardised wear test geometries and procedures have been established for both two- and three-body wear situations, and these are briefly described. Although abrasive wear is often modelled as following an ‚Archard’︁ equation (i.e. a linear increase in material loss with both load and time, and an inverse dependence on specimen hardness) both industrial experience and laboratory tests of particularly lubricated contacts show that this is not always the case: increasing the hardness differential in an abrasively contaminated lubricated pair may not always reduce the rate of damage to the harder surface.     

Limits of topographic measurement by the scanning tunnelling and atomic force microscopes

Parameters describing the topographic character of a surface (height, surface wavelength, slope and curvature) can be derived from equivalent sinusoidal profiles. The response of a surface-measuring instrument may be modelled in terms of instrument parameters such as stylus radius, and scanning range and resolution. The performance of the instrument may then be mapped as a zone in amplitude-wavelength (AW) space to show the sinusoidal profiles it is capable of measuring. In a first-order analysis the STM and AFM are considered as equivalent to contact-stylus instruments with a notional stylus radius equal to the tip radius plus the gap. Comparisons between different instruments and types of instrument are readily made by mapping in AW space. The error arising from convolution of the sinusoidal profile with that of the finite tip may be quantified and plotted as contours in AW space.     

Fractional order nonsingular terminal sliding mode control for flexible spacecraft attitude tracking

This paper investigates a fractional terminal sliding mode control for flexible spacecraft attitude tracking in the presence of inertia uncertainties and extern...     

奥氏体不锈钢表面双辉等离子渗锆的动力学

利用双辉等离子渗金属技术在0Cr18Ni9Ti奥氏体不锈钢表面制备了一层均匀、致密、呈良好冶金结合的渗锆合金层,并对1 060℃下的渗锆动力学进行了研究。结果表明:随着距锆合金层表面距离的增加,锆元素的含量呈梯度递减,扩散系数逐渐减小,而扩散激活能逐步增大;在1 060℃采用双辉等离子技术渗锆时,渗锆合金层表层的空位密度为2.945×(1012~1013)cm-2,与相同温度下采用常规渗金属工艺相比,提高了1~2个数量级。     

气化炉三维扫描测量与数据处理

以德士古气化炉耐火砖的内壁蚀损检测设备为基础,对采集到的点云数据做了进一步处理.通过对数据的筛选和剔除,实现了数据点的平滑降噪细化和精简.然后利用点云对整、网格划分和分色显示等方法,最终完成了内壁腐蚀情况的三维建模.重点讨论了点云数据的预处理及后处理的方法,并根据内壁耐火砖的腐蚀阈值,提出了一种气化炉内壁腐蚀区域的识别与分割方法.对耐火砖的腐蚀分析、气化炉的生产与维修提供了可靠依据,并在工程应用中获得了一致认可.