在不同本体环境下的语义检索

随着本体技术的逐渐成熟 ,基于本体的智能检索开始受到重视。然而由于本体差别的存在 ,使得在不同本体间查询始终存在困难。文章提出了一种在异构本体的环境下实现语义检索的解决方案 ,该方案借助语义度量技术 ,实现了不同环境下的查询映射 ,从而较好地解决了这一问题     

基于双重字典及联合特征的遥感图像超分辨率算法

为了解决低分辨率遥感图像超分辨重建的问题,本文提出了一种基于双重字典及联合特征的遥感图像超分辨率算法.超分辨率重建技术目的就是根据低分辨率图像重建出原始高分辨率图像的高频信息.本文将图像的高频信息分解成为主高频信息和残差高频信息两个部分,然后针对主高频信息和残差高频信息,分别训练主高频字典和残差高频字典,并结合稀疏表示方法对图像进行重构.同时,为了建立更能反映图像内部结构信息的字典,本文联合图像的不同的结构特征,建立统一的字典.本文算法对图像取得较好的复原效果,复原出的高分辨率图像更接近于真实图像,与其他方法相比具有更好的主观和客观质量.     

关于一个新的数论函数的研究

研究一个关于n原根的数论函数的渐近性质,给出了一个较为精确的渐近公式.     

机器人光纤接近觉复合传感器解耦新方法

介绍了一种具有自补偿功能的光纤接近觉距离方位复合传感器的结构和工作原理，提出了一种基于多尺度特征的光纤接近觉复合传感解耦新方法，通过对传感信息的多尺度分辨级进行划分，进而采用不同精度的数值逼近方法实现对耦合方程的求解．文中介绍了该方法的原理、物理意义和具体实现过程．结果表明，该方法具有精度高、实时性好的特点，可以应用于存在类似问题的场合．     

Efficient and Provably Secure Multi-Recipient Signcryption from Bilinear Pairings

0 Introduction Confidentiality, integrity, non-repudiation and au- thentication are the important requirements for many cryptographic applications. A traditional approach to achieve these requirements is to sign-then-encrypt the message. Signcryption, fir…     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

面向推理服务的Web本体语言与描述逻辑

本体在语义WEB中起着极其重要的作用,通过本体提供的可以共享的预先精确定义的术语在一定程度上扩展了语义WEB互操作性。OWL本体语言是W3C最近推荐的专门为基于WEB的应用设计的本体语言;该语言充分利用了现存的WEB技术标准XML和RDF,并在XML和RDF标准基础上,增加了面向对象和基于框架体系的本体概念,将其与具有表达力的描述逻辑结合在一起。该语言与描述逻辑的组合可以实现一定程度上的推理服务。     

基于混合QoS模型的服务选择策略

目前大部分Web服务质量属性都采用精确数值型描述,不能适应客户对服务QoS描述的需求。为了增强服务QoS描述能力,给出混合QoS模型。该模型将QoS属性分为精确数值型、区间数值型和模糊数值型,并基于OWL-S增加了其QoS信息的描述。在此基础上,采用TOPSIS决策算法给出混合型QoS属性服务的选择过程。提出了一种基于理想解的多属性决策模型。实例验证该模型是可行的。     

电子目录的本体模型研究

电子目录中包含了丰富的语义关联产品,本文提出了一个电子目录的本体模型:在一个概念性的模型中描绘电子目录的语义信息,并因此构建正式的发音本体。用一种增强的实体关联方法来表示模型构造的基本集,为每步构建提出了相应的描述逻辑代表。     

含不确定参数结构特征值界限的区间-椭球联合估算方法

讨论了在不确定参数的影响下估算结构特征值变化界限的一种新型非概率凸集合方法.首先,利用Khachiyan算法与灵敏度分析,在可由实验数据确定描述不确定参数的凸集合的情况下,提出了一种新的结构特征值凸模型(椭球)估算方法;然后根据此凸模型方法和经典区间分析方法,发展出区间-椭球联合计算方法.该方法改进了经典区间分析方法及凸模型(椭球)方法所求得的特征值边界在部分区域过于粗糙的缺陷,能够求出比区间分析方法及凸模型(椭球)方法更为精确的结构特征值变化边界.文末以含不确定刚度的复合材料板特征值求解为例,将本文的方法与两种经典区间分析方法及凸模型(椭球)方法相比较,证实了文中的结论.     

新一代ENC数据标准S-101与S-57的对比分析

S-101是基于通用海道测量数据模型(S-100)建立的新一代电子海图产品规范,遵循了S-100规定的产品规范建立原则和方法,实现了对电子海图(ENC)特定应用的准确技术描述。在分析了当前ENC数据标准S-57存在的不足的基础之上,从数据结构、空间模式以及数据内容三个方面阐述了新一代ENC标准S-101的优点,并与S-57进行了深度对比分析。     

