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

1

作者 方欢 陆阳 +1 位作者 黄镇谨 杨娟 《控制理论与应用》 EI CAS CSCD 北大核心 2012年第7期884-892,共9页

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

关键词 广义混杂Petri网 变迁公平关系 同步距离 同步控制器 性质判定

下载PDF 职称材料

Petri网的公平性及分析 被引量：7

2

作者 韩江洪 方华 刘小平 《系统仿真学报》 CAS CSCD 北大核心 2012年第3期521-535,共15页

公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要... 公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。 展开更多

关键词 公平性 公平网 公平保性 同步距离

下载PDF 职称材料

Petri网的同步距离计算 被引量：3

3

作者 张金泉 倪丽娜 蒋昌俊 《计算机科学》 CSCD 北大核心 2005年第12期138-141,154,共5页

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

关键词 PETRI网 同步距离 S_元 同步距离计算网(SDCNet)

下载PDF 职称材料

中美远程教育比较研究 被引量：1

4

作者 孙康 苏艺 《辽宁师范大学学报（自然科学版）》 CAS 2001年第1期93-95,共3页

中国和美国一个是发展中国家，一个是发达国家，在开展远程教育方面，存在一定差距．由于远程教育的历史较短，因此中美之间在远程教育方面的差距并不大．从远程教育技术方案的角度分析，中国的远程教育属于同步远程教育，美国属于异步... 中国和美国一个是发展中国家，一个是发达国家，在开展远程教育方面，存在一定差距．由于远程教育的历史较短，因此中美之间在远程教育方面的差距并不大．从远程教育技术方案的角度分析，中国的远程教育属于同步远程教育，美国属于异步远程教育，中国在远程教育方面要想赶上美国，必须尽快开展异步远程教育． 展开更多

关键词 远程教育 同步远程教育 异步远程教育 中国 美国 教育途径 比较

下载PDF 职称材料

标识T-网中同步距离的计算 被引量：3

5

作者 王丽丽 吴哲辉 方欢 《计算机科学》 CSCD 北大核心 2008年第10期100-103,169,共5页

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petr... 同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法。对另一个Petri网子类——标识T-网给出了其同步距离的计算方法。标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行。文中给出了相应的求解定理。 展开更多

关键词 同步距离 标识T-网 源库所 控制库所 控制库所接入变迁

下载PDF 职称材料

基于Petri网建模的互斥问题优化方案 被引量：3

6

作者 侯春龙 齐新战 卫翔 《系统仿真技术》 2012年第3期238-243,共6页

互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题。为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时... 互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题。为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势。 展开更多

关键词 互斥进程 同步距离 PETRI网

下载PDF 职称材料

无触C/E系统中同步距离性质的研究 被引量：1

7

作者 冯卫兵 李战怀 《计算机工程与应用》 CSCD 北大核心 2006年第23期14-15,30,共3页

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

关键词 同步距离 进程 PETRI网 片集

下载PDF 职称材料

P/T_网中的同步距离

8

作者 王丽丽 方贤文 +1 位作者 方欢 蔡瑞文 《计算机工程与应用》 CSCD 2014年第23期47-50,60,共5页

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

关键词 P/T_网 公平分支 带权观察库所 带权同步观察P/T_系统 本原权函数 同步距离

下载PDF 职称材料

一种面向规则DOACROSS循环的自动并行化框架

9

作者 张庆花 赵荣彩 李朋远 《小型微型计算机系统》 CSCD 北大核心 2016年第6期1365-1370,共6页

针对现有编译器对DOACROSS循环采取保守处理而造成程序并行性巨大损失的问题,本文提出了一种面向规则DOACROSS循环的自动并行框架.首先基于依赖测试提出了同步距离求解算法以确定嵌套循环的并行层、迭代分组层,以及同步语句插入点;其次... 针对现有编译器对DOACROSS循环采取保守处理而造成程序并行性巨大损失的问题,本文提出了一种面向规则DOACROSS循环的自动并行框架.首先基于依赖测试提出了同步距离求解算法以确定嵌套循环的并行层、迭代分组层,以及同步语句插入点;其次提出了明确的同步控制机制来实现不同线程间的通信;最后,本文设计了一种基于程序执行开销的流水粒度求解算法,以达到降低程序并行过程中的同步开销目的.本文将该方法在SW-VEC自动并行化系统中实现并加以验证,实验结果表明本文所提方法对FDR波前计算循环和NPB3.3.1中的LU课题有明显性能提升. 展开更多

