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

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

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

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

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

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

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

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

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

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

声明

为适应我国信息化建设,扩大本刊及作者信息交流渠道,本刊已许可《中国学术期刊(光盘版)》、“中文科技期刊数据库(重庆维普)”、“万方数据库”和“中国知网”等媒体以数字化方式复制、汇编、发行、网络传播本刊全文。作I者在本刊提交文章发表的行为即视为同意本刊的上述声明。     

基于改进的朴素贝叶斯文本分类研究

文本分类(Text Categorization,TC)指的是把一个自然语言文本,根据其主题归入到预先定义好的类别中的过程.文本分类是自然语言处理的一个基础性工作,也是近年来人们研究的热点话题.针对朴素贝叶斯算法在小样本集分类效果不高的原因进行了分析,对其进行了改进和调整,提出了基于改进的朴素贝叶斯文本分类方法,试验结果表明,该方法取得了更好的效果.     

基于瑞利分布的计量型序贯网图检验

针对瞄准发射系统中着落点位置通常服从瑞利分布的事实,研究了计量型检验问题,建立了基于瑞利分布的序贯网图检验.采用搜索和迭代的计算机程序,可以得到计量型序贯网图检验方案.通过实例将序贯网图与计量型定数检验和计量型序贯概率比检验进行比较.结果显示,计量型序贯网图检验在减小最大样本量方面有更好的效果,更适用于高成本的抽样检验.     

波动载荷下弓网载流动态摩擦力模型

为对弓网载流摩擦力进行建模研究,通过实验研究摩擦力与压力波动频率、压力波动幅度、接触电流、滑动速度的关系,建立了摩擦力的LuGre静态模型,利用麦夸特法和通用全局优化法对模型中的静态参数进行辨识:在已建立的LuGre静态模型的基础上,通过引入动态参数,建立了摩擦力的LuGre动态模型,利用遗传算法结合Simulink仿...     

不等跨柱网混凝土肋梁楼盖平面选型问题初探

通过计算分析和比较,论证了柱网在两方向跨度相差甚大的情况下,楼盖沿长跨方向单向布置次梁的结构方案具有较好的经济性和抗震性,但在设计和施工中须注意竖向振动、长单向板混凝土开裂和结构挠度偏大等不利影响.