STM多事务竞争冲突下竞争管理策略的研究

事务存储系统是一种高层次抽象并行编程模型,目的为方便开发并行程序。事务存储系统中的竞争管理模块用于解决事务之间的冲突。传统的事务竞争管理策略只负责仲裁两个冲突事务之间的冲突．提出将多个事务及事务冲突关联转换成一张无向图,基于全局事务冲突情景,利用图顶点着色技术求解无向图中最大独立集。最大独立集中事务相互不冲突,CM仲裁处理并发执行,实现系统并发最大化。     

面向智能合约漏洞检测的改进符号执行研究

由于区块链不可窜改的特性,部署到区块链上的智能合约不可更改.为了提高合约的安全性,防止智能合约出现整数溢出、短地址攻击、伪随机等问题,在合约部署之前需对合约进行漏洞检测.针对智能合约的整数溢出漏洞利用符号执行进行分析研究,对现有符号执行方法进行调查发现检测速度较慢,从而提出一种自底向上求解约束的改进符号执行方法,并结合深度优先与广度优先进行路径选择从而提高符号执行的代码覆盖率.实验结果表明,改进符号执行在选取的100份含溢出漏洞的智能合约中检测正确率达84％,平均检测效率提高了20％,在中等规模智能合约中检测效率提升显著,检测结果正确率较高.     

铸造工程专家系统技术的研究现状及进展

简要概述专家系统技术在铸造工程中的应用；归纳国内、国外铸造专家系统的研究成果与应用动态，探讨其今后的发展方向。     

基于SOA的企业应用集成框架设计

针对目前企业应用集成面临的问题,介绍了面向服务架构（SOA）的基本概念、基本工作原理,以WebService为主要技术,提出了一种基于SOA的企业应用集成框架。框架采用服务分层模型,具有敏捷性、松耦合、跨平台、分布式的特点,更能适应企业信息系统发展的需要。     

基于免疫的网络安全风险评估模型

风险评估是评价网络信息系统安全的有效措施之一,基于免疫网络安全风险评估较好的动态实时性,依据现有标准风险评估方程,设计了基于免疫机理的网络安全风险评估模型,提出了一种基于粗糙集的网络风险指标权重计算方法。实现层次化分析与动态评估,在保障动态实时性的同时,又能整体不孤立的对整个网络状况做出判断,增强了模型的健壮性。仿真实验结果表明了该模型的正确性和方法的有效性。     

面向入侵检测的改进BMHS模式匹配算法

模式匹配算法是入侵检测系统中使用较多的一种算法。分析几种常用模式匹配算法,提出一种基于BMHS的改进算法——N-BMHS算法。该算法对字符串进行双向模式匹配,引入一个新的数组s记录模式串中字符的出现次数,次数为1时可以利用已匹配的信息来辅助得到模式串的最大移动距离。实验结果表明,改进的模式匹配算法能减少比较次数,有效提高匹配速度。     

医学影像处理集成化系统的构建与实现

文章基于系统集成技术提出了以医学影像发生器、影像处理软硬件平台和现代通讯网络为三大核心的现代医学影像处理系统的基本组成及其集成结构体系,并基于这一集成结构体系实现了数字血管减影(DSA)医学影像处理系统。该系统可实现动态医学影像数据的实时采集和海量存储、实时远程传输、实时减影处理等功能。     

浅析油田井下作业中抽油泵的打捞技术应用

近几年我国的综合国力和经济水平明显提高,在各行各业中的发展都有了一个质的飞跃和时代的跨越,尤其体现在石油天然气行业,我国在1994年成为了出口石油的大国,石油的生产和交易在我国已经成为世界上的领先者,但是还有相当一部分的技术领域还有大道国际水平,由于我国的地形和地质的差异较大,因此在石油的开发和开采技术上由很大的技术挑战。本文针对目前石油油田井下作业中抽油泵的打捞技术环节进行了探讨,由于我国的大多是油田的防砂卡抽油泵功能单一,普遍存在沉砂卡泵问题,又由于抽油泵打捞工艺技术是一项工艺复杂且难度大的工艺技术,.本文介绍了抽油泵的打捞工艺方法和注意事项。     

城市高架桥曲线防撞墙与箱梁整体预制工艺

基于以直代曲理论,结合高架公路桥梁防撞墙的结构和施工特点,采用曲线防撞墙与箱梁整体化工厂预制来取代传统现浇工艺。实际工程应用证明,采用工厂整体预制防撞墙施工工艺,不仅简化了工序、便于操作、提高施工效率和加快工程进度,同时还可较好地实现防撞墙与主体箱梁结构的整体性连接,也有力地保证了防撞墙的整体线形顺畅和外观质量优良。