关键词 DOACROSS循环 流水并行 同步距离 同步控制机制 流水粒度

下载PDF 职称材料

远程教育中的远程交互模型

10

作者 杨青 胡金柱 《计算机科学》 CSCD 北大核心 1999年第11期72-73,30,共3页

1.引言远程教育是指当教师和学生处在异地情况下,运用现代化通信技术所进行的一种教学活动,它具有办学灵活,不受地理位置限制等特点。我国使用邮政方式和广播电视方式的远程教育已形成规模。近年来,随着国际互联网Internet的迅猛发展,基... 1.引言远程教育是指当教师和学生处在异地情况下,运用现代化通信技术所进行的一种教学活动,它具有办学灵活,不受地理位置限制等特点。我国使用邮政方式和广播电视方式的远程教育已形成规模。近年来,随着国际互联网Internet的迅猛发展,基于Internet的远程教育正在兴起,它与函授形式和广播电视方式的远程教育相比除了能图文并茂外,最主要的特点是能够进行远程交互。 展开更多

关键词 远程教育 远程交互模型 INTERNET网 信息系统

下载PDF 职称材料

子网行为等价的特殊网系统的同步距离

11

作者 王丽丽 方贤文 张苗苗 《安徽理工大学学报（自然科学版）》 CAS 2014年第1期19-23,共5页

同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步... 同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。 展开更多

关键词 PETRI网 同步距离 行为等价 特殊子网

下载PDF 职称材料

低品位厚大矿体多中段协同开采步距计算方法 被引量：5

12

作者 牛文静 陈庆发 +2 位作者 刘严中 陈大鹏 杨家彩 《金属矿山》 CAS 北大核心 2016年第9期23-29,共7页

多中段开采模式能有效提高低品位厚大矿体生产能力,降低生产成本,研究多中段协同开采步距具有重要意义。从矿山工程系统出发,提出了多中段协同回采步距计算思路和方法。通过构建多中段协同开采步距计算体系,建立多中段协同开采综合模糊... 多中段开采模式能有效提高低品位厚大矿体生产能力,降低生产成本,研究多中段协同开采步距具有重要意义。从矿山工程系统出发,提出了多中段协同回采步距计算思路和方法。通过构建多中段协同开采步距计算体系,建立多中段协同开采综合模糊评价体系,利用层次模糊分析法,对影响多中段同时开采方案选择的各因素权重值进行了确定,评价了多中段同时开采方案,理论上确定了多中段协同开采方案和协同步距。以广西华锡集团铜坑矿锌铜矿体为工程背景,开展了协同步距的理论应用研究,确定了锌铜矿体二中段同时回采且上中段超前下中段2个采场步距的协同开采方案。该研究成果可为低品位厚大矿体多中段协同开采提供技术指导。 展开更多

关键词 多中段 协同开采 协同步距 低品位厚大矿体 综合模糊评价

下载PDF 职称材料

基于信标漂移误差识别的长基线定位算法 被引量：1

13

作者 朱子尧 韩树平 +3 位作者 郭正东 孙荣光 舒象兰 董永峰 《系统工程与电子技术》 EI CSCD 北大核心 2019年第1期162-169,共8页

针对长基线水声定位系统中信标位置漂移误差难以识别和估计的问题,分析了长基线水声定位系统中同步式测距系统时钟同步误差和应答式测距系统信标漂移误差的等效性,提出一种对有效声速系统误差进行修正的单信标测距定位算法。在此基础上... 针对长基线水声定位系统中信标位置漂移误差难以识别和估计的问题,分析了长基线水声定位系统中同步式测距系统时钟同步误差和应答式测距系统信标漂移误差的等效性,提出一种对有效声速系统误差进行修正的单信标测距定位算法。在此基础上提出一种在不掌握声场环境信息时可以有效识别信标漂移误差的长基线定位算法,利用有效声速分布范围对信标漂移误差进行识别,基于航迹融合后轨迹对固定信标位置漂移误差进行估计和修正。试验结果表明算法提高了长基线系统的定位精度和鲁棒性。 展开更多

