检索结果-维普期刊中文期刊服务平台

基于至少连续满足弱硬实时限制的调度算法被引量：2: 1; 作者涂刚阳富民卢炎生《小型微型计算机系统》 CSCD 北大核心 2006年第7期1300-1303,共4页; 对至少连续满足弱硬实时限制的性质进行了扩充,提出并证明了任务不满足子序列长度与任务连续满足的截止期限数之间的关系.在此基础上提出了改进的弱硬实时限制调度算法:M RA.M RA用于在弱硬实时系统中保证任务满足至少连续满足限制,是... 展开更多; 关键词弱硬实时特征序列不满足子序列; 在线阅读下载PDF 职称材料

多文字可满足SAT问题的相变点上界: 2; 作者芦磊王晓峰 +1 位作者梁晨张九龙《计算机工程与科学》 CSCD 北大核心 2022年第7期1282-1290,共9页; 可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题... 展开更多; 关键词多文字可满足 SAT问题不满足阈值相变点上界合取范式; 在线阅读下载PDF 职称材料

“否定”何以成为“本体” 被引量：1: 3; 作者吴炫《河北学刊》 CSSCI 2004年第2期14-19,共6页; “本体性否定”是作为区别西方各种本体论和中国本根论提出的。其历史依据在于,人对自然性生存的“不满足于”冲动的产生;其现实依据在于,当代人既重个人利益又觉得利益无法安放心灵的综合感受;其理论依据在于,迄今为止所有的自然本体... 展开更多; 关键词什么人为本体性否定不满足于不同而并立; 在线阅读下载PDF 职称材料

一种求解难SAT问题的改进DP算法被引量：1: 4; 作者徐云陈国良张国义《中国科学技术大学学报》 CAS CSCD 北大核心 2002年第3期358-362,共5页; DP算法是求解SAT问题的最有效完全算法之一 ,论文分析和讨论了DP算法中的各种分枝文字策略 .并基于对不满足解数估计的方法 ,提出了一个有效的分枝文字策略 .实验结果表明 ,提出的改进DP算法对难SAT实例有较好的平均性能 .; 关键词难SAT问题改进DP算法随机算法不满足解数 NP完全问题分支文字策略可满足性问题; 在线阅读下载PDF 职称材料

题名基于至少连续满足弱硬实时限制的调度算法被引量：2: 1; 作者涂刚阳富民卢炎生; 机构华中科技大学计算机学院; 出处《小型微型计算机系统》 CSCD 北大核心 2006年第7期1300-1303,共4页; 基金国家"八六三"项目基金项目(2002AA445010)资助.; 文摘对至少连续满足弱硬实时限制的性质进行了扩充,提出并证明了任务不满足子序列长度与任务连续满足的截止期限数之间的关系.在此基础上提出了改进的弱硬实时限制调度算法:M RA.M RA用于在弱硬实时系统中保证任务满足至少连续满足限制,是一种高效、易于实现的调度算法.仿真实验的结果表明,M RA调度算法在提高任务对限制的满足率和保证任务实时性方面优于同类算法.; 关键词弱硬实时特征序列不满足子序列; Keywords weakly hard real-time k-sequence unsatisfied sub k-sequence; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名多文字可满足SAT问题的相变点上界: 2; 作者芦磊王晓峰梁晨张九龙; 机构北方民族大学计算机科学与工程学院北方民族大学图像图形智能处理国家民委重点实验室; 出处《计算机工程与科学》 CSCD 北大核心 2022年第7期1282-1290,共9页; 基金国家自然科学基金(62062001,61762019,61862051,61962002) 北方民族大学创新项目(YCX21083) 宁夏自然科学基金(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119)。; 文摘可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题。定义约束密度α为CNF公式子句数与变元数之比,对该问题的相变点上界α*进行了研究。如果α>α*,则多文字可满足SAT问题高概率不可满足。通过一阶矩一个简单的推断,可以证明α*=-ln 2/ln(1-(k+1)/2 k),当k=3时,α*=1。利用Kirousis等人的局部最大值技术,提升了多文字可满足3-SAT问题的相变点上界α*=0.7193。最后,选择了大量数据进行实验验证,结果表明,理论结果与实验结果相吻合。; 关键词多文字可满足 SAT问题不满足阈值相变点上界合取范式; Keywords multi literal satisfiability satisfiability problem unsatisfiability threshold upper bound of phase transition point CNF; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名“否定”何以成为“本体” 被引量：1: 3; 作者吴炫; 机构华东师范大学中文系; 出处《河北学刊》 CSSCI 2004年第2期14-19,共6页; 文摘 “本体性否定”是作为区别西方各种本体论和中国本根论提出的。其历史依据在于,人对自然性生存的“不满足于”冲动的产生;其现实依据在于,当代人既重个人利益又觉得利益无法安放心灵的综合感受;其理论依据在于,迄今为止所有的自然本体论都是一种人为的本体论,但因“人为”这一概念无法区别人的模仿与创造、沉沦与澄明,因而最后也就不能区别人与动物的根本特性。所以,“本体性否定”以“批判与创造的统一”来展开自己的“什么人为”之思。通过“本体性否定“,人并不优于动物,而是不同于动物。; 关键词什么人为本体性否定不满足于不同而并立; Keywords human doings noumenon negative unsatisfied with different but exist together; 分类号 B83-02 [哲学宗教—美学] I01 [文学—文学理论]; 在线阅读下载PDF 职称材料

题名一种求解难SAT问题的改进DP算法被引量：1: 4; 作者徐云陈国良张国义; 机构国家高性能计算中心中国科学技术大学计算机科学技术系; 出处《中国科学技术大学学报》 CAS CSCD 北大核心 2002年第3期358-362,共5页; 基金国家"九七三"(G19980 30 40 3)资助项目; 文摘 DP算法是求解SAT问题的最有效完全算法之一 ,论文分析和讨论了DP算法中的各种分枝文字策略 .并基于对不满足解数估计的方法 ,提出了一个有效的分枝文字策略 .实验结果表明 ,提出的改进DP算法对难SAT实例有较好的平均性能 .; 关键词难SAT问题改进DP算法随机算法不满足解数 NP完全问题分支文字策略可满足性问题; Keywords satisfiability problem hard SAT instance randomized algorithms number of unsatisfiable solutions; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于至少连续满足弱硬实时限制的调度算法	涂刚阳富民卢炎生	《小型微型计算机系统》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
2	多文字可满足SAT问题的相变点上界	芦磊王晓峰梁晨张九龙	《计算机工程与科学》 CSCD 北大核心	2022	0	在线阅读下载PDF 职称材料
3	“否定”何以成为“本体”	吴炫	《河北学刊》 CSSCI	2004	1	在线阅读下载PDF 职称材料
4	一种求解难SAT问题的改进DP算法	徐云陈国良张国义	《中国科学技术大学学报》 CAS CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料