该函变关系的基本规约：共轭和谐，适度有序，言语文明，积极有效。
The factors of the system act upon the basic rules such as harmony, order, efficiency, civil and no extreme.
由于道德理性对主体意识的规约与引领，中国作家在20世纪婚恋文学的叙事中基本采取了道德叙事的策略。
Because of the subjective consciousness being stipulated and led by morality, the writers of the 20 ~ (th) century's literature of marriage and love in China took the tactics of moral narration.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
应用推荐