基于组件与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网的主从式多智能体通信建模方法

针对当前主从式MAS领域通信的硬件成本高、对计算资源占用大等问题,引入复合Petri网建立通信模型。按MAS资源的类型,将复合Petri网的库所设计为状态、行为和时滞3种类型,关联了库所的生效时间。建立了不同优先级消息和通信异常处理的复合Petri网模型,构建了主从式多智能体复合Petri网的通信模型。通过基于主从式小车编队的任务场景实验,验证了多智能体复合Petri网相关模型的可靠性与有效性,缓解了通信消息对系统计算资源的压力,降低了对通信硬件的依赖。     

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

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

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

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

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

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

融合外部语义知识的中文文本蕴含识别

基于神经网络的文本蕴含识别模型通常仅从训练数据中学习推理知识,导致模型泛化能力较弱。提出一种融合外部语义知识的中文知识增强推理模型(CKEIM)。根据知网知识库的特点提取词级语义知识特征以构建注意力权重矩阵,同时从同义词词林知识库中选取词语相似度特征和上下位特征组成特征向量,并将注意力权重矩阵、特征向量与编码后的文本向量相结合融入神经网络的模型训练过程,实现中文文本蕴含的增强识别。实验结果表明,与增强序列推理模型相比,CKEIM在15%、50%和100%数据规模的CNLI训练集下识别准确率分别提升了3.7%、1.5%和0.9%,具有更好的中文文本蕴含识别性能和泛化能力。