非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

GPS在敦格线平面控制测量中的应用

新建敦煌至格尔木铁路位于甘肃省西北部酒泉市和青海省西部海西蒙古族藏族自治州境内.线路北端接轨于柳敦铁路的终点敦煌车站,并于青藏铁路西格段的饮马峡车站接轨,线路全长658.326km.为了满足铁路勘测设计、施工、运营维护各阶段的要求,需建立平面控制网.平面控制网应视其目的、精度、接收机数量、测区地形及交通状况,按照优化设计的原则进行设计.应用GPS对平面控制网进行测量具有无需通视、全天候、高效、快速、操作简便等特点,是目前铁路勘测中常用的一种测量模式.     

高精度城市GPS控制网平差处理方法及软件研制

随着科学技术的发展,GPS技术得到了广泛的应用,尤其在测量方面,GPS将取代越来越多的水准测量和平面测量,为了适应国家需求,城市GPS控制网正在逐步的建立,针对高精度城市GPS控制网处理中的基线处理到网平差处理所涉及的一些理论技术问题,全面系统的介绍了GPS数据处理的整个流程,并基于上述理论编写的处理GPS控制网的平差软件,同时结合了一个实例来做一些比较。     

无向超环面网的距离参数(英文)

平均距离μ(G),距离控制数γl(G)和距离独立数αd(G)是度量网络性能的重要参数.n维无向超环面网是超立方体的推广.证明了μ(G)=1/d1d2…dn-1n∑i=1(ei2+ei+ei'2-ei'/2·d1d2…dn/di),γ(G)=2当且仅当[e1'+e2'…+en'/2]≤l≤d(G)-1(d1≥d2≥…dn≥4),以及αd(G)=2当[d1+d2+…+dn-2/3]≤d≤d(G)-1(d1≥d2≥…dn≥3).     

采用Petri网的业务性能分析方法

在业务管理系统中,针对业务性能分析过程缺乏自动化的问题,提出一种采用Petri网的业务性能分析方法.该方法通过改进传统Petri网模型,提出业务性能分析Petri网模型;基于该模型设计业务性能计算公式进行自动业务性能计算;采用特定样本训练业务性能分析Petri网模型参数,提高模型参数的准确性.实例分析结果表明,该方法能够建立有效的业务性能分析模型,实现业务性能自动计算和业务性能瓶颈自动发现,且能够通过样本训练提高模型参数的准确性.     

基于协整分析法的我国环保投资预测

通过协整检验和格兰杰因果检验法证实了环保投资与3个宏观经济变量人均GDP、财政支出、工业增加值之间具有长期均衡的协整关系和因果关系．利用建立的回归方程对于我国“十二五”期间的环保投资总量进行了预测．结果显示,我国“十二五”期间预计环保投资将达到3．98万亿元．最后,根据研究的结果,提出“十二五”期间环保投资相应的政策建议．     

远程城市地铁施工测量管理模式的研究

目的研究一种基于网络的信息化地铁施工测量管理模式。方法采用B/S模式构建远程城市地铁施工测量管理系统,划分出测量系统、监测系统、管理系统3个子系统,规范各单位的权限及其工作内容。结果实现了浏览器端的地图可视化查询与分析、数据更新、各标段测量成果的查询与报检等功能。结论远程城市地铁施工测量管理模式优于传统管理模式,达到了动态管理与办公自动化一体化,应用在西安地铁1号线的施工中,起到了良好的效果。