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

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

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

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

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

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

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

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

提高西德MNPJ型毛圈圆纬机压针三角与舌针使用寿命的研究

本文通过西德MNPJ型毛圈圆纬机编织过程的受力分析和机械润滑试验,提出了提高三角和舌针使用寿命的途径;同时又对该机三角系统的材料进行了研究,提出了自制三角系统的看法。     

均布荷载作用下简支组合梁受力机理分析

为了揭示组合梁在均布荷载作用下的受力机理,考虑弯曲和滑移耦合变形,建立组合梁滑移受力机理模型.首先,以单跨简支组合梁为研究对象,探讨组合梁变形与滑移规律、横截面内力分布及结合部传力机理;然后,分析截面尺度、界面刚度与荷载加载面对组合梁受力机理的影响.结果表明：混凝土板抗剪和抗弯作用在房建组合梁中较明显,在桥梁组合梁中可忽略;随着界面刚度比的增加,简支组合梁的曲率、转角、挠度和滑移均减小;混凝土板和钢梁轴力同步增大,混凝土板剪力增大而钢梁剪力减小,混凝土板、钢梁弯矩减小而轴力力偶增大;结合部界面切向力增大而界面法向力基本不变;相较于按自质量分配荷载,均布荷载由混凝土板承担时界面压力增大,由钢梁承担时则界面受拉,应注意验算界面抗拉拔性能.     

船运散装液体化学品溢漏扩散形式的研究

根据船运液体化学品的性质及其介质因素,将其溢漏后主要运动形式分成五类,给出部分扩散形式一般数学模型。为船运散装液体化学品溢漏事故应急及处理损害赔偿事务提供依据。     

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

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

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

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