Petri网的同步距离计算

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。     

混杂Petri网系统中同步距离的确定及同步控制器的设计

目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.     

P/T_网中的同步距离

同步距离既可以对两组事件之间同步程度进行定量分析,也可以刻画系统动态行为,然而Petri中同步距离计算一直存在难题。采用加权观察库所的原理讨论了P/T_网中任意两个变迁子集之间同步距离的计算,并通过本原权函数的定义指出了如何给连接变迁和加权观察库所之间的弧配置一个唯一的权值。为了得到处于同一个公平分支变迁子集之间的同步距离值,需构造一个带权同步观察P/T_系统,通过模拟原网系统的可覆盖树得到带权观察库所的最大和最小tokens,从而求得变迁子集之间的同步距离值,并给出相应算法,给出了求解P/T_网中任意两个变迁子集之间同步距离计算算法。     

基于Petri网工作流模型的复合事件检测的分析和分解

本文介绍了一种应用Petri网技术对工作流进行建模的方法.该方法将工作流的执行方式从检测事件一触发转变为检测状态一触发,并且采用分层分块的策略对Petri网工作流模型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现.     

基于Petri网结构特性的可达性求解

以Petri网关联矩阵为基础,根据状态方程将变迁向量解表达为T＿不变量与方程特解的线性组合;当特解向量中不存在合法引发序列时,从该向量出发,以逆序的方式获取借库所,构建借库所链;利用借库所关联的变迁向量之间的借还逻辑和数目依次求解T＿不变量的发生系数,得到一个较小的可达变迁向量。这种求解算法不仅可以实现目的可达的有效求解,还可以利用借库所链的中断对目的不可达进行直接快速的判断,避免后续不必要的相关工作;同时借库所的获取、T＿不变量系数的分析计算都是分区块进行的,大大缩小了探索范围,也简化了计算操作;借库所链中种蕴含的变迁引发逻辑也可以启发方式帮助可达变迁向量快捷建立合法引发次序。     

项链T-图和完全T-图中活的和安全的标识类个数的证明

本文证明了：有k个结点（变迁）的项链型T-图Nk和有n个结点（变迁）的完全T-图K。这两种特定结构的T-图中活的和安全的标识类的个数分别为：k-1和（n-1）!个。     

带弧标识的时钟同步Petri网

针对以往的时间Petri网对时钟同步系统描述能力不足的情况,提出了一种带弧标识的时钟同步Petri网(CSPN)。     

无触C/E系统中同步距离性质的研究

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。文章对C/E系统中有关同步距离的性质进行了研究,首次提出了片集夹的概念。文章证明的结果是同步距离性质最基础部分,而且同步距离又是Petri网的一个重要的内容,因此对同步距离的研究显得尤为重要。     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.     

基于Petri网的交互式双机容错模型

传统的服务器容错模型大多采用复制和冗余机制，给系统造成大量垃圾．本文分析了数据库的体系结构，给出一个具有三层交互式的Petri网容错模型．实现了客错机制和容错策略的分离，体现了系统的动态特性．     

移动计算环境数据同步更新研究

该文提出了在移动计算环境中,以脱机（Ｏｆｆ－ｌｉｎｅ）方式自主操纵数据的“移动人员”与数据中心之间的数据同步更新的实现方法。     

改进的边界距离变换算法在虚拟内窥镜中应用

为提高虚拟内窥镜实现中提取中心路径的时间效率,改善虚拟内窥镜的实时漫游,边界距离变换算法是提取中心路径的常用算法.上述算法在建立边界距离场和源距离场时非常耗时,故实时性很差.针对建立两个场非常耗时的缺点,提出定义超大数组,建立体素点ID值和体素点在体素点集中位置的一一对应关系,减少在确定体素点位置时对体素集的扫描次数,从而提高算法的效率.实验结果表明,改进后的算法时间效率高,实时漫游效果好,速度快,提取的中心路径漫游效果好,实现了虚拟漫游效果,具有一定的实际应用与理论研究价值.     

