约束满足模型中单元更新规则的深入研究 被引量：3

1

作者 倪志伟 程慧霞 贾瑞玉 《小型微型计算机系统》 CSCD 北大核心 1994年第1期46-50,共5页

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

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

在线阅读 下载PDF 职称材料

复杂约束下的导弹作战任务规划模型和算法研究 被引量：9

2

作者 杨萍 毕义明 +1 位作者 肖海波 顾立林 《指挥控制与仿真》 2009年第2期14-17,41,共5页

导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题。首先通过定义约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型。在此基础上,研究了任务规划模型求解的时间和效用传播算法,提... 导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题。首先通过定义约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型。在此基础上,研究了任务规划模型求解的时间和效用传播算法,提出了基于综合效用的优化求解框架。该模型和求解框架易于解决具有多种约束因素的复杂问题,具有较好的通用性。通过定义软、硬约束效用,使得实际任务规划问题求解具有更好的灵活性。 展开更多

关键词 导弹作战任务规划 约束满足优化模型 约束效用 时间传播算法 效用传播算法

在线阅读 下载PDF 职称材料

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

3

作者 陈洪辉 赵亮 +1 位作者 芮红 罗雪山 《系统工程与电子技术》 EI CSCD 北大核心 2008年第9期1712-1716,共5页

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

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

在线阅读 下载PDF 职称材料

基于约束规划的一类排序问题通用求解方法 被引量：3

4

作者 张旭君 吕志民 《计算机工程与应用》 CSCD 2012年第26期219-224,共6页

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

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

在线阅读 下载PDF 职称材料

改进差分进化算法求解多成像卫星调度问题 被引量：5

5

作者 彭攀 白沐炎 +1 位作者 陈长春 陈晓宇 《上海航天（中英文）》 CSCD 2020年第1期24-32,共9页

针对多成像卫星联合调度规划建模难度大和求解复杂度高等问题,通过分析成像卫星的成像过程和工作原理,将成像卫星调度过程分为调度预处理、任务规划和调度优化3个阶段。在调度规划过程中,建立了多星联合调度约束满足最优化模型,采用启... 针对多成像卫星联合调度规划建模难度大和求解复杂度高等问题,通过分析成像卫星的成像过程和工作原理,将成像卫星调度过程分为调度预处理、任务规划和调度优化3个阶段。在调度规划过程中,建立了多星联合调度约束满足最优化模型,采用启发式算法思想,定义了个体适应度评估函数,设计了任务冲突消解方法,提出了一种改进的差分进化算法。在此基础上,采用一些确定性规则对调度规划方案可行解进行了评估和二次优化。结果表明:提出的成像卫星调度问题求解方法能够有效地分配卫星资源,生成优化的调度方案。设计结果也能够为卫星系统最优化设计和效能评估提供必要的决策支持。 展开更多

关键词 成像卫星 调度规划 约束满足模型 差分进化 启发式算法

在线阅读 下载PDF 职称材料

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

6

作者 王璐琦 刘冰怡 +1 位作者 郭薇 朱维各 《中国空间科学技术》 EI CSCD 北大核心 2020年第1期60-69,共10页

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

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

在线阅读 下载PDF 职称材料

刻板印象与特质建构关系的实验研究 被引量：3

7

作者 王沛 康廷虎 《心理科学》 CSSCI CSCD 北大核心 2004年第2期337-339,共3页

根据平行-约束-满足模型的基本主张,利用情境模拟法探讨了特质激活与刻板印象的建构关系以及刻板化信息与个体化信息经由特质激活所表现出的交互影响。实验结果表明:(1)刻板印象影响特质的含义,特质会自动化地激活刻板印象,并且由特质... 根据平行-约束-满足模型的基本主张,利用情境模拟法探讨了特质激活与刻板印象的建构关系以及刻板化信息与个体化信息经由特质激活所表现出的交互影响。实验结果表明:(1)刻板印象影响特质的含义,特质会自动化地激活刻板印象,并且由特质及其具体的描述性内容所形成的个体化信息在具体的情景中联合起来影响刻板印象效应;(2)刻板印象与其他信息在加工通路上是相对独立或平行的;(3)刻板印象是兼具自动化加工与控制加工的混合体。 展开更多

关键词 刻板印象 特质 平行-约束-满足模型 个体化信息 人际交往 社会构建

在线阅读 下载PDF 职称材料

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

8

作者 樊慧晶 章文毅 +2 位作者 田妙苗 马广彬 程博 《中国科学院大学学报（中英文）》 CSCD 北大核心 2022年第6期801-808,共8页

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

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

在线阅读 下载PDF 职称材料

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

9

作者 张新 仵倩玉 +1 位作者 程博 王雷 《传感技术学报》 CAS CSCD 北大核心 2019年第1期71-76,共6页

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

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

在线阅读 下载PDF 职称材料

基于HLA的测控资源调度仿真系统设计 被引量：1

10

