基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

高等院校计算机教育与改革浅析

1.1高校计算机教学的内容比较陈旧,社会需求严重脱节我国高校计算机课程教学内容陈旧,实践性较差,教学内容的理论已经不再适用于计算机领域的不断更新,使得学生学习的知识可以应用到实际工作中是非常稀缺的,许多高校缺乏计算机教学的必要性,安排教学内容过于理论化,目前我国计算机领域的更新周期很短,不仅造成了教育资源的浪费,也增加了单位的工作量,计算机软件系统和硬件设施的淘汰率很高,没有社会的实际需要考虑和工作实际需要,高校计算机教学和社会存在严重脱节。     

基于电荷泵的压电致动器迟滞非线性改善研究北大核心CSCD

压电致动器在精密定位、微纳米测量等领域得到了广泛的应用,然而迟滞和非线性现象严重影响了其定位精度和性能。虽然电荷驱动的方法可以降低大部分迟滞,但仍存在较为明显的残余迟滞,尤其是电压工作范围较大时,压电致动器的迟滞呈现增大的趋势。基于残余迟滞的分析和计算,提出了一种用于电荷泵驱动的残余迟滞改进方法,研究了校正参数的推导方法,改善了经典电荷泵驱动的迟滞非线性。通过实验发现,在驱动电压范围为0~100 V、驱动频率为0.1~2 Hz时,相比经典电荷泵驱动的2.79%迟滞,改进后的电荷泵驱动方法可以将迟滞进一步降低至0.47%以下,比经典的电荷泵驱动方法降低了83%左右。所提方法在精密测量等领域具有较好的应用价值。     

基于FPGA的智能视频融合技术研究

针对夜间或恶劣环境下交通事故频发的情况,提出一种在夜间或恶劣环境中辅助驾驶员改善能见度的技术,本技术是采用在FPGA内部对CCD捕获的可见光视频流和红外摄像机捕获的红外视频流进行实时融合、处理以获得极低或极强光照条件下图像信息的新方法;整个系统流程都在FPGA内实时完成,经过处理的视频流直接显示在位于司机前方的平视显示器上,以协助驾驶者在能见度低的环境中安全地行驶,在各种实验条件下经初步验证都取得了不错的效果。     

数据起源技术发展研究综述*

在总结国内外相关文献基础上,系统介绍了数据起源的概念、内容及其主要应用,介绍了数据起源的基础研究和开放环境下两个典型的形式化模型,然后介绍了其在数据库和工作流及其他领域的应用,对现有成熟的起源管理系统进行了分析和比较,最后展望了数据起源技术的发展方向。     

ＣＳＣＷ系统中实时协同设计模型的研究

实时协同设计系统是CSCW级研究的热点,提出了实时协同设计一般化的五元组模型和其中具有关键性意义的同步模型,并以CoopCAD（协同式计算机辅助设计）系统为例,详细讨论了这一同步模型的具体实现。     

基于uMSD的Web服务组合验证方法研究

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...     

一种时效感知的动态加权Web服务QoS监控方法

服务质量（quality of service,简称QoS）是衡量Web服务好坏的重要标准,也是用户选择Web服务的重要依据.能够实时而准确有效地对Web服务进行监控,是Web服务质量保障的重要基础.为此,提出了一种时效感知的动态Web服务QoS监控方法.该方法在传统加权监控方法中融入了滑动窗口机制和信息增益原理,简称IgS-wBSRM（information gain and sliding window based weighted naive Bayes QoS runtime monitoring）.该方法以一定的初始训练样本进行环境因素权值初始化,利用信息熵（information entropy,简称IE）及信息增益（information gain,简称IG）对样本所处混沌状态的确定作用,依次读取样本数据流,计算样本数据单元出现前后各影响因子组合的信息增益,结合TF-IDF（term frequency-inverse document frequency）算法对早期的初始化权值进行动态更新,修正传统算法对监控分类的类间分布偏差问题和参数未更新问题.另外,考虑训练样本数据的时效性,结合滑动窗口机制来对影响因子组合权值进行同步更新,以消解长期累积的历史累赘数据对近期服务QoS的影响.在模拟数据集和开源数据集上的结果表明：利用滑动窗口机制可以有效摒弃历史数据的过期信息,结合滑动窗口机制实现的基于信息增益的动态权值算法能够更加准确地监控Web服务QoS,总体监控效果明显优先于现有方法.     

真空感应悬浮熔炼工艺的自动控制研究

简要介绍了冷坩埚真空感应悬浮熔炼装备的发展现状、应用及其组成.在实际熔炼合金的过程中,通过PLC对熔炼中的各项工艺数据采集、运算、存储、分析、优化,制定了最优的熔炼工艺曲线,PLC和工业计算机之间相互通讯使真空悬浮熔炼过程的逻辑控制与过程控制得以实现,并能够进行远程监控、控制、诊断与管理,保证了后续熔炼合金成分均匀及质...     

城市正射影像图网络发布系统的实现及关键技术

基于SuperMap IS.NET平台,采用AjaxControls和WebService技术,在普通PC服务器上不仅实现了广州市全市域、不同年代、高分辨率正射影像图快速、高效地网络发布,而且实现了影像图与城市1∶500、1∶2000等大比例尺数字线划图、不同GIS格式专题图数据的集成式发布,本文对系统的实施思路、功能特色和关键技术等进行了详细地探讨。