扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探

首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想．     

技术性与民族性交融 展现当代生活风貌——《纳西一奇》听后感

本文详细分析了《纳西一奇》这件音乐艺术作品,谈了很多听后感受,并由此分析当代一月家和他们的作品的艺术特色。     

新课改下信息技术课的“任务驱动”法

讨论了新形势下信息技术课的教学方法，即是另驱动法及其对学生素质发展的作用和对教师能力的要求。信息技术的技术性．信息性，而且实践性，创新性非常强、涉及的知识领域广。在信息技术课堂中，利用长期以来的教学模式已不能适应教学的需要。而且随着多媒体技术、通讯技术、现实技术、网络技术在信息技术课堂申的应用，使教育活动中扮演重要角色的教师无法回避地面临着对其原有角色的巨大冲击和挑战，信息技术课呼唤着教师角色的转变与重塑。     

浅谈RTK在城市测量中的应用

对RTK的基本原理和技术优点进行介绍,同时阐述RTK的不足之处及以驻马店市为例介绍在城市测量中具体应用时的作业方式及质量控制措施.     

匀强电场中带电弹簧振子空间电场磁场

文章根据带电弹簧振子在外电场F^→和弹力f^→作用下，由牛顿第二运动定律计算出其运动规律，再由静电学和电动力学理论计算出空间点的电磁场，并进行适当讨论。     

自由电子气中由单个电子-空穴对激发的非弹微分逆平均自由程的标度性质

自由电子气中由单个电子－空穴对激发的非弹微分逆平均自由程的标度性质滕礼坚侯氢罗正明（原子核科学技术研究所）电子与物质的非弹散射是一种基本相互作用，它使电子损失能量而逐渐慢化．非弹散射过程的微分截面、阻止本领是描述非弹散射过程的基本物理量．非弹微分逆平...     

企业家才能及其评价方法

主要研究企业家才能的内涵,在此基础上,借助于模糊数学的方法,建立了评价企业家才能的数量方法.该方法能够比较准确地量化企业家才能     

多媒体课件制作中存在的问题及对策

多媒体课件已在教学中普遍使用 ,但在它的制作过程中也存在着很多问题 ,本文从教与学、使用的环境、编写的软件、普及与提高和多媒体课件的评价等方面分析阐明了自己的观点。