多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

基于句对比较的自动获取翻译模板方法改进

翻译模板不仅是机器翻译的重要资源,而且是有用的语言学知识。使用词对齐结果改进了从实例中类比学习翻译模板的方法,并提出了带有函数关系的模板（TTFR）以获取语言之间的依赖关系,如“he…his”对。带函数关系的模板是一个更一般化的模板并能直接用于双向的机器翻译。实验结果表明改进的方法有效地克服类比方法的问题并且提高了自动获取模板的准确率。     

基于语义分析提高脱机手写体识别率的方法

论文讨论了一种通过自然语言语义层次的理解来协助提高脱机手写体识别率的方法。从识别的过程来看,这种方法是一种基于上下文关系的识别“后处理”方法。文中介绍了语义单元、语义单元表示、语义单元表示树、语义单元表示集、语义单元表示树集,并且具体讨论了通过语义单元表示树集的剪枝来提高识别正确率的方法。     

一种高安全性的新型存储体系

通过在CPU的内部总线和相关寄存器中增加1位安全位,并且在计算机的整个存储体系中实现对该安全位的存取就可实现计算机的高安全性,也就是说CPU的内部总线是65位,以此来有效地防止计算机病毒及其他非法入侵活动的破坏．然而,为了保持硬件兼容性,必须严格遵循计算机工业界的系列标准和规范．就此提出了一套新型存储方案,通过采用一系列措施来实现对64位数据和1位安全位的存取．     

A New Fuzzy Set Theory Satisfying All Classical Set Formulas

A new fuzzy set theory,C-fuzzy set theory,is introduced in this paper.It is a particular case of the classical set theory and satisfies all formulas of the classical set theory.To add a limitation to C-fuzzy set system,in which all fuzzy sets must be"non-uniform inclusive"to each other,then it forms a family of sub-systems,the Z-fuzzy set family.It can be proved that the Zo-fuzzy set system,one of Z-fuzzy set systems,is equivalent to Zadeh's fuzzy set system.Analysis shows that 1) Zadeh's fuzzy set syste...     

基于语义单元表示树剪枝的高速多语言机器翻译

提出一种基于语义单元表示树剪枝的高速多语言机器翻译方法.此方法是一种将汉语翻译到其他语种不需要先进行汉语切分的多语言机器翻译方法.而且翻译时间为O(L)而不是O(LN),其中,L是文本的长度,N是语义单元库中语义单元的数量,一般有数十万或者数百万.     

自然语言合理句子的生成系统

基于语法规则的使用Chomsky上下文无关文法产生的句子虽合乎语法规则但并不一定合乎语义常理.文中提出一种可以产生合理的自然语言句子的产生系统{TI,N,BI,CI,S,FI,PI},其中,I是指定的自然语言.该系统建立在语义语言理论上,使用Chomsky短语文法.系统的关键技术是引入了语义单元技术、类型参量,类型参量的作用不仅体现在语义单元中而且还体现在句树、事物树和函数集中.语义单元和类型参量共同作用能有效的对产生的句子进行语义约束使得生成的句子合理.     

一个自动形成解题算法的系统

本文讨论二级智能的一个例子:自动形成魔方求解(返原)算法的系统,系统的输入是魔方的基本知识和要求,输出是一组组返原算法。     

通用细胞结构巨型机——虚共存细胞结构纵横加工向量机(所谓“微处理机”组合巨型机的一种有效算法和结构)

本文讨论新型通用巨型机——“共存细胞结构纵横加工向量机”的进一步发展:另一种“通用虚共存细胞结构纵横加工向量机”,其子系统与多维阵列机等价。本文从中小规模集成电路为基础的纵横加工向量机(m×n_p 型)为出发点,简略介绍了由于“超大规模集成电路”的物质基础的发展趋势而引入的共存细胞结构纵横加工向量机(m×n型,m×n_p 型),是一类具有“多数据流”和“多指令流”两种并行方式的新型向量机。在此基础上,为了大幅度提高解题速度的需要,也就是,大幅度扩大台数的需要,本文重点介绍一种新型巨型机,可以多达成千上万个细胞单元的“虚共存加共存”式的细胞结构纵横加工向量机,并讨论了它的一个子系统与多维阵列机的等价性。从另一角度说,本文提出一类用成千上万台“微处理机”(更准确地说是“细胞单元”)构成的巨型机系统的使用方法。本文还讨论了这类新型巨型机系统的话言,主要算法,对应的主要指令,细胞单元的主要功能,以及“共存”、同步、数据传输联线组数与传输步数等问题。     

面向稀疏矩阵运算的向量机

在涉及大型系统问题的许多应用中,常常遇到大型稀疏矩阵的运算,本文提出了一种面向稀疏矩阵运算的向量机。它除了具有一般向量机的全部功能外,还可以有效地对稀疏向量和稀疏矩阵中的非零元素用流水线方式进行高速运算,与一般向量机上执行稀疏矩阵运算相比,其速度可提高数倍至十多倍。本文在标准高级语言扩充成向量高级语言的基础上,讨论把向量高级语言扩充成稀疏向量高级语言、以及稀疏向量和稀疏矩阵的基本运算及其机器实现等问题。