Detection of soldering defects in Printed Circuit Boards with Hierarchical Marked Point Processes

In this paper we introduce a probabilistic approach for optical quality checking of solder pastes (SP) in Printed Circuit Boards (PCB). Dealing with unregistered image inputs, our task is to address at the same time SP identification, and detection of special soldering errors, called scooping. For this reason we introduce a novel Hierarchical Marked Point Process (HMPP) framework, which is able to handle the paste and scooping extraction problems simultaneously, so that the SPs and included scoops have a parent-child relationship. A global optimization process attempts to find the optimal configuration of entities, considering the observed data, prior knowledge, and interactions between the neighboring circuit elements. The proposed method is evaluated on a real PCB image set containing more than 3000 SPs and 600 scooping artifacts. A morphology-based baseline method is also introduced for the problem and used as reference for qualitative and quantitative comparison against the proposed model.     

智能网联汽车变车距队列控制与仿真

智能网联汽车的发展是将来智能交通系统中的一个重要方向,受基础设施条件以及试验成本的限制,目前的测试验证仍以计算机仿真为主。针对现有仿真软件难以满足智能网联汽车测试需求的问题,以开源软件PLEXE为基础,通过对其道路交通模拟器中的车辆动力学模型、通信拓扑结构以及车辆队列控制器等关键模块进行二次开发,设计了面向智能网联汽车队列控制研究的可视化仿真平台,对变车距队列控制算法进行仿真验证。仿真结果表明:上述平台可完成队列控制的可视化仿真,相比其它软件更加直观形象。     

Efficient Minimum Distance Computation for Solids of Revolution

We present a highly efficient algorithm for computing the minimum distance between two solids of revolution, each of which is defined by a planar cross-section region and a rotation axis. The boundary profile curve for the cross-section is first approximated by a bounding volume hierarchy (BVH) of fat arcs. By rotating the fat arcs around the axis, we generate the BVH of fat tori that bounds the surface of revolution. The minimum distance between two solids of revolution is then computed very efficiently using the distance between fat tori, which can be boiled down to the minimum distance computation for circles in the three-dimensional space. Our circle-based approach to the solids of revolution has distinctive features of geometric simplification. The main advantage is in the effectiveness of our approach in handling the complex cases where the minimum distance is obtained in non-convex regions of the solids under consideration. Though we are dealing with a geometric problem for solids, the algorithm actually works in a computational style similar to that of handling planar curves. Compared with conventional BVH-based methods, our algorithm demonstrates outperformance in computing speed, often 10–100 times faster. Moreover, the minimum distance can be computed very efficiently for the solids of revolution under deformation, where the dynamic reconstruction of fat arcs dominates the overall computation time and takes a few milliseconds.     

Efficient Computation of the Euclidean Distance Transform

We present a simple algorithm for the Euclidean distance transform of a binary image that runs more efficiently than other algorithms in the literature. We show that our algorithm runs in optimal time for many architectures and has optimal cost for the RAM and EREW PRAM.     

基于曲面精确表示的距离极值点的计算及在刀具干涉检测中的应用

针对基于曲面精确表示的刚体碰撞检测中裁剪曲面距离极值点的求解问题,提出了 利用平面向量场估计初始曲面距离极值点的方法,避免了曲面过度细分,讨论了距离极值点满足 的微分几何条件,给出了解析曲面/参数曲面、参数曲面/参数曲面、点/参数曲面和曲线/参数曲面 的距离极值点迭代算法。实例验证分析了该算法的高效性和可靠性。     

长途汽车站语音播报系统的设计与实现

详细介绍了一种长途汽车站语音播报系统的设计与实现方法,实现了将文字实时动态转化为语音的信息管理系统的开发。对提高现代化长途汽车站的管理水平,具有一定的借鉴意义。