Petri网的同步距离计算

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

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

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

标识T-网中同步距离的计算

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

关于Petri网中同步距离定义的研究

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

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

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

公平Petri网中同步距离计算的一个实现算法

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

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

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

P/T_网中的同步距离

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

距离-速度同步拖引欺骗干扰的频谱特征分析

为了正确识别雷达欺骗干扰,针对基于数字射频存储器(DRFM)及直接数字频率合成器(DDS)产生距离-速度同步拖引干扰的现代欺骗干扰机,根据干扰机的工作机理,理论推导并对比了理想距离-速度同步拖引干扰信号及实际干扰信号的频谱特征。发现实际干扰信号的最大谱线相对理想干扰信号会产生微小频偏并在幅度上有一定衰减,这一频域细微特征可以为雷达识别该类干扰提供依据。仿真实验验证了理论分析的结果。

激光距离选通成像同步控制系统的设计与实现

针对传统的激光距离选通成像系统需要已知距离及精确的激光器传输时间延迟等先决条件,设计并实现了一种基于DSP的激光距离选通成像系统,并对其同步控制方法进行详细地探讨。该方案利用快速DSP控制器完成测距和距离延迟,产生纳秒级的选通脉冲选通ICCD摄像机,有效地实现了距离选通及精确的图像清晰度控制,在无需任何先决条件的情况下,可以获得目标的距离信息和距离选通图像。

距离-速度同步欺骗干扰下的机动目标跟踪算法

研究了距离-速度同步拖引欺骗干扰下的机动目标跟踪问题。根据数字射频存储器及直接数字频率合成器产生的距离-速度同步拖引干扰原理,建立了距离-速度同步拖引干扰下的机动目标回波信号模型,利用接收机自动增益控制电压和目标个数的突变信息对信号进行欺骗干扰判决,当判断为距离-速度同步欺骗干扰时,采用正交匹配追踪方法识别出真实信号,最后利用扩展卡尔曼滤波方法对目标进行跟踪。仿真验证了该方法与魏格纳变换和魏格纳-霍夫变换相比具有较高的识别性能,并在机动条件下具有良好的跟踪效果。

Ⅰ B2、Ⅱ A2期宫颈癌术前近距离放疗联合同步化疗的近期疗效

目的：评价ⅠB2、ⅡA2期宫颈癌术前近距离放疗联合同步化疗（术前近距离放化疗）的近期疗效及安全性。方法：选取2010年6月至2015年5月南京大学医学院附属鼓楼医院妇科收治的ⅠB2、ⅡA2期宫颈癌患者共82例。根据术前处理方式的不同,分为直接手术组（A组,27例）、新辅助化疗组（B组,41例）、近距离放化疗组（C组,14例）。B、C组术前辅助处理后行宫颈癌根治术。比较3组的术后住院时间、术中平均出血量、平均手术时间、临床病理缓解率、并发症发生率及近期生存时间。结果：新辅助化疗组的术后住院时间长于直接手术组,术中出血量多于近距离放化疗组,差异均有统计学意义（P〈0.05）。近距离放化疗组的脉管侵犯率、深肌层浸润率、淋巴结阳性率均低于直接手术组和新辅助化疗组,差异有统计学意义（P〈0.05）;而后两组比较差异无统计学意义（P〉0.05）。近距离放化疗组的术前治疗总有效率（85.7%）高于术前化疗组（36.4%、）,差异有统计学意义（P〈0.05）。3组的神经侵犯率、术后并发症发生率比较,差异无统计学意义（P〉0.05）。A、B、C组的中位生存时间及3年生存率分别为41.2月（95%CI：33.8~48.5月）、63.9%;33.8月（95%CI：28.9~38.7月）、53.1%及48.1月（95%CI：37.5~58.7月）、68.2%;3组中位生存时间及3年生存率比较,差异均无统计学意义（P〉0.05）。淋巴结转移是影响生存时间的独立危险因素（P〈0.05）。结论：术前近距离放化疗较新辅助化疗能明显改善肿瘤病理缓解率,未明显增加手术并发症发生率、手术时间、术中出血量,因而ⅠB2、ⅡA2期宫颈癌术前后装近距离放疗联合同步化疗是安全、有效的处理模式。

距离-速度同步干扰环境下的目标检测

