基于UNet3+生成对抗网络的视频异常检测

为解决传统视频异常检测方法在不同场景下多尺度特征提取不完全的问题,提出两种方法:一种是用于简单场景的基于UNet3+的生成对抗网络方法(简称U3P^(2)),另一种是用于复杂场景的基于UNet++的生成对抗网络方法(简称UP^(3))。两种方法分别对连续输入的视频帧生成预测,引入多种损失函数和光流模型学习其外观与运动信息,通过计算AUC进行性能评估。U3P^(2)方法以6.3 M参数量在Ped2数据集的AUC提升约0.6%,而UP^(3)方法在Avenue数据集的AUC提升约0.8%,验证其能够有效应对不同场景下的异常检测任务。

Detecting Data-flow Errors Based on Petri Nets With Data Operations

In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.

基于HCPN的复杂BPMN协作模型数据流建模与验证

为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。

融合全局上下文的近岸养殖池塘提取算法

针对现有方法对于养殖池塘和干扰地物的区分效果不足,在多源高分辨率遥感影像上的普适性有待验证等问题,提出一种融合全局上下文信息的PG-Unet养殖池塘提取模型.该模型在U-Net的基础上,通过增加金字塔特征提取单元来捕捉丰富的全局上下文信息,增加全局引导流来改善不同级别特征图的质量,提升模型在多干扰地物环境定位目标的能力.在GF-2 PMS和BJ-2 PMS数据集上的实验结果表明,PG-Unet模型精度最优,其IoU和F_(1)分数分别达到92.30%、96.00%和92.07%、95.87%,优于U-Net、DensenetUnet和U2Net等方法,具有更强的抗干扰能力和普适性,能更好地区分养殖池塘和干扰地物;同时,PG-Unet模型在诏安湾养殖区域应用也取得了较高的提取精度,能够实现大范围养殖池塘空间分布信息自动精准提取.

基于WF-net的流程距离测度模型研究

流程比对一直是业务流程管理的一个研究热点。它是指通过比较得出两个流程的相似度或相异度。流程距离是对两个流程相异程度的描述。在WF-net的基础上,明确提出了流程距离的概念,并在业务控制流及其资源的角度上建立了流程距离测度模型,用于测量两个流程之间的距离。通过分析得出:在多个流程中,能够找到与指定流程最近或最远的流程。证明提出的流程距离测度方法是可行的。

基于腾讯迁徙数据的全国春运人口流动时空格局分析

城市间的大规模人口流动一定程度上体现了城市间的关联性。该文选取腾讯迁徙数据库中2015—2018年官方春运期间全国人口迁徙数据,利用Gephi软件对人口联系强度进行可视化分析,获取全国城市间联系强度总体格局的变化特征。利用DBSCAN算法对全国城市进行时间序列聚类,讨论在春运不同时间节点的城市流动共性与差异。此外,该文还改进重力模型,以分析省内、省际人口流动的距离衰减效应。结果表明:(1)全国城市总体形成稳定的“菱形”结构,北京、上海、西安等城市形成单轴心空间组织模式,广东、深圳形成多轴心空间组织模式,一线城市中心性较强。除“菱形”结构外,西北部和东北部城市的中转和承接能力具有强大优势。(2)春节期间净迁移人口变化趋势较为稳定,春节前后形成对称式流入流出。(3)春运期间的流动符合距离衰减定律,随着距离的增加,城市吸引力在逐渐降低。

遮蔽效应下双平面网衣和圆形网衣的水动力性能

基于计算流体动力学(Computational Fluid Dynamics,CFD)数值仿真方法,利用STARCCM+软件对双平面网衣和圆形网衣进行数值仿真模拟。建立合适的流场域并进行网格划分和收敛性验证;针对水流作用下网衣的遮蔽效应,分析网衣的水平拖曳力和阻力系数。对比2种网衣的流速衰减、网衣受力和阻力系数的变化情况,结果发现:2种网衣在网内和网后均存在明显的流速衰减;当流速增加时,2种网衣具有相似的变化规律,网衣的水平拖曳力随流速的增加而增大,阻力系数随流速的增加而减小;圆形网衣的受力始终大于平面网衣。研究成果可供网箱的设计优化及其水动力性能和流场特性研究参考。

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。

