关于刚体平动的判别法

刚体平动是刚体最基本的运动形式之一。关于刚体平动,国内各种理论力学教材大致采用下述统一的定义:在刚体运动过程中,其上任意直线始终平行于它的初始位置,这种运动称为刚体的平行移动,或简称为刚体平动。众所周知,该定义便于推知刚体平动的运动特性,即平动刚体上各点的运动轨迹相同,在同一瞬时各点的速度和加速度分别相等。在求这类刚体上任意一点的速度和加速度时,最基本的一项工作是首先判定该刚体作平动,然后代     

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

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

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

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

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

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

关于Meyer—Konig—Zeller算子

本文给出了Ｍｅｙｅｒ－Ｋｏｎｉｇ－Ｚｅｌｌｅｒ算子的一个新的逼近阶估计，推广了文〔１〕中的结果。     

连续滚动生产作业安排中初始状态非平凡的P//C_(max)问题

以实际中连续滚动生产为背景,研究了一类新的平行机作业安排问题,即初始状态非平凡的Ｐ∥Ｃ_ｍａｘ问题。基于经典的Ｂｉｎ－ｐａｃｋｉｎｇ（装箱）理论和技巧,提出改进的Ｍｕｌｔｉｆｉｔ算法及相应的ＩＦＦＤ装法,并分析算法在最坏情况下的性能指标上界为４／３．最后,提出连续生产中周期滚动式作业安排的实施算法,实现了设备不空闲而连续运行。     

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

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

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

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

Kadets1／4定理和缓增样条

证明了Ｓ２ｍ（Ｔ,Ｒ）∩Ｌ２（Ｒ）上的Ｍａｒｃｉｎｋｉｅｗｉｃｚ－Ｚｙｇｍｕｎｄ型不等式及Ｂｅｒｎｓｔｅｉｎ型不等式,其中Ｓ２ｍ（Ｔ,Ｒ）是以｛ｔｊ｝为非正规节点系的缓增的２ｍ阶多项式样条函数空间,节点系｛ｔｊ｝满足Ｋａｄｅｔｓ１／４定理的条件,即ｔｊ＝ｊ＋ｗｊ,ｓｕｐ↓ｊ│ｗｊ│≤ｒ〈１／４,ｗｊ∈Ｒ,ｊ∈Ｚ,由以上结果,进一步给出了在节点系上插值的插值样条ｓ２ｍｆ（ｘ）在Ｌ２（Ｒ）中收敛到ｆ（