期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于AER模型的配电网大面积断电供电恢复算法
被引量：
10
1
作者
徐玉琴
张丽
王增平
《电网技术》
EI
CSCD
北大核心
2009年第12期66-71,共6页
针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种...
针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种因素被表示为AER模型中的Agent、环境和环境更新规则。该模型结合多主体系统(MAS),构造了一个格子环境,所有Agent均可感知局部环境并在环境中进行移动。文章提出的算法在离线状态下计算与故障形式无关的基础数据,并使用异步回溯算法通过Agent间的交互和Agent与环境间的相互影响来不断地更新每个Agent在解空间的位置,使其能够快速地搜索到最优解。算例结果表明了该算法的有效性和优越性。
展开更多
关键词
配电网
供电恢复
主体-环境-规则(AER)模型
约束
满足
问题
(
csp
)
异步回溯算法
下载PDF
职称材料
优化求解约束满足问题的MDDc和STR3算法
被引量：
5
2
作者
杨明奇
李占山
李哲
《软件学报》
EI
CSCD
北大核心
2017年第12期3156-3166,共11页
广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;S...
广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;STR3同STR2一样,基于动态维持有效元组的思想,当元组集规模缩减较慢时,STR3维持广义弧相容的效率高于STR2.通过深入分析发现,MDDc中查找节点的有效出边和STR3中检测并删除无效元组是耗时最多的操作.分别对MDDc和STR3提出一种自适应查找有效出边和检测删除无效元组的方法AdaptiveMDDc和AdaptiveSTR,对于同一操作,可以根据回溯搜索不同阶段的局势,自适应地选择代价最小的实现方法.得益于较低的判断代价以及回溯搜索不同阶段采用不同方法的效率差异,AdaptiveMDDc和AdaptiveSTR相比,原算法速度提升显著,其中,AdaptiveSTR在一些问题上相比STR3提速3倍以上.
展开更多
关键词
约束
满足
问题
(
csp
)
广义弧相容(GAC)
自适应
多元决策图(MDD)
AdaptiveMDDc
AdaptiveSTR
下载PDF
职称材料
基于CSP的复杂配电网孤岛划分方案研究
被引量：
3
3
作者
李俊良
蒋怡康
+1 位作者
刘奇
周龙
《陕西电力》
2012年第10期44-47,共4页
在含分布式电源的复杂配电网系统发生故障时,制定合理的孤岛划分方案可提高系统的供电可靠性。利用复杂配电网简化模型,采用两阶段策略解决孤岛划分问题。首先提出了基于约束满足问题的孤岛划分方法,离线生成满足约束问题的单元集合,将...
在含分布式电源的复杂配电网系统发生故障时,制定合理的孤岛划分方案可提高系统的供电可靠性。利用复杂配电网简化模型,采用两阶段策略解决孤岛划分问题。首先提出了基于约束满足问题的孤岛划分方法,离线生成满足约束问题的单元集合,将孤岛划分问题转化为寻求孤岛最优解的问题。然后在配电系统发生故障时,采用启发式的回溯搜索策略,得出最终的孤岛划分方案。通过对IEEE69节点配电系统进行仿真,验证了该方法有效性和实用性。
展开更多
关键词
分布式电源
复杂配电网
孤岛划分
约束
满足
问题
(
csp
)
启发式搜索
下载PDF
职称材料
弧一致性符号ADD算法及在CSP求解中的应用
被引量：
3
4
作者
王腾飞
徐周波
古天龙
《计算机科学》
CSCD
北大核心
2013年第12期243-247,共5页
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术...
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一条约束上的一个值对;而借助ADD技术来压缩问题搜索空间,可以一次处理多条约束。算法首先通过01编码将CSP问题描述成伪布尔函数,并由ADD进行表示。然后基于传统弧一致性技术的算法思想,利用ADD的交、并和提取操作来实现约束传播和变量域过滤。最后将弧一致性的符号ADD算法嵌入到BT搜索算法中来实现对CSP的求解。对标准库中的测试用例以及随机生成的测试用例进行了实验仿真,结果表明,该算法求解CSP的时间既优于带弧一致性维护的回跳算法MAC3+BJ和MAC2001+BJ,也优于采用传统数据结构进行预处理的CSP求解算法BT+MPAC和BT+MPAC*。
展开更多
关键词
约束
满足
问题
(
csp
)
代数决策图(ADD)
弧一致性(AC)
下载PDF
职称材料
一类约束满足问题及其算法
被引量：
2
5
作者
蒋本铁
毕世飞
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2003年第12期1169-1172,共4页
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究...
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·
展开更多
关键词
约束
满足
问题
(
csp
)
不定方程
整数规划
偏移方程
时间复杂度
下载PDF
职称材料
产品方案设计约束模型及其演化博弈算法求解
被引量：
2
6
作者
林晓华
冯毅雄
谭建荣
《浙江大学学报（工学版）》
CSCD
北大核心
2012年第3期533-541,共9页
针对产品方案设计这一有约束的系统求解问题,通过分析产品方案设计在概念与特性上与约束满足问题(CSP)的相似性,将方案求解问题映射到CSP中来表示方案设计,对应CSP中的变量、变量的域和约束集建立产品方案设计CSP模型.采用演化博弈算法...
针对产品方案设计这一有约束的系统求解问题,通过分析产品方案设计在概念与特性上与约束满足问题(CSP)的相似性,将方案求解问题映射到CSP中来表示方案设计,对应CSP中的变量、变量的域和约束集建立产品方案设计CSP模型.采用演化博弈算法求解CSP模型,将方案设计求解问题的搜索空间映射为博弈的策略组合空间,将评价函数映射为博弈的效用函数.通过主体的顺序最优反应达到均衡状态,并不断对均衡状态施加扰动再重新恢复均衡,从而搜寻到更优的均衡状态,最终达到对应于全局最优解的Pareto最优均衡状态.以透平膨胀机的方案设计为例验证了所提理论和方法的可行性和有效性.
展开更多
关键词
产品方案设计
功构映射
约束
满足
问题
(
csp
)
演化博弈算法
下载PDF
职称材料
面向网络化制造产品配置设计系统的研究
被引量：
1
7
作者
张维
袁清珂
《机电工程技术》
2007年第9期21-23,104,共4页
介绍了在网络化制造环境中,产品配置设计系统的构成机理及其应用实例;采用了三层式的Browser/Server结构和分布计算模型设计系统体系结构,提出了在web浏览器中对产品BOM的约束施加,并对面向用户配置的各种人工智能解决约束满足问题(CSP...
介绍了在网络化制造环境中,产品配置设计系统的构成机理及其应用实例;采用了三层式的Browser/Server结构和分布计算模型设计系统体系结构,提出了在web浏览器中对产品BOM的约束施加,并对面向用户配置的各种人工智能解决约束满足问题(CSP)的配置算法进行比较。最终通过配置对比以及VRML等技术最大程度实现用户需求与产品最终配置结果快速、准确的吻合。
展开更多
关键词
产品配置
约束
满足
问题
(
csp
)
人工智能
回溯算法
下载PDF
职称材料
基于约束满足和贝叶斯网络的大规模定制产品配置方法
8
作者
苏依拉
李慧旻
王斐
《北京工业大学学报》
CAS
CSCD
北大核心
2015年第7期1005-1011,共7页
针对在产品配置过程中忽略了用户兴趣这一不足,提出了一种基于约束满足问题(constraint satisfaction problem,CSP)与贝叶斯网络(Bayesian network,BN)二者结合的产品配置方法.在CSP与BN的理论基础上,建立了基于CSP与BN的配置模型,给出...
针对在产品配置过程中忽略了用户兴趣这一不足,提出了一种基于约束满足问题(constraint satisfaction problem,CSP)与贝叶斯网络(Bayesian network,BN)二者结合的产品配置方法.在CSP与BN的理论基础上,建立了基于CSP与BN的配置模型,给出了求解的具体方法.最后以组装电脑为例,开发了组装电脑产品的配置系统,该系统验证了这种配置方法能对配置结果进行优化,具有一定的可行性和有效性.
展开更多
关键词
大规模定制
产品配置
约束
满足
问题
(
csp
)
贝叶斯网络(BN)
下载PDF
职称材料
空间目标编目测量资源调度策略设计与实现
被引量：
6
9
作者
梁华
牛威
《飞行器测控学报》
2012年第1期84-88,共5页
空间目标编目测量资源调度是一个复杂的系统问题。首先对测量资源调度要素进行分析,然后在对调度需求分解的基础上,给出一个基于CSP（约束满足问题）模型的随机搜索编目调度算法。该算法在目标数量多、任务数据量大、复杂度高的任务环境...
空间目标编目测量资源调度是一个复杂的系统问题。首先对测量资源调度要素进行分析,然后在对调度需求分解的基础上,给出一个基于CSP（约束满足问题）模型的随机搜索编目调度算法。该算法在目标数量多、任务数据量大、复杂度高的任务环境下,求解快速、稳定。最后对调度软件实现中的核心问题——数据结构组织方式进行了阐述,基于合理的数据结构,调度算法得以高效实现。
展开更多
关键词
空间目标编目
资源调度
约束
满足
问题
(
csp
)模型
下载PDF
职称材料
基于HLA的测控资源调度仿真系统设计
被引量：
1
10
作者
凌晓冬
武小悦
刘琦
《系统仿真学报》
CAS
CSCD
北大核心
2010年第2期362-365,共4页
基于HLA架构对航天测控资源调度系统设计进行了研究。从测控调度问题的基本特点和流程出发,对软件的总体结构,功能设计、各主要类的设计和相互关系、调度模型和调度算法的设计等关键技术进行了研究。在建立基于CSP的系统描述模型和启发...
基于HLA架构对航天测控资源调度系统设计进行了研究。从测控调度问题的基本特点和流程出发,对软件的总体结构,功能设计、各主要类的设计和相互关系、调度模型和调度算法的设计等关键技术进行了研究。在建立基于CSP的系统描述模型和启发式调度算法的基础上,设计开发了具备联邦成员特点,能够与未来航天总体仿真系统顺利集成能力的航天测控资源调度软件系统.通过仿真试验,验证了系统的可用性。
展开更多
关键词
测控
资源调度
软件设计
高层体系结构(HLA)
约束
满足
问题
(
csp
)模型
下载PDF
职称材料
题名
基于AER模型的配电网大面积断电供电恢复算法
被引量：
10
1
作者
徐玉琴
张丽
王增平
机构
电力系统保护与动态安全监控教育部重点实验室(华北电力大学)
出处
《电网技术》
EI
CSCD
北大核心
2009年第12期66-71,共6页
文摘
针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种因素被表示为AER模型中的Agent、环境和环境更新规则。该模型结合多主体系统(MAS),构造了一个格子环境,所有Agent均可感知局部环境并在环境中进行移动。文章提出的算法在离线状态下计算与故障形式无关的基础数据,并使用异步回溯算法通过Agent间的交互和Agent与环境间的相互影响来不断地更新每个Agent在解空间的位置,使其能够快速地搜索到最优解。算例结果表明了该算法的有效性和优越性。
关键词
配电网
供电恢复
主体-环境-规则(AER)模型
约束
满足
问题
(
csp
)
异步回溯算法
Keywords
distribution network
service restoration
agent-environment-rules （AER） model
constraint satisfaction problem （
csp
）
asynchronous backtracking algorithm
分类号
TM711 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
优化求解约束满足问题的MDDc和STR3算法
被引量：
5
2
作者
杨明奇
李占山
李哲
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
出处
《软件学报》
EI
CSCD
北大核心
2017年第12期3156-3166,共11页
基金
国家自然科学基金(61272208
61373052)
吉林省自然科学基金(20140101200JC)~~
文摘
广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;STR3同STR2一样,基于动态维持有效元组的思想,当元组集规模缩减较慢时,STR3维持广义弧相容的效率高于STR2.通过深入分析发现,MDDc中查找节点的有效出边和STR3中检测并删除无效元组是耗时最多的操作.分别对MDDc和STR3提出一种自适应查找有效出边和检测删除无效元组的方法AdaptiveMDDc和AdaptiveSTR,对于同一操作,可以根据回溯搜索不同阶段的局势,自适应地选择代价最小的实现方法.得益于较低的判断代价以及回溯搜索不同阶段采用不同方法的效率差异,AdaptiveMDDc和AdaptiveSTR相比,原算法速度提升显著,其中,AdaptiveSTR在一些问题上相比STR3提速3倍以上.
关键词
约束
满足
问题
(
csp
)
广义弧相容(GAC)
自适应
多元决策图(MDD)
AdaptiveMDDc
AdaptiveSTR
Keywords
constraint satisfaction problem （
csp
）
generalize arc consistency （GAC）
adaptability
multi-valued diagram （MDD）
AdaptiveMDDc
AdaptiveSTR
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于CSP的复杂配电网孤岛划分方案研究
被引量：
3
3
作者
李俊良
蒋怡康
刘奇
周龙
机构
聊城供电公司
华北电力大学电气与电子工程学院
出处
《陕西电力》
2012年第10期44-47,共4页
文摘
在含分布式电源的复杂配电网系统发生故障时,制定合理的孤岛划分方案可提高系统的供电可靠性。利用复杂配电网简化模型,采用两阶段策略解决孤岛划分问题。首先提出了基于约束满足问题的孤岛划分方法,离线生成满足约束问题的单元集合,将孤岛划分问题转化为寻求孤岛最优解的问题。然后在配电系统发生故障时,采用启发式的回溯搜索策略,得出最终的孤岛划分方案。通过对IEEE69节点配电系统进行仿真,验证了该方法有效性和实用性。
关键词
分布式电源
复杂配电网
孤岛划分
约束
满足
问题
(
csp
)
启发式搜索
Keywords
complex distribution network
islanding division
csp
heuristic search
分类号
TM732 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
弧一致性符号ADD算法及在CSP求解中的应用
被引量：
3
4
作者
王腾飞
徐周波
古天龙
机构
桂林电子科技大学广西可信软件重点实验室
出处
《计算机科学》
CSCD
北大核心
2013年第12期243-247,共5页
基金
国家自然科学基金(60963010
61100025
+1 种基金
61262030)
广西研究生教育创新计划(2011105950812M23)资助
文摘
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一条约束上的一个值对;而借助ADD技术来压缩问题搜索空间,可以一次处理多条约束。算法首先通过01编码将CSP问题描述成伪布尔函数,并由ADD进行表示。然后基于传统弧一致性技术的算法思想,利用ADD的交、并和提取操作来实现约束传播和变量域过滤。最后将弧一致性的符号ADD算法嵌入到BT搜索算法中来实现对CSP的求解。对标准库中的测试用例以及随机生成的测试用例进行了实验仿真,结果表明,该算法求解CSP的时间既优于带弧一致性维护的回跳算法MAC3+BJ和MAC2001+BJ,也优于采用传统数据结构进行预处理的CSP求解算法BT+MPAC和BT+MPAC*。
关键词
约束
满足
问题
(
csp
)
代数决策图(ADD)
弧一致性(AC)
Keywords
Constraint satisfaction problem（
csp
）, Algebraic decision diagram（ADD）,Arc consistency（AC）
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一类约束满足问题及其算法
被引量：
2
5
作者
蒋本铁
毕世飞
机构
东北大学计算中心
东北大学信息科学与工程学院
出处
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2003年第12期1169-1172,共4页
基金
辽宁省自然科学基金资助项目(9910701001)
文摘
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·
关键词
约束
满足
问题
(
csp
)
不定方程
整数规划
偏移方程
时间复杂度
Keywords
constraint satisfaction problem(
csp
)
indefinite equation
integer programming
offset equation
time complexity
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
产品方案设计约束模型及其演化博弈算法求解
被引量：
2
6
作者
林晓华
冯毅雄
谭建荣
机构
浙江大学流体动力与机电系统国家重点实验室
出处
《浙江大学学报（工学版）》
CSCD
北大核心
2012年第3期533-541,共9页
基金
国家自然科学基金资助项目(51175456
50835008)
+1 种基金
国家"973"重点基础研究发展计划资助项目(2011CB706500)
宁波市重大科技攻关资助项目(2009B11002)
文摘
针对产品方案设计这一有约束的系统求解问题,通过分析产品方案设计在概念与特性上与约束满足问题(CSP)的相似性,将方案求解问题映射到CSP中来表示方案设计,对应CSP中的变量、变量的域和约束集建立产品方案设计CSP模型.采用演化博弈算法求解CSP模型,将方案设计求解问题的搜索空间映射为博弈的策略组合空间,将评价函数映射为博弈的效用函数.通过主体的顺序最优反应达到均衡状态,并不断对均衡状态施加扰动再重新恢复均衡,从而搜寻到更优的均衡状态,最终达到对应于全局最优解的Pareto最优均衡状态.以透平膨胀机的方案设计为例验证了所提理论和方法的可行性和有效性.
关键词
产品方案设计
功构映射
约束
满足
问题
(
csp
)
演化博弈算法
Keywords
product conceptual design
function-structure mapping
csp
evolutionary game algorithm
分类号
TH122 [机械工程—机械设计及理论]
下载PDF
职称材料
题名
面向网络化制造产品配置设计系统的研究
被引量：
1
7
作者
张维
袁清珂
机构
广东工业大学机电工程学院
出处
《机电工程技术》
2007年第9期21-23,104,共4页
基金
科技部科技型中小企业技术创新基金--"中瑞精密零件加工企业合作网络"服务平台(06C26214400425)
文摘
介绍了在网络化制造环境中,产品配置设计系统的构成机理及其应用实例;采用了三层式的Browser/Server结构和分布计算模型设计系统体系结构,提出了在web浏览器中对产品BOM的约束施加,并对面向用户配置的各种人工智能解决约束满足问题(CSP)的配置算法进行比较。最终通过配置对比以及VRML等技术最大程度实现用户需求与产品最终配置结果快速、准确的吻合。
关键词
产品配置
约束
满足
问题
(
csp
)
人工智能
回溯算法
Keywords
product configuration
constraints satisfaction problem (
csp
)
back-tracking algorithm
分类号
TH12 [机械工程—机械设计及理论]
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于约束满足和贝叶斯网络的大规模定制产品配置方法
8
作者
苏依拉
李慧旻
王斐
机构
内蒙古工业大学信息工程学院
出处
《北京工业大学学报》
CAS
CSCD
北大核心
2015年第7期1005-1011,共7页
基金
国家自然科学基金资助项目(61363052)
内蒙古自然科学基金资助项目(2012MS0904)
文摘
针对在产品配置过程中忽略了用户兴趣这一不足,提出了一种基于约束满足问题(constraint satisfaction problem,CSP)与贝叶斯网络(Bayesian network,BN)二者结合的产品配置方法.在CSP与BN的理论基础上,建立了基于CSP与BN的配置模型,给出了求解的具体方法.最后以组装电脑为例,开发了组装电脑产品的配置系统,该系统验证了这种配置方法能对配置结果进行优化,具有一定的可行性和有效性.
关键词
大规模定制
产品配置
约束
满足
问题
(
csp
)
贝叶斯网络(BN)
Keywords
mass customization
product configuration
constraint satisfaction problem
Bayesian network
分类号
TP399 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
空间目标编目测量资源调度策略设计与实现
被引量：
6
9
作者
梁华
牛威
机构
西安卫星测控中心
出处
《飞行器测控学报》
2012年第1期84-88,共5页
文摘
空间目标编目测量资源调度是一个复杂的系统问题。首先对测量资源调度要素进行分析,然后在对调度需求分解的基础上,给出一个基于CSP（约束满足问题）模型的随机搜索编目调度算法。该算法在目标数量多、任务数据量大、复杂度高的任务环境下,求解快速、稳定。最后对调度软件实现中的核心问题——数据结构组织方式进行了阐述,基于合理的数据结构,调度算法得以高效实现。
关键词
空间目标编目
资源调度
约束
满足
问题
(
csp
)模型
Keywords
Space Object Catalog； Resource Scheduling； Constraint Satisfaction Problem（
csp
） Model
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
基于HLA的测控资源调度仿真系统设计
被引量：
1
10
作者
凌晓冬
武小悦
刘琦
机构
中国卫星海上测控部
国防科学技术大学信息系统与管理学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2010年第2期362-365,共4页
文摘
基于HLA架构对航天测控资源调度系统设计进行了研究。从测控调度问题的基本特点和流程出发,对软件的总体结构,功能设计、各主要类的设计和相互关系、调度模型和调度算法的设计等关键技术进行了研究。在建立基于CSP的系统描述模型和启发式调度算法的基础上,设计开发了具备联邦成员特点,能够与未来航天总体仿真系统顺利集成能力的航天测控资源调度软件系统.通过仿真试验,验证了系统的可用性。
关键词
测控
资源调度
软件设计
高层体系结构(HLA)
约束
满足
问题
(
csp
)模型
Keywords
TT＆C
resource scheduling
software design
HLA
csp
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于AER模型的配电网大面积断电供电恢复算法
徐玉琴
张丽
王增平
《电网技术》
EI
CSCD
北大核心
2009
10
下载PDF
职称材料
2
优化求解约束满足问题的MDDc和STR3算法
杨明奇
李占山
李哲
《软件学报》
EI
CSCD
北大核心
2017
5
下载PDF
职称材料
3
基于CSP的复杂配电网孤岛划分方案研究
李俊良
蒋怡康
刘奇
周龙
《陕西电力》
2012
3
下载PDF
职称材料
4
弧一致性符号ADD算法及在CSP求解中的应用
王腾飞
徐周波
古天龙
《计算机科学》
CSCD
北大核心
2013
3
下载PDF
职称材料
5
一类约束满足问题及其算法
蒋本铁
毕世飞
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2003
2
下载PDF
职称材料
6
产品方案设计约束模型及其演化博弈算法求解
林晓华
冯毅雄
谭建荣
《浙江大学学报（工学版）》
CSCD
北大核心
2012
2
下载PDF
职称材料
7
面向网络化制造产品配置设计系统的研究
张维
袁清珂
《机电工程技术》
2007
1
下载PDF
职称材料
8
基于约束满足和贝叶斯网络的大规模定制产品配置方法
苏依拉
李慧旻
王斐
《北京工业大学学报》
CAS
CSCD
北大核心
2015
0
下载PDF
职称材料
9
空间目标编目测量资源调度策略设计与实现
梁华
牛威
《飞行器测控学报》
2012
6
下载PDF
职称材料
10
基于HLA的测控资源调度仿真系统设计
凌晓冬
武小悦
刘琦
《系统仿真学报》
CAS
CSCD
北大核心
2010
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
