浅谈专业知识与科技翻译

结合具体例子阐述了科技翻译中值得注意的一些问题。指出要搞好科技翻译必须同时具备充分的语言知识和一定的专业知识     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

如何理解极限概念

本文通过分析,着重阐明了极限概念的重要性,以及理解极限概念的难点,最后对极限定义作了几点说明。     

英汉文化差异与文化教学

我国传统的外语教学只重视语言知识教学,而忽视了文化教学。由于不了解中西文化的差异,使培养对象在外语交际中出现了许多文化错误和障碍。本文简要阐述语言与文化的关系,指出英汉文化上的某些差异,并探讨在外语教学中如何加强文化教学。     

二、三、四、五阶常系数线性微分方程解法公式与计算机求解

推导出二、三、四、五阶常系数线性微分方程的解（即函数关系）的一般表达式,并分别用Ｂａｓｉｃ语言和Ｐａｓｃａｌ语言编制出使用计算机求解的应用软件。该软件实际运行的结果证明,这种求解方法比任何一本《高等数学》教材介绍的通常的求解方法要简单得多、运算速度要快得多,因而具有很大的现实意义。     

笔段型液晶显示器图形基元的计算机辅助设计系统

利用AutoLIST语言编程,对AutoCADR12系统进行二次开发,开发出绘制笔段型液晶显示器图形基元的计算机辅助设计系统"BJ"．使人机交工绘制基元图形的过程,转化为通过给定设计参数,自动生成基元图形的过程。节省了作图时间,降低了繁琐作图过程对菲林设计的干扰。     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.     

启发式在计算机语言教学中的应用

启发式教学方法是各种教学方法的灵魂,这种教学方法符合由感性到理性、由现象到本质的认识规律,融入了过程式教学思想。在计算机语言教学中利用启发式教学方法,充分调动学生学习的积极性、主动性和创造性,引导学生通过自己的独立思考,在学习计算机语言的过程中能够举一反三、横向联合,融会贯通地掌握系统的计算机知识,培养学生分析问题和解决问题的能力,发展智能,增强自学能力。     

凸轮-连杆组合机构设计系统

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮-连杆组合机构网上设计系统.     

一种高性能英文词性标注器的设计与实现

针对统计和规则方法各自的优点和局限,提出运用Viterbi和FTBL(fast transformation-based learning)算法相级联的算法,实现一种英文自动词性标注器.该级联方法以FTBL算法为整体算法,在它的规则学习和最终标注两个阶段,均以Viterbi算法作为其初始化过程.实验结果表明此算法优于其中任何一种单独的算法,达到了98%的高准确率,验证了自然语言处理中统计与规则并举的主流设计思想.