一种基于同步合成构造Petri网进程表达式的方法

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

Web服务组合构建与执行的Petri网平台研究

针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及发布,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得到相应的服务组合功能流程;最后进一步将相关功能转换为绑定具体服务实例的Petri网模型,并交由相应的基于Petri网的服务组合执行引擎实现执行。实现了从服务组合构建到执行实现的完整功能流程,为基于Petri网的服务组合动态执行相关问题的分析提供了软件平台支撑。     

Comparison of changes in visual fatigue and ocular surface after 3D and 2D viewing with augmented reality glasses

The extensive use of electronic devices commonly results in visual discomfort, particularly in stereoscopic display. Augmented Reality (AR) is a mixed technology that superimposes three-dimensional (3D) digital data onto an image of reality. Even though the visual health evaluation of 3D contents has been widely concerned, the difference between 3D and two-dimensional (2D) viewing using AR display was rarely studied. We aimed to compare the changes in visual fatigue and ocular surface parameters after 3D and 2D viewing with optical waveguide AR glasses for one hour (1hr). In the experiment, thirty young healthy participants watched the same film in 2D and 3D mode separately using AR glasses with one week interval. Subjective visual fatigue questionnaire and ocular examinations were evaluated at 3 time points: pre-watching, post-2D and post-3D visual task for 1hr. Lipid layer thickness (LLT) and total blink (TB) were evaluated with the LipiView interferometer. Tear meniscus height (TMH) and noninvasive tear breakup time (NIBUT) were measured using Keratograph 5M. The effect of viewing 2D and 3D videos for 1hr with AR glasses suggested slight visual discomfort except the symptom of pain and dullness. The lipid layer thickness and total blink showed increasing trends in both post-visual task but more obvious after 2D viewing. Blinking patterns and tear film stability are meaningful for video display terminal users in visual health education. Ocular parameters are needed to be considered in the design and usage of future AR applications.     

Robot task plan representation by Petri nets: modelling, identification, analysis and execution

In this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through well-known analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment.     

基于电-声复合传感器测量含水合物液膜厚度仿真研究

针对天然气输送管道内含水合物液膜的厚度测量问题,基于电-声联合探测方法原理设计了集成同轴圆盘-双环电极和超声晶片的内嵌凹面式电-声复合传感器,建立了数值仿真模型对传感器的结构和工作参数进行了优化,并分别对含有离散分布水合物颗粒和水合物沉积层液膜的厚度进行了仿真测量,讨论了电阻法和超声渡越时间法的适用性;研究结果表明:同轴圆盘-双环电极中的圆盘电极的半径、圆盘电极/内环电极的间距是影响电学测试空间灵敏度的主要结构参数,超声波频率对声学测试空间灵敏度产生显著影响,因此需要对凹面式电-声复合传感器的参数进行优化设计;电阻法和超声渡越时间法分别适用于测量水合物以离散颗粒形态分布和以沉积层形态分布的液膜,两类方法优势互补显著,拓宽了电-声复合传感器的适用范围。     

Simulation of thin film thickness distribution for thermal evaporation process using a scanning linear source

Thermal evaporation process is the main process involved in the production of OLED displays and with the trends toward larger substrate size and display resolution, film thickness uniformity must be carefully controlled in order to implement exact pixel data. To secure stable film thickness uniformity on the substrate area, thin films are deposited on large‐area glass substrates via thermal evaporation process using a linear source. We designed a linear source and mathematical model was developed to describe the system with a focus on the linear source. Then, system parameters were determined to guarantee uniform thickness using computer‐based simulation, replacing wasteful actual experiments, followed by carrying out experiments based on the determined parameters. After the deposition process, data from the mathematical model and experiments was compared and the resulting agreement was good, verifying the validity of the proposed method. Consequently, by applying the proposed method, display manufacturing process related to thermal evaporation can be controlled within a tight tolerance in order to maximize the production yield rate.     

Experimental investigation of enhanced spreading and cooling from a microgrooved surface

A heat transfer cell is specifically designed to analyze the heat spreading capacity of a microgrooved surface. V-shaped microgrooves are etched on silicon wafers using standard lithographic process. The shapes of the liquid menisci in the microgrooves are accurately measured using image analyzing interferometry as functions of heat input and opposing body force (angle of inclination). The relevant parameters that govern the spreading and cooling process of an evaporating curved microfilm, e.g., the adsorbed film thickness, contact angle, and curvature at the thicker end of the meniscus are accurately measured. The trends in these values are found to be consistent with the physics of the process. The temperature profiles are measured for the microgrooved and non-grooved silicon substrates under identical conditions of heat input and inclination and the enhanced spreading of the film in presence of microgrooves toward the hot region is quantified. The axially average values of a dimensionless temperature, defined for this study, are used to quantify the enhanced cooling and temperature homogenization potentials of microgrooved surfaces along with the effect of opposing body forces. The study clearly indicates the beneficial effects of change-of-phase heat transfer from an evaporating microfilm on microgrooved surfaces and its potential use in a miniature passive cooling device.     

A neural network model of the Eriksen task: reduction, analysis, and data fitting

We analyze a neural network model of the Eriksen task: a two-alternative forced-choice task in which subjects must correctly identify a central stimulus and disregard flankers that may or may not be compatible with it. We linearize and decouple the model, deriving a reduced drift-diffusion process with variable drift rate that describes the accumulation of net evidence in favor of either alternative, and we use this to analytically describe how accuracy and response time data depend on model parameters. Such analyses both assist parameter tuning in network models and suggest explanations of changing drift rates in terms of attention. We compare our results with numerical simulations of the full nonlinear model and with empirical data and show good fits to both with fewer parameters.     

基于扩展Petri网的虚拟维修作业过程模型

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础。维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性。利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力。最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模。