变迁耦合网的T-不变量求解算法

首先定义了变迁耦合网及相关概念,其次揭示了变迁耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,根据是否与耦合变迁有关,将N的极小T-不变量分为两类MTS1和MTS2,然后给出了变迁耦合网所有极小T-不变量的求解算法,并给出了两个简单例子加以说明,最后编程实现所提算法并给出初步实验数据.试验结果说明,本文所提算法比现有算法节省大量计算开支.     

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

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

房产地理信息系统时空数据组织研究

首先对时态GIS的近十几年来的研究进展进行了回顾.然后通过对房产特征的分析,进行房产特征的分类,使之满足实际应用环境的需要.接着,提出了一种时空数据概念模型——基于Petri网的时空数据模型,同等的处理特征的状态和引起状态变化的变迁,不同与以往基于事件或基于状态（如快照等）的时空数据模型,该模型认为状态由变迁的改变,变迁由状态描述,两者互相依赖.通过该模型,将离散的状态和变迁连续化,状态和变迁的因果关系显式表达.最后,对房产GIS中的时空数据进行有机的组织,用现势库、工作库和历史库进行数据存储管理,实现时空分析即历史回溯、未来预测、变化趋势显示等等需求.     

时间Petri网与CAGA算法相结合的并行测试研究

在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。     

移动互联时代安防变迁遐想

市场是大家的,不论谁先赚取最大利润．只要市场是发展的,就能实现共赢。在安防领域,民用市场、商用市场．从来都不是安防厂商的必争之地：而在专业市场,也只不过是任由市场在自由发展,而真正具有引导性、划时代的安防产品在民用和商用市场上仍难觅踪影。     

基于Petri Net软件体系结构模型的描述

软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。     

韩江三角洲海岸变迁遥感调查研究

利用1:10万TM影像，对广东东部韩江三角洲地区的海岸变迁及河道演变进行了调查研究。划分了不同时期的海岸界线和古河道遗迹，提出韩江三角洲的形成是河流动力和海洋动力共同作用的结果，对研究历史海平面变化及环境演变具重要意义。     

TCPN的变迁弱规则特有的调度可达决策区域及算法

针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律.     

基于配置变迁的业务流程模型优化分析方法

为了灵活适应市场需求,业务流程模型的优化分析显得越来越重要。已有的方法大部分基于静态定位变化区域,进而对该区域进行优化,具有一定的局限性。基于Petri网的方法和行为轮廓的思想从行为角度来动态分析业务流程中的变化部分,利用日志与模型的匹配关系以及动态定位来确定模型中的变化域,考虑接口部分,利用适合度和行为适当性,通过配置变迁优化模型,然后利用行为轮廓一致性度判定最优模型,最后用实例验证该方法的可行性。     

高分辨率遥感图像投影分析的靠岸舰船检测

目的 高分辨率遥感图像中,靠岸舰船检测有着广泛的应用前景,其主要难点在于舰船与港口陆地在空间上紧邻,在颜色和纹理特征上相似,舰船与港口陆地难以分割。针对这种情况,利用港口岸线平直的几何特点和靠岸舰船多为舷靠的停泊特点,提出一种基于投影分析的靠岸舰船检测方法。方法 首先,对原始图像进行预处理,利用K-means聚类算法与区域生长算法相结合的方式得到海陆分割图像,利用Sobel算子与Otsu分割结合的方式获取边缘图像;然后,通过改进的Hough变换提取直线特征,结合港岸几何特性定位港口岸线;再将海陆分割后的二值图像向沿岸线和垂直岸线两个方向进行投影,根据沿岸线方向投影形态确定和分离并靠舰船,根据垂直岸线方向的投影形态定位舰船目标;最后,利用舰船尺寸、长宽比、最小外接矩形占空比特征去除虚警。结果 在15个港口场景不同分辨率的遥感图像测试集上,本文方法整体检测率达到85.4%,虚警率达17.2%;限定分辨率范围在24 m的情形下,检测率提高到93.5%,虚警率降低至5.3%。结论 本文方法简单有效,无需港口先验信息,适用于多尺度和多方向的靠岸舰船目标检测任务,对不同类型舰船形态差异具有鲁棒性,且能够分离并靠舰船。