γω演算与谓词演算融合于一阶数学理论中

本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的“简单、统一、精确的”理论基础。文中还阐明了在(?)_(γω)理论的基础上如何演化出几种典型的有关语言。     

面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承

_(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义)问题的本质._(γω)理论在这里起了公理语义学的作用.这种语义描述简明得象Prolog程序一样,并且可望得到多层次多体裁编程语言Lyusia的支持,变得可执行的,从而可用作验证程序正确性.     

γω演算——一种高级合成逻辑

本文创建了γω演算,它在语言层次方面远高于curry合成逻辑(简称C逻辑),但在理论上依然奠基在C逻辑之上.这是一种高级的合成逻辑,它不失C逻辑的简洁性,更重要的,它可直接地用作编程语言,或者间接地用作各种各样“带糖衣”的函数编程语言、作用式编程语言和归约编程语言的语义理论基础.文中论述了γω演算的理论及其与C逻辑的内在联系.     

多体裁语言Lyusia—多层次语义学理论基础

实用的新一代编程语言所应具备的指标之一:多种体裁。本文提出的多体栽语言Lyusia是由泛函、逻辑、集合论、状态转移(蕴含过程、面向法则、谓词/事件网)诸体裁相当自然地交织成的。横向联系上,它们相互渗透交融;纵向制约上,它们形成单向递昇层次的多阶层结构.在(?)_(γω)理论的静态框架内,在自动机观念的动态机制牵引下,形成了Lyusia的多层次语义。文中描述了Lyusia的语法基本部分,并提出了该语言的多层次语义理论体系。     

γω演算的语义学

继文献[1]建立了γω演算之后,本文探讨γω演算的语义学与抽象机.这里的语义学不同于传统的指称语义学、操作语义学和公理语义学;它是非传统的,属于代数语义学的领域.     

谓词形式系统(A)UL-h∈[0.75,1]及其可靠性

对基于一级泛与运算的一阶谓词演算形式系统(A)UL-h∈[0.75,1]进行公理化.通过引入全称量词和存在量词,建立与命题形式系统(A)UL-h∈[0.75,1]相对应的一阶谓词形式系统V(A)UL-h∈[0.75,1]并证明该系统的可靠性定理及演绎定理.     

一种三值逻辑的NP完全问题与判定问题

本文建立了一种三值逻辑——中介逻辑的三值语义,证明了其命题演算MP与MP的可满足问题是NP完全的且其谓词演算(带或不带等词)MF,MF与ME的判定问题是算法不可解的。     

基于谓词逻辑的金融投资辅助决策系统分析与应用

谓词演算作为一种智能表示的语言,其优点是精确定义的形式语义,合理而完备的推理规则。使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题。现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。     

找到不可约多项式的研究与FoxPro程序实现

在扩频通信与传统的密码体制中广泛使用的伪随机序列,大部分是利用不可约多项式通过反馈位移寄存器和其他非线性逻辑来产生的。同时,多项式理论,特别是不可约多项式的性质对分析各种伪随机序列有着特殊的作用。 (1)找到非负整系数不可约多项式的原理 建立非负整系数多项式与正整数的符号对应和运算对应:设α_0,α_1,α_2,α_3,…,α_n是非负整数,2,3,5,7,…,p_n是n+1个相邻的素数。用正整数2~(α_0)3~(α_1)5~(α_2)(?)p_n~(α_n)表示非负整系数多项式α_0+α_1x+α_2x~2+…+α_nx~n。记作:{α_0+α_1x+α_2x~2+…+α_nx~n}←→2~(α_0)3~(α_1)5~(α_2)(?)p_n~(α_n)。     

基于APC的次协调自动推理系统的设计与实现

次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理.设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提高推理效率的多种策略.     

粒计算的α_决策逻辑语言

提出一种用于粒计算的α_决策逻辑语言．该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑．由属性值域的模糊子集代替经典的单值信息函数所得到的广义信息系统对应于模型，借助于模糊集理论的水平截集的概念，归纳地定义对泉在一定阈值水平下满足某公式．最后讨论如何利用α_决策逻辑语言描述不同的粒世界及分析形式概念和决策规则．     

一个多理论的逻辑系统

文中为多理论系统建立了一个层次的理论框架－ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算；允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元。     

基于零级泛与运算的谓词形式系统及其完备性

泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.     

光电温度计有效波长的简易测量方法

无论是目测或自动亮度高温计有效波长的确定,经典的做法均是将公式λ_T=(integral from n=1 to ∞ E(λ,T)τ_λV_λdλ)/integral from n=1 to ∞ E(λ,T)/λτ_λV_λdλ变为有限项求和公式λ_T=(sum from i=1 to n E(λ_1,T)τ_(λi)V_(λi)△λ_i)/sum from i=1 to nE(λ_i,T)/λ_i ×τ_(λi)V_(λi)△λ_i式中λ_T——对应温度T的极限有效波长 E(λ,T)——被测物体表面光谱辐射强度τ_λ——温度计内光学零件和滤色片总的光谱透过率 V_λ——探测元件的光谱探测率进行计算,求出λ_T后再算出所需温区的平均有效波长λ_e。显然n取值越大,计算精度越高,工作量也越大。     

PROLOG语言中的一个逻辑问题

一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。     

基于参数关联矩阵的服务组合研究

单个Web服务难以满足实际应用需求,为了利用现有服务组合成新的服务,从服务参数依赖关系出发,提出一种基于参数关联矩阵的逆向服务组合推导算法。定义OWL-S的Web服务本体谓词描述形式,利用谓词演算证明服务组合推导过程。理论研究结论得出该方法的有效性和可行性。     

压电式测力仪向间干扰的理论分析

本文用力学方法对压电石英测力仪目前较为敏感的问题——向间干扰进行了理论分析,推导出了向间干扰ε_(xz)和ε_(yz)的计算公式.实验结果表明:理论推导正确,计算值与实验值吻合较好.此项研究为压电石英力传感器的结构改进和测力仪的优化设计提供了理论依据.     

RRDB与FRDB关系的系统研究

以粗糙集理论(Rough Set Theory)和关系数据库理论为基础,从函数依赖、范式理论、Armstrong公理等方面系统地研究了粗糙关系数据库(Rough Relational DataBase,简称RRDB)与模糊关系数据库(Fuzzy Relational DataBase,简称FRDB)之间的关系。结果表明,模糊函数依赖与粗糙函数依赖均为经典函数依赖的泛化,模糊范式理论为经典范式的扩充,而粗糙范式理论自成体系,从推理规则上看,它们都不同程度地符合Armstrong公理。     

Ni离子水及羟基六配位化合物密度泛函理论研究

用量子化学密度泛函理论(DFT),分别在B3PW91/Lan12DZ和B3PW91/6-31G的计算水平上,优化Ni离子水、羟基配合物几种可能的构型。分析比较了Ni(OH)_6~(4-)和Ni(H_2O)_6~(2 )化合物的几何参数、能量、前线轨道、电荷分布及振动频率。结果:优化的健参数中,Ni-O键长与文献的实验数据较一致。Ni(H_2O)_6~(2 )比Ni(OH)_6~(4-)更稳定,但后者更易吸引带正电荷的阳离子。从前线轨道图也可以看出,Ni(OH)_6~(4-)最高占据轨道HOMO主要集中于配体O上,易于向受体流动提供电子与带正电荷的阳离子结合。振动分析的Ni(H_2O)_6~(2 )和Ni(OH)_6~(4-)的红外吸收峰与实验值相一致。     

中介谓词逻辑系统的λ-归结

给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.