基于语义的遥感影像数据检索关键技术研究

传统的遥感影像数据库采用关键词匹配的方式进行查询,导致查询语义的缺失,通过将本体和Compass搜索引擎引入到遥感影像数据检索,可提高查询的查全率和查准率,提高查询的效果。文章提出了基于语义的遥感影像数据检索解决方案,构建了一个关于遥感数据共享的应用本体,并基于此本体初步实现了遥感数据检索系统,从而证明了该方案的可行性。     

SOTIMiner:一种基于集合运算的时序不变式挖掘方法

时序不变式反映了事件间的时序逻辑关系,被广泛应用于异常检测、系统行为理解、模型推理等技术.在实际使用中,一般通过分析软件系统的日志数据挖掘时序不变式.相比全序日志,偏序日志可为挖掘算法提供更为准确的数据来源.但是,现有的基于偏序日志的时序不变式挖掘方法存在效率较低等问题.为此,以系统执行路径为数据来源,提出了一种基于集...     

落实计算思维培养的大学计算机基础课程改革实践

为更好地落实大学计算机基础课程计算思维培养的目标,在广泛调研国内外同类课程建设情况的基础上,提出问题式的课程内容、"问题引导、知识植入、增量设计"的教学方法、以能力评估为核心的全过程考核方式等,结合国防科技大学的具体情况,介绍大学计算机基础课程改革实践过程,说明改革成效并提出思考。     

“数字图像处理”课程研讨式教学

"数字图像处理"是一门理论性和实践性都很强的信息类专业课程。针对其知识面较广、理论知识难度大、实验内容深的特点,基于三年的课程教学经验,文章提出一种新的研讨型教学方式,采用"教师主题引导—学生专题讲授—随堂研讨—教师质疑答疑"的施教方案。这种教学方式在实际教学中取得了良好的教学效果。     

遥感图像像素级融合方法的建模与分析

遥感图像像素级融合方法众多，但缺乏统一的定义，使得各种方法的差并不明确，不利于有针对性的应用；各种方法的融合质量差异悬殊，缺乏选用合适融合方法的理论指导，往往只能根据操作者的经验进行判断。为此，本文首先对融合方法的一般处理过程进行建模，提出了基于融合过程中图像信息表示的遥感图像融合方法的形式化定义RSPF; 然后，基于RSPF从理论上分析了现有融合方法的融合质量差异；最后，通过实验定量分析了各种典型融合方法的融合质量。结果表明，融合过程中图像信息的表示形式是影响响融合质量的关键因素。     

基于投影分层技术的嵌套循环空间局部性优化方法

从数据访问轨迹入手，探讨了利用数据变换来改善数据访问局部性的本质，提出了一种新的优化数据访问的投影分层技术以及基于它的数据变换框架．该框架主要利用投影技术来优化数据访问的空间局部性，并同时利用数据分层技术来解决因投影而带来的数据重叠问题．该数据变换框架不仅能处理仿射数组下标，而且还能处理许多非仿射的更复杂的数组下标，同时它还能简单直接地确定数据元素的最优存储布局以及优化数据访问的数据变换短阵，并能使访问间距尽量小．实验结果表明它是有效的．     

单系统映象集群操作系统的研究与实现

本文针对ｃｌｕｓｔｅｒ这种计算机系统,主要分析了单系统映象的集群操作系统的设计内容和关键技术,系统地总结了单系统映象的技术内容,并提出了一种新的实现方法。     

交互式音乐类比生成

类比生成是计算机生成自然和创造性音乐作品的一种关键方法.使用类比生成能够将高层次的音乐特征从一个作品转移到另一个.为了在进行高效类比的同时也能够控制音乐的特征属性,提出了一种新型的显式特征解耦的编解码模型,由编码器解开以和弦为条件的音乐片段的音高和节奏表示,并用解码器还原成原始的音乐.在进行音乐类比生成时,该模型能够使一个作品借用其他作品的表现形式,用不同的音高轮廓、节奏模式进行创作.另外,得益于可视化的特征编码方式,该模型可以对不同的特征属性进行直观控制.     

并行复算：一种面向高性能计算的新的容错方法

Checkpointing是高性能计算领域最常用的容错技术.但是,当处理器数目变大时,这种技术的性能迅速恶化.提出一种在并行计算中容忍单进程故障的新方法:并行复算.这种方法的主要特征是利用冗余处理器的计算能力而不是冗余磁盘的存储能力实现低开销的容错.还提出这种方法的一个优化方法,将并行复算与checkpoint技术相结合,以进一步减小容错开销,并通过举例说明如何开发一个基于并行复算以及其优化方法的并行程序.最后通过实验对该方法进行评估.结果显示,当处理器数目变大时,并行复算的开销低于checkpointing,其优化方法能提供优于并行复算的性能.     

计算机网络拓扑结构与网络安全

本文分析了几种基本网络构型的安全脆弱性及其安全策略,并将此分析引入到ＩＮＴＥＲＮＥＴ,对ＩＮＴＥＲＮＥＴ的安全问题提出了一些建设性策略。