基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价研究

为了全面评价有毒雾霾对地表自然生态环境的危害性,提出了基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价方法 .首先,在一般Petri网的理论基础上定义了函数Petri网,给出了函数Petri网的变迁触发规则和库所状态值的函数表达式;其次,利用函数Petri网的网部分描述危害的组成结构,网系统的运行反映了危害产生的过程,建立了基于函数Petri网的有毒雾霾对地表自然生态环境的危害评价模型,并结合模型提出了危害性评价的综合指标——"危害度"的概念和计算方法,给出了危害性评价的基本步骤;最后,通过实例对有毒雾霾对地表自然生态环境的危害性进行定量和定性评价,根据评价结果提出了减轻生态环境破坏的建议.     

文法的Petri网模型及其构造算法

针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.     

用关联矩阵特征值分析Petri网模型结构

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.     

基于Petri网的虚拟仪器软件评测研究

评测虚拟仪器的软件是研发虚拟仪器的重要工作内容,直接关系到虚拟仪器功能、性能、测量精度等的稳定性、可靠性、可信度.现有的基于UML构件测试模型等多种评测方法各有优缺点.该文探讨基于Petri网模型的虚拟仪器的软件评测方法,该方法根据例用组合虚拟仪器中功能模块之间的关系建立相应的Petri网模型,然后依据Petri网模型生成测试用例,辨识在测试用例作用下相关功能模块输出的结果是否符合要求.试验结果表明,该方法具有评测结果可信度高,测试用例生成方便,测试用例选择判据充分性好,可应用于设计通用组合虚拟仪器软件评测系统.     

Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

基于Petri网和基因表达式编程的作业车间调度研究

为了更好的解决车间调度问题,提出了一种基于时延Petri网（TdPN）和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时 Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。     

三方动态博弈网络可生存性策略选择

为了提高网络系统在面对攻击、故障及意外事件时的主动防御能力,从宏观角度提出了一种基于三方动态博弈的网络可生存性策略选择模型. 将攻击者、防御者及故障意外事件作为博弈的参与者,采用非合作完全信息动态博弈理论构建三方可生存博弈模型,给出了逆向递归法求解子博弈精炼纳什均衡的形式化表述,进而提出了三方动态博弈策略选择算法,并结合实例进行仿真验证,结果表明,由所提出的策略选择模型和算法得到的双方最佳策略是符合实际需求的.     

基于ROP的开放平台安全性研究

在对ROP框架和Web安全技术进行研究的基础上,介绍了ROP,并与其他技术进行比较,同时分析了XML消息重写攻击对消息本体的影响,并研究了其解决策略。使用Ecplise平台,基于B/S的架构设计实现了一个单点登录系统。采用ROP框架解决第三方平台认证授权问题,利用分层模型来降低系统层与层间的耦合度,提高了系统的可扩展性和可维护性。针对消息本体传输安全问题,提出了ROP-Jusnit方案,并通过测试验证了其安全性和可行性。     

两个相依部件并联系统的几何过程模型

研究了由两个不同相依部件和一个修理工组成的可修型并联系统。假设两个部件的工作寿命服从二维指数分布及修理时间服从指数分布,对部件1的修理是几何修理而对部件2则修复如新。运用几何过程理论和补充变量方法,得出了系统的可靠度和系统首次故障前平均时间的拉普拉斯表达式。最后,通过数值例子验证了结果的有效性。     

交易中间件在邮政报刊发行系统中的应用

为了更好地适应邮政新业务扩展和交易量增长的局面，结合交易中间件计算模式本身的核心组成和关键技术，提出一种将交易中间件应用于邮政报刊发行系统的具体方案，该方案采用3层C，S模式，大大减少了开发联机交易处理系统所需的编程量，利用交易中间件开发的邮政报刊发行系统，保证了系统的可靠性、实时性和良好的可维护性。     

基于广义更新过程的航空备件需求和应用

鉴于航空装备的6种故障率特性,建立相应的故障分布模型,用以解决航空备件需求和预测问题。本方法考虑到维修程度的影响,通过广义更新过程分析故障数据,并对维修度进行参数估计,之后采用蒙特卡洛法计算不可修件以及可修件在不同时间段内发生的平均故障数。最后对完全维修和一般维修进行实例比较,结果表明本方法结果更为合理,适用实际情况。     

基于级联可分离空洞残差U-Net的肝脏肿瘤分割

计算机辅助肝脏肿瘤分割可减少医生工作量,提高手术成功率,因而具有重要的临床诊疗价值。为获得精确的肝脏肿瘤自动分割结果,该文结合医学影像分割领域近年新兴的U-Net模块提出了基于级联可分离空洞残差U-Net（cascaded separable and dilated residualU-Net,CSDResU-Net）的肝脏肿瘤分割方法。CSDResU-Net采用了级联操作,解决了因肿瘤在整幅图像中占比小而造成的肿瘤分割数据不平衡问题;通过在分割网络中整合残差单元、深度可分离卷积和空洞卷积,能够增加卷积核感受野并快速提取更具判别性的肝脏肿瘤图像特征,从而提高肝脏肿瘤分割精度。在国际医学图像计算和计算机辅助干预协会肝脏肿瘤分割数据库上的实验结果表明,CSDResU-Net比基线方法的Dice系数指标提升了1.3%,同时发现空洞率对分割网络的性能表现影响较大。     

基于免疫神经网络的雷达天线扫描方式的识别

采用了免疫RBF网络进行雷达天线扫描方式的识别.计算机仿真结果表明,对目前常见的几种简单的雷达天线扫描方式,免疫RBF网络系统在输入信噪比为4dB时的识别率已经达到99.13%,而它的网络训练步数仅需99步,具有非常优越的性能.     

微网结构无线ad hoc网络的容量区研究

以IEEE 802.15.3 HR-WPAN协议框架为基础,首先建立了微网结构ad hoc网络的系统模型,给出了微网结构ad hoc网络容量区的定义.在此基础上,给出了微网结构ad hoc网络容量区的计算方法,并研究了不同发射功率、离散功控、传输速率离散化和多跳路由4个方面对容量区的影响.结果表明:增大发射功率与采用多跳路由能显著扩大网络的容量区;传输速率离散则不利于网络的容量区的扩大;而功率控制对微网结构ad hoc网络的容量区影响很小.这对以IEEE 802.15.3 HR-WPAN协议为基础的无线ad hoc网络的跨微网通信、路由协议、功率控制等方面的设计,具有重要的指导意义.     

基于区块链的物联网节点位置隐私保护模型

物联网正在改变消费者的行为和业务流程.针对物联网设备的信息隐私及安全问题，提出基于区块链技术的物联网设备位置信息保护模型.该模型首先借助区块链技术将记录设备标识，保证物联网设备信息不可篡改；然后基于白名单技术实现分布式哈希表网络，并对设备位置信息进行异或处理以隐藏物联网的网络拓扑，保护物联网设备的位置信息；最后根据k-匿名算法泛化数据的敏感属性为用户提供区域信息统计服务.实验结果证明该模型可以有效隐藏设备位置信息，同时能够提供定制的区域统计服务并且保护用户信息安全.     

两个不同型部件组成的冷贮备系统的预防维修策略

研究具有预防维修策略的两个不同型部件组成的冷贮备系统,所谓预防维修策略是指当工作部件的工作时间达到指定时间T系统尚未故障时,则立即对工作部件进行预防维修,经预防维修,部件恢复如新,利用补充变量的方法,求出系统可靠度的Laplace变换及首次故障前的平均时间,还得到三个特殊情况下系统的相应可靠性指标。