基于Petri网的购物储值卡流程模型优化

提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系,查找现有购物储值卡模型存在的问题,通过增加相关的控制结构对其进行优化,使得优化之后模型具有安全性、有界性等性质,实现购物储值卡的实名化和可挂失.     

复合砂浆钢筋(丝)网加固RC梁受弯研究

采用无机材料高性能复合砂浆钢筋(丝)网加固混凝土梁,通过10根三面U形(在梁的受拉面和侧面进行加固)加固的混凝土梁和2根没有加固的对比梁的试验,研究了这种加固技术对钢筋混凝土梁的影响和作用,并比较了一次受力和二次受力的不同.与对比梁相比,采用高性能复合砂浆钢筋(丝)网加固的试件裂缝宽度和间距有较大幅度的减小,刚度有明显的提高,受弯极限承载力有很大的增加.在平截面假定的基础上求出试件的极限承载力,与试验结果相比有较好的吻合.     

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

基于信息熵的公交线网优化方案余弦排序

针对公交线网优化方案的排序问题,在对公交线网的优化目标和约束条件进行量化处理的基础上,利用余弦公式,建立了公交线网优化方案的余弦排序模型。 该模型在定义指标线段和理想指标线段的基础上,通过对决策方案与理想方案中指标线段和理想指标线段之间夹角余弦值的大小比较,得到公交线网优化的最佳决策方案。应用结果表明该模型能够较好地反映城市公交线网的实际情况,解决优化目标的权重分配问题,是一种很有效的公交线网优化方案排序方法。     

CPN及在军事指挥控制系统建模中的应用

简单介绍了着色 Petri网 (CP-网或 CPN)的发展过程和基本原理 ,重点就 CPN在军事 $C^3I$系统建模仿真中的应用进行了探讨 .     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

网壳结构基于性能的动力失效判定准则

基于性能的设计思想,文章提出了一种网壳结构震后是否发生动力失效的判定准则。按常规设计的网壳结构遭遇地震后,保留残余应变的状态并作为初始状态重新进行常规设计,如果此时网壳结构已不能满足初始设计时所要求的各项性能,则认为网壳结构已发生动力失效;进而将网壳结构的动力失效形式分为Ⅱ类,该文提出的准则用于判定第Ⅱ类动力失效,称为第Ⅱ类失效准则;算例分析表明,该准则判别结果明确,便于工程实践的应用。     

关于随机序列的若干强大数定律

设{,ξ1ξ,…,nξ,n≥1}是一随机序列,且{nξ,n≥1}<.ξ利用鞅差序列几乎处处收敛定理,给出受控随机序列的若干强大数定律.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。