基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

安全事故电视新闻语言探讨

以安全事故电视新闻语言应当具备的基本要求为基础,结合当前的实际状况,探讨了安全事故电视新闻画面语言的发展趋势,明确了其意义和目的所在.     

A Critical Review of Motivation in Second Language Acquisition Research

As one of the major factors affecting second language learners＇ success to their acquisition achievement, motivation has been examined in a wide variety of research papers. It is thus instructive to conduct a critical review of both theoretical and empirical developments in SLA research from over the last few decades. This approach will provide a broad, and integrated perspective onto the current understanding of the complex topic of motivation. Such an undertaking is valuable for teachers, and researchers alike, in developing useful teaching methods, and finding future avenues of SLA motivation research respectively.The following paper provides an overview of recent theoretical and empirical findings, examines some of the problems and contradictions found in current SLA research, and gives an initial departure point for future directions of research in the area of motivation. The paper concludes with a discussion of some of the implications for teachers, and possible classroom strategies that are drawn from the current body of motivation research.     

中古词汇研究的几个问题

本文从中古词汇研究的语言材料、中古词汇的考释、中古常用词、中古的新词新义和中古词汇的比较研究及方面,谈了对中古词汇研究问题的看法。     

母语迁移对大学英语教学的启示

在外语教学中,母语迁移一直都是个争论激烈的话题。很多学界人士都曾针对外语教学中附用母语教学所产生的影响发表过自己的见解。本文讨论了母语正、负迁移对外语学习的影响,更强调了如何在大学英语教学中充分调动母语正迁移的作用。     

提高跨文化交际能力，推进高职高专英语教学

语言与文化密不可分,语言教学必然包括文化教学。当今高职高专院校的外语教学重视语言形式而忽视语言在实际场合的运用,使语言学习者没有充分意识到跨文化交际中的文化差异,导致交际障碍、失误等现象屡屡发生。本文主要从对跨文化教育的重要性和必要性的理论分析入手．阐述了当前外语文化教育的现状。探讨了培养学生跨文化意识,提高英语交际能力的措施。     

二语习得研究对外语教学的启示

本文探讨了如何运用二语习得的研究成果来改进英语教学和教学方法、设计课堂教学和在课堂环境中提高教学效果,研究课堂语言教学对二语习得的影响。     

几种二元二级指数样条及应用

本文对二元二级指数样条作了进一步的讨论,并为不同方面的应用和提高一类曲面的逼近精度又定义了完全及负指数样条。证明了样条解的存在及唯一性,应用对实例表明对一类函数逼近效果是很好的。     

论汉语的人文性与对外汉语教学

语言的人文性是指语言所蕴涵的文化内涵。与西方语言相比较,汉语的人文性尤为突出。多年来,我们的教学法研究主要集中在宏观研究即方法论层面的理论研究,或者侧重微观研究即操作层面的教学技巧研究,而对于中观层面的教学模式研究鲜有涉及。本文从介绍汉语的人文性特点入手,提出了从汉语各层面的文化因素研究对外汉语教学的几种思路。     

虹及二次虹的形成原理

本文由光的折、反射出发,通过求光的散射极值,得出彩虹在天空的高度,并分析二道彩虹、第三道彩虹、全虹出现的可能性及它们的位置。