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

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

彩票分析的数学模型

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

格理想的几个结论

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

LINGO在形式逻辑中的应用

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

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

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

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

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

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

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

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

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

航海医学科技馆

海军医学研究所设立的航海医学科技馆坐落于杨浦区五角场地区,是全国唯一的航海医学科普场馆。航海医学科技馆是普及海洋科学知识,进行海洋生活探索的有效渠道,具有“了解海洋,走近海军”的教育功能。航海医学科技馆主要利用海军医学研究所的研究成果、大型设施和技术平台,向中小学生展示航海医学知职,包括海军医学研究成果展示、多种海上生活环境和保障方法体验等,似帮助中小学生了解我国海军进行海洋活动的生活情况,特别是航海时,吃、穿、住、行、医的手段和方法。