高炉异常炉况判断专家系统的设计与实现

探讨了高炉异常炉况判断专家系统的结构,讨论了从传感器数据中抽取高炉况特征的方法,时态黑板结构与时间知识表示,对于炉况特征的模糊量化和专家知识中的参数设定,系统采用机器学习方法自动调整,对于高炉异常炉况的操作方法,系统采用规划－动作－反应方法向用出动国作建议,并对所动作动作建议实现实时的重构解释。     

高炉专家系统知识表达方法

分析了高炉炉况知识的特征。对各种知识表达方法进行了具体的分析并给出了实例,提出了采用“产生式规则＋框架＋语义网＋神经网络＋过程”的综合知识表达方法。     

关于序半群的半格同余

Ｎ．Ｋｅｈａｙｏｐｕｌｕ教授在「１」中提出“ｐ０－半群上的半格同余‘Ｎ’是否为去掉最小半格同余”的问题。本文引进半格同余ｎ,证明存在ｐ０－半群Ｓ,Ｓ,上的半格同余ｎ∩→上的半格同余ｎ∩→Ｎ,给出该问题否定回答。     

长江河口海岸演变长周期波动的初步研究

长周期波动作为一种地貌演变现象在河口海岸地区广泛存在,在长江河口,表现为长江河口水下三角洲及长江河口拦门沙地形的波动变化。而在杭州湾北岸,它又以“侵蚀波”的形式来影响岸滩的冲淤演变,本文试图通过揭示人在的动力机制来综合分析春在典型河口海岸演变中的表现。．     

一个课题的数据管理系统的设计

本文讨论了对“河西走廊荒漠绿洲交错区草地培育优化生态模式研究”课题中的数据建立数据管理系统的主要设计思想,并给出了该数据管理系统的主控模块程序清单。     

以体系可靠度为目标的结构设计

在针对现行结构设计方法不足的同时．论述了以体系可靠度为目标的结构设计是今后结构设计的发展趋势,并提出了"调整截面抗力设计法"以合理分配和调整结构体系各主要失效机构的可靠度。     

笔段型液晶显示器图形基元的计算机辅助设计系统

利用AutoLIST语言编程,对AutoCADR12系统进行二次开发,开发出绘制笔段型液晶显示器图形基元的计算机辅助设计系统"BJ"．使人机交工绘制基元图形的过程,转化为通过给定设计参数,自动生成基元图形的过程。节省了作图时间,降低了繁琐作图过程对菲林设计的干扰。     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.     

电路CAI系统回路法通用程序设计

文章简要介绍了电路CAI系统软件中使用较多的回路电流法通用程序的设计思想及程序流程.     

关于极大极小定理的一点注记

本文证明了关于Von Neumann型极大极小原理的许多结果,可作为论文“不动点型极大极小定理的一点推广”的直接结论。