检索结果-内蒙古大学图书馆

约束满足模型中单元更新规则的深入研究

引用

小型微型计算机系统 1994年第1期15卷 46-50页

作者：倪志伟程慧霞贾瑞玉安徽大学计算机系

本文首先阐述了神经网络中的一般更新规则，着重讨论了两类模型的更新规则，在此基础之上提出新的单元更新规则，通过利用ＴｕｒｂｏＣ语言实现由此得到的二个模型，并实际解决了皇后问题，ＴＳＰ等例子，解题效果是良好的。

关键词：神经网络更新规则约束满足模型

来源：评论

学校读者我要写书评

暂无评论

炼铸轧集成计划与调度组批模型及算法

引用

控制与决策 2013年第8期28卷 1257-1262页

作者：张旭君吕志民北京科技大学高效轧制国家工程研究中心北京100083

为提高热装批量计划的调度可行性,构建一种集成批量计划类型及部分调度约束的批量计划约束满足模型,并采用显性基因的约束遗传算法进行优化求解.在优化过程中,采用一种以提高批量计划的调度可行性的基于邻域连通的快速判定方法,同时利... 详细信息

为提高热装批量计划的调度可行性,构建一种集成批量计划类型及部分调度约束的批量计划约束满足模型,并采用显性基因的约束遗传算法进行优化求解.在优化过程中,采用一种以提高批量计划的调度可行性的基于邻域连通的快速判定方法,同时利用判定返回的信息构建显性基因指导优化过程.最后利用实际生产数据进行测试,结果表明,所提出的模型和算法能够提高热装率和批量计划调度的可行性,并且算法的执行效率可满足实际应用的要求.

关键词：集成计划与调度约束规划约束满足模型显性基因邻域判定

来源：评论

学校读者我要写书评

暂无评论

作战任务和资源间的匹配模型及求解算法研究

引用

系统工程与电子技术 2008年第9期30卷 1712-1716页

作者：陈洪辉赵亮芮红罗雪山国防科技大学C~4ISR技术重点实验室湖南长沙410073 装备论证研究中心北京100101

针对作战任务和作战资源的匹配问题,提出了一种匹配模型及其求解算法。首先分析了作战任务和资源的属性,建立了匹配问题的约束满足模型。基于改进的多优先级动态列表规划算法提出了一种匹配模型的求解算法,并结合实例进行了分析验证。... 详细信息

针对作战任务和作战资源的匹配问题,提出了一种匹配模型及其求解算法。首先分析了作战任务和资源的属性,建立了匹配问题的约束满足模型。基于改进的多优先级动态列表规划算法提出了一种匹配模型的求解算法,并结合实例进行了分析验证。结果表明,算法中引入任务与资源选择优先权参数,可以有效消解优先权冲突,增加匹配的灵活性。

关键词：任务资源匹配约束满足模型改进的多优先级动态列表规划算法冲突消解

来源：评论

学校读者我要写书评

暂无评论

多成像卫星自主任务规划模型与算法研究

多成像卫星自主任务规划模型与算法研究

引用

作者：张英恩哈尔滨工业大学

学位级别：硕士

传统的卫星任务规划由地面工程师依据预设条件制定任务方案,但这种模式依赖于稳定的运行环境和充裕的星地通信时间,伴随着高昂的星地沟通成本,因此近年来,众多国家学者正在集中力量研究卫星自主任务规划,使卫星可以自主生存和自主执行... 详细信息

传统的卫星任务规划由地面工程师依据预设条件制定任务方案,但这种模式依赖于稳定的运行环境和充裕的星地通信时间,伴随着高昂的星地沟通成本,因此近年来,众多国家学者正在集中力量研究卫星自主任务规划,使卫星可以自主生存和自主执行任务。然而当前研究多集中于单颗卫星的自主任务规划,对多颗卫星的协同自主任务规划方面研究较少。随着航天活动日益开展深入,用户对观测任务实时性、观测空间延展性、观测对象动态性等方面提出了更严苛和复杂的要求,受卫星所处轨道、星载遥感器资源特征、观测目标物理特征等影响,单一卫星难以满足日趋复杂的观测需求,而多星自主任务规划具有更强大的观测能力和优势,基于此,本研究旨在给出多颗卫星自主任务规划的系统解决方案,具体工作包含以下几个部分:首先,针对多星自主任务规划问题的特点,将多星自主任务规划问题拆解为多星任务分配和单星自主任务规划两个问题,明确各阶段输入输出要素,进行了多星自主任务规划框架和流程设计;其次,将卫星系统建模和卫星自主任务规划建模相结合,明确卫星的各个分系统构成、活动和状态属性,基于约束满足模型的建模思路,针对任务集合、资源集合、四类约束集合和目标函数构建了成像卫星任务规划问题通用模型;然后,结合规划域定义语言PDDL和HTN任务分解方法,实现基于分系统活动、动作约束、任务子集上的推理过程,完成对各分系统进行次级动作规划:进一步针对自主任务规划模型,建立了插入启发式信息的遗传算法与退火模拟组合智能优化算法,改善模型求解性能;最后,借助卫星仿真软件工具包STK 8.1.1对多成像卫星的任务规划问题进行案例分析和仿真分析,并引入多种经典算法加入对比,验证了模型的合理性和算法的有效性。

