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

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

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

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

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

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

让思想品德课教学焕发出生命活力--浅谈思想品德课互动式教学

长期以来，思想政治课教学普遍采用灌输式，极大地阻碍了学生素质的提高，能力的培养。新一轮课程改革则采用互动式课堂教学，注重师生互动，生生互动，注重通过形式多样生动活泼的互动式教学方式，激发学生学习兴趣，培养学生各种能力。互动式课堂教学的形式主要有讨论式、小品表演、体验式、查阅式、辩论式等。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

采用氮气发生剂的子弹药气囊抛撒内弹道计算模型

在经典内弹道理论基础上,建立了以氮气发生剂为抛撒动力源的子弹药气囊抛撒内弹道模型.将整个氮气发生器视为气源,提出了名义燃速的概念,建立了名义燃速方程,把氮气发生器及抛撒装置的结构等因素对名义燃速的影响通过引入结构综合参量体现,简化了计算过程.名义燃速方程采用了带有常数项的指数形式.用该模型计算所得结果与试验测试值符合较好,可用于抛撒技术的研究和工程应用.     

旋转弹两级分离动力学模型建立与仿真

为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理.