一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

关于市场法学的若干理论问题

随着我国社会主义市场经济及其体制的确立和发展,具有密切联系又有区别的经济法与市场法也在逐步建立和完善。市场法学是门新兴的学科,具有特定的研究对象、研究方法、学科体系。而市场法学的基本原理、原则、方法,以及对市场主体法、市场行为法、市场管理法的研究构成了市场法学的基本内容。     

席勒美学思想的矛盾及其意义

席勒美学始终表现着理想与现实、理论与行动之间的矛盾。他的美学思想中互相矛盾的两极，实际上是互相限定、互相补充的。作为精神自由而存在的审美活动，与对象是互相观照的关系，而不是欲学求的关系。只有将审美对象作为“活的形象”，人才可能是自由的。席勒美学的指向，是一个审美的社会的实现，而不是审美主体自我心性的愉悦的实现。席勒之后，西方美学发展中从现实退回到内心的理论是对席勒美学思想的误读。现代主义美学理论一味地向内心收缩，距离席勒的出发点越走越远。而后期西方马克思主义美学对现代主义美学的修正，不过是又走到了席勒的终点。     

EDDBMS存取机制的设计与实现

介绍了一种面向对象的工程数据库管理系统的存取机制，根据面向对象语义模型的特点，提出了一种适合于类、对象的存储模型以及一种可查询类层次对象和单类对象的复合对象索引机制，对象标识的选择便于对象的查询，在此之上实现了复杂对象的存储管理     

基于面向对象方法的多智能集成知识系统

基于面向对象方法建立了多智能集成知识系统的一种通用体系结构，使之融合多种形式的知识表达和处理方法．通过语义表和复合对象机制扩展现有的面向对象形式框架，以实现这一体系结构，其中类语义表、继承关系语义表和变量语义表增强面向对象形式框架关于类、继承关系和变量成员的说明性语义，并借助于伴随类的引入使复合对象的表示与面向对象方法的重用性原则一致．     

一类变参数对象的双鲁棒串级控制方法及应用

针对一类变参数对象，本文提出了一种主、副调均采用鲁棒调节器的双环串级控制方法，并给出了这种系统的设计和整定步骤。应用该方法对某电厂变参数过热汽温控制的实例表明：该方法对一类变参数对象的控制具有很好的动态品质和鲁棒性。该方法还可推广应用于采用鲁棒调节器的多环串级控制系统。     

基于面向对象技术的知识表示模式

该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。     

开放对象的进化机制

本文构造了开放对象的进化模型，其进化进程是通过消息与环境相互作用并按一定的重构逻辑重构自身，这个过程包括平稳的内部修正进程和突变进程。本文侧重讨论了基于Ｌａｋａｔｏｓ发现逻辑的内部修正进程。     

一个面向对象的查询语言实例

从支持面向对象，可表达能力，支持集合和可用性等四个方面来说明一个查询语言。每个方面用查询判别式的例子以精确，清晰的旬符号方式进行了说明。     

软件系统中的主导对象

提出软件系统中的一个新概念，用以描述系统的周期模型．它是系统分析的一个重要因素