以动词形式表达将来时间的语法手段

本文归纳了英语以动词表达将来时间的主要语法手段:“shall/will”,“be goingto”“be to”,一般现在时,现在进行体,将来进行体;然后对各种用法及其意义作了说明和比较。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

试探课堂教学中学生学习正迁移的形成

根据心理学的研究,先前的学习对当前的学习产生影响,或者当前的学习会对先前学习产生影响.这种现象就是迁移.     

汉英颜色词及其文化内涵比较

汉英语言中的颜色词在构成形式上有很多共同性。但这些颜色词的化内涵却因化背景的差异而有所不同。掌握这些颜色词及其化内涵，既是我们学习、研究汉英两种语言的需要，也是我们学习、研究中西化的需要。     

鲁迅杂文的"个人性"言说

鲁迅杂文的社会性历来为研究者所看重，但我以为真正能够体现鲁迅杂文的历史价值和美学意义的应该是其“个人性”特征。这一特征主要体现在两个方面：强烈的抒情色彩使鲁迅杂文成为诗与政论的结合，坦诚地抒写自我内心世界更带上鲜明的作家主体特征。     

多路互通式立体交叉的形式

根据多路互通式立交形式多样，复杂的特点，结合立交选型的要求和收费立交收费站的布置方法，着重对多路互通式立交的形式进行研究。提出对于多路不收费立交的形式采用三，四路不收费立交常见形式进行有机组合，多路收费立交的形式以四路收费立交的各种形式为基础，将各路的转弯车辆通过合适的匝道调整至连接线来实现收费的方法。     

论行政机关的公司登记行为

行政机关的公司登记行为是一种特殊的具体行政行为。公司登记机关应对登记申请材料进行形式审查而非实质审查。因此，公司登记机关是否违法，及法院对公司登记行为的合击性进行审查，也主要是围绕公司登记机关是否尽到形式审查之义务这一中心。     

分解炉虚拟样机的开发

以水泥生产过程中的分解炉为对象，分析了分解炉内具体的物理化学过程，同时开发了反映分解炉工作过程(流体力学、燃烧学、分解动力学、颗粒动力学)的数学模型，借助数值模拟方法进行了分解炉虚拟样机的开发，为分解炉的设计与开发提供了试验平台。     

韩非与马基雅维里政治思想之比较研究

在政治学领域，中国的韩非与意大利的马基雅维里都是不可忽略的人物。他们对于特殊政治形式——君主专制的深刻认识和大力鼓吹，不仅在实践上对于他们分别所处的时代产生重要影响，而且在理论上对于人类政治学说的发展，也贡献了宝贵的思想财富。