安全攸关软件系统建模与验证专题前言

随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

旁多水利枢纽坝体砂砾石过渡料现场控制

旁多水利枢纽工程大坝为碾压式沥青混凝土心墙砂砾石坝,心墙两侧设置砂砾石过渡料,通过砂砾石过渡料现场碾压工艺性试验,确定现场施工参数和施工方法,进而确定现场砂砾石过渡料的质量铺设控制指标,为整个大坝过渡料填筑碾压施工和质量控制提供依据。     

基于四轴飞行器的合训类本科毕业设计实践

针对信息化战争的发展趋势和基础合训类学员的任职需求,以提高学员的综合实践能力和激发学员的学习兴趣为目的,介绍基于AR.Drone四轴飞行器开展飞行器控制软件的合训类本科毕业设计的探索实践。     

基于云计算的网络安全的探析

随着云计算的快速的发展,越来越多的用户将应用和数据托管到了云端。但是由于云计算具有的虚拟化、多用户、可伸缩等新特性,使得传统的安全技术并不能保证云计算的安全,云计算中的安全问题成了阻碍云计算发展的最主要的问题之一。因此,云计算的安全性成为了当前研究云计算的重点。     

网购“星际2”必知的4件事

《星际争霸》在12年前推出时,凭借着超前的游戏理念和均衡的种族设计,引领了局域网对战游戏的潮流。如今,随着《星际争霸2》这款超一流游戏的推出,     

浅谈机械专业AutoCAD课程的教学

为提高机械专业AutoCAD课程教学质量,主要从教师自身角度,教学环节、教学内容与教学媒体、教学方法与手段等方面进行阐述。     

基于.NET的中文分词系统设计与实现

针对中文分词的相关理论,讨论了中文分词的难点、语料库和中文分词算法,然后在.NET下设计了一个中文分词系统。在长词优先的原则下通过SQL Server 2005自建了一个语料库。在Visual Studio 2005下,采用改进的正向减字最大匹配分词算法,使用ASP.NET和C#语言实现了这个系统。结果表明该分词系统达到了较好的分词效果。     

无线传感器网络中的簇状汇聚头算法

介绍了无线传感器网络中的数据融合技术的概念及特点。以数据融合为目的,以实时数据为中心,在基于事件驱动的网络环境下,设计了路由算法。在保证数据实时性的基础上,划分节点等级,寻找最佳融合点,构建树结构传输数据,有效地减少了信息传送,缩短了传输时延。     

基于社区分析的网络分割

在并行计算中,网络分割的质量会极大地影响并行计算的效率,然而在网络分割时并没有一个统一的质量评价指标,因此网络分割评价指标的定义以及最佳网络分割方法的构造,成为大规模网络中并行计算的一个核心问题.根据对影响并行计算效率的各种因素的分析,给出了一个网络分割评价指数的定义,并利用并行最短路径的计算验证了该评价指数的定义的正确性;并且基于社区分析,给出了一个全新的网络分割方法,理论分析表明:该网络分割方法是最优的.