基于推理和相似度计算的语义Web服务匹配策略

将本体的概念引入Web服务提升了服务的语义表达能力和发现能力,传统的语义Web服务匹配主要有基于推理和基于本体相似度计算两种方式.基于推理的服务匹配较容易实现,具有稳定的查准率和较高的运行效率,但同一级结果间不能进一步区分结果的匹配度.基于相似度计算的服务发现可以精确地描述结果与查询条件的匹配程度,便于用户比较,但实现较为复杂,并且在最坏情况下有糟糕的响应时间.在基于推理的服务匹配策略的基础上,提出了一种带有语义相似度计算的服务匹配策略,并用一个书籍领域本体的匹配实例进行了说明.     

基于空间关系的改进菱形块匹配策略

研究运动估计(ME)中的经典块匹配算法(BMA)并重点分析菱形(DS)算法,然后利用相邻块之间空间关系,设计一种新的块匹配策略,以相邻宏块的搜索结果进行预测匹配,以减少搜索点数。最后以平均每块搜索点数和平均峰值信噪比为衡量指标验证了该算法的有效性。     

读取AutoCAD图形交换文件的两个应用

本文介绍了从ＡｕｔｏＣＡＤ中提取图形数据的分析，并列举了这方面的两个应用：其一是把ＡｕｔｏＣＡＤ图形转换成Ｗｉｎｄｏｗｓ图形，其二是使用ＡｕｔｏＣＡＤ描述结构，进行有限元分析，并回送信息在ＡｕｔｏＣＡＤ下显示出分析结果。     

两大类形式化方略

阐述机器翻译的两大类形式化方略。其中,第一大类形式化方略涉及:编程语言和英语(自然语言);第二大类形式化方略涉及:二进制数与十进制数、十进制数与汉字中文、中文和英文(可换)三类双语协同变换,属于形式化及其拓展研究领域。其结果是:凸显了第二大类形式化方略。其意义是:揭示了其理论依据,并为含语言学在内的学科知识系统工程提供了广义双语信息处理技术,有利于母语为非英语的计算机用户改善人机对话的语言环境。     

Excel规划求解的两类应用

Excel规划求解在很多方面都有应用,但它的应用在一般的教材和Excel的帮助中都没有详细的介绍。本文介绍用Excel规划求解来解决线性规划和非线性回归这两类问题。这两类问题分别在经济、交通、通信和生物医学等领域都有广泛的应用。如果不用Excel的规划求解,解决线性规划和非线性回归问题是相当复杂的编程运算。应用了规划求解则可以直观而简捷地求得答案。本文对两类问题都提供案例,给出解决方案的步骤。     

逻辑函数的计算机化简

本文针对中型逻辑函数，提出了易于计算机实现的化简方法，即在化简过程中引入代数拓扑运算，在用星积运算求素项的基础上，用选择极值法求最小覆盖，大量的实验证明了该算法的正确性和易于计算机实现的有效性。     

一种基于分段匹配的字符串匹配算法

针对已有算法对文本和模式的相关性依赖较大,提出一种基于分段的字符串匹配算法——SM。该算法利用特殊字符将文本先分段再匹配,且匹配过程对模式内容和长度不敏感。通过将SM算法与经典算法进行分析和实验对比,证明SM算法性能稳定,特别是在多模式字符串匹配情况下,SM算法具有比Wu-Manber算法更快的速度和更小的空间消耗。     

一种逻辑层网络拓扑发现方法研究

分析传统基于简单网管协议的网络拓扑发现方法存在的不足,提出一种基于选路信息协议和因特网控制报文协议的逻辑层网络拓扑发现和分析方法,该方法包括路由器干网拓扑发现与分析和子网拓扑分析两个步骤。其中路由器拓扑发现采用别名探子和RIP路由信息分析两种技术,子网拓扑分析依据路由器干网分析结果。     

关于选择函数路径无关性条件的一个注记

通过对选择函数路径无关性条件LPI和LSPI的分析,重新确定了条件LPI和 LSPI间的相互关系,所得结论表明:条件LSPI和LPI相互独立而非条件LSPI隐含LPI.     

“人口最优控制”的一点注记

本文给出时间连续按龄离散的人口发展模型最优性问题的充分条件,     

一种基于策略服务的逻辑结构

本文首先定义了基于策略服务的概念,然后在剖析已有策略控制结构的基础上提出一种具有可操作性,的,通用基于策略服务的逻辑结构,并详细讨论了它各部分的功能及策略控制的过程。     

一种上下文驱动的信息检索多维匹配模型研究

