公共文化服务平台

“CAU”词及其知识图分析被引量：2: 2002年; 专家系统是人工智能研究领域的一个重要研究分支。专家系统主要由两部分组成 :知识库和推理机。知识库中的知识主要由“IF—THEN”这样的知识组成。知识图是一种新的知识表示方法。在知识图中 ,含有“IF—THEN”结构的句子是由起因操作符 (causaloperator)或起因关系 (CAU relation)表示的。本文挑选了一些具有一定代表性的起因意义的汉语“CAU”操作符 ,并且基于知识图理论分析了这些操作符 ,并进行了分类 ,目的是为专家系统中知识库的建立做准备。; 刘小冬张蕾; 关键词：专家系统知识图知识库人工智能知识表示文本抽取

一类串图的优美性(英文)被引量：7: 2005年; 给出了一些图的优美标号,特别给出了串图ω_(m_1,M_2…,m_n,m_(n+1))当m_1,m_2,…,m_n≡0(mod4),m_(m+1)≡3(mod4)的优美标号,以及串图ω_(m_1,m_2,…,m_(2n))当m_i≡2(mod4)(i=1,2,…,2n),m_(2k-1);; 付明彦刘小冬王力工杨东升; 关键词：优美图交错图

任意n个完备二分图的并图的优美性被引量：1: 2006年; 优美图是图论中的一个重要分支,至今对非连通优美性的研究并不多,特别是对n个图的并图的优美性研究就更少.本文证明了任意n个完备二分图的并图是优美图,且是交错图.; 付明彦刘小冬王力工杨东升; 关键词：非连通图优美图交错图

有向图n·■_9的优美性被引量：7: 2005年; 设Cm表示具有m个顶点的有向圈,n·Cm表示由仅具有一个公共顶点的n有向圈Cm组成的有向图.1994年杜之亭,孙惠泉在证明了n·C2p(n≡0(mod2))是优美图的基础上提出猜想"n·C2p+1(n≡0(mod2))是优美的",之后,很多学者在这方面做了大量的工作,并分别证明了猜想对于p=1,2,3是成立的.本文证明了猜想对于p=4(即有向图n·C9(n≡0(mod2))也是成立的,并且给出了三种不同的优美标号.猜想对于任意正整数p是否成立,仍然是个公开问题.; 刘小冬付明彦王力工杨东升; 关键词：优美图优美标号

单机排序1|sp-graph|∑w_j(1-e^(-rC_j))的最优算法被引量：4: 2004年; 研究约束条件为串并有向图的单机加权总折扣花费问题,通过证明在考虑折扣因子的条件下,模块M的ρ因子最大初始集合I中的任务优先于模块M中的其他任务加工,并且被连续加工所得的排序为最优排序,从而将Lawler用来求解约束为串并有向图的单机加权总完工时间问题的方法推广到这个问题上。; 成龙刘小冬杨斌鑫; 关键词：单机排序目标函数

图U∧C_(4,m_i)from i=1 to n的优美性被引量：7: 2006年; 优美图是图论中的一个重要分支,至今对非连通优美性的研究并不多,特别是对n个图的并图的优美性研究就更少.本文证明了一类任意n个二分图∧C4,m的并图4,1inmiC=U∧是优美图,且是交错图.; 台炳龙刘小冬王力工; 关键词：非连通图优美图交错图

ω_(m_1,m_2,…,m_n)图的优美性被引量：3: 2006年; 本文定义了一类特殊结构的图ωm1,m2,L,mn,证明了当m1,m2,L,mn≡0(mod4)时,ωm1,m2,L,mn是优美图和交错图.它是一类优美图n-C4m=4,4,,4ω1m44m2L443m的推广.; 付明彦刘小冬王力工杨东升; 关键词：简单图优美图优美标号交错图

变量带简单界约束的凸规划一个域分解算法被引量：2: 2004年; In this paper, we present a decomposition method to solve minimization problem of convex function with box constraints. In the method, the feasible regionis decomposed into a series of simplice and iterating the optimal solutions in thesimplex to the optimal solution of the original problem. In addition, we also carryout some numerical experiments and obtain fairly good numerical results.; 刘小冬彭国华; 关键词：凸规划非线性规划向量

单机排序问题|r_j,prmp| ∑w_j(1-e^(-ac_j)) 的动态在线调度被引量：5: 2004年; 本文首先一般化了可中断的概念,并建立了相应的中断—安装重复模型,然后研究了单机排序问题1|rj,prmp| wj(1-e-acj)在中断—重复和中断—安装重复模型下的动态在线排序问题,给出了只考虑当前可用信息而不是考虑全部任务信息的在线调度规则。; 杨斌鑫刘小冬成龙; 关键词：单机排序问题运筹学

正定二次规划的一个区域分解算法被引量：1: 2003年; 给出了一个求解正定二次规划的区域分解方法。首先证明了任何一个正定二次规划问题与一个有界区域上的正定二次规划问题是等价的。然后,依据一定的准则将有界区域分解成一系列的单纯形,通过求解每个单纯形上正定二次函数的最优解,迭代到原问题的最优解。该方法有很明显的优点:①求解单纯形上目标函数的最优解是一个无约束正定二次规划问题;②构造单纯形是通过求解线性规划问题得到。算例表明,本算法是有效的。; 刘小冬刘哲张蕾; 关键词：正定二次规划单纯形最优解

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

中国航空科学基金(01J53079)