关键词：成像卫星自主任务规划约束满足模型智能优化算法仿真模拟

来源：评论

学校读者我要写书评

暂无评论

顾及任务适宜度的时空谱多星协同观测方法研究

引用

传感技术学报 2019年第1期32卷 71-76页

作者：张新仵倩玉程博王雷中国科学院遥感与数字地球研究所遥感科学国家重点实验室北京100101 美国威斯康辛大学密尔沃基分校密尔沃基53201 中国科学院大学北京100049

基于多源遥感卫星的时间、空间、光谱协同优化观测是国土资源与生态环境安全监测技术研究的重要内容。针对已有多星协同观测任务规划方法在地物光谱特性方面考虑不足的问题,分析了典型观测目标分类、地物波谱特性、传感器波段、卫星载... 详细信息

基于多源遥感卫星的时间、空间、光谱协同优化观测是国土资源与生态环境安全监测技术研究的重要内容。针对已有多星协同观测任务规划方法在地物光谱特性方面考虑不足的问题,分析了典型观测目标分类、地物波谱特性、传感器波段、卫星载荷之间的逻辑递推关系,提出了面向优化目标函数的适宜度指标,构建了时空谱一体化的多星对点目标协同观测的约束优化模型;进而,采用基于启发式规则的贪婪算法对模型进行求解,实现任务优先级和任务适宜度的同步优化。最后,以新疆尾矿库污染、耕地荒漠化、水资源污染和城镇发展应用问题为例对本文提出的方法进行实际仿真实验,验证了研究内容的先进性和实际应用价值。

关键词：多星协同适宜度约束满足模型智能计算

来源：评论

学校读者我要写书评

暂无评论

最小数据丢失量的地月中继卫星任务调度研究

引用

中国空间科学技术 2020年第1期40卷 60-69页

作者：王璐琦刘冰怡郭薇朱维各上海交通大学区域光纤通信网与新型光通信系统国家重点实验室上海200240 上海卫星工程研究所上海200240

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务,如数传任务。当探测器等待传输的数据量超出用户存储容量时,延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资... 详细信息

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务,如数传任务。当探测器等待传输的数据量超出用户存储容量时,延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资源受限而无法完成,导致任务数据丢失,所以需要设计一种合理的地月中继任务调度策略,提高地月中继卫星的资源利用率,减少数据的丢失。对地月中继卫星任务调度进行了研究,在分析地月中继卫星数传任务的特点及用户的存储限制的基础上,以最小化数据丢失量为优化目标,建立了地月中继卫星任务调度模型,并设计了一种基于离散烟花算法(DFWA)的地月中继卫星任务调度算法。仿真数据分析表明,基于离散烟花算法的地月中继卫星任务调度算法在求解结果上优于遗传算法,是一种合理、有效的调度方法。

关键词：地月中继卫星任务调度约束满足模型烟花算法存储资源

来源：评论

学校读者我要写书评

暂无评论

基于改进布谷鸟搜索的卫星成像规划方法

引用

中国科学院大学学报（中英文） 2023年第1期40卷 101-108页

作者：李小牧田妙苗马广彬林友明程博中国科学院空天信息创新研究院北京100094 中国科学院大学电子电气与通信工程学院北京100049

针对多卫星区域目标的成像规划问题,提出一种基于改进布谷鸟搜索的卫星成像规划方法。为最大限度地利用卫星资源,首先基于卫星的单次过境活动将区域目标按条带分解,然后考虑卫星姿态约束、传感器使用约束、过境时间约束、成像时云量及... 详细信息

针对多卫星区域目标的成像规划问题,提出一种基于改进布谷鸟搜索的卫星成像规划方法。为最大限度地利用卫星资源,首先基于卫星的单次过境活动将区域目标按条带分解,然后考虑卫星姿态约束、传感器使用约束、过境时间约束、成像时云量及光照约束等,建立约束满足模型,针对模型设计编码和更新策略,并在布谷鸟搜索算法中引入非线性惯性权重对其进行改进,最后采用改进的布谷鸟搜索算法求解约束满足模型。求解结果表明,与遗传算法相比,本文算法的收敛性好、目标完成率高且稳定性强,验证了该算法的有效性。

关键词：卫星成像规划约束满足模型布谷鸟搜索

来源：评论

学校读者我要写书评

暂无评论

基于粒子群算法的卫星任务地面站资源调度方法

引用

中国科学院大学学报（中英文） 2022年第6期39卷 801-808页