针对距离-速度同步干扰,首先基于多普勒滤波器组和恒虚警率(CFAR)检测技术得到目标检测决策,并结合目标检测决策建立雷达回波的速度-时间数据矩阵。随后分析了目标和干扰的特征差异,基于超快霍夫变换(VFHT)提取雷达回波的目标特征霍夫空间。最后根据该霍夫空间采用CFAR检测技术对目标检测,从而形成基于距离-速度同步干扰抑制的目标检测方法。与常规快速霍夫变换(FHT)相比,提出的VFHT具有更高的计算效率。同时,该方法由于在雷达数据处理层面进行目标检测,不需要改变雷达系统的信号处理结构,大大降低了雷达装备成本。理论仿真表明在同样的目标检测性能前提下,基于VHFT的目标检测算法所需的信噪比要求放宽了10 dB以上,为弱目标回波信号环境中的应用奠定了基础。

2台SN388遥测仪远距离同步施工的几点认识

SN388遥测仪是世界上较完善的地震仪器之一。随着勘探难度的提高和勘探市场的不断扩大,对该仪器的性能也提出了更高的要求。本文就施工中2台SN388仪器之间的同步以及如何灵活运用它的应用软件,作了简单介绍。

基于FPGA的距离选通同步控制电路设计

距离选通同步控制技术是距离选通激光成像系统的核心技术,直接关系到能否实现距离选通,能否得到目标的选通图像。其中,产生纳秒量级的选通脉冲选通ICCD摄像机的同步控制电路,成为了有效实现距离选通及精确的图像清晰度控制的关键。针对产生纳秒量级的选通脉冲需要高频时钟信号,且容易受到外界噪声干扰的问题,采用了新一代的可编程逻辑芯片FPGA来进行电路设计。通过VerilogHDL语言设计出了具有纳秒量级的距离选通同步控制电路。此电路中创新性的采用了锁相环技术进行全局时钟的倍频,以及全新的并行计数的计数方式,大大提高了电路的精确度及稳定度。并且提供脉冲宽度和延迟时间的选择,有效地实现了距离选通及精确的图像清晰度控制。

基于相对同步欧氏距离筛选的在线GPS轨迹数据压缩算法

为了减小给定压缩率下,压缩轨迹与原始轨迹之间的差异,提出一种基于相对同步欧氏距离筛选的在线GPS轨迹数据压缩算法。所提算法可以根据用户的压缩率要求设定轨迹压缩过程,将新到来的轨迹点保存到一个存储队列中,每次从队列中选择引起同步欧氏距离误差最小的轨迹点移除,以达到在给定压缩率下减小压缩前后轨迹间差异的目的。理论分析和实验结果表明,较现有以压缩率为压缩依据的主流在线GPS轨迹数据压缩算法而言,压缩率相同时,所提算法对应的平均同步欧氏距离误差明显减小,所需的压缩时间略有增加。

湖北省“四化”同步发展水平评价与对策研究

设置工业化、信息化、城镇化和农业现代化同步发展评价指标体系,运用距离同步度模型,对湖北省2001-2011年"四化"同步发展度进行综合评价,并利用灰色系统模型GM(1,N)对湖北省"四化"同步发展的影响因子进行分析。结果表明:湖北省近十年来"四化"同步发展水平稳步上升,2007年以来处于协调发展状态,2011年达到了优质协调阶段;工业化、信息化、城镇化和农业现代化驱动指数均为正,均为"四化"同步发展的驱动因素,其中工业化和信息化驱动指数较高,城镇化和农业现代化驱动指数较低。最后,根据"四化"同步发展影响因素提出促进湖北省"四化"同步协调发展的建议与对策。

激光距离选通成像关键技术

距离选通技术是克服激光后向散射、提高激光距离选通成像系统信噪比的有效方法。阐述了激光距离选通成像原理 ,详细分析了距离选通关键技术 ,指出传统的距离选通同步控制系统的缺点 。

同步可控震源地震采集技术新进展

同步震源地震采集技术,因其任意两个震源之间激发时间的间隔不受任何门限值的制约,可以进行同步激发,与常规采集技术相比,在相近的时间内能够采集到更多的地震记录,从而大大缩短了采集周期,提高采集效益,是近年来国外发展最快的高效采集技术。这里首先介绍了该技术的发展现状,其次以独立同步扫描(ISS)、距离分开同步扫描(DSSS)、HPVA和V1等同步可控震源特色采集技术为例,从其勘探设计出发,结合各自的采集技术、数据分离技术以及野外测试情况进行了介绍,最后对各种高效采集技术的优势进行了对比总结。

一种新型激光成像系统同步控制电路设计

距离选通同步控制技术是距离选通激光水下成像探测系统的核心技术之一。其中产生纳秒量级的选通脉冲及对系统各单元的精确同步控制,是整个系统正常工作并获得高质量图像的关键。本文设计了基于FPGA+可编程延迟器件来实现激光水下成像探测系统的同步控制电路,可以方便地进行脉冲宽度和延迟时间的选择和精调,满足探测系统对水下目标进行大面积快速成像的同步需求。