基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测

利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 .

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。

实时数据库并发控制协议及其Petri网分析

该文提出一种适用于实时数据库的新可推测并发控制(New Speculative Concurrency Control,NSCC)协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。

基于Petri网的数据库系统并发控制模型

该文对数据库系统中事务的并发操作进行了分析,讨论了共享资源的Petri网模型及其行为。给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。

基于Petri网的数据流与控制流相结合的协议测试

提出一种数据流与控制流相结合的测试方法，在Ｐｅｔｒｉ网模型上对于控制流选定操作符覆盖标准，对于数据流采用ａｌ－ｄｅｆｓ标准。

分布式数据库并发控制的Petri网分析

1 引言 Petri网是一种系统模拟和系统分析的工具,能够深刻和简洁地描述动态系统、分布式系统的特性和网络竞争、网络碰撞以及网络阻塞等各种现象。这在许多领域中已得到了广泛的应用。利用Petri网理论来分析和模拟分布式数据库系统,可以充分发挥Petri网的优点,形象、透彻地分析清楚分布式数据库实现的关键技术,这有助于分布式数据库系统的实现。

基于Petri网的实时数据交换软件异常控制设计与性能分析

在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况。而数据交换软件的性能又在很大程度上影响着测控软件的质量。在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的。因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的。本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论。

基于Petri网的数据库系统并发控制活性分析

从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。

SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法

随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。

基于物联网的浮标数据采集与控制系统设计

数据采集与控制技术是浮标观测系统的核心。结合无线通信技术提出了基于物联网的浮标数据采集与控制系统方法,并研制了基于Socket协议的通信控制器和数据融合采集系统,实现了浮标观测系统通过软件配置的方式进行传感器的接入与管理,解决了总线式数据采集与控制技术在传感器可扩展性、即插即用性方面的不足。组网测试结果表明,该系统网络内部数据发送与接收准确率达100%,远程数据中心数据平均接收率大于等于98.3%,且系统接入传感器无须软硬件设计编码,具有数据接收稳定、观测系统扩展复杂度低和新增硬件功耗低等优点,在海洋浮标观测系统应用方面具有良好前景。

基于有色Petri网的变电站监控数据版本控制建模与研究

在大型设备的状态数据库中,数据版本的管理不善会造成系统的混乱甚至崩溃。针对这些问题,通过对已有版本控制方法的分析比较,设计了一种新的数据版本控制方法。该方法构建一种有色Petri网(CPN),模拟数据版本控制过程,用不同颜色的托肯表示数据的不同版本,通过限制变迁的触发序列模拟数据版本的更新过程,应用Petri网的并发机制和SQL Server并发机制解决了版本更新过程中的并发、合并等问题。通过变电站监控系统的实例得出:该方法可用于中、大型系统的数据版本控制,有效提高了历史数据的管理水平。

基于Petri网的柔性装配系统的鲁棒控制

该文集中讨论了拥有不可靠柔性装配系统(Flexible Assembly System,FAS)的鲁棒死锁控制问题,确保当故障资源恢复后系统应恢复正常生产而不会出现堵塞现象,即不仅可以在无故障资源的情况下使系统远离死锁,而且还能在有不可靠资源时保证系统的顺利生产。首先,建立拥有不可靠资源FAS的Petri网模型,模拟整个系统的运行情况和资源的故障与恢复;其次,根据系统的控制目标,通过提出的进程可被推进算法和改进银行家算法设计了一种满足鲁棒性的死锁避免策略;然后,利用两个例子验证所设计的鲁棒控制策略的有效性;最后,对比实验结果表明,所提出的死锁控制策略所得到的可达标识数为30710个,显著多于其他论文的策略,在可允许性上具有一定优越性。

激光跟踪仪CFIII三维控制网数据采集软件研制

根据激光跟踪仪自身特点和实际工程应用需要,设计开发了一款激光跟踪仪CFIII三维控制网数据采集软件,该软件主要为高速磁浮、火箭撬滑轨测设一类具有特殊精度要求的测量工作提供外业数据采集服务。本文首先按照软件开发的一般流程进行需求分析和功能设计,并以此为基础对激光跟踪仪控制网测量等相关功能算法进行研究,然后对其中一些关键的功能算法进行阐述,再对各项子功能进行编码实现。最后,本文设计了一系列测量对比分析和仿真计算实验对软件各项功能进行可靠性验证,实验结果表明,本文研制的软件运行正常,测量结果正确、可靠。

基于流量延时调度的无线传感网数据传输拥塞控制方法