基于作战单元的装备综合保障仿真评估研究

针对装备综合保障仿真评估中的三个方面的问题,提出了基于装备作战单元的建模方法,说明了针对装备作战单元建立综合保障仿真评估Petri网模型的方法,并给出了两个具体的仿真流程,说明了具体系统实现的方法。最后,以某装备作战单元为例,将获取的该装备的实际保障工作相关数据,按照所建立的仿真模型的输入要求输入仿真模型,根据模型输出数据,对仿真结果进行分析评估。

基于网损等值负荷模型的改进直流最优潮流算法

交流最优潮流因需要处理大量非线性约束,求解效率不高,且在求解含有小阻抗支路和重负荷特征的病态电力系统时,容易出现不收敛的情况;而直流最优潮流计算速度快,可以处理病态电力系统,但是计算精度较低。基于此,文中提出了基于网损等值负荷模型的改进直流最优潮流算法。该算法首先采用网损等值负荷等效替代线路网损,有效地提高了原有直流模型的计算精度;然后使用简化原—对偶内点法进行求解,提高了算法的计算效率。通过对IEEE 30节点、IEEE 300节点、Polish 2736节点和Polish 3120节点系统的测试,证明了所提算法不仅有着较高的计算精度和效率,而且在不依赖于交流潮流解的基础上对于病态电力系统具有较强的处理能力。

基于Petr i网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.

珠江三角洲河网非恒定水沙数学模型研究

采用半隐式有限元方法,建立了珠江三角洲河网水流、泥沙数学模型,模型具有计算稳定性强、收敛快的特点;采用有限元杆系数据结构,对于大型河网计算中增加河道和断面数,数据准备简单。模型经1999年洪季和2001年枯季两次大规模、长系列的水文泥沙资料的检验,各站水位、流量和含沙量计算结果与实测过程十分吻合。

基于Petri网的钢铁企业知识流模型研究

知识流有助于挖掘知识的内涵和实现知识的共享,其顺畅流动能够有效整合供应链中的知识资源,提高链上企业在知识层面上的协作能力及其对市场的快速响应能力。因此,结合钢铁企业供应链知识特点,从知识流理论出发,用Petri网作为工具搭建钢铁企业知识流模型,以期改进钢铁企业知识流效率,实现对钢铁企业供应链知识服务提供支持,提高钢铁企业竞争力。

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型——CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.

序列投资决策的期权分析方法

基于未来现金流现值期望的投资评估方法（净现值法）是学者和实际工作者普遍接受的投资决策方法．然而，用这种方法评估科研生产等序列投资项目往往失效．本文探讨了用期权理论评估序列投资项目的方法，将具有随机协定价格的期权定价模型引入序列投资项目的评估之中，并证明传统的净现值期望法低估了序列投资的价值．

基于Petri网的Socks协议建模与分析

论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的Petri网模型,从而完成对Socks协议运行机制和实现原理的分析。

基于Petri网的网络攻击流模型研究

针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,该模型既利于攻击者构建网络攻击方案,又能被计算机解析并组织实施网络攻击。

基于着色Petri网的组织知识流建模研究

为了研究组织知识生命周期中,隐性知识流和显性知识流的异步并发过程以及知识流的分布和流动状况,文中从知识流与着色Petri网基本概念出发,采用着色Petri网以不同颜色的托肯表示不同类型的知识,构建了基于组织知识生命周期的知识流模型。运用CPN Tools软件对模型进行仿真分析,重点对Petri网中各节点的有界性和活性进行分析。研究得出模型中各库所都有界,同时存在一个死标识,并不存在死变迁,从而便于组织更清晰地获知不同类型知识的分布与流动状况,为提高组织知识流管理效率提供了理论基础。

基于Petri的分布式网络流量优化

基于Petri网建立一种分布式流量优化模型,解决了网络的重复转发问题,并在此基础上,结合线性规划方法,实现了网络流量流向的多目标控制,有效提高了网络质量.