基于Petri网的故障诊断新方法

在分析故障诊断问题特点的基础上，提出一种不增加Petri网元组的故障诊断新模型，对故障传播的分析更加方便，并通过实例验证了方法的有效性。     

钻孔挤压分支桩的应用与试验研究

桩基工程设计，直接影响上部结构的安全及整个工程的造价。通过钻孔挤压分支桩在阜阳商厦三期工程中的应用及试验研究表明，在同一场地、单桩竖向极限承载力相同的条件下，用钻孔挤压分支桩代替钻孔灌注桩，单位体积混凝土的竖向极限承载力标准值可提高１．３１倍，桩基节约投资２７０万元。由此可见，在大柱网、大承载力柱桩基工程中，钻孔挤压分支桩更能充分发挥其优越性。     

高速铁路车站作业过程的TCPN仿真通用模型

高速铁路车站作业系统仿真是进行车站作业过程的进路排列与到发线运用等问题研究的有效方法,并可对车站各项设备使用状况进行详细分析.已有的仿真手段存在建模过程复杂、可重用性不足等问题.针对铁路客运站作业系统仿真问题提出了基于赋对有色Petri 网的与车站站型布置不直接相关的高铁车站作业过程通用性模型,用于各种站型布置的高铁车站作业过程的仿真及优化,可以适用于有不同作业类型的高铁车站仿真,该模型具有计算效率高、通用性强、优化方法灵活等特点.     

导线网自动化组成验算路线技术

简述了导线网如何自动生成最优化验算路线技术,解决了测量平差软件中验算路线组成不合理问题,对软件编程人员具有一定的指导意义和使用价值。     

基于Petri网的物流派送模型修复分析

目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值.因此,越来越多的学者专注于研究模型修复.基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提...     

基于XGBoost预测及弹性网误差补偿的室内定位算法

为解决室内定位系统中因环境动态变化而导致定位精度下降的问题,提出一种基于XGBoost并融合弹性网的误差补偿算法。采用XGBoost定位模型对目标位置进行初步预测,当室内环境改变后,再采用弹性网算法构建误差补偿模型,修正XGBoost定位模型的定位误差,并与基于K近邻、支持向量机、随机森林、梯度提升决策树等定位算法做对比。实验结果表明：在更新15%指纹数据库样本的情况下,该算法在80%分位处的定位精度控制在0.73 m以内,明显优于其他定位算法,且较基于XGBoost的定位算法精度提高了25.5%。     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

基于DiffServ的自适应IP QoS管理框架研究

IP QoS已成为IP网络的核心技术。目前实现IP QoS的机制主要包括有多种,例如子带宽管理、MPLS、IntServ、DiffServ等,可以结合起来实现更完善的IP QoS。目前,比较一致的看法是在网络边缘采用IntServ,在网络主干采用DiffServ。我们在局域网自适应IP QoS基础上,进一步研究了基于DiffServ的IP QoS.本文给出一种DiffServ结合IntServ实现彻底的端到端的IP QoS网络框架,提出了DiffServ实现自适应IP QoS管理的框架与方案,讨论了内部路由节点自适应QoS控制策略。最后讨论基于网络仿真软件NS2的一个简单实验结果。     

基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

互联网舆情分析弹性自组织网

主要解决海量互联网信息的舆情分析问题。以概念倾向性和话题属性新概念为基础,建立了具有人工及自我双重训练功能的、具有自我反馈机制的舆情统计分析模型。以互联网为平台构建了虚拟的弹性自组织网,解决了网络舆情分布式计算、规模自由扩展及大规模舆情信息视觉化等的问题,并根据力学抽象使其具备了网络拓扑结构的自优化、自更新功能。实验表明,模型具有分析效率高、准确、结果直观等特点。