无线传感网络在数据传输时出现流量控制困难和节点拥塞的情况,为此提出一种新的基于流量延时调度的传输拥塞控制方法。引入流量延时调度,确定数据流量,滤波处理数据流量,设置延时阈值,通过流量与延时阈值的对比,判断是否需要重新传输数据,完成数据传输控制机制设计。利用数据生成树获取网络有效数据包,以此计算信道可以传输数据包的概率临界值,构建数据传输拥堵控制模型,实现无线传感网数据传输拥塞控制。通过仿真分析得知,所提方法拥堵控制的能量消耗仅为149 J,数据传输速率提升到80 Mbit/s以上,数据完整度在99.0%以上,所提方法有效提高了数据传输速率和完整度,降低了能耗消耗,可以有效控制数据传输拥塞,具备了可行性。

基于概率有色Petri网和马尔可夫链的工作流和数据流管理

在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画;定义了PCPN的基本逻辑单元,并对工作流和数据流进行建模分析,基于PCPN的工作流和数据流模型转化为马尔可夫链模型,并进行数学概率分析和决策分析。通过实例建模验证了论文建模方法的有效性和可行性。

轨道交通GNSS控制网的建立及数据分析处理

【目的】研究城市轨道交通平面首级GNSS控制网的布设方法及数据分析处理,总结项目经验。【方法】结合城市轨道交通平面首级GNSS控制测量的规范要求及工程实际情况,以某市轨道交通四号线GNSS控制网的建立及数据处理过程为例,采用框架网、线路网的分级布设,介绍了地铁GNSS控制网的主要精度要求、测点布设原则、外业采集过程、数据处理流程、质量检验等方法。【结果】控制网布设时应与相邻线路控制网重合点进行联测;点位选取除须符合规范要求外,还应与线路走向及施工相配合,与相邻线路控制点联测,保证点位精度;数据处理过程中需特别注意同步环及异步环精度,针对长基线、车站附近控制点等重要位置应采用测量机器人进行边长观测及修正。【结论】城市轨道交通平面首级GNSS控制网的布设是一个费时费力的过程,数据分析处理对技术人员经验要求较高,该控制网测设,能够很好地满足生产要求,对类似工程具有一定的借鉴意义。

高速铁路精密测量平面控制网数据质量研究

铁路线路属于长大带状性结构,对应精密测量控制网具有大跨度及多形态的网形结构,同时线路施工与维护阶段必须有严格的测量基准,因此精密测量控制网的建立对高速铁路的成功建设有重要的指导作用。结合某段新建铁路,设定高速铁路线路三级控制网并分析网型设计,通过对现有各阶段外业数据采集提高要求,达到一次性合格采集。在内业数据处理过程中,通过数据预处理、基线解算且在不同阶段综合三维平差与二维约束平差,选取部分数据进行较差等指标检核。结果满足规范相应要求,进而提高平面控制网数据质量,为高速铁路建设提供可靠基准。

抽蓄电站平面施工控制网多源数据联合平差

目前在建及拟建的抽水蓄能电站,其站址部分位于林区,受到测区通视条件较差、采用全球定位系统(GPS)方案建立平面施工控制网时林木对卫星信号遮挡较大等因素限制,其平面施工控制网的建立困难重重。为了改善极端困难的林区条件下施工控制网的建设,本文分别采用GPS测量方案及多源数据联合平差方案进行了平面控制网成果计算及分析,证明多源数据联合平差方法可得到合格的平面控制网成果。在实施过程中需重点关注不同观测方法获取边长的兼容性,在控制网布设时要尽量避免相邻点之间高差过大,以取得较好的成果。

基于数据驱动控制的孤岛微网中电池储能系统研究

文章提出了一种用于电池储能系统的数据驱动微电网支持控制系统,与传统的电网支持逆变器相比。该系统无需改变逆变器内部的有功功率和无功功率控制回路。调节数据驱动控制器无需微电网的动态模型。该系统识别微电网的频率响应并直接用于优化控制器的鲁棒性能。文章通过实时仿真软件在电磁暂态下验证了数据驱动控制器的性能,将其与反向下垂控制法进行比较。结果表明,数据驱动控制法可显著降低电压和频率偏差。

基于B/S架构的控制网数据处理软件开发研究

随着互联网和智能云技术的迅猛发展,基于浏览器 / 服务器(B/S)架构的软件系统日益成为人们需求的理想选择,也被认为是未来软件发展的主要趋势。本研究致力于开发一款专注于 GNSS 控制网数据处理的 B/S 架构软件应用。涵盖软件架构、需求分析、开发技术、存储设计和界面展示等多个方面的详细讨论。在架构方面,深入探讨了 B/S 架构优势并最大程度地满足用户需求。需求分析阶段充分挖掘了用户对软件的具体要求。采用先进技术确保软件高效稳定,同时提出了合理的大规模GNSS 数据存储方案。界面设计遵循直观友好原则。软件功能包括基线解算、独立基线选取、地图显示和网平差等,将在 GNSS控制网数据处理领域发挥重要作用。