基于知识的遥感图像分类系统

本文应用问题求解的黑板模型并利用产生式系统作为基本软件结构,设计并实现了一个基于知识的遥感图像分类系统;对知识获取与表示进行了研究;通过实验论证了系统的可行性.     

面向对象专家系统中知识的不确定性

通过把模糊概念引入到面向对象的知识表示的框架中,全面论述了利用模糊逻辑对面向对象专家系统中的静态和动态关系进行处理的方法.为了处理继承和类、实例及特征间的模型关系,还扩展了一些新的模糊概念,从而使知识的表示、继承更容易、自然、有效.     

中逐块光滑拟凸拟上具有局部全纯核的Leray—Norguet公式

利用修正的Ｏｎｏ局部化方法和Ｈｅｎｋｉｎ方法，讨论Ｆ＾ｎ中具有农块光滑边界的拟凸域上可微分函数和全纯函数的具有局部全纯核积分表示，作为应用获得了ａ－方程局部解的Ｌｅｒａｙ－Ｎｏｒｇｕｅｔ积分公式并证明在含参数局部意义下存在一致估计。     

面向机械设计的知识组织方法

针对机械设计领域的知识特点，提出了框架引导的层次知识组织的方法、相对应的完整性知识组织方法、规则库及设计对象的链式组织方法。     

可积族零曲率表示的统一结构

设x,t〔R,u一(“,,…,u,)T,u、一“‘(x,,),l提i镇宁,令男表示C.可微函数p(r-:,“)的全体,劣”一{(P:,…,Pr)丁!尸,‘男},笋·表示C,可微线性算子少~少(x,t,司:男,一男‘的全体【1],用梦产(;)表示所有矩阵乘积算子,一,(,,劝一(,力,xr,这里留‘,~,“(二,几)关于作为x的函数“是c“一Gateaux可微且关于谱参数孟是c”可微的函数.设K,;〔男,,,〔(护产(,),定义G‘teaux导数为K·。‘,一晶1。_。‘(·+一,,留尹〔!,一景{。一。留(·+一,,男q关于运算[K,s]~K,[s]一s,[K],K,‘〔劣甲是一个Lie代数〔2,. 考虑谱间题丁甲’一U甲一‘执劝,,‘甲:…     

因素空间理论与知识表示的数学框架(Ⅵ)--ASMm-func的生成与综合决策的一般模型

本文是文「１－５」的继续,该文及后续论文仍将系统地因素空间理论及其在知识表示中的应用。首先讨论ＡＳＭｍ－ｆｕｎｃ的性质和生成及其在模糊决策中的直接应用然后给出综合决策的一般模型,并用用一个数字的例子来说明该模型的使用方法。     

A Framework of Semantic Information Representation in Distributed Environments

0 IntroductionOonft thhee gcloombaml uinnifcoartimoanti onentiwnofrraksst rhuacstu mread,et ahvea iglraebalte teox puasnesrisolarge number of autonomous data repositories ,however ,these repositories present different structures and semantics result fromthat distinct data sources may use different modeling methodsmaking very difficult to share and exchangeinformation.Recentlythere have been some works ,such as OntoBroker in Ref .[1] ansystemin Ref .[2] ,that focus on the umformrepresentation …     

左对称代数（II）

一个左对称代数在同构意义下唯一确定其邻接Ｌｉｅ代数（［７］命题１２）。一个自然的问题为：是否每个Ｌｉｅ代数都是左对称代数的邻接Ｌｉｅ代数呢？本文给出关于这一问题的回答。     

交换JB^＊—triples

本文系统地讨论了交换JB*-■riples的一些问题,最后给出一个猜想。