基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

基于文本挖掘的道路运输安全风险源辨识模型

为了解决当前道路运输安全风险源辨识工作中数据短缺和人员工作量较大的问题,从文本挖掘的角度出发,提出一种能够自动辨识道路运输过程中安全风险源的模型.该模型首先对道路运输文本进行因果句提取,并对因果句进行分词操作,实现安全风险源特征的增强;其次,进行适应卷积神经网络(convolutional neural network...     

信息技术在柴油机维修决策支持系统中的应用

针对舰船柴油机维修决策中待处理数据量的急剧增加,研究以数据仓库和信息挖掘技术为核心的智能维修决策支持系统。对数据仓库的设计与实现进行了介绍,把信息挖掘作为一种特殊的模型应用于决策支持系统中的知识发现,说明了柴油机维修决策支持系统的实施原则和步骤。     

关联模式的新颖性研究

简要介绍了模式的主观兴趣度度量,讨论了模式与用户期望的匹配程度以及模式与领域知识的差异程度,分别从这两个方面定义了模式的新颖性度量。综合考虑领域知识和用户的参与,提出了一种新的新颖性模式评价策略。     

凯斯:七种全新产品耀世登场

本次展会,美国凯斯公司的展位面积近3000平方米,展出了一系列的全新产品、零配件、技术和金融服务。除奉献上精彩的表演节目外,凯斯公司隆重推出7种全新产品。     

Web使用挖掘在用户行为分析中的应用

Web日志记录了大量的用户与服务器交互的信息,反映了用户访问Web站点的所有动作.如何挖掘这些记录以发现网络用户的访问模式和兴趣爱好,从而理解用户的访问行为,形成对网站设计者和组织决策者有用的信息,解决这个问题最有效的工具是Web使用挖掘.基于Web使用挖掘,对Web服务器日志文件进行数据预处理,采用一种基于哈希技术改...     

数据挖掘在电信企业挖掘营销系统中的应用

介绍了电信企业中信息系统的现状,论述了挖据营销是市场营销的必然之路,结合具体例子介绍了挖掘营销系统的主要技术与方法。     

赶在洋口港通港前夕深入调研 东海救助局潜心挖掘救助资源

2008年新年钟声敲响前一天，交通部东海救助局局长孙富民率队陪同交通部救捞局副局长张金山专程前往江苏省如东县实地考察，考察组成员包括东海第一救助飞行队、救助船队以及局应急反应救助队领导，考察活动紧紧围绕“潜心挖掘救助资源、科学布局救助力量”的主题，拉开了该局为期三年的“专业化建设”的序幕。     

水下航行体X型正交舵控制参数设计研究

建立X舵与等效十字舵舵角相互转换的数学模型,提出X舵-十字舵等效舵角转换装置设计思想并以某型潜艇为例进行了仿真验证.通过该装置可有效地利用舵资源,最大限度地提高X型正交舵的操纵性能,并且可以解决X舵4个舵板间的交互影响,充分挖掘水下航行体的操控性能.