三维滑坡可视化演绎系统及破坏演变规律跟踪

分析滑坡可视化演绎系统的研究内容与意义,介绍一种基于VC和OpenGL的三维滑坡可视化演绎系统的功能与设计,包括复合地形图的生成与绘制和人机交互的分类与实现等。采用跟踪球算法完成了灵活的人机交互功能。根据滑坡演变规律将滑坡破坏过程划分为5个阶段。针对滑坡发展的不同阶段实施监测,分析滑坡变形特征和影响因素,研究滑坡破坏机制。以秭归鸡鸣寺滑坡为例,根据边坡变形的宏观现象和边坡位移蠕变曲线,结合滑坡跟踪监测预报的方法是可行的,且预报结果准确。

L~*系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .

形式演绎系统L~*中的运算与演绎定理

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L*

一种基于小波域检测与自适应神经网络模糊演绎系统的微钙化检测新算法

目的基于乳腺癌微钙化的重要早期征象,研究乳腺X线图像计算机辅助诊断的检测与算法。方法提出了一种新的微钙化自动检测技术:它采用离散小波变换分解图像的高频分量,在小波域中对疑似的微钙化进行检测,并使用自适应神经网络模糊演绎系统(ANFIS)进行自适应调节;然后使用基于多层感知器(MLP)的分类器对疑似的微钙化进行筛选,以降低检测的假阳性率。结果在使用FROC曲线中段的参数组进行实际检测时,本算法的真阳性检出率达到了96.9%,每张图像的假阳性个数为0.2个。结论由于拥有自适应调节能力,本算法与传统的微钙化检测算法相比,具有了更高的检测精度和稳定性。

BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.

基于括号表示法的4值逻辑自然演绎系统

运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。

基于SQL Server的演绎数据库系统

分析了演绎数据库的理论基础和实现机制，重点介绍设计和实现的基于ＳＱＬ Ｓｅｒｖｅｒ的演绎数据库系统，对系统进行了分析和评价．

模糊逻辑中的自然演绎系统

讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。

可演绎系统的研究

本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .

演绎数据库系统SD-DDBS的设计与实现

主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。

HS-代数的(落影)模糊演绎系统

定义了HS-代数的模糊演绎系统,由模糊积和模糊上集给出了模糊演绎系统的一个新刻画,讨论了模糊演绎系统的像和逆像的性质.使用落影理论讨论了HS-代数的演绎系统,并研究了落影模糊演绎系统和模糊演绎系统的关系.

用逆向演绎系统解决画面问题FP

本文叙述了在设计基于对象模型的机器人规划生成系统时因状态描述中含有常识性推理规则而引起的画面问题FP(Frame—Problem),提出了一个应用基于规则的逆向演绎系统解决此类画面问题的方法。

理想状态下泛逻辑的形式演绎系统β

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

演绎信息检索系统的研究

首先给出将信息数据库、知识库、检索规则、检索要求以谓词的形式表示出来的方法,然后讨论了如何建立演绎信息检索系统。

理想状态下泛逻辑的形式演绎系统B的完备性

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

逻辑、逻各斯、定义与自然演绎系统——亚里士多德逻辑的当代诠释

亚里士多德的逻辑学在西方思想史上的地位是无可比拟的。随着现代逻辑的诞生,亚里士多德逻辑学的影响已经不像过去那样显赫,但是这并不意味着人们对他的逻辑学说的研究热情有明显的减弱。论文借鉴当代亚里士多德逻辑研究的最新成果,以逻辑与逻各斯的关系,定义在亚里士多德逻辑中的地位,以及三段论系统的解释为切入点,就亚里士多德逻辑的起源、逻辑理论构成和逻辑系统的解释等重要问题进行了探讨。

句法范畴的代数结构与演绎系统

本文给出了建立在含幺半群基础上的范畴语法的代数结构 ,定义了范畴方程和它的解并对范畴方程的解作了分类 :相容性的相关性。定理“对于范畴方程的任意一个解X ,都存在唯一的本质解Y使得Y X”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后 。

自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。

基于HFI代数的模糊命题演算的形式演绎系统

建立了一个基于HFI代数的模糊命题演算形式系统H*,研究了这个系统的基本特征.并讨论了该系统关于建立在HFI代数上语义的完备性.