关键词 信标漂移误差 长基线 同步式测距 应答式测距 单信标测距定位

下载PDF 职称材料

公平Petri网中同步距离计算的一个实现算法 被引量：1

14

作者 王丽丽 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期16-20,共5页

同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构... 同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广(可覆盖)树的概念。在原网系统的可覆盖的基础上构造出一个增广(可覆盖)树,通过增广(可覆盖)树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。 展开更多

关键词 PETRI网 加权同步距离 观察库所 带观察库所的加权网系统SWNet 增广(可覆盖)树

下载PDF 职称材料

关于Petri网中同步距离定义的研究 被引量：1

15

作者 王丽丽 吴哲辉 +1 位作者 方贤文 刘道浩 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第3期303-308,共6页

同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将... 同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑;对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题。 展开更多

关键词 PETRI网 同步距离定义 观察库所 T-跨

下载PDF 职称材料

自导深弹脱靶距离测量方法研究

16

作者 邓秀华 《舰船电子工程》 2012年第10期113-115,共3页

脱靶距离是衡量自导深弹制导控制能力的终级指标,指自导深弹跟踪目标时与目标之间的最小距离。试验时需要对其进行精确测量。提出了同步测距进行脱靶距离测量,简要阐述了系统的组成及工作原理,对系统的软硬件设计作了简要说明。系统测... 脱靶距离是衡量自导深弹制导控制能力的终级指标,指自导深弹跟踪目标时与目标之间的最小距离。试验时需要对其进行精确测量。提出了同步测距进行脱靶距离测量,简要阐述了系统的组成及工作原理,对系统的软硬件设计作了简要说明。系统测距精度高,使用方便,能满足工程需要。 展开更多

关键词 自导深弹 同步测距 脱靶距离 测距精度

下载PDF 职称材料

基于有线电视网络的远程教育系统模型及其协同工作的实现

17

作者 陈强 《中国有线电视》 北大核心 2003年第21期64-67,共4页

随着现代实时远程教育系统及有线电视网络的应用 ,提高远程教学效果的一个重要而普遍的问题 ,就是在此基础上依据CSCW技术和现代通信技术建立一个实时远程教学系统 ,完成网上实时虚拟课堂、实时同步考试与监督、实时的师生间及学生间的... 随着现代实时远程教育系统及有线电视网络的应用 ,提高远程教学效果的一个重要而普遍的问题 ,就是在此基础上依据CSCW技术和现代通信技术建立一个实时远程教学系统 ,完成网上实时虚拟课堂、实时同步考试与监督、实时的师生间及学生间的交互 ,使教师和学生自由地共享一个网络提供的集成环境 ,应用有线电视网络数字视频广播系统DVB ,解决非同时学习的协同工作等问题 ,改进和完善远程教育系统。 展开更多

关键词 有线电视网络 实时远程教育系统 CSCW 协同工作 数字视频广播系统

下载PDF 职称材料

实时远程教育系统模型的特性与实现

18

作者 陈强 《电子元器件应用》 2003年第5期45-49,共5页

随着基于Internet和3层客户/服务器模式体系结构的现代远程教育系统的进一步发展,学员随时随地接受多项远程教育服务(阅读资料,提问解答等)成为现实。然而,提高远程教学效果的另一个关键性问题,就是在此基础上依据CSCW技术和现代多媒体... 随着基于Internet和3层客户/服务器模式体系结构的现代远程教育系统的进一步发展,学员随时随地接受多项远程教育服务(阅读资料,提问解答等)成为现实。然而,提高远程教学效果的另一个关键性问题,就是在此基础上依据CSCW技术和现代多媒体通讯技术建立1个实时远程教学系统,完成网上实时虚拟课堂、实时同步考试与监督、实时的师生间及学生间的交互,使教师和学生自由地共享1个网络提供的集成环境,改进和完善远程教育系统。 展开更多

