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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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