期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
Linear Time Algorithms for Parallel Machine Scheduling 被引量:2
1
作者 Zhi Yi TAN Yong HE 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2007年第1期137-146,共10页
This paper addresses linear time algorithms for parallel machine scheduling problems. We introduce a kind of threshold algorithms and discuss their main features. Three linear time threshold algorithm classes DT, PT a... This paper addresses linear time algorithms for parallel machine scheduling problems. We introduce a kind of threshold algorithms and discuss their main features. Three linear time threshold algorithm classes DT, PT and DTm are studied thoroughly. For all classes, we study their best possible algorithms among each class. We also present their application to several scheduling problems, The new algorithms are better than classical algorithms in time complexity and/or worst-case ratio. Computer-aided proof technique is used in the proof of main results, which greatly simplifies the proof and decreases case by case analysis. 展开更多
关键词 SCHEDULING design and analysis of algorithm worst-case ratio computer-aided proof
原文传递
Heilbronn问题的一些结果及其推广 被引量:1
2
作者 陶志穗 孙健玲 《华南理工大学学报(自然科学版)》 EI CAS CSCD 1993年第3期49-56,共8页
给定平面上 n 个点的点集 S,用 D(S) 和d(S)表示这些点的最大距离和最小距离,Heilbronn问题是求 D(S)/d(S)的下确界λ_n 通过计算机辅助证明,证明了λ_8=1/2CSCπ/(14) ,并把Heilbronn 问题推广到高维空间。
关键词 距离 HEILBRONN 欧氏空间 H问题
下载PDF
防操纵的逻辑方法研究
3
作者 孙雯 《毕节学院学报(综合版)》 2013年第3期48-51,共4页
合理的投票系统都是操纵的,投票决策形成过程中防操纵问题,属于应用领域的前沿问题。从公理化的方法、计算机辅助证明的方法、设计新逻辑的方法,对防操纵社会选择机制进行了研究。
关键词 防操纵 社会选择 公理化方法 模态逻辑 计算机辅助证明
下载PDF
密码学可靠的不可否认协议辅助验证方法
4
作者 冯超 陈岳兵 +1 位作者 张权 唐朝京 《通信学报》 EI CSCD 北大核心 2011年第3期18-26,共9页
提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择... 提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性。与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性。 展开更多
关键词 不可否认协议 计算模型 密码学可靠性 辅助验证
下载PDF
Heilbronn问题的一个新结果 被引量:3
5
作者 陶志穗 蔡俊杰 《华南理工大学学报(自然科学版)》 EI CAS CSCD 1996年第6期92-97,共6页
研究Heilbronn问题的最大最小距离之比A”,利用所设计的计算机辅助证明系统,得到n=9时,2.4<A。2.569237的新结果。
关键词 距离 组合几何 计算机辅助证明
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部