作者 凌晓冬 武小悦 刘琦 《系统仿真学报》 CAS CSCD 北大核心 2010年第2期362-365,共4页

基于HLA架构对航天测控资源调度系统设计进行了研究。从测控调度问题的基本特点和流程出发,对软件的总体结构,功能设计、各主要类的设计和相互关系、调度模型和调度算法的设计等关键技术进行了研究。在建立基于CSP的系统描述模型和启发... 基于HLA架构对航天测控资源调度系统设计进行了研究。从测控调度问题的基本特点和流程出发,对软件的总体结构,功能设计、各主要类的设计和相互关系、调度模型和调度算法的设计等关键技术进行了研究。在建立基于CSP的系统描述模型和启发式调度算法的基础上,设计开发了具备联邦成员特点,能够与未来航天总体仿真系统顺利集成能力的航天测控资源调度软件系统.通过仿真试验,验证了系统的可用性。 展开更多

关键词 测控 资源调度 软件设计 高层体系结构(HLA) 约束满足问题(CSP)模型

在线阅读 下载PDF 职称材料

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

11

作者 李小牧 田妙苗 +2 位作者 马广彬 林友明 程博 《中国科学院大学学报（中英文）》 CSCD 北大核心 2023年第1期101-108,共8页

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

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

在线阅读 下载PDF 职称材料

一种改进解析冗余度的损伤识别方法 被引量：1

12

作者 张宝 王思蓉 方圣恩 《福州大学学报（自然科学版）》 CAS 北大核心 2016年第4期548-556,共9页

提出一种采用无损指标和损伤指标相结合进行损伤识别的改进解析冗余度方法.该方法通过剔除求解方程组中与损伤单元相关的方程,补充与损伤单元无关的方程,构造出新的求解方程组进行求解.在新模型中,与损伤单元无关的约束条件构成无损指标... 提出一种采用无损指标和损伤指标相结合进行损伤识别的改进解析冗余度方法.该方法通过剔除求解方程组中与损伤单元相关的方程,补充与损伤单元无关的方程,构造出新的求解方程组进行求解.在新模型中,与损伤单元无关的约束条件构成无损指标,相关的约束条件则构成损伤指标.同时,采用结构无阻尼振动方程建立约束满足问题模型,提出了改进解析冗余度方法在结构动力测试方面的理论.通过数值算例验证所提方法在结构静动力方面单、多损伤识别的有效性,也证明了该方法在一定数据误差及模型误差下的适用性.最后,设计了钢梁静、动力试验.试验结果显示,所提出的方法能够定位结构较小的损伤,并且损伤指标较为明显.该方法在梁式结构的损伤识别和安全评估中具有一定的工程实用性. 展开更多

关键词 改进解析冗余度方法 损伤识别 约束满足问题模型 数值模拟 静动力试验

原文传递

空间目标编目测量资源调度策略设计与实现 被引量：6

13

作者 梁华 牛威 《飞行器测控学报》 2012年第1期84-88,共5页

空间目标编目测量资源调度是一个复杂的系统问题。首先对测量资源调度要素进行分析,然后在对调度需求分解的基础上,给出一个基于CSP（约束满足问题）模型的随机搜索编目调度算法。该算法在目标数量多、任务数据量大、复杂度高的任务环境... 空间目标编目测量资源调度是一个复杂的系统问题。首先对测量资源调度要素进行分析,然后在对调度需求分解的基础上,给出一个基于CSP（约束满足问题）模型的随机搜索编目调度算法。该算法在目标数量多、任务数据量大、复杂度高的任务环境下,求解快速、稳定。最后对调度软件实现中的核心问题——数据结构组织方式进行了阐述,基于合理的数据结构,调度算法得以高效实现。 展开更多

关键词 空间目标编目 资源调度 约束满足问题(CSP)模型

在线阅读 下载PDF 职称材料

依存句法分析方法综述 被引量：1

14

作者 杨振鹏 《无线互联科技》 2018年第22期114-116,共3页

近年来,自然语言处理发展迅速,依存句法分析作为自然语言处理的重要组成部分,成了句法分析研究的热点问题。目前较为成熟的依存句法分析方法有4种:生成式句法分析模型、判别式句法分析模型、决策式句法分析模型和约束满足句法分析模型... 近年来,自然语言处理发展迅速,依存句法分析作为自然语言处理的重要组成部分,成了句法分析研究的热点问题。目前较为成熟的依存句法分析方法有4种:生成式句法分析模型、判别式句法分析模型、决策式句法分析模型和约束满足句法分析模型。文章详细介绍了4种句法分析模型的原理,并对模型算法进行了对比分析。 展开更多

关键词 依存句法分析 生成式句法分析模型 判别式句法分析模型 决策式句法分析模型 约束满足句法分析模型

在线阅读 下载PDF 职称材料

炼铸轧集成计划与调度组批模型及算法 被引量：7

15

作者 张旭君 吕志民 《控制与决策》 EI CSCD 北大核心 2013年第8期1257-1262,共6页

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

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

原文传递