许道云
【姓名】 许道云
【职称】 教授;
【研究领域】 计算机软件及计算机应用;数学;自动化技术;
【研究方向】 计算复杂性和可计算分析
【发表文献关键词】 关系的性质,闭包,算法,分段线性函数,标准正交系,一致收敛,完备性,概率可验证明,矩阵可逆,随机数码,非空集合,神谕数码,测试系统,离散数学,正交函数系,三角形函数,元素,直观表示,对称性,验证者,可...
【工作单位】 贵州大学
【曾工作单位】 贵州大学;
【所在地域】 贵州贵阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/146 64 128 44 480 20817
中国期刊全文数据库    共找到145篇
[1]王晓峰;于卓;周锦程;许道云;.随机均衡正则恰当(2s,k)-SAT问题的可满足相变[J]华中科技大学学报(自然科学版).2022,(02)
[2]赵姣珍;许道云;.公理化定义矩阵行列式的性质推导[J]贵州大学学报(自然科学版).2022,(02)
[3]雷莹;许道云;.一种合作Markov决策系统[J]计算机技术与发展.2020,(12)
[4]王南;许道云;.针对弱边缘信息的左心室图像分割算法[J]计算机工程与应用.2020,(23)
[5]何彬;许道云;.正则(3,4)-CNF公式的社区结构[J]计算机科学.2021,(04)
[6]王晓峰;许道云;杨德仁;姜久雷;李强;刘欣欣;.可满足性问题中信念传播算法的收敛性分析[J]软件学报.2021,(05)
[7]王永平;许道云;.取定s的严格d-正则随机(3,2s)-SAT问题的可满足临界[J]软件学报.2021,(09)
[8]张国帅;许道云;.量子隐形传态的通用线路[J]软件学报.2019,(12)
[9]符祖峰;许道云;.d-正则(k,s)-SAT问题的NP完全性[J]软件学报.2020,(04)
[10]雷莹;许道云;.图的树分解算法及其应用[J]计算机科学.2020,(05)
更多
中国重要会议全文数据库    共找到3篇
[1]韩纪庆;许道云;丁召;.程序委员会主席致辞[A].第十二届全国人机语音通讯学术会议（NCMMSC2013）论文集.2013-08-05
[2]龚平;肖华;许道云;.一些简化的NP完全满足性问题类(英文)[A].2005年全国理论计算机科学学术年会论文集.2005-08-01
[3]赵英阳;许道云;.NT-HIT(k)公式的存在性[A].2005年全国理论计算机科学学术年会论文集.2005-08-01
更多
承担国家科研项目    共找到2个
[1]许道云;.不可满足公式的结构以及证明方法的研究[A].贵州大学;.项目经费 22万元.2004-03-31.资助文献数 5 篇
[2]许道云;.命题公式有效推理的特殊变元集及算法研究[A].贵州大学;.项目经费 26万元.2008-03-20.资助文献数 0 篇
更多