Now showing items 1-20 of 471

    • 原油蒸馏过程换热网络的最优操作 

      曾文华; 高铃畅; 周春晖 (石油炼制, 1989)
      本文研究了原油蒸馏过程换热网络的最优操作。针对上海高桥石化公司炼油厂号 原油蒸馏装置换热硫程的特点, 通过建立加热炉冷进料段的热平衡模型, 提出了考虑加 热炉冷进料影响的整个换热过程最优操作问题。这是一个具有个优化变量的非线性规 划间题。操作优化间题的求解是在对换热过程进行综合模拟的基础上进行的。对现场操 作数据的优化计算结果表明, 换热网络的终温可以提高3℃左右。
    • 原油蒸馏过程换热网络——加热炉联合系统的最优操作 

      曾文华; 高矜畅; 周春晖 (炼油化工自动化, 1990)
      〕本文研究了原油蒸馏过程换热网络一加热炉联合系统的最优控制问题。首先分别讨论换热网络和 加热炉的最优操作间题, 在此基础上, 考虑到这两个系统之间存在的关联, 提出了换热网络一加热炉联合系 统的最优操作问题。在应用大系统分解协调理论求解该问题时, 针对系统之间的特殊性, 提出了一种新的协 调算法—预估平衡协调法。由某炼油厂大型原油蒸馏过程换热网络一加热炉联合系统的仿真结果表明, 本文 提出的最优操作方法将带来显著的节能效果。
    • 一个多机环境中的Ada 编译系统 

      郭福顺; 廖明宏; 黄仲伟; 罗听 (小型徽型计算机系统, 1991-11)
      PC单机上的Ada编译系统未能充分发挥并发多任务的优势% 我们对该 编译及其运行系统做了改造, 在四台PC机所构成的多机环境中实现了任务的分布 和并行执行.本文即讨论这方面的技术问题.
    • Rete匹配算法在知识库机中的实现方案’ 

      郭福顺; 张学海; 程退安; 廖明宏 (小型徽型计算机系统, 1992-09)
      Rete算法是目前公认的用于产生式来统的高速匹配算法。本文根据rete算法的主妥特点, 提出在知识库机中实现rete算葬法的方案, 并讨论了该方案中的流水 匹配等技术问题, 目的在于提高匹配效率, 从而加快产生式系统的执行速度。
    • OPS_5并行点火推理模型MES-1 

      张学海; 程退安; 郭福顺; 廖明宏 (计算机学报, 1992-11)
      并行点火是并行处理产生式系统的重要内容之一本文依据产生式规则的数据依赖图, 较详细地剖析了OPS-5, 并行点火时法现的相关问题, 并提出一种相关测试算法以及一种按顺接最大相容子集来循环划分规则的方法, 旨在获得最大的并行点火效益.此外, 本文还提出了OPS_5 , 并行点火推理模型机上的模拟方法MES-1以及在Von Neumann机上的模拟方法, 最后, 对MES-1做了评价.
    • 知识库操作语言的设计与实现 

      廖明宏; 郭福顺; 程退安; 张学海 (小型徽型计算机系统, 1993-04)
      知钦库机是管理知识库来统的专用机, 知识库操作语言(KBL)是为用户 提供对知识库机进行组织和管理的语言工具. 本文介绍一个知识库机的设计并重点讨 论它的知识库操作语言的设计与实现。
    • 大型原油蒸馏过程能量全局优化控制策略 

      曾文华; 高衿畅; 周春晖 (石油化工自动化, 1994-01)
      本文研究了大型原油蒸馏过程能量全局优化控制问题。通过对原油蒸馏装置备用能环节能量传递关系的分析,将全装置能量系统分解为四个能量子系统。在对常压塔、减压塔、换热网络和加热炉等四个能量子系统优化控制问题求解的基础上,运用大系统理论分解协调的原理,求解了原油蒸馏过程的能量全局优化控制问题。对某炼厂大型原油蒸馏装置现场操作数据优化计算结果表明,本文提出的能量全局优化控制策略将使装置的总能耗降低8.46%。
    • 2-3 查找树: 概念、算法和分析 

      郭福顺; 廖明宏; 李莲治; 刘桂英 (哈尔滨工业大学学报, 1994-08)
      从抽象数据类型的观点提出2-3查找树的概念, 给出一系列与集合运算有关的算法, 包括求并集、交集、差集, 测集合包含关系等, 并分析算法的时问复杂性。结果表明, 它比二元查找树更为有效。 。
    • 并行知识库机的知识划分及其推理 

      廖明宏; 郭福顺; 程退安 (小型微型计算机系统, 1994-12)
      并行知识库机是一种未用并行处理技术来提高大规模知识库系统性能的专用机。其中, 知识的划分及并行推理模型是两个关健问题。本文以产生式来统作为并行知识库机的基本知识表示方法, 重点讨论产生式系统的划分和并行推理问题。
    • Ada程序的一种并行分解策略 

      李莲治; 廖明宏; 郭福顺; 黄仲伟 (哈尔滨工业大学学报, 1994-12)
      提出一种对, Ada程序进行大粒度并行分解的策略, 其实现可在单机原有,ADa编译系统的基础上经过改造、扩充而成。根据这一策略实现的软件系统己安装在两种多机环境中。
    • 智能网的多微机并行推理系统的研究 

      廖明宏; 刘文涛; 杨婷 (数字通信, 1995-04)
      智能网络(intellegent network,IN)是计算机网络研究领域的一个新方向, 它要求计算机网络能够提供“ 操作 智能化”和“ 服务智能化” 。 A1型IN是由智能工作站(Intellgent workstation,IW)构成的智能网络 。 本文以中日国际合 作开发研究的A1型为背景, 重点讨论IW的多微机并行推理系统MMPIS的设计与实现
    • 产生式系统的关系数据库实现 

      廖明宏; 郭福顺 (小型微型计算机系统, 1995-12)
      产生式系统是一种广为使用的知识表示方法。但随着知识库规模的不断增大, 其知识的组织与管理越来越困难, 从而直接影响系统的推理效率。本文采用关系数据库技术, 对产生式系统进行改进, 以此提高大规模产生式系统的运行效率.
    • 水轮泵全性能计算机辅助测试试验研究 

      梁健维; 马栋棋; 林坤辉 (1996)
      在水轮系能量试验台的基础上,研制一套集液压、微电子、可控硅整流,软件工程于一体的计算机辅助测试系统,实现了对水头、过流量、出水量、扬程、功率、转速计算机辅助测试及特性曲线绘制.该系统可对水轮泵进行全性能测试,为水轮泵内特性的研究提供依据.
    • 基于TRANSPUTER多机系统的研究与设计 

      王开慧; 程退安; 郭福顺; 廖明宏 (计算机工程与科学, 1996-03)
      并行知识库机是利用多机系统的并行性提高知识库系统推理效率的专用机。我们研制的并行知识库机由前后端机组成。其中,前端机是一台486微机,而后端机是基于Transputer的多机系统。本文重点研究后端机的拓扑结构、与PC的借口和存储器的设计问题
    • Research and Design of Parallel Knowledge Base Machine-PKBM95 

      郭福顺; 廖明宏; 宋震; 吴志刚 (哈尔滨工业大学学报, 1996-04)
      Parallel knowledge base machine PKBM95 is a kind of special computer which is designed to improve the inference capability of production systems.It hardware architecture is a multiprocessor,consisting of one microcomputer ...
    • 一台并行知识库机的推理模型和通讯同步机制 

      郭福顺; 廖明宏; 宋震; 程退安 (小型微型计算机系统, 1996-10)
      并行知识库机是一种用于提高知识库来统推理效率的多机系统。本文利用POST模型来形式化它的并行推理模型和操作规范7 为保证系统的正确性和可靠性, 还重点讨论它的通讯一同步机制。
    • 杭州市信息化工程建设中应注意的几个问题 

      曾文华 (杭州科技, 1997-04)
      当今世界正步入信息化的时代,美国在1993年就首先提出了建设“国家信息基础设施”(Nil)的计划.我国从1993年开始实施“金”字号工程的建设,在“国民经济和社会发展‘九五’计划和2010年远景目标”中,中央又提出了加速国民经济信息化建设的任务.1996年,国务院成立了信息化工作领导小组.各省、市、自治区信息化工作领导小组也相继成立,杭州市也于1996年9月成立了信息化工作领导小组.作为经济、文化、社会进步等比较发达的东南沿海省会城市— ...
    • 二元概率型算子族的收敛定理 

      曾晓明 (厦门大学学报( 自然科学版), 1997-05)
      利用随机向量构造了一类二元概率型算子族, 并利用量化的Poisson 极限定律和概率 分布的性质给出这类算子族的收敛阶估计.
    • 自制实验设备, 提高计算机硬件系列课程实验教学水平 

      曾文华; 孙小平; 王云仙 (实验室研究与探索, 1998)
      通过自制新一代的计算机实验设备, 有效地提高了计算机硬件系列课程的 实验教学水平。
    • 蓄电池组自动测试与分析系统的研制 

      严义; 包健; 曾文华 (测控技术, 1998)
      蓄电池组的计算机自动测试技术是近几年发展起来的 新技术, 本文从蓄电池测试原理出发介绍一种由微机系统与 单片机结合的蓄电池组自动测试与分析系统的总体结构 、 系 统组成及系统软硬件设计。