环境资源负外部性与产权理论的新进展

环境资源共有产权的特性使得社会成员只能通过自身感知和理解确定对环境资源的产权边界，并且产权的实施是非排他的，所以与环境资源有关的负外部性较其他具有直接因果关系的外部性特殊。在治理这类负外部性的过程中，产权理论也有了新的发展。本文从分析环境资源产权的特殊性入手，对于产权弱化、产权分割、创建新产权和自愿合作基础上认知产权调整等负外部性内部化理论进行了分析。     

论高校的创新性学习

创新性学习是针对传统教育忽视大学生的创新意识和创新能力，知识经济对创新人才的呼唤而提出来的。本文阐述了创新性学习的特点，分析了大学生进行创新性学习应具备的四个条件，并就高校开展创造性学习应注意的四个方面提出了看法。     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

基于图像数据库的动态场景生成系统

实现各类目标和背景下动态场景的计算机编辑和生成，首先应对组成动态场景的要素进行分析，即目标，目标运动规律和特殊事件四个要素，然后通过编程由四个模块完成相应功能。目标，背景编辑模块可对目标，背景图像进行各种处理，并对重要特征量进行计算，运动路径模块可指定目标的运行规律，包括路线，大小和角度变化等。特殊事件模块可加入独立目标的各类典型事件，如运动的干扰物等。最后通过动态场景合成由计算机自动生成所需的动态场景图像。所需的原始目标，背景图像来源于图像数据库管理系统，通过索引项可便携地找到。     

Efficient Management of Persistent Knowledge

Although computer speed has steadily increased and memory is getting cheaper, the need for storage managers to deal efficiently with applications that cannot be held into main memory is vital. Dealing with large quantities of clauses implies the use of persistent knowledge and thus, indexing methods are essential to access efficiently the subset of clauses relevant to answering a query. We introduce PerKMan, a storage manager that uses G-trees, and aims at efficient manipulation of large amounts of persistent knowledge. PerKMan may be connected to Prolog systems that offer an external C language interface. As well as the fact that the storage manager allows different arguments of a predicate to share a common index dimension in a novel manner, it indexes rules and facts in the same manner. PerKMan handles compound terms efficiently and its data structures adapt their shape to large dynamic volumes of clauses, no matter what the distribution. The storage manager achieves fast clause retrieval and reasonable use of disk space.     

关于知识团队特性的研究

章从商业环境的变化分析入手，指出由知识工作为主体构成的知识团队将成为企业运作的重要形式。知识团队与传统的、特别是基于某项单一职能或成员来自某一知识领域的团队有着许多显的不同。通过分析认为，这些不同点主要体现在团队目标的模糊性、团队成员的动态性和团队管理手段的协定性等方面。     

规则库冗余性控制策略的研究

冗余性控制是研究知识库组织、管理和维护中的一个问题．本文通过对智能型机译系统中规则知识表示方法的分析，提出了将冗余规则划分为显式冗余规则和隐式冗余规则分别予以处理的思想，给出了显式冗余规则的判别算法和部分隐式冗余规则的检测标准，并提出了控制机译系统规则库冗余性的基本原则.     

Planning the GMAW process by constraint propagation

Although the gas metal arc welding (GMAW) process is widely used for joining metals, its planning is still a cumbersome task. The planning procedure involves many complex interrelationships among the process variables and depends heavily on empirical knowledge. Therefore, a solution method that allows a convenient way to represent the domain knowledge and evaluate the process variable relationships is needed. Further, the lack of a strong domain theory to quantify these interrelationships is a deficiency in the planning of the GMAW process. This paper presents a solution method that overcomes this deficiency and introduces a convenient knowledge representation scheme. The solution method considers the planning procedure to be a constraint satisfaction problem (CSP). The AC-4 algorithm is used to obtain arc consistency among nodes in the constraint network and the PC-4 algorithm is applied to obtain path consistency in the network. A modified version of the AC-4 algorithm is developed to reduce the search space and correspondingly reduce the computation time. An example is presented to demonstrate the capability of the method and its potential to reduce lead time.     

高职教育网上成绩考核系统的总体设计

本文对网上成绩考核系统进行了总体设计.其中,设计了校园网的网络结构模型、网上成绩考核系统的模块结构及其数据库和数据表.