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

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

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

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

基于混合团树的贝叶斯网络智能推理算法

提出了一种基于混合团树的智能推理体系架构,利用原始贝叶斯网络中变量之间的依赖关系对连接树进行改造,使得在推理过程中满足以下两个优势：(1)它能直接消除与证据和查询的无关的变量集,使得混合团树得以缩减为更小规模的二级树状结构,进而使消息不必在所有节点中传播;(2)它继承了连接树传播算法中可以重复利用混合团树中预先储存的信息进行加速推理.     

软件复用中的实体／连接构件设计方法

提出一种新的软件构件设计方法,引入了实体构体和连接构件的概念,给出了它们的描述形式,实体构件和连接构件具有相似的语义模型,它们都可以通过插口为其他构件提供连接服务。     

利用ODBC实现VFP50与SQL SERVER数据库的连接

本文讲述了ＶＦＰ５０与ＳＱＬ ＳＥＲＶＥＲ数据库连接的原理与方法,并给出了具体实现过程。     

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

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

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

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

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

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

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

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