摘要：本文提出一种基于复杂问题分解的布尔函数极小化方法SWT_3。SWT_3主要由三个步骤组成:首先,用概念聚类系统LEOBS将所给布尔函数分解成一些子表达式,然后,用示例学习布尔函数极小化系统SWT将各子表达式化简;最后,将各化简的子表达式组合起来并用集合复盖算法SETCV进行全局简化。应用的一些结果表明,这种方法适合于具有20个以上输入变元的复杂布尔函数化简。

摘要：针对常规程序设计语言的局限性，提出了一种新颖的程序设计方法─可视程序设计方法．该方法突破了传统编程方法（使用汇编语言和高级语言编程方法）的格局，把程序设计语言图形化．全面地介绍了基于ＰＡＤ的可视程序设计环境ＶＰＥ／ＰＡＤ的设计与实现．

摘要：随着在软件生命周期后端的开发效率的提高，人们对提高生命周期前端开发效率的要求不断增长。计算机辅助分析和设计工具可大大地提高开发效率。本文介绍一个建立在ＵＮＩＸＯＳ和Ｘ—ＷＩＮＤＯＷ系统上的软件需求分析生成环境ＲＡＧＥ／ＤＦＤ，描述了它的原理、实现方法、功能和特点。该系统可用于描述各种应用系统的规格说明，并提供良好的人－机接口和直接操纵方式以及语法错误自动检测功能。

摘要：ESAD系统是一个模块组合式的用于辅助决策领域的专家系统开发环境。它是一个多目标的推理系统,具有三种知识表示:变元特性表示,过程表示法表示,决策规则表示,引入示例学习的知识自动获取的功能模块GS_(32)。提出了划分辅助决策领域的知识为共用级与专用级的概念。设计了知识库的层次结构与用于同数据库相联的接口,还设计了一个用于各种不同推理机制的通用的推理网络。使用ESAD系统已开发了一个预研辅助决策专家系统。

摘要：本文基于多值逻辑函数极小化提出一种正例学习问题，并对这一正例学习问题给出一个启发式学习算法。同现存的示例学习方法相比，本文算法是基于演绎推理的，可对大量信息进行保真压缩。该算法具有简单、快速和易于实现的特点。本文用两个实例─焊接工艺自动设计知识获取和布尔函数极小化，将本算法同示例式归纳学习系统ＡＱ１５和布尔函数极小化系统ＳＷＴ进行了比较。

摘要：手写汉字的本质特征的抽取是提高识别率的关键,而识别规则的生成又依赖于大量样本的归纳学习,手写汉字的四角方案就是针对这两个问题设计并实现的.实验结果证明了该方法的可行性和优越性.

摘要：农业项目管理是一个系统工程,有很多课题需要研究和探讨。现结合工作实际,谈一点体会。 项目可行性研究,必须科学。项目规划设计必须科学,工程内容、布局要合理,资源配置要优化,项目建设要能发挥良好的经济效益。因此,必须从项目地区的实际出发,要对项目地区的社会经济状况、气候、土壤、水利、交通、通讯、

摘要：为了解夏热冬暖地区绿色建筑运行后实际能耗和室内环境品质,文章详细介绍了该气候区内绿色建筑主要技术的应用情况及应用效果。选取位于该气候区内共11个获得绿色建筑认证的办公建筑,通过调研实际能耗,结合用户主观问卷调研,与常规办公建筑的能耗和室内环境品质主观满意度进行了对比研究。结果表明,对于A类办公建筑,绿色建筑与常规建筑无明显差异,均略低于引导值;对于B类而言,绿色办公建筑的总能耗显著低于常规办公建筑,但与能耗指标相比二者能耗均较高,是建筑节能工作的重点。在室内环境品质满意度方面,用户对绿色建筑的满意度明显高于常规建筑,在空气品质和室内环境控制上尤为明显,光环境的差异则更多是归因于天然采光的设计,而非人工照明的优化。最后通过一个案例从节地、节能和室内环境等3个方面全面地介绍了适宜于夏热冬暖地区的绿色建筑设计。

摘要：程海是云南省九大高原湖泊之一,是滇西北重要的生态安全屏障。近年来,程海的治理已取得一定成效,但水位逐年下降,水体污染等问题依然突出,若不及时加强保护治理,将严重影响当地社会经济的可持续发展。目前,关于程海保护治理的研究较少。研究人员在深入调查程海流域自然地理条件的基础上,阐述了现阶段程海保护治理的情况,并总结了程海保护治理过程中存在的主要问题,最后提出了加强程海流域空间管控、加强水资源保护、加强水污染防治、加强水环境整治、加强水生态修复等对策。程海保护治理是一项涉及面较广的系统工程,应采取"一湖一策"的方式持续推进。