UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

Analysis of Stylistic Features in English Cosmetics Instructions

Cosmetics instruction is a special genre;it belongs to the category of English of science and technology,and therefore has a unique style of his own.This article analysis cosmetics instruction from the lexical,syntactical and discourse level separately,so as to find the unique writing style of English cosmetics instructions.     

成语在文言文教学中的作用

成语是古代汉语的继承者,其自身包含了许多文言文知识。了解成语中的文言文知识,不仅有助于了解成语,也是对古代汉语的学习。利用熟知的成语来进行文言文教学,事半功倍,一箭双雕。文章主要从实词、虚词、文言句法和结构特征等四大方面论述保留在成语中的文言文知识,从而说明成语在文言文教学中的作用。     

关于句法研究的思考

句法研究主要包括短语的研究和句子的研究,现代汉语句法研究的焦点当是具有个性特征的短语结构和句子结构;这些句法结构的个性特征则是在同其他语言、古汉语和方言的比较中以及自身系统内部句法结构间的比较中确定的。研究这些具有个性特征的句法结构,有利于揭示汉语的本质和面貌。     

副词“再”和“又”的多角度分析

现代汉语中的“再”和“又”都可以表示一个动作或一种状态的重复或继续，但它们并不是在所有的情况下都能互换使用。在前人研究的基础上，从句法、语义、语用等方面对副词“再”和“又”进行综合考察。     

用抽象语法链表示C程序中的表达式

因为缺少解释器,对程序进行自动分析和测试领域中有很多问题难以解决.设计解释器的一个核心问题是如何表示表达式,使其既便于人工检查也便于计算机自动生成和解释执行表达式.传统的表示方式主要针对编译器进行设计,不适合解释器.为此,综合运算符的特性和常见表示方法的优缺点,提出用抽象语法链EOE*表示表达式,给出了相应的提取和解释执行算法,并成功应用于本项目组开发的解释器中.     

Using the phase plane and the computer for the study of systems dynamics

Because of their graphics capabilities, it is possible to use personal computers to analyse the behaviour of dynamical systems. We therefore require a way to introduce pedagogically both this technique and the important aspects of the study of non‐linear systems. This paper considers first the formal points of the phase plane method, and then presents three relevant examples: (a) second order linear systems; (b) the Van der Pol oscillator; and (c) the forced pendulum. In each case programs in Turbo‐Pascal are given for plotting the trajectories.     

论句法规范的学科定位

现代汉语发展至今,句法是包括音节、语素的相关语言单位进行组合从而增加结构意义的一个规则系统。句法规范就是指从组成短语、小句直到句子的过程中结构层次和结构关系的合理性与发展趋势,其中包括句法更替的规律、句法发展的可能性与演变发展的度及适用范围。为此,当从共时和历时两个平面着手进行分析。     

The Stylistic Analysis ofA Rose for Emily

威廉·福克纳是美国二十世纪最有影响力的作家之一,是1949年诺贝尔文学奖的获得者。他的大部分作品生动地再现了美国内战之后南方贵族的没落与衰败。《致艾米丽的玫瑰》记述了南方贵族格尔生家族中最后一个成员艾米丽小姐的一生孤僻的生活。在这部短篇里,福克纳运用了不同的文体技巧反映了艾米丽小姐逐渐扭曲的心态和一生悲惨的命运,并揭露其悲剧的根源。在本文中,笔者将对这一短篇小说所运用的文体学技巧从词法和句法、修辞学两方面进行阐述。     

"得"句中主语S的构成

从句法结构方面考察和分析“得”字句中“得”前的主语S。根据主语S是否出现,“得”句可分为主语未省略句和主语省略句两类,其中,主语省略的情况比较普遍。在主语未省略的情况下,主语大多由体词和体词性短语充当;在主语省略的情况下,主语承某一句省略占了相当的比例。