描述逻辑系统εLN中的概念包含推理算法研究     

张维  曹发生  余泉 《毕节学院学报》2010,28(8):9-13

首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法。  相似文献   

彩票分析的数学模型     

余泉  周方元  张云水 《黔南民族师范学院学报》2002,22(6):14-21

首先用层次分析法得出各种奖项出现的可能性、奖项和奖金额的设置、对彩民的吸引力四种因素对方案合理性的影响的权重排序总值分别为 0 .1 72 3 ,0 .1 682 ,0 .0 679,0 .5 91 6。然后建立四因素评价的矩阵运算模型。并用四因素所占合理性的权重作为权向量与它们对 2 9种方案中的一种方案影响矩阵相乘得四种因素对该方案中各奖项的影响权为一个一行七列向量 ,并用各分量乘以各奖项产生的概率求和比较大小得出题目给出的表三中“传统型”中序号为 2、3、4;“乐透型”中序号为 6、7、8、9的方案比较好。在进行模型的改进设计时 ,用“奖金函数权”作为奖项和奖金额的加权二元图的边权 ,得出了对于给定的一个方案中奖项的设置与相应总奖金额比重的最大完美匹配 ,并针对此方案向彩票管理部门提出了可行性建义。然后对模型进行了推广和总结 ,并用决策论和对策论中的相关知识向彩民提供了买彩票时对策。  相似文献   

格理想的几个结论     

余泉  曹发生 《黔南民族师范学院学报》2009,29(3):5-6

讨论了格的理想,得到了一些主理想和素理想的几个结论.  相似文献   

LINGO在形式逻辑中的应用     

曹发生  余泉 《毕节学院学报》2009,27(4)

LINGO是一套专门用于求解最优化问题的软件,利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法.  相似文献   

国外学前教育对我国学前教育发展路径的启示简     

余泉映 《作文成功之路(高中版)》2014,(1):86

  相似文献   

MALC模型间互模拟的代数结构     

余泉  张维 《毕节学院学报》2010,28(8):14-16

文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。  相似文献   

初中数学教师“分类思想”教学现状调查研究——基于贵州省的调查     

林梅  余泉 《教育科学论坛》2023,(22):74-80

中学阶段的许多数学问题都需要用分类解决,学会分类不仅能让学生获得知识,还能提高学生分析问题、解决问题的能力,进一步提升数学应用能力。调查表明：（1）贵州省初中数学教师对分类思想的教学现状较好;（2）教师能很好地认识到分类思想的重要价值;（3）在教学中,教师能从课前的准备、课堂的教学以及课后的辅导三个方面进行渗透;（4）教师的性别、教龄、职称、目前学历等基本信息与分类思想应用的相关程度较弱;（5）初中数学教学中分类思想的影响因素可能有教师的已有教学经验、分类思想的相关理论知识、分类思想课堂教学渗透的路径不同等。  相似文献   

带磁流体的电磁驱动器特性分析     

欧笛声  汪哲  焦明成  余泉 《环球赛鸽科技》2015,(14)

为达到增大电磁驱动器驱动力的目的,工程上一般通过优化结构、增加匝数或电流来提高磁路效率。根据对电磁驱动器的参数特点分析,在工作间隙中加入磁流体以提高磁路效率从而提高驱动力。在建立电磁驱动器数学模型的基础上,得出了工作间隙中介质的磁导率与驱动力的关系。通过动力学方程得出衔铁的位移与时间的关系式,进而得出响应时间。计算结果显示出在加入磁流体后,电磁驱动器的驱动力大幅度增加,但其响应时间也随之增加。  相似文献   

P中与归纳等价的几个条件     

余泉  甘晓丽  周锦程  王驹 《黔南民族师范学院学报》2006,26(3):4-7

本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.  相似文献   

归纳法在描述逻辑中的应用     

曹发生  余泉 《毕节学院学报》2009,27(8):1-4

归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明.  相似文献