作者：樊慧晶章文毅田妙苗马广彬程博中国科学院空天信息创新研究院北京100094 中国科学院大学北京100049

针对卫星数传、测控任务的地面站资源调度问题,提出一种结合启发式方法的粒子群改进算法,对卫星的数传、测控任务进行一体化调度。首先分析卫星任务及地面站资源的约束条件,建立基于启发式规则的约束满足模型,筛选出较优的初始种群,然... 详细信息

针对卫星数传、测控任务的地面站资源调度问题,提出一种结合启发式方法的粒子群改进算法,对卫星的数传、测控任务进行一体化调度。首先分析卫星任务及地面站资源的约束条件,建立基于启发式规则的约束满足模型,筛选出较优的初始种群,然后设计一种结合启发式规则的粒子群算法求解。仿真对比实验表明,相对于常规调度算法(如遗传算法),粒子群算法具有较好的寻优能力和收敛速度;相对于传统粒子群算法,结合启发式方法的粒子群改进算法具有更好的寻优能力、收敛速度和稳定性。

关键词：地面站资源调度约束满足模型启发式方法粒子群算法遗传算法遥测、跟踪和控制

来源：评论

学校读者我要写书评

暂无评论

基于约束规划的一类排序问题通用求解方法

引用

计算机工程与应用 2012年第26期48卷 219-224页

作者：张旭君吕志民北京科技大学高效轧制国家工程研究中心北京100083

多约束排序问题是生产调度中常遇到的问题,传统的优化模型及方法在适应约束改变等方面存在诸多不足。鉴于此,将多约束排序问题定义为约束满足问题,系统设计时将模型定义与求解算法分离,利用约束规划平台的基本约束构建特定领域的抽象约... 详细信息

多约束排序问题是生产调度中常遇到的问题,传统的优化模型及方法在适应约束改变等方面存在诸多不足。鉴于此,将多约束排序问题定义为约束满足问题,系统设计时将模型定义与求解算法分离,利用约束规划平台的基本约束构建特定领域的抽象约束库,形成可重构的多约束排序问题通用求解框架。应用时,根据问题需求不同可利用抽象约束库快速重构优化模型,针对重构的优化模型配置相应的求解算法即可实现问题求解。应用结果表明,提出的方法通用性强,可满足实际应用的要求。

关键词：多约束排序问题约束满足模型约束规划重构

来源：评论

学校读者我要写书评

暂无评论

SAR卫星系统测绘策略研究

SAR卫星系统测绘策略研究

引用

作者：张泽浩上海交通大学

学位级别：硕士

SAR卫星系统在完成对全球区域的高程测绘时,面对复杂多样的测绘区域,难以在较短的时间内完成任务,为了使系统能够在有限的时间内高效的完成所有测绘任务,本文针对SAR系统测绘策略优化问题,在任务分析与分解、调度模型建立以及算法求解... 详细信息

SAR卫星系统在完成对全球区域的高程测绘时,面对复杂多样的测绘区域,难以在较短的时间内完成任务,为了使系统能够在有限的时间内高效的完成所有测绘任务,本文针对SAR系统测绘策略优化问题,在任务分析与分解、调度模型建立以及算法求解三个方面展开研究,并通过两类任务来讨论。提高了卫星系统的效率,达到了合理利用宝贵的卫星资源的目的,同时为地面运管系统提供了一种新的成像策略优化目标,论文的主要成果如下:针对应急条件下的成像观测任务,考虑了卫星测绘角度切换时间,星载开关机等约束建立成像任务调度模型,以最小化完成测绘任务时间为优化目标。通过改进蚁群算法进行求解,结合启发式规则求解问题、加入任务执行间隔等因素来控制转移概率。为地面运管系统提供了一种新的成像策略优化目标,能够根据不同的测绘任务以及用户需求,选择优化方案对实际卫星测绘做规划。卫星系统SAR星载在一定条件下可以利用垂直航迹干涉实现高程干涉测量(In SAR:Interferometric SAR)的同时利用沿航迹干涉实现GMTI(GMTI:Ground Moving Target Indication)。最后提出NSGA-II算法求解编队卫星系统的多目标测绘调度问题,优化目标分别是最大化测绘收益,最大化完成两种图像的数目。建立了多目标测绘调度模型,基于NSGA-II算法求解。最后,通过仿真实验,对不同规模的任务数量进行测绘策略求解,验证了算法的高效性。在完成论文的研究成果的基础上,设计并实现了较为完整的可视化应用软件平台的设计,系统建立在本文研究问题的模型建立和测绘策略算法设计的基础上,在实际使用中能够较好的实现卫星测绘策略规划问题求解和成果的展示,良好的界面交互提高了工作效率,达到了有效的使用卫星能源的目的。

关键词： SAR卫星系统测绘策略约束满足模型蚁群算法多目标 NSGA-Ⅱ算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：