模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

浅论英汉翻译中的文化因素

语言是文化的组成部分和载体,翻译靠语言来实现,因此在翻译过程中,译者应充分考虑中西文化的诸多差异,从而实现最贴切的翻译。     

英语教学语言运用策略初探

教师应该大力运用英语教学语言，有意识地把课堂教学语言运用策略和实际交际语言策略整合起来，增强学生的学习效率。     

课堂教学应注重严密完整的数学语言

数学是一门语言精辟、逻辑严密的学科，课堂教学中注重严密、完整的数学语言，才能保证知识传授的准确性，使学生获得准确无误的知识。本文分析了造成数学语言不够严密完整的各种原因及改进方法，要求教师在课堂教学中做到数学语言准确规范，严密完整、形象生动。     

一种用于自动标引系统的主题词自动切分方法

该文着重介绍一种知识指导下的主题词自动切分方法，该方法能灵活处理自然主题词、大幅度跳跃及关联词的切分问题，其字面切分精度达９９．３３％，综合切分精度达９８．９１％。     

细胞（d1,d2）—有向图语言类在集合论运算下的封闭性

本文给出了细胞（ｄ１，ｄ２）－有图自动机类的定义及其接受语言（判断）类的定义，并讨论了该语言（判断）类在并、交、补等集合论运算下的封闭性。     

希腊几保学的社会文化根源

本文从古希腊独特的社会文化形态作为切入点，探索求解了数学思想史上著名的“克莱因问题”，从而破解了希腊证明几何学的成因之谜。古希腊社会在从氏族社会向民族社会转轨变形的过程中，爆发了一场绵延数世纪的思想启蒙运动。希腊人从宗教神学中解放了出来，开始了对世界的理性思考，他们为了解决社会秩序的重组问题，提出了以法治国的政治主张。从此希腊社会走上的法制的轨道。在古典的民主政治和商品经济形成的同时，古希腊民族也孕育出了一种独特的文化形态——古典的理性文化或科学文化。希腊几何学正是在这种以法律文化为核心、以语言文化为生长点的理性文化中诞生、形成和发展起来的。希腊哲学文化则是使公理几何学最终定型的关键因素。