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

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

高中数学“算法初步”教学案例的开发原则

算法（algorithm）一词来源于阿拉伯数学家花拉子米的拉丁译名Algorithm,是指按照一定规则解决某一类问题的明确和有限的步骤．由此我们可以看出,算法是解决问题的一种程序,那么,教师在教学中选择什么样的问题作为算法教学的案例,才能更好地说明算法的精妙呢？为此,本文主要提供一些算法案例选择的原则,同时给出一些案例,并对其进行了分析．     

一种求解背包问题的改进离散粒子群优化算法

文章提出了一种改进的离散型粒子群优化算法,该算法重新定义粒子群优化算法的速度和位置公式,使其适用于离散问题.将该算法应用到典型的组合优化问题(0-1背包问题)的求解中,仿真实验表明了该算法的有效性.     

新课程标准下提高师范类数学专业学生计算机能力的自主扩展学习模式研究

为了迎合中学新课程标准中计算机能力的新要求,培养拥有较高计算机能力的中学教师,本文在分析传统师范类数学专业计算机课程的教学弊端后,提出了提高数学专业师范生用计算机解决数学问题能力的自主扩展学习模式,并对这种学习模式进行了详细研究与实践。     

高校成绩辅助管理系统的探索与研究

成绩辅助管理系统作为成绩管理系统的延伸,有着十分重要的作用。它可以弥补现有的成绩管理软件中的不足,操作者可以利用这些小工具来提高工作效率,减少工作强度。     

K-means聚类算法在高校图书馆读者群细分中的应用研究

K-means算法是聚类分析中的重要算法。运用K-means算法依据高校图书馆读者的借阅行为、借阅习惯等方面的明显差异,把读者划分成若干个读者群,找出不同读者类群的需求特点,重新配置服务资源,为图书馆充分获取读者信息、制定策略提供理论和方法指导。     

基于DE算法的隧洞岩爆形迹反分析研究

差分进化算法(Differential Evolution,DE)是一种基于群体进化的算法,具有收敛速度快、规则简单、易于实现的优点.以一种适用于高地应力条件下的硬岩本构模型为研究对象,提出基于DE算法的参数辨识方法.该方法以破损区的数值计算值与实测值的误差大小作为适应度来评价参数的品质,通过DE算法在全局空间上自适应地辨识该本构模型的最优参数,从而实现对高地应力下隧洞围岩脆性破坏的范围和深度的准确模拟.用该方法对加拿大的Mine-by隧洞进行了围岩本构模型参数识别,计算结果与实测情况相吻合,表明该方法是科学可行的,具有较高的效率和精度.     

一种改进的螺旋锥束FDK算法

针对螺旋锥束CT的图像重建算法,提出一种改进FDK算法,和标准的FDK算法相比,它把冗余权放在滤波后处理,减少了计算工作量.