虚拟存储地址变换的倒置映象技术

虚拟存储器中将虚拟地址变换成物理地址，普遍采用的是建立在直接映象技术之上的一级或两级页表的方法。近年来，一种使用倒置页表的映象技术正在兴起。本文介绍了这种技术的要点，并以ＰｏｗｅｒＰＣ为倒予以较详细论述。     

海洋生态本体建模

分析海洋生态领域知识体系特点,提出了海洋生态知识组织模型;借鉴工程领域文献中的“功能”概念描述海洋生态功能过程;参照〗已有研究提出的功能知识表示框架,确定“设备功能”视点,提出海洋生态领域上层本体,指导构建了海洋生态本体模型和海洋生态形式化本体。扩展基于描述逻辑的Web本体语言OWL-DL,提出了面向过程的OWL-Process模型,构建了海洋生态功能过程-光合作用过程本体的实例。基于海洋生态本体设计开发了海洋生态知识管理系统,实现了海洋生态领域知识的查询和生态危机预警功能,该本体应用系统也验证了海洋生态领域本体构建的有效性、合理性和正确性。     

一种新型的增式SVM训练算法

针对传统的增式支持向量机算法在计算时间和分类效率上的不足,提出了一种新型的增式SVM训练算法。该算法不是简单地保留上一步训练的支持向量,而是通过增加KKT(Karush-Kuhn-Tucke)限制条件并对决策函数的输出设定一个阈值,使得保留下来的样本都是最有效的样本,从而可减少训练样本的数目。在仿真实验中,选择了一组UCI数据,并选用RBF核函数作为核函数。实验结果表明:与传统增式算法相比,新算法在保证传统SVM性能的同时,在迭代速度和分类放率上分别提高了14%和4.39%。     

三维图像多相分割的变分水平集方法

变分水平集方法是图像分割等领域出现的新的建模方法,借助多个水平集函数可有效地实现图像多相分割.但在区域/相的通用表达、不同区域内图像模型的表达、通用的能量函的设计、高维图像分割中的拓展研究等方面仍是图像处理的变分方法、水平集方法、偏微分方程方法等研究的热点问题.文中以三维图像为研究对象,系统地建立了一种新的三维图像多相分割的变分水平集方法.该方法用n-1个水平集函数划分n个区域,并基于Heaviside函数设汁出区域划分的通用的特征函数;其能量泛函包括通用的区域模型、边缘检测模型和水平集函数为符号距离函数的约束项3部分;最后,针对所得到的曲面演化方程,采用半隐式差分格式进行离散,并对多种类型三维图像进行分割验证了所提出模型的通用性和有效性.     

采用地面钻孔抽放工作面瓦斯

介绍了山西昔阳运裕煤矿通过采用地面大直径瓦斯钻孔代替井下高抽巷进行工作面邻近层瓦斯抽放,有效地解决工作面瓦斯对生产和安全的不利因素,对相似条件下采用该方法进行工作面瓦斯抽放,具有广泛的推广和应用价值。     

基于尺度连贯性边缘检测的小波收缩图像去噪

为有效地去除图像噪声而不使图像边缘模糊,文章提出了一种保留边缘信息的小波图像去噪新方法.此方法基于二进小波变换的多分辨率分解,小波系数的分布被模型化为高斯分布,得到每一尺度的收缩因子,连续尺度上的收缩凼子被结合,一致性检测被用于进一步检测边缘.将检测到的边缘点与非边缘点对应的小波系数,分别用不同的方法进行处理,采用不同的收缩因子进行收缩.仿真实验表明,与其它几种传统去噪方法相比,本算法具有更好的重建视觉效果,峰值信噪比也比其它方法有了较大幅度的提高.     

射线追踪方程与程函方程的初至旅行时层析对比

初至旅行时层析反演是目前应用最广泛的近地表建模方法。按照反演中正演算子的不同，可将基于射线理论的层析反演方法分为基于射线追踪方程与程函方程两类。本文分别从理论及数值测试上对两种方法在反演精度、计算效率等方面进行了系统的对比分析。结果表明：①两种方法可在统一的反演框架下推导得到，两者主要的差别均是由反演中正演算子的不同引起的；②两者具有相似的反演精度，由于后者的核函数是带限的，在复杂地区的层析反演中更加稳定；③前者的计算效率、内存占用等依赖于检波点个数，后者则依赖于模型大小，检波点稀疏时优选前者，否则优选后者；④前者具有射线密度等质控手段，后者缺少类似的质控手段。     

最小平方逆时偏移真振幅成像

针对常规逆时偏移算法具有较强的低频噪声、对观测系统要求较高、较难进行透射损失补偿等问题,本文在构建线性化波动方程算子（反偏移算子）的基础上,详细推导了最小平方逆时偏移迭代算法,在反演的理论框架下解决了上述问题的影响,实现了真振幅成像。通过简单多层介质模型及复杂Marmousi模型试算,验证了最小平方逆时偏移在真振幅成像方面的优势。实验结果表明,此法不仅具有更高的成像分辨率,而且还能有效地压制成像噪声。