搜索筛选:
搜索耗时3.9231秒,为你在为你在102,285,761篇论文里面共找到 114 篇相符的论文内容
发布年度:
[期刊论文] 作者：马绍汉,,
来源：微电子学与计算机 年份：1988
在计算机科学研究中,管理相互冲突事件极为重要.与这类问题有关的一个图论问题是区间图的团划分性质.本文证明了如果区间图有极大团划分,则它的团复盖数、团划分数和极大团划分数三者相等.区间图有极大团划分的充要条件是它的所有极大团都无公共边.......
[期刊论文] 作者：孙伟, 马绍汉,,
来源：计算机学报 年份：1993
本文提出了博弈树搜索SSS~*算法的两种改进算法BS~*和DS~*算法,给出了BS~*和DS~*搜索博弈树端结点的充分必要条件,并由此证明了,如果能估计一个合适的上界,则BS~*算法优于SSS...
[期刊论文] 作者：马军, 马绍汉,,
来源：山东大学学报(自然科学版) 年份：1993
图G的K分割问题可描述为:输入（Ⅰ）G=（V,E）,G为简单无向图,其中|V|=n,|E|= m;（Ⅱ）a1,a2,…,ak k个G中不同的顶点;（Ⅲ）n1,n2,…,nk k个正整数满足 n1+n2+…,+nk= n.输出（V1,V2,…,Vk）,对1...
[期刊论文] 作者：谢青松,马绍汉,
来源：山东大学学报(自然科学版) 年份：1996
给出了一种新的能找出含圈与或图的最佳解图的算法，证明了其正确性，并分析了其复杂性．...
[期刊论文] 作者：孙伟,马绍汉,
来源：计算机工程与科学 年份：1997
本文给出了约束满足问题网络弧相容的两上并行算法ＰＡＣ－１和ＰＡＣ－２。...
[期刊论文] 作者：印洪泽,马绍汉,
来源：小型微型计算机系统 年份：1994
本文介绍了基于ＤＥＣｎｅｔ，在ＶＡＸ／ＶＭＳ下开发的为保证系统安全可靠运行的一种冗余结构的ＶＡＸ双机备用系统，此系统由双机互栽软件实现，不需专用硬件设备，可实现双机手动、自动切换，可靠性强。......
[期刊论文] 作者：贺红, 马绍汉,,
来源：计算机科学 年份：2002
最近十几年来,国际上对随机算法(randomized algorithm)的研究有了巨大进展.在此期间,随机算法从一个计数理论的工具发展到今天在许多类型的算法中都得到了广泛应用,显示了随...
[期刊论文] 作者：吴晔,马绍汉,
来源：计算机学报 年份：1997
本文介绍了赋权诱导推理的基本概念及其求解算法复杂性研究的现状。诱导推理在人工智能领域有广泛的应用前景，但现有的求解算法都未能从根本上排除ＮＰ－难解性的困扰，本文考虑了其中......
[期刊论文] 作者：孙伟,马绍汉,
来源：计算机研究与发展 年份：1994
本文给出了满足三角不等式的货郎担问题的并行启发式算法，在ＳＩＭＤ ＣＲＥＶ ＰＲＡＭ并行机上该算法使用Ｏ（ｎ＾３／ｌｏｇ＾２ｎ）台处理器需Ｏ熄ｌｏｇ＾２ｎ）时间，这里ｎ是给定城市的个数，因而该并行算法是最优的。......
[期刊论文] 作者：张宏,马绍汉,
来源：计算机研究与发展 年份：1995
在实际生活中经常会遇到利用已知的一些事实来解释观察到的现象问题，其推理方法可分为演绎、诱导和归纳。在已知的事实中往往会有矛盾的知识存在，利用这些含有矛盾的已知事实来......
[期刊论文] 作者：马军,马绍汉,
来源：计算机研究与发展 年份：1995
在有向赋权图Ｇ＝（Ｖ，Ｅ，ＣＯＳＴ）上，给出了求解以每个顶点为根的向前／向后最短路径树（ＦＢＳＰＴ）算法。当Ｇ中的边被删除或边权增加时，证明了在这种情况下，不可能存在高效的对ＦＢＳＰＴ的修改算法；而对边添加和边权减少的情......
[期刊论文] 作者：马军,马绍汉,
来源：计算机研究与发展 年份：1994
在ＭＩＭＤ－ＳＭ并行计算模型上，本文给出了时间复杂性为Ｏ（ｎ（ｎ／ｐ＋ｌｏｇｐ））的最小生成树的异步并行算法，其中ｎ，ｐ（１≤ｐ≤ｎ）分别表示图的顶点数和处理机的个数。......
[期刊论文] 作者：周大水,马绍汉,
来源：计算机研究与发展 年份：1997
本文提出了实现冗余磁盘阵列类型１的四种策略，其中两种为同步ＲＡＩＤ１两种为异步ＲＡＩＤ１。并以排队论中Ｍ／Ｇ／１排队模型为工具，详细研究了四川策略珠Ｉ／Ｏ性能。结果表明，其中三种实现策略的平均Ｉ／Ｏ响应比单台磁......
[期刊论文] 作者：马绍汉,孙伟,
来源：山东大学学报：理学版 年份：1991
本文给出了一类树问题的快速并行算法.这些问题包括:求树中任意两顶点之间的路径和路径长度、求所有顶点的深度等.以这些基本算法为基础,给出了求树中任意两个顶点的最小公共...
[期刊论文] 作者：马军,马绍汉,
来源：高技术通讯 年份：1995
分析了单纯用产生式规则与单纯用人工神经网络设计专家系统各自的优缺点，指出同时使用产生式规则与人工神经网络来设计专家系统，能使专家系统应用到更广泛的领域中，并提出了三种......
[期刊论文] 作者：马军,马绍汉,
来源：软件学报 年份：1995
本文给出一种对Ａｄａ并行程序的流程图分析法，该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出地程序中存在的死锁，并能启发如何消除死锁。并行流......
[期刊论文] 作者：马绍汉,王云,
来源：计算机学报 年份：1989
本文给出了判定阈图是否为哈密顿图的多项式时间算法,并证明了阈图上STEINER树问题是NP-完全的,给出解答它的多项式时间近似算法。...
[期刊论文] 作者：马绍汉,孙伟,
来源：计算机学报 年份：1996
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状。近年来，提出了许多方法进行命题知识库的更新，一类是基公式的方法，一类是基于模型的方法，但所有这些方法在通......
[期刊论文] 作者：马绍汉,王锐,
来源：计算机学报 年份：1989
著名的Steiner树问题是,给定图G=(V、E),QV,在边集E上定义权函数f:E→Z~+,要求在图G上找一子树T=(Y,U),使得QY且 ∑_(c∈U)f(e)达到极小以后,我们称该问题为ST问题,R.M....
[期刊论文] 作者：马军,马绍汉,
来源：软件学报 年份：1995
本文给出了计算图的所有顶点间的距离矩阵Ｄ及最短路径矩阵Ｐ的一串行和异步并行算法，利用上述结果，又得到其他图论问题的高效异步并行算法，并介绍了用ＡＤＡ语言对异步并行算法实现的主要......
相关搜索：
