模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义，探讨其运算规律，得出几个运算规则公式。根据这些公式，导出了逻辑函数之间的运算性质。     

复变函数中留数计算规则的教学探讨

通过改变课本上留数的计算规则的传统证明方法,方便学生记忆规则公式,又可以回顾起前面重要的两个公式:柯西积分公式和高阶求导公式。     

语篇翻译的呼应与衔接

翻译没有明确的规则与公式,主要依靠创造性地运用技巧,本文讨论的是语篇翻译的呼应与衔接。     

轮系计算的教学新思路

为了让学生快捷准确地掌握轮系计算，在教学中应突出概念、公式应用、分析技巧的一体化。     

如何培养大学生听力技巧

听是大学生学习英语的重要方式，也是四种语言基本技能之一。教师在进行听力教学时应当以发展学生听力能力为目标，培养学生听力技巧．让这些技巧能成为一种终生受用的个人技能。本文利用案例分析的形式阐述了如何在课堂上训练学生掌握听力技巧，即让学生在活动中自觉的利用听力技巧完成听力任务．从而在潜移默化中掌握听力技巧。     

浅析卡诺图在数字电子技术中的应用

在数字电路中,化简逻辑函数的方法有很多,常用的公式法比较麻烦,必须掌握一定的技巧,机械记忆各种逻辑代数公式才行。卡诺图化简法不需这样,只要按照一定的规则就能得到结果。以下从卡诺图化简逻辑函数出发,介绍了卡诺图的几点应用。     

一种多值规则量词公式的Tableau的方法

在多值逻辑中，含有量词的Tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明，但是由于扩展后的分枝非常庞大，使机器实现非常困难，通过对规则量词公式与一阶经典量词公式的对应关系近研究，使二者使用统一的扩展规则。     

初中数学考试中的答题思路与技巧分析

考试能够检查学生的学习成果以及对知识的掌握程度，是学校和教师常用的教学方式之一。但是很多学生在数学学习方面没有形成科学的思维，对数学知识、公式的掌握也没有形成系统的认知，所以在考试时，很多学生往往没有思路，无从下手，进而导致考试成绩很不理想。本文主要探讨初中考试中的答题思路与技巧，供教师和学生借鉴与参考。     

浅谈大学英语阅读能力的培养

本文分析了目前影响学生阅读能力的因素，探讨了解决这些因素的办法，同时，也介绍了阅读的技巧和方法     

试析学生自我锻炼能力的培养

培养学生自我锻炼能力,就是培养学生结合本身条件自觉进行身体锻炼的能力。为此,要求学生掌握一定的体育知识和一定的技能,运用这些知识和技能进行锻炼。本文从培养学生认识能力、观察能力、思维能力三方面,论述掌握人体生长、发育和体育锻炼的基本规律,对培养学生自我锻炼的能力有一定的指导意义。     

英语写作中段落发展的技巧

有法，而无定法。此话道出了作的基本规律与真谛。通过对英写作中段落发展的八种技巧即“定法”的训练，可以促进学生在起始阶段写作技能的形式和提高；从“定法”入手，反复强化“定法”的训练，最终可以达到“无定法”的境界。     

基于改进的理想解法的购房决策分析

购房过程是一个典型的决策过程,作者通过引入一种新的多指标决策方法——改进的理想解法,建立了购房的决策分析模型,最后给出一个典型的算例说明该模型的可行性与有效性。     

系统教学法在高师女生篮球选项课中运用的实验研究

将篮球教学和各环节作为一个完整的过程来考察，提出通过明确目的与激发动机，设计准备活动和培养学生专项技能，采用多样化的练习方法，运用比赛形式提高实战技术，通过规则教学加深学生对篮球运动基本规律的理解等方法，提高高师女生篮球选项课的教学水平。     

利用矩阵分块探求计算高阶行列式的新方法

高阶行列式的计算比较复杂,学生容易出错。作者将矩阵分块法应用到高阶行列式的计算中,并给出了几个计算公式、计算条件及方法和技巧。     

体育学理中的运动技能学习分析

分析了体育学理的内涵与运动技能学习规律及影响因素,并基于“会能度”分类的运动技能对中小学生在学习动作技能时可能产生的影响提出了自己的见解,对体育学理方面的研究提出了一些建议。     

对高校体育教育专业健美操普修课教学改革的探讨

高校体育教育专业健美操普修课教学必须顺应社会发展和时代要求,在向学生传授知识、技术的基础上,着力培养学生创新能力和创新意识。改革传统、落后的教学模式必须确立以学生为主体的指导思想,根据学生和课程实际,结合健美操教学规律,注重加强教学内容的针对性,讲究教学方法手段的多样性和艺术性。     

微格教学与多媒体教学技能训练

微格教学在20世纪80年代开始传入中国，而多媒体教学在90年代才广泛应用，高师院校学生进行教学技能培训时，应遵循微格教学的基本规律，分析多媒体教学的特点：既要掌握传统的教学技能，也要熟悉多媒体课件的制作和应用技术，掌握课件制作和评价等技能．     

含缺陷海底管道屈曲稳定性的数值模拟

针对几种常见的缺陷形式,利用有限元软件进行屈曲稳定性分析,并对海底管道整体腐蚀和局部腐蚀两类缺陷进行了仿真计算,拟合得到了较为简单的含缺陷海底管道临界载荷的近似计算公式,可供工程设计人员进行相关设计和评估时参考使用,同时也为制定新的含缺陷海底管道屈曲稳定性设计规范提供了参考依据．     

浅谈大学物理实验绪论课的规范性导教

针对大学物理实验绪论课教学中，学生难以准确理解的有些抽象化概念和名词，文章介绍了一种依据计量技术规范来解释各实验要素之间的数学模型方法，以帮助学生克服在理解测量不确定度评定及误差估算分析上的困难；并据此掌握测量结果表达中的有效位数的处理规则。