化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

教育语言学的核心概念与话语体系

在外语教育国际化竞争的背景下，从教育现实语境出发，将纷杂的语言教学问题纳入统一适切的学科框架下意义重大。文章首次从教育语言学学科本质、理论基础、研究视角、研究方法、核心话题五个方面全面诠释了该学科的核心概念，归纳了包括语言教育、教育语言及其中间地带三个层面的探索领域；并且聚焦教育生态中的语言、人及环境三个维度归纳了教育语言学的话语体系。教育语言学的核心概念及话语体系彰显了该学科的独特内涵，回归了教育的现实语境，从而更贴近教师的思行世界，也更能引领当前的学科建设。厘清作为语言教师精神家园的教育语言学核心概念及话语体系，有助于理解其独特的学科内涵及现实使命，这对于教育语言学的本土发展及我国外语教育学科的正确定位、语言教师的学术发展乃至“双一流”高校、学科建设都有积极的意义。     

英语同义词描述维度观察

对同义词的研究重点通常放在历史成因、分类方法及差异性辨析等方面，且止于此。文中提出在此之后还需更进一步：整体观察任一基本意义已知的全部维度，进而分析和比较在英语语言里都有哪些维度拥有独立的词汇，使英语从这些维度对这一基本意义进行描述。在这里用维度这一概念来囊括各种导致同义词差异的特性，包括语义差异、感情色彩、文体特征等。这样做可实现包括对可能存在的未知词汇进行预测，以及转换词汇扩展为维度的扩充与补足，从而提高词汇学习趣味与效率等的原有做法无法实现的积极效果。     

Zeugma与拈连的对比研究及运用

Zeugma与汉语拈连分别是英语和汉语中修辞效果很好的修辞手段，恰当和巧妙运用它们能增加语言的表现力，使所表达的语言简练生动，更富感染力，达到特殊的修辞效果．本文从涵义、表现形式、特点等方面分析和探讨了Zeugma与拈连的相同和不同之处，并指出在使用和英汉互译时应注意的问题．通过对这两种修辞格的对比研究，旨在提高语言理解、欣赏及表达能力．     

开放式零件库TDB的一种实现方法

对零件库进行了介绍，主要研究了临时数据库(TDB)的功能，提出了在FORTRAN语言联编和UG／GRIP语言映射过程中，运用组结构实现TDB的功能，其具体操作是运用链表来实现对临时几何实体的操作，即实现临时几何实体的删除、组实体的转化等操作；将符合ISO13584．31标准的FORTRAN联编程序文件，通过用C语言编写的转换接口的编译，最终生成Unigraphics系统下的GRIP语言程序．     

单词的习语性理论及其在外语教学中的应用

语言的习语性成为语言学、心理语言学、二语习得研究等学科共同关心的课题。阐释语言在单词层面上的习语性，说明它在外语学习中的重要性与必要性．并探讨其在外语教学中的应用。     

低噪声内燃机电站辅助设计系统开发

阐明了低噪声内燃机电站辅助设计系统总体设计思路及基本过程．以AutoCAD为平台的内燃机电站辅助设计及二次开发过程中涉及标准件、自制件、外协件等大量的器件选型及图形绘制．软件总体框架规划应分类设计并系统规划，参数化设计生成的图形以块的形式保存使其调用过程符合设计基本要求．     

外语教学理论与英语教学

现代语言学理论的研究对语言的教学产生了深刻的影响，为语言教学提供了理论依据。概述当今语言教学理论及英语语言教学发展状况及其侧重点，力争为我国英语教学服务。     

英语首字母缩略词的起源及其发展

英语首字母缩略词是随着人类语言进化、科技文化水平不断发展而产生的一种全新的英语语言文字。从其起源、实践运用等几个方面，以应用语言学的观点阐述其生成规律、语言特点。     

认知语言学与大学英语词汇教学

词汇是构成语言不可缺少的建筑材料,词汇知识是语言能力的一个重要组成部分。因此,词汇教学是提高英语水平的关键环节。认知语言学作为语言学中的一种新范式,其独有的特点使其在大学英语词汇教学中发挥着重要的作用。本文从认知语言学角度,提出了应用认知语言学理论进行大学英语词汇教学的相关措施。     

论矩阵行标准形及其应用

现行代数研究的主要课题是有限生成自由模的同态(特别是研究有限维向量空间的线性变换)．这些同态与矩阵之间存在相互依赖的关系．由于研究表达同一个同态(对于不同的基)的两个矩阵之间的联系，产生矩阵的等价和相似的概念，因而导出若干等价标准形．文中对矩阵标准形之一——行标准形的特征及其应用作了较详细的探讨，发现其形式较简洁，能简化矩阵代数中常见的一些重要结论．     

对不同的篇章模式应采用不同的教学方法

