用PROLOG实现数据库智能检索系统DBINRES

本系统将人工智能技术与数据库技术结合起来,建立逆向演绎的推理机构,实现数据库智能检索。采用“分类树”技术组织数据库;应用最小平方估计法建立有效的启发式评价函数,在此基础上变传统的深度优先搜索为启发式图搜索,从而有效地提高了系统的效率。由于采用MICRO-PROLOG语言编制,本系统具有较强的逻辑推理与检索能力。     

推广的多传感器数据的分层融合算法

针对一般线性的多传感系统，提出一种新的状态估计法即推广的分层融合算法。文中推出该系统分层融合估计的公式；指出并证明该分层融合估计所具有的性质；找出改变该系统分层融合估计精度的最根本原因；说明该分层融合估计具有一般性的特点。     

基于局部密度的单类分类器LP改进算法

为了提高基于支持域的单类分类器识别率,提出将局部密度加入到分类器设计当中。在Campbe ll等的LP算法基础上,通过k近邻方法对每个样本点引入局部密度因子pi,重新刻画了原算法,使处于不同密度区的数据对分类器的作用不再被同等对待,高密度区的数据对分类超平面作用被强化,而低密度区的数据被削弱,结果使分类超平面自动靠近高密度区而提高了识别率。真实数据集上的实验结果表明,引入局部密度的D-LP算法其泛化性能较原算法有较大提高。     

二维物体相交检验的线性四叉树方法

在物体的平面布局问题中，判别两个物体是否相交是一个难点，以往的方法数据结构不统一，计算量大，算法复杂，本文首先讨论了二值图象的线性四叉树的表示及其有关术语和性质，然后在此基础上首次提出了二维物体相交检验的线性四叉树方法及其实现的算法，最后进行了算法的时空分析，与以往的方法相经，本文所提方法具有数据结构统一，算法简单，时空效率高等优点。     

RESEARCH ON THE LOCAL BLOCKAGE OF A TRANSPORTATION NETWORK AND ITS MINIMUM FLOW CAPACITY

ＲＥＳＥＡＲＣＨＯＮＴＨＥＬＯＣＡＬＢＬＯＣＫＡＧＥＯＦＡＴＲＡＮＳＰＯＲＴＡＴＩＯＮＮＥＴＷＯＲＫＡＮＤＩＴＳＭＩＮＩＭＵＭＦＬＯＷＣＡＰＡＣＩＴＹＮｉｎｇＸｕａｎｘｉ（ＩｎｄｕｓｔｒｙａｎｄＢｕｓｉｎｅｓｓＣｏｌｌｅｇｅ，ＮＵＡＡ２９ＹｕｄａｏＳ...     

RESEARCH ON THE BLOCKING FLOW IN A TRANSPORTATION NETWORK──THE GENERAL CONCEPTS AND THEORY OF THE BLOCKING FLOW

ＲＥＳＥＡＲＣＨＯＮＴＨＥＢＬＯＣＫＩＮＧＦＬＯＷＩＮＡＴＲＡＮＳＰＯＲＴＡＴＩＯＮＮＥＴＷＯＲＫ──ＴＨＥＧＥＮＥＲＡＬＣＯＮＣＥＰＴＳＡＮＤＴＨＥＯＲＹＯＦＴＨＥＢＬＯＣＫＩＮＧＦＬＯＷ￥ＮｉｎｇＸｕａｎｘｉ（ＩｎｄｕｓｔｒｙａｎｄＢｕｓｉｎｅｓ...     

关于微分方程的有理式解的存性问题

许多非线性微分方程一般都是不可积的，例如Ｒｉｃｃａｔｉ方程。本文主要利用在文［４］中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算子矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出求有理式解的具体方法。本文的结果对研究Ｒｉｃｃａｔｉ方程的特解以及可积性等问题具有重要意义，并推广了文［３］中收集的相应结果，且以此为特例     

高频功率放大器的计算机计算和分析程序(RFPACCA)

本文介绍了高频功率放大器的计算机计算和分析程序,详细说明了高频功率放大器过压工作子程序的编制原理,同时给出了计算实例。     

模糊控制在导弹瞬态气动热流试验中的研究

导弹与高速飞行器气动模拟试验瞬态热控过程的特点是变化复杂、瞬变、高度非线性、强耦合,很难或者根本无法建立控制的数学模型.模糊控制具有鲁棒性好,对参数变化的适应性强,过渡过程时间短等常规控制方法所不能比拟的优点.将模糊控制方法应用于导弹瞬态气动加热模拟控制系统,使该系统能够按照导弹高速飞行过程中弹体表面热流的瞬态连续变化对气动模拟加热过程实施快速的动态控制.     

变螺距螺纹加工的参数化编程

文章阐述了变螺距螺纹加工的编程方法,探讨了用宏程序实现变螺距螺纹的参数化编程,提高了编程效率,增强了程序的灵活性和通用性。