关键词 实时远程教育 3层客户/服务器模型 计算机协同工作技术 虚拟课堂 多媒体通讯技术

下载PDF 职称材料

基于偏移量计算的在线GPS轨迹数据压缩 被引量：8

19

作者 樊庆富 张磊 +2 位作者 刘磊军 鲍苏宁 房晨 《计算机工程与应用》 CSCD 北大核心 2017年第8期254-259,266,共7页

针对现有基于偏移量计算的在线GPS轨迹数据压缩算法不能有效评估关键点的问题,提出基于偏移量计算的在线GPS轨迹数据压缩算法——关键点前继修正算法(KPFA)。该算法通过计算同步欧式距离(SED)累积偏移量来发现轨迹点中信息量较大的关键... 针对现有基于偏移量计算的在线GPS轨迹数据压缩算法不能有效评估关键点的问题,提出基于偏移量计算的在线GPS轨迹数据压缩算法——关键点前继修正算法(KPFA)。该算法通过计算同步欧式距离(SED)累积偏移量来发现轨迹点中信息量较大的关键点,同时设置阈值对关键点之前和上一个关键点之后的轨迹点进行修正,更好地保留轨迹信息。实验结果表明,和按时间比例的开窗算法(OPW-TR)及启发式空间质量简化算法的改进算法(SQUISH-E)相比,压缩率相同时KPFA的平均SED误差最小,并且运行时间最快且维持在100 000 ms。KPFA算法对轨迹点的信息量评估准确度更高,运行时间更稳定。 展开更多

关键词 在线轨迹压缩 同步欧式距离 偏移量计算 评估误差

下载PDF 职称材料

基于在线有向无环图的船舶轨迹压缩算法 被引量：7

20

作者 张远强 史国友 李松 《交通运输工程学报》 EI CSCD 北大核心 2020年第4期227-236,共10页

为了解决船舶轨迹数据的压缩问题,提出了一种船舶轨迹在线压缩算法;使用多次滑动推算船位判断方法清洗船舶轨迹,使用在线有向无环图在干净轨迹上建立压缩路径树并输出采样点;为了提高轨迹队列和路径树在内存中的查询速度,使用哈希表对... 为了解决船舶轨迹数据的压缩问题,提出了一种船舶轨迹在线压缩算法;使用多次滑动推算船位判断方法清洗船舶轨迹,使用在线有向无环图在干净轨迹上建立压缩路径树并输出采样点;为了提高轨迹队列和路径树在内存中的查询速度,使用哈希表对其进行管理;为了验证提出算法的效果,比较了真实船舶自动识别系统数据与方向保留算法、道格拉斯-普克算法的压缩时间和误差,采用可视化方法分析了原始轨迹、清洗轨迹和压缩轨迹。试验结果表明:在压缩时间方面,方向保留算法和道格拉斯-普克算法的压缩时间分别约为提出算法的1.1、1.3倍,说明提出的算法比其他2种算法的处理时间更短;提出的算法在压缩过程中保留了时间信息,平均同步欧氏距离误差在任何压缩率下都能保持在10 m以下,最大同步欧氏距离误差在压缩率为1%时仅有127 m,而其他2种算法的平均同步欧氏距离误差和最大同步欧氏距离误差不受控制,会随机变化;在垂直距离误差方面,提出的算法与道格拉斯-普克算法在压缩率不小于5%的条件下,都能保证垂直距离误差小于20 m,而方向保留算法的垂直距离误差会随机变化;在显示效果方面,提出的算法能有效清除轨迹噪声点,压缩轨迹能够较好地代表原始轨迹的宏观交通流情况。可见,提出的算法能更高效地保留原始轨迹的形状和时间信息。 展开更多

关键词 船舶自动识别系统 船舶轨迹 轨迹压缩 压缩路径树 压缩率 平均同步欧氏距离误差

原文传递