2025年3月31日
星期一
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王源
作品数:
1
被引量:4
H指数:1
供职机构:
中国科学院软件研究所
更多>>
发文基金:
The Royal Society
中国科学院“百人计划”
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
曾海涛
中国科学院软件研究所
王永吉
中国科学院软件研究所
刘军祥
中国科学院软件研究所
邢建生
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
等式约束
1篇
分支定界法
1篇
RM
1篇
不等式约束
机构
1篇
中国科学院软...
作者
1篇
邢建生
1篇
刘军祥
1篇
王源
1篇
王永吉
1篇
曾海涛
传媒
1篇
软件学报
年份
1篇
2006
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于逻辑“或”约束优化的实时系统设计
被引量:4
2006年
标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
刘军祥
王永吉
王源
邢建生
曾海涛
关键词:
不等式约束
分支定界法
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张