嘉陵江干流上第一颗闪烁的明珠——蓬安马回航电工程运行正常

四川省蓬安马回水电站是南充地区地、县联办的“发电为主、兼顾航运”,综合开发的水电枢纽工程,是利用外资(奥地利政府混合贷款)引进主机设备的省地重点建设项目。电站位于蓬安县城11km的嘉陵江干流上,它利用嘉陵江绕马回乡17km,形成自然水头5.4m,而颈部直线距离仅640m的自然地形和丰富的水力资源,截弯取直,筑坝开渠引水发电,建船闸通航。该工程总投资3亿元,装机容量4.6万kW。     

10Mbps共享以太网升级方案

本文讨论了快速型以太风和交换式以太网的介质使用及网络直径限制，设计了几种在冰同应用环境下的１００Ｍｂｐｓ共享以太网长级方案。     

Prolog中的结构化程序设计思想

本文介绍Ｐｒｏｌｏｇ中的结构化程序设计思想，并给出３种基本结构的实现方法。     

一种用于逆向推理的Prolog元级解释器

本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。     

Prolog正向推理机中否定谓词的处理

根据，能否和某一规则的规则头相匹配．将not(X）分为两类并分剐进行处理：—类是X不能和任意一条规则的规则头相匹配，X为真，则将not(X）做为一项事实处理；另—类是X能和某—规则的规则头相匹配．此时X的真假不能确定．为了处理这类情况．我们提出了假事实推理法，从而有效地处理了Prolog正向推理机中的否定谓词．     

Prolog模糊推理机

本文采用基于模糊集合论的推理策略，为Ｔｕｂｏ Ｐｒｏｌｏｇ设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。     

浅论解释学习

本文讨论了基于解释的学习方法，分析了该方法的估优缺点，指出了今后表待进一步探究的问题。