知识库组织和目标求解模型

本文讨论知识库的组织和目标求解.首先用一个知识从属—调用图(KSIG)表示知识库,提出目标求解算法,并证明了生成的目标解树与SDL树中成功路径的等效性.然后提出充要搜索图和解树基等既念,进而建立了能有效地进行目标求解的知识库组织模型KBGS,使求解时只搜索必要的节点.     

有向图存在Hamilton圈的必要条件

应用随机过程理论——马尔柯夫链,我们得到有向图存在Hamilton圈的必要条件。一个不可约有向图(?)=(V,E)具有周期d,|V|=n,V能分解成V=C_1+C_2+…+C_d且C_k,K=1,2,…,d,是不相交的非空循环类。如果|C_k|不等于n/d,那么有向图不是一个有向的Hamilton图。     

DB型高压溢流阀动态特性的数字仿真

对德国DB型高压溢流阀用键合图和状态空间法建立了数学模型,并在计算机上对其动态过程进行了模拟仿真,仿真结果在各种条件下与实验结果都基本相符。     

随机完全图中某些子图的概率分布极限定理

设k(n,l,t)表示随机l边着色完全图K_n中单色完全子图K_l的个数.c(n,l)表示随机竞赛图T_n中1圈的个数.用k(n,l,t)或c(n,l),则■的分布趋于标准正态分布。     

表面活性剂的亲水亲油平衡值

本文研究了商品表面活性剂的亲水亲油平衡值(HLB值)与化学结构的关系,给出了HLB值关系曲线,可供快速查阅表面活性剂的HLB值.     

多重乘积图的联结数及其极限性质

本文证明了路与回路的多重笛卡尔乘积的联结数的一个定理,并给出了若干多重乘积图的联结数的极限性质。     

（P,P）图的可嵌性定理

设G是一个简单无向图,称G是(P,P)图,如果|E(G)|=|v(G)|.若G同构于6某个子图,则称G可嵌入6,本文用极其简捷的方法证明了:阶数大于9的(P,P)图可嵌入其补图内的充要条件是G不和图(1)中的任一个图同构。     

基于Mathews稳定图法的采空区稳定性评价

针对赤峰红岭铅锌矿多年开采遗留下的80个未处理的采空区问题,通过对该矿山工程地质调查、矿岩力学试验,获取了表征矿山岩体质量的多种指标.依据获取的矿岩力学指标,利用Mathews稳定图法计算出试验采空区的稳定数和水力半径,并通过重新绘制的Mathews稳定图和等概率图的合成图,评价出采空区的稳定性以及稳定概率.利用FLAC~(3D)对试验采空区进行数值模拟,结果与利用Mathews稳定图法评价的结果一致.对不稳定采空区进行了参数优化,并对不稳定采空区提出了支护措施.可通过该方法对红岭铅锌矿所有采空区进行评价,并可为类似矿山提供参考.     

一些拉普拉斯谱确定的图

如果与图G同拉普拉斯谱的图都与图G同构,则称图G由它的拉普拉斯谱确定.给出了三类基图为B(P_3,P_3,P_3)(即连接2点的3条长为2的内不交的路)的连通二部双圈图类H(n;n_1),H(n;n_1,n_2)和B(n;n_1,n_2).证明了H(n;n1),H(n;n_1,n_2)和B(n;n_1,n_2)是拉普拉斯谱确定的,且与完全图经并接运算后所得图也是拉普拉斯谱确定的.