障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

Dirichlet空间上对偶Hankel算子的乘积

在Dirichlet空间上研究当对偶Hankel算子与共轭对偶Hankel算子乘积为零时，函数符号的性质关系．借助Bergman空间的相关理论知识，对函数符号进行分解，得到了关于解析函数符号的对偶Hankel算子母与共轭对偶Hankel算子Rg^＊乘积为零时的充要条件．     

Hardy空间上乘法算子的约化子空间的构造

讨论了Hilbert空间上等距算子的约化子空间问题，并对符号为Blasehke积的Toeplitz算子给出了其约化子空间的具体构造．     

推理闭包子空间的基本性质及其交并运算

文中在推理闭包空间基础上结合拓扑学的思想和方法,引入推理闭包子空间的概念,研究推理闭包空间之间连续映射的基本性质,并讨论原有推理闭包子空间与推理闭包空间中两个子空间的交(并)集形成的子空间的关系,明确了交(并)集上的结论闭域。     

方向关系定性推理模型的可视化研究

以往对方向关系的研究主要集中在方向关系的形式化描述方面，忽略了空间关系认知与空间关系可视化的联系，因而只反映了空间关系认知的一个方面．在方向关系形式化描述的基础上，探讨了方向关系推理的可视化，从而将空间关系认知与空间信息可视化有机地联系起来．     

符号空间上一类强Devaney混沌

该文通过对符号空间中子转移的混沌现象的深入探导,构造了一类符号空间中子转移的Devaney混沌集,并证明了这种混沌集不可数,从而证明它是一类强Devaney混沌．     

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系; 把语言变量与模糊集合关联起来, 获得定量空间信息; 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

关于高职教学中学生数学思维能力训练的探讨

数学思维能力是以数学知识为素材，通过空间想象、直觉猜想、归纳抽象、符号表示K运算求解、演绎证明和模式构建等诸方面，对客观事物中的空间形式、数量关系和数学模式进行思考和判断，形成和发展理性思维，构成数学能力的主体：具体内容如下：1）演绎推理。演绎推理能力是指从定义、定理出发进行分析、推理、论证的能力，其重点是3段论推理。大学对合格新生的要求一方面是掌握一定的数学知识，但更重要的是具有一定的能力。利用定理、定义进行抽象推理的能力。     

基于规则的空间关系推理

空间关系的形式化表示和推理是目前地理本体领域的研究热点,本文简要介绍了目前比较有几种代表性的空间关系模型,在此基础上提出了一种拓扑和方向组合的空间关系模型及其OWL形式化表示,并通过扩展推理规则实现了简单的空间关系推理.     

Dirichlet空间上一类Toeplitz算子

讨论了单位圆盘上Sobolev空间中解析函数组成子空间，Dirichlet空间上符号为径向函数（即函数只与自变量的模相关的函数）的Toeplitz算子．得到Toeplitz算子的有界性与一个符号函数相关数列有界性等价，紧性与这个数列收敛到零等价，并用这个数列表出了Toeplitz算子的点谱和谱．     

多源地学信息的自动综合研究综述

地学信息普遍存在模糊性、多解性、不确定性和不完备性,传统的一些方法不能有效地综合各种地学信息,开展空间推理、多源地学信息的表达研究是实现计算机空间数据特征信息的自动综合的关键,也是实现GIS智能综合的关键所在.     

基于符号推理的图像连通性分析

针对二值图像采用启发式的A*搜索算法进行图像路径的连通性分析,并将智能决策支持系统的相关技术运用于图像中两点间的最优路线规划.实验结果表明,启发式的A*搜索和符号推理规则相结合的方法为图像中两点间最短路径规划提供了一个形象而直观的描述方法,再现了图像实体间的空间关系,并为空间分析和分类提供依据.     

层次分类诊断模型的面向对象实现

基于面向对象的思想，论述了诊断问题的分类层次和证据模式，提出用面向对象的框架结构表达诊断知识的模型，并给出其推理过程，以此为基础，用ＢｏｒｌａｎｄＣ＋＋语言实现了层次分类诊断模型，并将其应用于汽轮发电机组的故障诊断系统中．     

一种IDSS模糊推理机的OOP实现模型

提出了一种智能决策支持系统（IDSS）中基于产生式规则的知识表示和模糊推理的面向对象实现方法。该方法把知识规则的结构和模糊推理方法定义成规则类，把具体的规则定义成规则类的实体，用这些规则实体构建动态表从而组成知识库，推理的过程由知识中各种规则实体提供的方法完成。在推理过程中采用模糊处理使得结果更符合客观事实，该方法是简单高效的。     

地理信息系统中SDM和CBR的应用研究

地理信息系统最初是作为一种信息处理和空间技术出现的.随着社会的进步和经济的发展,空间决策制定的需求日益增长.G IS中含有大量的空间和属性数据,有着比一般关系数据库和事务数据库更加丰富和复杂的语义信息,隐藏着丰富的知识.本文提出了一个智能地理信息系统集成框架,将空间数据挖掘(SDM)和范例推理(CBR)技术应用于其中,加强空间数据、模型分析和表示能力,为决策者提供决策依据,使得决策行为科学化、可视化和直观化.     

方向关系与距离关系的定性描述与推理

由于空间问题固有的复杂性和不确定性 ,空间关系的描述和推理普遍采用定性的方法 .方向关系和距离关系是两类重要的空间关系 ,用以确定空间目标的方位 .当前方向和距离关系分别使用各自独立的描述推理模型 ,限制了推理的准确度 .而人们对空间目标方位的确定通常是同时考虑目标的方向和距离 .在形式化定性描述方向关系和距离关系推理的基础上 ,将方向关系和距离关系的推理结合起来 ,形成方向关系和距离关系的集成组合运算 ,方向和距离关系相互限制 ,能够进一步准确推断目标的方位 .最后 ,以实例说明方向关系和距离关系的集成组合运算将提高空间目标方位推断的准确度 .     

Evaluation of Metal Fatigue Problems Using Qualitative Reasoning Approach

Fatigue failures are often encountered in steel structures under heavy cyclic loadings. This paper presents metal fatigue problems in structural engineering using outcomes of recent advancements in numerical qualitative reasoning. Qualitative reasoning provides an effective and sound technique for solving complex and uncertain scenarios, regardless of the uncertainty or linearity of the design parameters and their constraints. This paper introduces the algorithms behind a software platform, built upon numerical qualitative reasoning for engineering applications. The software expresses the results of the analysis in variable ranges and diagrams showing a two-dimensional design space. The capability of representing design parameters and outcomes in solution spaces provides a practical way for engineers to leverage their existing knowledge and experience. Case studies in metal fatigue design are given to reflect on the capability of qualitative reasoning in engineering applications.     

Modeling Trusted Computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

归结原理在不精确推理中的应用

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.