期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于树状线性规划搜索的单调速率优化设计
被引量：
6
1
作者
陈力
王永吉
+1 位作者
吴敬征
吕荫润
《软件学报》
EI
CSCD
北大核心
2015年第12期3223-3241,共19页
改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：...
改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。
展开更多
关键词
实时系统
单调速率
最优化
搜索算法
线
性
规划
可
满足
性
模
定理
在线阅读
下载PDF
职称材料
系统L^＊中极大相容理论结构刻画的归纳证明
被引量：
3
2
作者
周红军
王国俊
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2008年第3期1-6,共6页
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命...
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系.
展开更多
关键词
模糊逻辑
系统L^＊
极大相容理论
满足性定理
紧致
性
定理
在线阅读
下载PDF
职称材料
Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画
被引量：
3
3
作者
周红军
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第1期1-4,共4页
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证...
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的.
展开更多
关键词
Lukasiewicz模糊命题逻辑
极大相容理论
满足性定理
紧致
性
定理
在线阅读
下载PDF
职称材料
题名
基于树状线性规划搜索的单调速率优化设计
被引量：
6
1
作者
陈力
王永吉
吴敬征
吕荫润
机构
中国科学院软件研究所基础软件国家工程研究中心
中国科学院大学
计算机科学国家重点实验室(中国科学院软件研究所)
中国科学院软件研究所互联网软件技术实验室
出处
《软件学报》
EI
CSCD
北大核心
2015年第12期3223-3241,共19页
基金
国家自然科学基金(61170072)
国家青年科学基金(61303057)
+1 种基金
中国科学院
国家外国专家局创新团队国际合作伙伴计划~~
文摘
改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。
关键词
实时系统
单调速率
最优化
搜索算法
线
性
规划
可
满足
性
模
定理
Keywords
real-time system
rate-monotonic
optimization
search algorithm
linear programming
satisfiability modulo theory
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
系统L^＊中极大相容理论结构刻画的归纳证明
被引量：
3
2
作者
周红军
王国俊
机构
陕西师范大学数学与信息科学学院
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2008年第3期1-6,共6页
基金
国家自然科学基金资助项目(10771129)
陕西师范大学优秀博士学位论文基金资助项目
文摘
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系.
关键词
模糊逻辑
系统L^＊
极大相容理论
满足性定理
紧致
性
定理
Keywords
fuzzy logic
system L^＊
maximal consistent theory
satisfiability theorem
compactness theorem
分类号
O142 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画
被引量：
3
3
作者
周红军
机构
陕西师范大学数学与信息科学学院
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第1期1-4,共4页
基金
国家自然科学基金资助项目(61005046)
陕西省自然科学基础研究计划项目(2010JQ8020)
文摘
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的.
关键词
Lukasiewicz模糊命题逻辑
极大相容理论
满足性定理
紧致
性
定理
Keywords
Lukasiewicz fuzzy propositional logic
maximally consistent theory
satisfiability theorem
compactness theorem
分类号
O142 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于树状线性规划搜索的单调速率优化设计
陈力
王永吉
吴敬征
吕荫润
《软件学报》
EI
CSCD
北大核心
2015
6
在线阅读
下载PDF
职称材料
2
系统L^＊中极大相容理论结构刻画的归纳证明
周红军
王国俊
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
3
Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画
周红军
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
