基于组件与Petri网技术的虚拟仪器的研究

为了建立可以与任何通用软件系统无缝集成的虚拟仪器模型,提出了运用组件建立多线程共享缓冲区的通用虚拟仪器架构,同时引进Petri网技术来分析和控制组件内部多线程运行中产生的并发与冲突、活性、安全性等.实验表明,该技术由于不受平台和语言环境的限制,能够增强虚拟仪器组件与应用程序开发的独立性和使用的安全性,能够大大地拓展虚拟仪器的应用范围.     

蚁群算法的随机Petri网分析与路径寻优

为解决Petri网的最优路径寻找问题,在分析了随机Petri网(Stochastic Petri Net,SPN)中各个变迁实施时刻的分布规律之后,提出了一种计算任意网型变迁时间概率分布的方法.在对SPN分析的基础上,基于蚁群算法设计了一种在SPN中使用的各个网元素数据结构,提出了一种在SPN中更有效率的路径寻优方法.仿真结果表明,此路径寻优方法对时间延迟具有更高的灵敏度,对路径选择具有更高的准确性.     

船闸闸室墙开裂机理及防裂方法研究

船闸闸室墙在中间浮式系船柱附近的混凝土易产生裂缝,影响船闸工程整体稳定性。通过对闸室混凝土的温度应力展开仿真分析和实际船闸工程混凝土裂缝调研,发现整浇闸墙中间系船柱附近和上下游侧墙中间下部混凝土在施工期易产生竖向裂缝。因此,考虑闸墙中部采用后浇带的方式,并且比较了后浇带不同施工方案,发现采用后浇带能降低闸室上下游侧墙混凝土的最大主应力,防止裂缝的产生;但仅采用后浇带的方式,会导致中间浮式系船柱附近的后浇混凝土开裂风险增加;因此,可通过改变后浇带浇筑顺序和采用微膨胀混凝土的方式,提高中间浮式系船柱附近混凝土的抗裂能力。     

无冲突Petri网系统活标识判定的结构化方法

为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。     

数据空泡修正的LTE-5G传感网节点定位算法

针对当前LTE-5G传感网移动节点定位方法存在定位精度较低、误差较高等问题,提出了一种基于拉普拉斯预估与数据空泡修正的LTE-5G传感网移动节点定位算法.构建拉普拉斯预估方法,对节点连通度及待测距离进行精度阶跃,以完成待定位节点与锚节点间的待测均衡距离的实时估计.通过在数据报文中添加0字节,设计了数据空泡修正机制,实时获取移动节点拓扑连通状况,以优化节点的均衡跳数和强化定位抗噪性能,再引入三角定位方法,实现节点坐标的精确定位.仿真结果表明,与当前常用的被动扫描定位算法、二向度定位算法相比,所提算法具有更高的定位精度与更小的误差水平.所提算法具有较高定位精度与抗干扰能力,能给LTE-5G传感定位领域提供一定的技术支撑.     

基于Petri网的并发事件流程模型修复分析

目前,流程模型可以从大量的事件日志中挖掘出来,以重放大多数的日志.但是,少数偏离流程模型的日志亦是有效的,为了使事件日志与流程模型更加拟合,模型修复是一个很好的方法.提出了基于Petri网的并发事件流程模型修复分析方法.首先,找到事件日志与流程模型的最优对齐,筛选出用于修复的并发事件;其次,利用提出的重构子流程的修复方法,对筛选得到的并发事件进行重构;最后,根据算法嵌入到原始模型中以实现模型修复,并通过一个具体实例说明了该方法的合理有效性.修复后的模型可以完全重放给定的事件日志,并且能够避免因循环造成的多余行为的发生,同时也在最大程度上保留了原始模型的使用价值.     

基于配网可视化智慧管控平台的作业现场风险管控与督查研究

为提升配电网生产精益化管理水平,提出了基于配网可视化智慧管控平台的作业现场风险管控与督查.首先分析了构建配网可视化智慧管控平台的必要性,结合当前配网管控的不足,说明了作业现场风险管控与督查的重要性.然后从数据支撑、服务应用、可视化展示等方面,说明了作业现场风险管控的功能需求和非业务功能需求,并提出了基于配网可视化智慧管控平台作业现场风险管控的技术方案.最后对作业现场风险管控的多方效益进行了分析.     

电力系统配网有功无功协调自动优化系统设计

为解决电力系统配网发电调度不合理与运行安全问题,为此提出电力系统配网有功无功协调自动优化系统.构建优化数学模型及其约束条件.实验结果表明,该系统协调了优化方向上的成本与网损矛盾,实现综合效益最大化,根据充放电功率与电荷状态、有载调压变压器与补偿电容器组的档位自动调整情况,说明该系统具有安全稳定的运行性能.     

无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。     

适用于飞行自组网的闲置时隙预约TDMA协议

在飞行自组网中,固定时隙分配时分多址接入（TDMA）协议存在闲置时隙无法成功使用的问题。通过对TDMA协议引入闲置时隙预约机制,提出一种支持业务优先级传输机制的闲置时隙预约TDMA协议。采用短帧长的方式满足协同与控制业务的低时延传输需求,并利用闲置时隙预约机制允许节点使用闲置时隙传输感知业务,从而满足感知业务的高吞吐量传输性能要求。仿真结果表明,与CF-MAC和CTMAC协议相比,该协议能够在降低传输时延的同时,有效提高信道利用率和网络吞吐量。