本文在对篇章(text)、篇章语言学(text linguistics)和教学篇章语言学(text linguistics for teachers)的理解以及在分析它们与英语教学方法关系的基础上，重点探讨篇章模式(textual pattern)不同应采用不同的教学方法，以期通过这一语言教学链路使学习者能够理性地、有目的地、高效地处理好语言信息，最终达到提高轮机专业英语教学效果的目的。     

外籍留学生汉语学习、媒介使用对中国文化认同的影响

语言传播是建构文化认同的重要途径和手段。在文化传播中，人们通过语言学习，获得所学国家的知识，同时也了解其文化，进而建构起文化认同。语言学习动机影响学习者的媒介使用，也会影响其文化认同。本研究通过问卷调查，探究语言学习、媒介使用与文化认同的关系。研究通过对北京、上海、广州1 003名外籍留学生的问卷调查，试图解释在华外籍留学生的人口统计变量、汉语学习动机、媒介使用与中国文化认同之间的内在关系。研究发现：第一，外籍留学生的汉语学习动机(融入型动机、工具型动机、成就型动机)与中国文化认同(中国文化符号、中国文化类型、中国文化情感、中国文化行为)之间影响显著。第二，外籍留学生的汉语学习动机对其媒介使用行为(媒介使用频率、媒介信息源、媒介信任度、媒介依赖度)的影响部分达到显著。第三，外籍留学生的媒介使用在汉语学习动机和中国文化认同之间起到中介作用。第四，外籍留学生人口变量与中国文化认同部分达到显著相关。     

基于神经预测模型的非特定人汉语词组织识别系统

针对如何 描述语音信号的时间动态特征，本文主要研究基于多层感知器网络的神经预测模型在非特定人汉语词组识别系统中的应用。神经预测模型使用一组多层感知器网络（MIP）作为非线性预测器，采用动态匹配（DynamicProgramming）技术进行非线性时间规整，完成时间轴上的映射。本文提出了神经预测模型的简单训练算法和识别算法。基于这种模型建立了一个非特定人的汉语词组识别系统。该系统训练集内音节识别率为83%，词组识别率为86%；训练集外音节识别率为80%，词组识别率为82.5%。     

Lur＇e控制系统新标准型的有理分解及绝对稳定的显式判据

本文对Ｌｕｒ＇ｅ控制系统新标准型￣［１］进行有理分解，使其孤立子系统Ｓ＿１具有有理形式，并给出一个递归公式，从而使子系统Ｓ＿１的Ｌｉａｐｕｎｏｖ函数便于构造。应用对各子系统的Ｌｉａｐｕｎｏｖ函数求和方法，得到了常用控制系统及其共轭系统的绝对稳定的便于直接应用的显式判据。     

双曲柄环板式针摆行星传动效率分析

应用行星轮系传动效率的通用计算机公式，推导出了双曲柄环板式针摆行星传动的传动效率计算公式．为了证明其理论的正确性，又进行了实验研究．样机效率试验结果与计算结果基本符合．试验结果证明，这种新型传动不仅具有高的承载能力，还有高的传动效率．     

语境研究的多维视角

语境对于话语理解及生成具有极其重要的意义,语用学甚至被称作语境学。国内外学者对于语境进行了大量研究,使其理论不断深化和发展,研究的多维视角趋势明显：由一元到多元、由静态到动态、从外在到内在、从现实到虚构。当然关于语境研究也有一个亟待解决的问题：不能只对语境做简单分类,而应对现实语言的语境研究更加具体化。     

Lur‘e控制系统新标准型的有理分解及绝对稳定的显式判据

本文对Ｌｕｒ＇ｅ控制系统新标准型＾［１］进行有理分解，使其孤立子系统Ｓ１具有有理形式，并给出一个递归公式，从而使子系统Ｓ１的Ｌｉａｐｕｎｏｖ函数便于构造。应用对各子系统的Ｌｉａｐｕｎｏｖ函数求和方法，得到了常用控制系统及其共轭系统的绝对稳定的便于直接应用的显式判据。     

具有随机利率和波动率的复合期权定价

在复合期权的定价研究中,Geske(1979)公式的不足之处在于其假设利率和波动率均为常数.Geman-El Karoui-Rochet(1995)、Hull(1998,2000)等人也是假设波动率或利率之一为常数.本文对Geske公式加以推广,得出了利率和波动率都随机波动时的复合期权定价公式,具有更强的实践意义.     

基于高斯定理的共焦双曲柱面极板间静电场问题的研究

在广义正交曲线坐标系的形式即共焦双曲柱坐标系下,运用高斯定理来计算出共焦双曲柱面极板间的电场强度及其电势和电容等,图文并茂,方法直观.选择合适的广义正交曲线坐标系的具体坐标形式,通过电势梯度公式和静电场高斯定理以及高等数学知识,可以精确分析研究截面为特殊形状的带电体(面)产生的静电场问题,为处理该类问题提供一种新的研究...