基于纳什均衡的智能合约缺陷检测

本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提高检测效率,提出了针对合约状态变迁图和博弈策略形式的一系列化简方法.最后,实现了一个智能合约建模、分...     

面向两段锁并发控制的RDMA优化技术

分布式事务的性能优化是学术界和工业界的研究热点之一。基于两段锁的并发控制技术可以保证并发事务调度的正确性,目前广泛应用于主流的商用和开源分布式数据库中。然而,现有的研究结果表明,基于传统TCP/IP协议以及Share-Nothing架构的分布式事务处理技术,受制于事务调度器的CPU低利用率、事务调度器与存取节点的网络高延迟,分布式事务的性能瓶颈明显。针对上述两个问题,提出基于远程直接数据存取（RDMA）的两段锁（2PL）并发控制优化技术,利用RDMA的高带宽、低延时以及内核旁路（消除了TCP/IP协议栈所带来的CPU开销）特性,提升分布式事务的性能。主要贡献包括基于RDMA的网络通信算子重写与优化,利用RDMA单边施加、释放读写锁时的原子性保障。基于YCSB测试基准的实验结果表明：单边排他锁算法和单边读写锁算法分别在低、高冲突负载下具有相对优越性;引入RDMA的2PL并发控制,在高冲突负载下,NO WAIT和WAIT DIE两种模式最高可分别实现5.3倍和10.6倍的吞吐量提升。     

面向对象的数据库系统

本文描述作者对面向对象的数据库研究现状的一些看法。首先用这类系统的目标简要地定义这个领域,并把它与数据库的其它领域联系起来。描述面向对象系统的一些主要特征,包括封装,对象标识,类或型,继承,重载(overriding),以及迟后联编(Late binding),把这些特征统一地结合进数据库系统中是十分重要的。指出面向对象系统和面向对象数据库系统间的差别,以及相对于关系数据库系统来说,面向对象数据库系统的优缺点。最后列出某些研究的课题。     

水压试验装置提升吊耳的优化设计

以气瓶外测法水压试验装置的提升吊耳为研究对象,运用Pro／E软件建立提升吊耳实体模型,并采用Ansys软件中的workbench模块对该模型进行静力分析和拓扑优化。在保证提升吊耳安全可靠工作的前提下,经拓扑优化后其质量减轻30％,得到提升吊耳的精简模型。在Ansysworkbench软件中对该精简模型进行参数化建模,并进一步对该精简模型进行优化设计,使其变形量减少30％。此外,本设计填补了国内气瓶外测法水压试验装置具体零部件的设计与研究的空白。     

区块链的数据管理技术综述

最近几年,随着加密货币和去中心化应用的流行,区块链技术受到了各行业极大的关注.从数据管理的角度,区块链可以视作是在一个分布式环境下众多不可信节点共同维护且不可篡改的账本.由于节点间相互不可信,区块链通过共识协议,确保数据存储的一致性,实现去中心化的数据管理.针对区块链的安全性以及共识协议,已有诸多工作进行全面的分析.将从数据管理的角度,分析区块链技术与传统数据库下数据管理技术的异同.分布式数据管理的研究已经持续数十年,涵盖了数据存储模式、事务处理机制、查询执行与验证、系统可扩展性等诸多方面,并已有诸多技术广泛应用于实际的分布式数据库中.该类工作往往假定存在中心可信节点或者节点只可能发生崩溃而不存在恶意攻击.然而在区块链环境中,系统设计需考虑不可信节点可能的攻击行为以及拜占庭容错.这给数据管理带来了新的问题与挑战.因此,将梳理并分析国内外有关区块链数据管理的文献,并展望未来的研究方向.     

基于自适应模式的SPARQL查询与优化

传统的RDF存储系统直接将三元组存放到含有3列的关系数据库表中.具体查询时,需扫描整张三元组表,并通过连接操作产生最后的结果.虽然存储直观、实现方便,但是由于每个子查询都需要在整个三元组表上进行,查询效率较低.同时,当实例属性比较多时,大量的连接操作也对查询效率造成影响.为了克服这些缺点,在RDF自适应模式存储系统FlexTable系统上,搭建一个SPARQL查询引擎,将SPARQL查询语句映射到SQL语句,同时根据数据字典信息,对转化后的SQL语句进行优化,提高了查询效率.     

B3:图间节点相似度分块计算方法

传统的基于链接的对象相似度计算方法仅考虑单个图中的节点。Blondel等人将该问题扩展到图间节点,提出Blondel算法,但该算法的时间和空间复杂度过高,不适用于大规模图之间的节点相似度计算。如何高效地计算两个图之间的相似度的方法仍有待研究。提出了B3(blockbased Blondel)算法,先对图进行分块,然后将分块作为一个独立整体,应用原Blondel算法计算块内的节点相似度和块间的相似度,最后再计算任意节点间的全局相似度。该算法是收敛的,并且大大降低了时空复杂度。实验也很好地证明了算法的有效性。     

基于稀疏贝叶斯学习的雷达目标成像技术

利用傅立叶变换进行雷达目标成像,分辨率受瑞利准则的限制;超分辨成像技术能最著改善雷达图像的分辨率,但算法的复杂性急剧增加并且正则化参数不易选取.以稀疏贝叶斯学习为基础,针对雷达成像系统的结构特点,提出了一种基于快速傅立叶变换(FFT)和分块托普里兹(Toeplitz)系统的快速超分辨成像算法.算法无需存储系数矩阵,极大地降低了存储量和运算量.进一步,通过寻找拟合误差曲线和稀疏性度量函数曲线的交点实现了正则化参数的方便选择.仿真结果表明,算法对雷达目标图像具有良好的分辨率增强能力.     

激光全息光弹测量园盘片的主应力分布

本语文介绍激光全息光弹仿真测量模拟材料（园盘片）主应力分布,并用科学计算软件ＭａｔｈＣａｄ对获取全息相干图像数据进行处理的新方法,它是一种仿真模拟与计算机信息相结合的新技术方法,通过仿真模拟,数据处理,与工程理论值进行对比分析,从而为园盘片模拟各种实际材料的主应力分布提供了可靠的实验依据。     

智能控制卧潜排水系统在下组煤开采中的应用研究

通过对潜水电泵结构研究与优化,使其能满足卧式安装的要求,形成一套完整的智能控制卧潜排水系统应用技术。卧潜排水系统具有不怕水淹、安装硐室尺寸小,便于安装、检修等优点;智能控制系统实现了对矿井潜水泵站运行过程自动优化控制、安全保护和信息管理。该技术适用于水文地质条件复杂、有突水威胁的矿井排水系统。