发挥大学语文在理工科院校人文素质教育中的作用

关于＂大学语文＂课程的讨论,近年来一直是教育界甚至文化界关注的热点。目前国际上许多国家都出现了＂汉语热＂,而在国内大学语文教学却面临着边缘化倾向,主要原因是不能正确认识大学语文课的作用。事实上,大学语文课在改善理工科学生的思维方式、培养学生的爱国主义情操和塑造崇高的民族精神及增强学生非智力因素等方面都具有重要作用。     

Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

外语学习中情感因素的调查与研究

外语学习中的情感因素主要是指学生们对外语学习所产生的情绪与感受,主要包括学习者的态度,动机与需求,自尊、自信与冒险心及焦虑情绪等。本文笔者通过对农村学生与城市学生的外语学习中的情感策略调查及分析,论述了对外语学习产生正面影响(如自信、冒险心等)的情感因素和一些对外语学习会产生极其负面的影响(如焦虑)的情感因素。并说明了外语教师除了传授知识和学习策略外,还应注重学生的情感教育。注意培养学生的学习动机,利用多元智能理论指导,培养学生的自信心缓解学生焦虑情绪。     

捷联姿态解算宏汇编软件

编制捷联姿态解算软件是捷联惯性姿态参考系统研制中的重要一环。由于对计算的实时性和精度都有较高的要求，又在专用的弹上计算机上进行，所以增加了制作的难度。从变量取值范围、比例因子确定、字长选择、程序结构等几方面介绍了捷联姿态解算软件的编制情况。该软件是在导弹计算机上用ＴＭＳ３２０Ｃ２５宏汇编语言编制的。该软件经过地面实物试验，验证了其正确性。     

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得工最终的惟一合法释义，最后给出了一个例子。     

自然语言人机接口中省略问题的一种解决方法

口语分析与理解是实现自然语言人机接口的关键技术，其中省略问题的处理是不可回避的难点之一。本文将具体介绍一个用于自动仓库物流控制系统的(受限)自然语言人机接口中省略问题的一种解决方法。主要是针对汉语口语中经常出现的主语省略和宾语省略，谈谈识别和理解省略的一些具体的操作方法和设想。     

英汉翻译中文化因素的影响

语言是整个文化的基础，语言的变化往往可以追溯到文化上的原因。翻译做为一种语言的艺术，在双语转换的过程中，必定受到文化因素的影响，本文从５个方面简略地阐述了汉英翻译中，原语及译语文化差异导致两种语言在语义及表达形式上的非对应，以及所需采取的补偿手段。     

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.     

平面虚拟三自由度并联机器人构建与运动学实现

首先,求解了平面3RRR并联机器人运动学封闭解析解,在此基础上,基于虚拟现实技术构建出平面3RRR并联机器人几何模型,借助Visual C++和OpenGL混合编程,对其运动学仿真进行了研究。     

航天器自动化测试语言研究

航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。