用基于最小子集的遗传算法提取基元

基元提取是基于模型的计算机视觉研究的一项重要内容 .霍夫变换是基元提取的最常用的方法 ,然而 ,在许多情况下 ,其存储开销太大而难以让人接受 .为此提出了一种基于最小子集的遗传算法来提取基元 ,在此 ,最小子集被定义为确定某一基元所需几何点的最小数目 .与霍夫变换相比这种方法能更有效地提取基元 .     

基于LL(1)的LL(2)分析方法

基于ＬＬ（１）的ＬＬ（２）分析方法，可以在很大程度上简化ＬＬ（２）分析器的构造和提高分析效率。其实质是当一个文法不是ＬＬ（１）文法时，只对不满足ＬＬ（１）条件的产生式部分用ＬＬ（２）分析处理，以简化分析表的构造和提高分析效率（称它为ＬＬ（１，２）分析器）。基于这种方法已实现了一个以语法图或巴科斯瑙尔范式描述的语法为输入，自动生成ＬＬ（１，２）语法分析器的编译器构造工具。若在语法图或语法规则的适当位置插入语义信息则与ＹＡＣＣ（一个编译器的编译器）的功能类似，能构造出完整的编译器，该编译器构造工具经实用效果很好。文中提出的方法与讨论也适于推广到ＬＬ（ｋ），ｋ＞２的情况。     

基于自适应结构张量的FCM改进算法

针对传统模糊C均值聚类算法对图像特征描述单一,易受图像复杂纹理干扰而出现误分割的问题,提出一种基于自适应结构张量的FCM算法,并将其应用于图像分割.打破传统高斯滤波器在滤波方向和角度上所受限制,采用基于各向异性滤波的结构张量;引入图像边缘密度函数,用以衡量图像节点的平滑性,自适应地计算各向异性滤波函数所占比例;定义一种自适应结构张量相似性度量标准,用以计算图像中节点与聚类中心点的结构相似性,有效地代替了传统FCM中的灰度相似性度量标准;采用一种新颖的节点间距离度量公式来计算图像中节点与聚类中心点的差异.仿真结果表明,对结构复杂的图像,改进算法获得了更加精确的分割结果.     

基于ARMA时间序列理论的建模及应用

介绍一种精度较高的时间序列短期预测方法,即带有周期性的ARMA模型。通过该数学模型的分析与研究,对时间序列整个变化的规律性做出近似描述,更准确的认识与了解到时间序列的结构与特征,进而达到最小方差意义下的最优预测。     

多级模糊神经网络在故障诊断中的应用

提出一种基于模糊神经网络的多级故障诊断系统,根据多级的需要,除了建立故障谱和识库外,还分别建立了频谱特征知识库、振动变化特征知识库和故障位置特征知识库,并对其主要功能做了比较细致和论述。文中特别对第1,3级采用的基于模糊组织径向基函数神经网络及第2级采用的模糊逻辑神经网络的学习算法做了较全面的论述,同时解决了模糊神经网络随着输入变量的增加,模糊规则呈指数增长带来网络训练的困难。通过试验,研究了该系统在某炼油厂重催化机组故障诊断中的具体应用。     

地震剖面层状构造的特征抽取和描述方法

文本探讨了描述地震剖面层状连续构造的一种特征抽取方法。其特点是利用横向构造连续性的限制条件同时对多道等价强反射系数进行估计。为了消除噪声的影响，在进行计算时，选择某些集团重心位置作为迭代过程中的等价强反射层位置。在人工合成数据上的实验结果说明了方法的有效性。最后讨论了用多道等价强反射系数作为特征来描述地震剖面层状构造的方法。     

一类广义扩展结构大系统动态输出反馈鲁棒分散关联镇定

研究一类广义扩展结构大系统基于广义动态输出反馈的鲁棒分散关联镇定问题。这里所谓的扩展结构就是在原结构系统上又有新的子系统加入而构成的。首先给出广义扩展结构大系统的数学描述,并在广义大系统容许性的基础上,利用Lyapunov稳定性理论和线性矩阵不等式的方法,给出了广义扩展结构大系统鲁棒分散关联镇定的充分条件,并给出了扩展子系统的广义动态输出反馈控制律设计方法。最后通过仿真算例表明了所提出算法的有效性。     

(2,1)-代数簇及其自由对象

系统叙述了（2,1）-代数的基本理论,给出了“绝对自由（2,1）-代数”的准确结构,从而完整地证明了任一（2,1）-代数簇都存在自由对象,这弥补了文献（Fundamentals of Semigroup Theory.Oxford:Clarendon Press,1995）的不足。