搜索筛选:
搜索耗时0.8555秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：1991
Minty算法和Mayeda—Seshu算法是求无向连通图树清单的两个直观算法,它们都比矩阵算法节省计算时间。然而,它们仍然较复杂。本文分别对这两个算法提出了改进措施,大大降低了...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2001
研究一个极小不可满足公式子类(MAX(1))的等价结构.考虑了MAX(1)上的变元改名问题和文字改名问题.此两个问题均可在O(nlog2(n))时间内可解....
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2001
根据Valiant图论方法给出的矩阵行列式定义.证明了图论意义下的Laplace定理....
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：1998
本文建立了课程安排问题的数学模型，给出了课程安排优劣的量化评价方法。...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：1993
就张钹等提出的时间规划的关系矩阵法,提出一个简化方法,这里不再分时间关系的单成分与多成分。简化后的方法对一般情形有效,而且不再考虑相容集,由此算法可以求出所有可能的...
[学位论文] 作者：许道云,
来源：南京大学 年份：2002
一个变元改名是一个关于变元的置换,一个文字改名是允许某些变元变换到它的补的变元改名,一个同态则是允许不同文字变换到同一文字的文字改名.该文研究了极小不可满足公式的...
[会议论文] 作者：许道云,
来源：全国第五届计算机辅助生产管理学术会议 年份：1999
该文建立了一个决策优化模型的遗传算法，提供了一种生产管理中实用而有效的决策优化方法。通过适当的修改，对其他优化模型仍然有效。...
[期刊论文] 作者：杨明华,许道云,
来源：情报业务研究 年份：1993
...
[期刊论文] 作者：陶朱,许道云,
来源：贵州大学学报：自然科学版 年份：1989
前文报道了采用 Yang—Hongen 方法,从四种机理假设建立了十三个竞争功力学方程。本文则重点解决从上述竞争方程中识别出能适应于以云南硅藻土为载体的钒催化剂上 SO_2氧化机...
[期刊论文] 作者：许道云,杨明华,
来源：贵州大学学报：自然科学版 年份：1993
本文叙述了 PRECIS的基本概念和PRECIS的汉语移植。解决了PRECIS应用于汉语中的实际问题。给出了汉语PRECIS的算法,并在PC机上用Turbo C语言实现。该系统具有良好的用户界面,...
[期刊论文] 作者：许道云,杨明华,
来源：贵州大学学报：自然科学版 年份：1994
本文就PRECIS移植到汉语后的情形提出了所有算法设计.系统已用TURBOC编制而成,汉语文献的标引结果令人满意....
[期刊论文] 作者：许道云,丁德成,
来源：Science in China(Series F:Information Sciences) 年份：2002
This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-nor...
[期刊论文] 作者：邹阳,宁卓,许道云,,
来源：黑龙江科技信息 年份：2000
本文通过对荣华二采区10...
[期刊论文] 作者：许道云,周沛,聂堂钊,,
来源：贵州大学学报(自然科学版) 年份：1994
本文就自平方复函数z→z~2+c生成的Fractal在计算机上的处理进行了广泛讨论.形成了一个完整的Fractal图形生成系统.系统由Microsoft c 6.0编制而成,可对形如Z_(n+1)=f(z_n)的复变换进行作图分析.......
[期刊论文] 作者：许道云,丁德成,张明义,
来源：软件学报 年份：2001
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的...
[期刊论文] 作者：许道云,丁德成,张明义,
来源：软件学报 年份：2001
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小...
[期刊论文] 作者：邹阳,宁卓,张明义,许道云,
来源：计算机科学 年份：2002
1引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的"逻辑和数据库"会议.而在此之前,逻辑程序和数据库技术是并行发展的.两者之间的成功汇流得益于日本的...
[期刊论文] 作者：邹阳,宁卓,许道云,张明义,
来源：贵州大学学报(自然科学版) 年份：2000
计算机网络通信过程中 ,在一定的网络状态下 ,不同的通信任务对QoS的要求不同 ,相应地 ,其路由选择策略也不同 .为了描述路由选择的QoS ,本文引入了两个相关函数 .并在此基础...
[期刊论文] 作者：陶朱,许道云,陈尔淦,刘敏,,
来源：贵州大学学报(自然科学版) 年份：1989
前文报道了采用 Yang—Hongen 方法,从四种机理假设建立了十三个竞争功力学方程。本文则重点解决从上述竞争方程中识别出能适应于以云南硅藻土为载体的钒催化剂上 SO_2氧化机...
相关搜索：
