几种汉语移位现象的HNC研究

运用HNC理论的相关概念,对汉语的几种移位现象进行了一次全新的论述。就语义块的完全移位和部分分离现象,按照深层语义结构是否发生变化进行了分类,着重从语义块的分离、格式、句类的转换方面进行分析,得出结论:有些移位现象只是句子表面的变化,有些就改变了句子的深层语义结构。并且这些移位现象可用句类表示式及相关符号形式化地表示出来,便于计算机处理。     

基于博弈树的概念图推理算法

提出了一种基于博弈树的概念图推理算法.该算法将封闭世界模型上的概念图推理转化为对博弈树根节点的可解性标示过程.算法采用深度优先策略,可以实现对此模型下任一个概念图或概念图集合“真值“的识别.推理结果与人类思维相一致.     

R0-代数的R0-语义集上的拓扑

以Ω_M记R₀-代数M到R0-单位区间的全体赋值之集. 证明一个同构于一族全序的至多可数的R₀-代数的直积的子R₀-代数M是赋值决定序的， 即x≤y当且仅当v∈Ω_M， v(x)≤v(y). 然后通过一种自然的方式在Ω_M上引入Fuzzy拓扑δ，研究拓扑δ及其相应的截拓扑的性质. 建立R₀-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

智能型汉语语句生成和诊断系统及其机器学习问题

智能型汉语语句生成和诊断系统必须建立在完善的知识库（包括词库、规则库和学生错误模型，特别是规则库）的基础之上，但是完善的知识库又不可能－蹴而就，因此重要的手段之一就是是靠系统本射的机制来逐渐学习完善，即系统应具有可扩充性。本文讨论了智能型汉语语名生成和诊断系统中可扩充性的实现方法，即机器学习问题，主要介绍了系统中自学机制。由于系统正处于开发研制阶段，因此各个方面都有特进一步的完善。     

高校人事管理通用程序微电脑管理系统

本文介绍了《高校人事管理通用程序》微电脑管理系统的使用环境、系统的功能、主要功能模块的逻辑框图、系统的特点以及该系统如何采用映射技术灵活运用变量和代码,采用模糊方法减少重复操作,运用计数器和自动检测器加快速度及自动造表等设计技巧,最后说明该系统的使用情况,     

关于形式化及其实现的可能世界

形式化公理学为研究可能世界的存在条件提供了新的基础.在此基础上,可能世界完全摆脱了直观的干扰,因此它只受限于逻辑的制约;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现等方式生成可能世界.     

可换位的描摹性定语句和状语句的比较

可换位的描摹性定语句和状语句是两种不同的句式,表现为:描摹事物词语在动词前和动词后的语法地位不同;在定语和状语位置上两者的构成形式不一样;在动词的选择上有很大的差别;表现出的语义内涵也很不相同。     

ORACLE环境下通用报表系统的设计

在ORALCE环境下用PRO^*C／C^ 来开发通用报表系统，用临时视图、基础表、动态SQL句等技术来提高报表系统的通用性和灵活性，以使报表系统能较好地适应应用环境的变化，通过对开发工具PRO^*C／C^ 的分析，并综合运用这些技术，提出了通用报表系统的设计思想，为用户使用ORALCE数据库生成中文报表提供了一个便利途径。     

深入探析C语言中多分支结构的性能

在C语言中，if语句嵌套和switch语句都可用来实现多分支结构。本文对二者在实现多分支结构时的执行性能进行了比较，并对三种不同情况下switch语句的执行性能进行分析，最终阐述了二者的优缺点和适宜使用场合。     

几种图的赋值问题

证明了对任意正整数k和n=1，2，3，图nC4k∪C4k 3都有β-值；图Wn是协调的，并且图Cm∪Pn不是协调的．