摘要：绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.

摘要：GPU技术的兴起为构建高性能异构协调计算平台提供了一个新的有效途径,针对如何在CPU+GPU并存的环境下,设计高效的应用程序以更好地发挥GPU技术,开展支持CPU+GPU协同计算的C源程序预处理划分策略研究。从计算任务的C语言源程序出发,分析程序的内存访问、运算密度、流程控制结构、数据并行性等各种特征,同时考虑CPU和GPU的特点和差异,以此作为关键依据,对C源程序进行预处理,给出划分和标识程序段适合CPU或GPU执行的策略和算法。此外,以传统典型程序为测试用例开展实验。实验结果表明,策略和算法具有一定的有效性,在一定程度上提升了计算的效率。

摘要：N体问题是一个经典动力学问题,在多个领域得到广泛的应用。但随着规模的增大,对求解计算性能的要求成为其研究的主要障碍。当前,FPGA可重构技术由于具有硬件可编程结构和高度并行处理能力而成为高性能计算关注的热点。现以FPGA加速求解N体问题为例,阐述一种新型的求解计算密集型任务的方法。

摘要：为了分离软件系统中的核心关注点和横切关注点,通过引入面向方面软件开发的思想设计了一种面向方面软件体系结构模型,并详细分析了该模型的三个基本构成单元,即构件、连接件和方面构件。最后通过一个网上支付实例验证了该模型具有一定的理论意义和实用价值。

摘要：本文旨在对已有的基础加密算法与安全机制进行组合与功能定制,以设计并实现一套组合的加密安全方案。该加密方案综合了各种现有基础加密算法的优势,以达到既能保障绝对的加密安全性,又具有较高的加解密效率的目的,为保护私密数据信息抵御各种不安全因素的威胁提供了一个较为良好的解决方案。文章主要涉及这套组合加密方案的设计与实现,并且对加密方案的一些技术细节予以讨论。

摘要：ISO9660格式是被广泛用于CD-ROM光盘上的文件系统格式,她是独立于操作系统的文件系统格式,在不同系统间实现数据的交换。文章介绍了ISO9660标准中的数据格式,设计实现了生成ISO镜像文件的算法,并且讨论了算法中从数据源文件系统生成目标ISO9660文件系统流程的实现细节。

摘要：针对在编写软件、复用源代码的过程中仅依靠关键词无法精准搜索到适用源代码的问题,提出一种将语法和语义结合的源代码精准搜索方法。首先依据源代码语法语义的客观和唯一性,增加语法结构和"输入/输出"语义作为用户录入请求的一部分,并规范了具体的请求格式;然后在此基础上分别设计源代码语法匹配算法、"输入/输出"语义匹配算法、关键词兼容匹配,以及源代码搜索结果可信度计算算法;最后综合上述算法实现对源代码的精准搜索。测试结果表明:与单纯的关键词搜索相比,提出的方法对搜索的平均排序倒数(MRR)有超过62%的提升,有助于实现源代码的精准搜索。

摘要：并行分布计算环境的任务调度一直是并行计算研究的热点问题,网格技术的发展则对任务调度提出了新的要求。本文采用带参数的有向超图表达异构任务图,为具有一般性、异构性、分布性、动态性等特点的任务请求提供了通用描述方法。通过设计网格异构任务图描述语言GHDL,实现了网格任务请求的统一封装以及任务请求在异构环境下的计算机理解和识别。通过设计自适应调度策略库,为分布异构动态网格环境下的任务调度提供有效解决方案,实现了在考虑网格任务间优先约束与数据关联的同时,采取异构宿主机识别、异构客户端自动创建等方式开发利用环境异构性与任务异构性,采取实时网格状态信息采集与任务迁移屏蔽了资源动态性。异构任务图在网格环境中的调度效果由树生长的仿真实验进行了展示。

摘要：在编写程序代码的过程中,软件工程师常常花费大量的时间来搜索和重用代码,为了快速和准确搜索源代码,提高源代码重用效率,开展了程序源代码切片摘要获取方法研究。通过分析源代码的结构特征,给出了变量切片的定义。选取与函数代码段核心功能密切相关的变量,联合其变量切片形成切片摘要,以反映源代码的结构和功能信息。然后分别设计了变量切片算法和切片摘要提取算法,并且将切片摘要应用于开源代码搜索引擎中。应用实验表明:本文提出的方法具有可行性,且较传统搜索方法在搜索精度上有较大的提高。

摘要：海底观测会产生规模大、稀疏性强的视频数据,目前的存储方案效率较低。为此,本文提出一种基于Hbase的海底监测视频大数据存储方法。首先,采用运动目标检测方法对视频中的稀疏空白部分和内容密集部分进行分段,对稀疏空白段进行重度压缩,并对密集内容部分进行特征提取,为基于内容的视频检索做准备。接着,设计一种能统一存储上述两部分视频的大数据表,它能在插入稀疏视频段时动态添加压缩信息列,在插入密集内容视频时动态添加特征列,并用行键键尾对两种视频进行了区分,方便查询过滤。实验分析表明:本文方法相比传统方式能节约近75%的存储资源,并能实现基于特征的检索,极大的方便了视频数据的管理。