为改善信息检索服务效果,提出一种多维匹配模型,在内容维度之外,将信息检索过程中的上下文作为独立维度进行匹配。隐性匹配将各类上下文归为两类:与用户相关的和与文档相关的,两者一一对应。实验表明该模型能大大提高返回结果相关度,亦验证了计算文档相关度时隐性维度有更大权重,即在特定信息需求下,上下文相对于内容具有更大决定性。     

APPLICATIONS OF GSLT (GENERAL SYSTEM LOGICAL THEORY)TO CONTROL IN TRANSFORMATION SYSTEMS

This work contains some applications of the GSLT developed by the author concerning chemical and biochemical feedback networks. The formalism developed by Feinberg, Horn, and Jackson is enlarged. Two cases are emphasized: (a)adding a substance to a chemical system in the stationary state, followed by a drop in the amount of the added substance, and (2) conditions for the occurrence of oscillations (where the Lotka-Volterra system, the Michaelis-Menten reaction, the glycose-chaining, the Bmsselator model, the Hypercycle, and other examples are presented)     

删除策略的相容性

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元锁归和删降策略联用完备，输入锁结与删除策略联用完备，配锁Ｈｏｒｎ集上输入半锁归结和删除联用完备的，标准Ｈｏｒｎ集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备。     

基于中心区域基准点的指纹匹配算法

指纹匹配是自动指纹识别中的重要环节。首先介绍了指纹匹配中已有的一些方法和指纹匹配需要解决的问题,继而提出了一种基于中心区域基准点的指纹匹配算法,通过搜寻中心区域的细节点集合定位基准点对,以此计算旋转和平移参数,最后统计姿势矫正后的匹配点个数来实现两枚指纹的比对。实验结果表明,针对图像质量不同的两个指纹库,该算法能有效地抵抗图像噪声,准确定位基准点,达到较高的准确率。     

Gnutella环境下基于节点逻辑度的资源定位方法

在Gnutella网络中如何进行资源定位是提高网络效率、增强网络可扩展性的重要问题.在已有研究的基础上提出一种基于节点逻辑度的资源定位方法,加入节点基于当前Gnutella网络中节点的逻辑度选择要建立链接的节点,请求节点通过所构建的逻辑结构来定位资源.仿真实验结果表明该方法能有效地降低Gnutella网络的通信负载,减少冗余消息,提高Gnutella网络的可扩展性.     

A NOTE ON ROBUST STABILIZATION OF FEEDBACK LINEARIZABLE SYSTEMS

The problem of robust stabilization of nonlinear systems with feedback linearizable nominal part and norm-bounded nonlinear uncertainties is investigated. Necessary and sufficient conditions are obtained for robust stabilization of such systems. A design procedure is developed which combines feedback linearization technique and quadratic stabilization via linear feedback to achieve robust global asymptotic stability. © 1997 by John Wiley & Sons, Ltd.     

A NOTE ON MEASURES OF SPECIFICITY FOR FUZZY SETS

This note discusses a few issues related to Yager's specificity index and the “possibilistic entropy” recently introduced by Higashi and Klir. A probabilistic interpretation of Yager's index is provided; moreover it is indicated that both indices can be straightforwardly extended to assess the amount of imprecision in Shafer's belief functions.     

数值求解迭代Tikhonov正则化方法的一点注记

（?）1.引 言 我们考虑如下形式的不适定算子方程 Af=g,（1）其中 A:F→G为一个有界线性算子,F,G为Hilbert空间.通常右端项g为“观测数据”,因而不可避免地带有一定的误差δ,即我们所得到的数据为gδ,满足:||g—gδ||≤δ.有时即使A-1:Range（A）→F存在,但也未必连续,因而数值求解相当不稳定[2,3].消除不稳定性的一个自然的方式是用一簇接近适定问题的模型去逼近原问题,比如说最著名的Tikhonov正则化方法,用如下适定的算于方程 （A＊A+αI）fα=A＊gδ（2）     

一种基于数据挖掘的Deep Web模式匹配方法

模式匹配是Deep Web异构信息集成中的关键问题.介绍了一种整体性匹配方法,即同时发现大量模式,并一次性进行匹配.主要通过分析和比较两种已经存在的大规模模式匹配原型系统:MGS和DCM,结合它们核心算法的优点,提出一种新的基于数据挖掘技术的算法(Correlated-clustering).该算法先利用积极相关发现组匹配,再通过概念相似度的计算聚类同义属性,最后进行匹配选择.实验结果表明,本算法全面、效率高,充分体现了整体性方法的思想.