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

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

异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

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

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

社会中间层建设与活动机制网研究

中国社会转型期,社会矛盾和冲突常态化,如何发挥社会中间层的作用,并形成长效化机制,成为社会面临的需要迫切解决的问题。立足中国社会转型的历史背景,运用网络分析的研究方法和途径,探讨社会中间层活动机制网的建构及运行。     

国内外物联网研究现状及展望

物联网以互联网为基础,通过多种信息传感装置实现物物互联,是信息科技领域发展的必然趋势.本文就物联网的基本概念、技术体系、关键技术等方面对物联网进行介绍,并根据一些事实对近年来国内外物联网的发展现状进行阐述,提出现阶段物联网发展存在的问题,最后对其未来发展进行了展望.     

能源互联网与能源路由器

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.     

基于多子网复合复杂网络模型的级联失效研究

针对目前耦合网络级联失效的研究方法仅限于单个关系的问题,根据多子网复合复杂网络模型构建复合网络,结合多种关系研究了复合网络级联失效问题,考察在不同影响因素下,网内关系和加载关系对网络鲁棒性的影响.研究结果表明,网内关系和加载关系共同影响着网络级联失效的过程及规模,复合网络中两子网拓扑结构不同,网内关系对网络的影响不同;...     

C网直放站在实际安装调测中的技巧

文章结合工程实际应用,介绍C网直放站在安装调测中的技巧和实用方法     

南宁市内河三维GPS控制网设计

GPS相对定位技术具有精度高、速度快、费用低、操作简便、全天候等优点,布网不受常规通视条件的限制,已经成为建立高等级城市控制网的主要技术手段.该文以南宁市综合整治内河工程中建立三维GPS控制网设计为例,具体介绍GPS定位技术在高等级城市控制网测量中的应用.     

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

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