集合论与初等数学

集合作为数学的基础概念在中学数学教学中虽然占的比例不大,但却是一个很重要的概念,而且成为每年全国普通高等学校招生考试中的必考内容。更应该引起我们注意的是,在中学数学教学中有不少概念、说法都是与集合论密切相关的,而事实上注意这些问题的人并不多,或者说没有引起足够的重视。例如: 1)在讲集合论中集合的运算时要事先指定一个全集I,为什么?     

微机字处理软件CAI开发方法的研究

本文阐述了研究计算机软件ＣＡＩ开发方法学的意义，并介绍了字处理软件Ｗｏｒｄｓｔａｒ的教学软件的开发方法．     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

岳阳柏祥方言的亲属称谓词

岳阳柏祥方言中的亲属称谓词主要有“长辈”、“平辈”、“晚辈”三大类,经考证该方言称谓词有些沿用古代亲属称谓词。该方言称谓系统中最具特色的是称谓词性别异化现象,这种现象的出现可能是沿用古代称呼的传统并受男尊女卑思想影响的结果。     

湘方言的“娭（母也）”和客家方言的“（女哀）姐”

“娭（母也）”主要流行于湘方言地区，“（女哀）姐”主要流行于客家话地区。“娭”比较准确地记录了湘方言nai的词音；“（女哀）”是客家人或者说是其他文人专门为客家地区所造的俗字。“（母也）”字较早出现在《方言》中，“姐”字较早出现在《说文》中。“（母也）”和“姐”在早期（汉代或者汉代以前）都是指称母亲。“娭（母也）”和“（女哀）姐”在词源上是同源的。在使用上、意义上、色彩上和地域范围上则有所不同。比较它们的异同，探索它们的源流，分析它们的意义和使用情况，可以加深对“娭（母也）”和“（女哀）姐”的了解。加深对方言称谓词的认识，补充现有字典词典之不足。丰富现代汉语词汇的研究。     

陕北方言关系称谓语“NP+的”结构研究——兼论汉语“的”的发展趋向

依据“的”出于“者”及袁毓林“谓词隐含”等理论 ,求证了“NP +的”的渊源历程和结构理据 :“NP +的”来源于“NP +者” ,“NP +的”中隐含了“作、当”一类动词 ,它是“作 /当 +NP +的”的紧缩形式 ,其中“的”提取“(作 /当 )NP”的主语 ,这种“的”跟“VP +的”中的“的”是同一个名词化标记。从汉语的发展趋势看 ,“NP +者”演变为“NP +的”后 ,最终的结果将是名词化标记“的”的脱落     

对称离散事件系统状态树结构模型的控制函数不变性研究

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。     

概念学习系统中的概念分类

概念学习是机器学习中的一个主要内容。概念的层次和分类对概念学习系统的构造有重要意义。本文论述了概念分类系统的基本原理,对于概念表达形式到谓词逻辑表示的转换以及概念分类系统中的概念运算作了较详细的介绍。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。