本文研究了水蒸气-水直接接触式冷凝的瞬态传热特性,实现了水蒸气的快速冷凝回收处理。首次将蒸气状态方程应用到实验中,来分析实验过程中的水蒸气量的瞬态变化,同时对水蒸气-水直接接触冷凝实验数据库进行拓展。本实...
为了系统评价EII型旋风分离器的分离性能,探究了入口气速为6～20.5m/s,入口颗粒质量浓度为8.6～17.5g/m~3时,多管旋风分离器的分离效率和压降。结果表明:多管旋风分离器的分离效率随入口气速和入口颗粒质量浓度的增大...
面向社区信息服务的一种新型信息服务模式i-bus CNKI文献
文章介绍了从面向城市社区信息服务需求出发，提出了一种新型的信息服务模式－城市信息直通车模式ｉ－ｂｕｓ，它是一种信息资源分布，信息整合集中，以知识型信息服务为主的信息服务模型．文章还叙述相关的关键技术，...
主要介绍用人工智能专家系统技术开发的LIMDS系统的构成、功能和主要特点,及其自动标引原理、分类技术、智能检索的原理和各种方法等.
本文综述了人工智能语言发展历史,及其在人工智能研究中的地位和作用,说明了不同的人工智能语言对应于不同的逻辑系统。逻辑系统的性质决定了人工智能语言的基本特征,表达能力和执行效率。本文试图阐明人工智能语言的...
数字图书馆是当前计算机界研究的一个热点 ,本文以“上海市高校网络图书馆”为背景 ,介绍网络图书馆中所采用的系统集成技术和安全认证技术 .首先从系统集成的角度看 ,我们的方案有两个优点 :一是不影响各高校图书馆现...
肖像描写是对人物外貌的描写。要求用精确、生动、形象的笔墨以"形"传"神"。它包括人的身材、容貌、服饰、打扮,以及表情、仪态、风度、习惯性特点等等。在记叙性作品中,它是塑造人物形象,刻画人...
单行布线问题是多层印刷电路板一般布线问题的主要部分。本文是在[1]和[2]的基础上,给出了最佳的单行布线的另外两个不同的充要条件,从而第一次导出了单行布线的最佳算法。此外,由单行布线最佳算法导出的整体最佳布线...
本文给出一个高效的启发式搜索算法和有关证明。本算法的优点是搜索的时间和空间,与迷宫空间的大小无关,仅与障碍的相对位置有关。如果忽略一些次要的因素,搜索的时间和空间仅是最佳路径的线性函数。
在时间序列库中的数据挖掘是个重要的课题,为了在挖掘的过程中比较序列的相似性,大量的研究都采用了欧氏距离度量或者其变形,但是欧氏距离及其变形对序列在时间轴上的偏移非常敏感.因此,采用了更鲁棒的动态时间弯曲距...
肖辉 胡运发 《计算机研究与发展》 2005年01期 期刊
本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运...
新城疫病毒实时荧光RT-LAMP检测方法的建立 CNKI文献
新城疫是影响家禽养殖业的重大动物疫病,建立现场快速分子学检测方法是其防控关键。借助热裂解法抽提病毒RNA,在筛选出最佳核酸染料Calcein的基础上,建立新城疫病毒(NDV)实时荧光反转录环介导等温扩增(rRT-LAMP)检测法...
陈兵 胡运发... 《动物医学进展》 2014年07期 期刊
关键词： 新城疫病毒 / 实时荧光反转录环介导等温扩增 / 现场检测
下载（188）| 被引（8）
本文给出一个高效的启发式搜索算法和有关证明。本算法的优点是搜索的时间和空间,与迷宫空间的大小无关,仅与障碍的相对位置有关。如果忽略一些次要的因素,搜索的时间和空间仅是最佳路经的线性函数。
Reduction of Cycle Unification of Type Cpg+r CNKI文献
In this paper a class of cycle unification problems called type Cpg+r is studied, and an intuitive representation method, called the position supergraph, is presented to analyze or reduce the cycle p...
胡运发 《Journal of Computer Science and Technology》 1998年01期 期刊
关键词： Cycle / unification / reduction / SLD
下载（13）| 被引（0）
本文提出一种处理带等词的Horn逻辑的新方法——目标类型驱动法,它显式地把一致化操作看作目标,并且一致化操作并入归结过程之中。本方法的优点有:(1)把归结和一致化看作多类型目标的求解过程,减化了控制问题,可望提高...
关键词： 目标类型
下载（22）| 被引（0）
概念格是知识工程中一个重要的知识表达工具 ,同时也是形式概念分析的核心 目前已出现了许多有效的概念格构造算法 提出了一个基于互关联后继树的概念格构造算法 ,以扩展的互关联后继树为数据模型 ,通过对树的搜索和...
计算机的高级语言是人机对话的媒介,不同机器使用不同的语言、以人工智能为特征的第五代计算机将采用什么语言呢?《PROLOG语言和第五代计算机》一文论证了PROLOG语言和第五代计算机的关系。本文与本刊7卷7期发表的《谈...
本文提出了知识程序设计语言概念,即有实际效率能进行知识推理的知识表示语言,它有统一的逻辑基础又有当前若干有代表性人工智能语言的本质特征。本文还给出一种知识程序设计语言的有关研究内容和实际取得的进展。
汉字识别意义重大,但由于构形复杂,至今并无根本性的突破。许多汉字识别方法,不是信息量过大,就是对汉字变形的适应能力较差,因而造成失误。1973年王浩先生提出以笔划顺序为主体的键盘输入方案,以期解决汉字的机械输入...
知识库中知识含量度量是知识处理领域中的基础问题 现有的度量方式都是采用相对度量或信息熵的方式 ,度量结果具有相对性 ,并且不易体现知识本质在于分类的特性 根据知识库在结构上的差异程度 ,将知识库的相似性关系定...
