求解柔性车间作业调度的知识型协同演化方法

提出了一种求解柔性车间作业调度的知识型协同演化方法。在该方法中,各个种群采用不同的进化方法和参数设置来推进各自的演化进程;种群之间通过相互的资源竞争和信息共享,共同推动整体算法的进化进程。采用柔性作业车间调度问题的15个标准实例进行实验,结果表明所提方法在优化性能方面优于近期公开发表的七种典型方法。

卫星任务调度系统的设计与实现

论文给出了一个卫星任务调度系统的总体结构及其功能,讨论了该系统实现过程中的任务描述、调度引擎、卫星时间窗口的仿真计算、调度结果的可视化展现等关键技术,归纳了系统的特点,并总结了今后系统的研究方向。

基于约束满足的卫星地面站资源优化分配问题研究

卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不同搜索算法和搜索策略的执行效率。

具有时间窗口约束的并行机床调度问题研究

具有时间窗口约束的并行机床调度问题可以被描述为在M台互不相同机器上安排加工N个工件。每个工件只能在一个给定机器子集中的一台机器上加工,且加工过程只能在给定的离散时间窗口内进行,并且工件的加工时间长度和时间窗口约束与加工机器有关。为了解决该问题,本文给出一种集成约束规划与禁忌搜索的搜索算法,其中约束规划系统被作为验证解的可行性和确定变量的值,而禁忌搜索过程被用来对解空间进行搜索。讨论禁忌搜索过程中的初始解产生、邻域结构、禁忌列表、解空间搜索等算法设计问题。最后给出算法在不同问题实例上的算法效率比较及分析。

加权约束满足问题的改进深度优先搜索算法

回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上下界;在此基础上,给出了一种改进的深度优先分枝定界算法.该算法的一个特点是通过循环迭代求解子问题来改进上下界.针对随机约束满足问题模型生成的测试数据的数值计算结果显示,改进算法可以大大缩短求解时间.

多层螺旋CT血管成像在急诊老年血管源性急腹症的临床价值

目的探讨多层螺旋CT血管成像在急诊老年性的血管源性急腹症中的诊断价值。方法回顾分析就诊于我院的30例老年血管源性急腹症患者,其被临床或者手术判定为血管源性急腹症,所有入选的患者经行多层螺旋CT平扫及增强扫描,并已采用多种血管成像方法进行血管成像。包括多平面重组法、曲面重组、最大密度投影、容积再现。且入院病例的影像资料保存完整。结果腹主动脉瘤5例,主动脉夹层6例,肾动脉主干及其分支栓塞3例,门静脉广泛癌栓5例,肠系膜上动脉血栓3例,肠系膜上静脉血栓4例,肠系膜结构扭转2例,髂动脉瘤并出血2例。结论多层螺旋CT血管成像对于老年性血管源性急腹症的诊断具有重要的意义,对于血管源性急腹症的定位、病变范围及其周围情况的确定具有重要意义,可以为临床医生提供帮助,因此,临床上对于疑似血管源性急腹症的患者可以将多层螺旋CT作为首选检查。

成像观测卫星多星联合调度模型及其列生成求解算法研究

首先介绍成像观测卫星调度问题的特点和主要约束，将成像观测卫星调度分为调度预处理、调度模型及求解、调度结果评估3个阶段。在此基础上，论述成像观测卫星调度模型，并采用列生成法，将多卫星调度问题分解为集合分割主问题和单卫星调度子问题，通过循环迭代来求解调度模型。最后，针对本文提出的算法设计一个问题实例，并给出算法计算结果。结果分析表明，本文提出的模型和算法能较好解决实际应用问题。

基于个体贡献度的高校教师绩效评估方法

高质量的师资队伍对于学校的生存和发展至关重要。如何对各种类型的引进人才和现有教师进行快捷、有效的评价,关系着高校的发展和教师个人的发展。本文提出了一种基于个体贡献度的高校教师绩效评估方法。

调度问题中两类分离约束传播算法的比较及一种改进算法

约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge Finding改进算法。

CT增强结合血管成像对大肠癌患者诊断价值的分析

目的分析多层螺旋CT增强扫描结合血管成像对大肠癌患者术前诊断价值的探讨。方法收集就诊于我院普外科的大肠癌患者50例,术后经过病理证实,且术前已完善多层螺旋CT增强扫描及结合血管成像检查,对术后病理证实的结果与CT检查提示的征象进行比较。结果所有大肠癌患者术后的病理结果与患者术前多层螺旋CT增强扫描及结合血管成像相比无明显异常,无统计学意义(P>0.05)。同时在对大肠癌进行术前分期的评估中,多层螺旋CT增强扫描结合血管成像对其正确的诊断率为86.0%。结论对大肠癌患者术前完善多层螺旋CT增强扫描结合血管成像很有必要,其可为临床医生的手术方法及术后治疗提供一定的帮助,具有良好的术前诊断价值,值得在临床上推广。

卫星全球普查任务调度系统的设计与实现

卫星全球普查任务是指利用星载遥感设备,周期性地对全球表面进行覆盖监测和数据采集。论文针对卫星全球普查任务需求的特点和卫星资源能力,建立了卫星全球普查任务调度系统。卫星全球普查任务调度系统主要包括想定管理模块、资源管理模块、场景管理模块、调度模块与仿真评估模块等功能模块,文中重点分析了系统核心的场景管理模块、调度模块与仿真评估模块的实现。

基于约束满足的多星对区域目标观测活动协同

多星对区域目标观测活动的协同问题是卫星任务规划与调度领域的新问题。讨论了采用多星协同模式观测区域目标的必要性,描述了协同问题的研究内容。基于约束满足理论,建立了多星协同问题的约束优化问题模型,提出了一种禁忌算法与约束传播相结合的求解机制。最后,以仿真算例验证了模型与算法的正确性和优化性能。

面向动作序列的敏捷卫星任务规划问题

针对新一代敏捷卫星对地观测任务规划问题,考虑了直拍直传、立体成像、多条带拼接等复杂任务需求和观测、数据下传、对日定向等九种卫星动作,在任务规划的同时进行卫星动作规划。设计并实现了前瞻启发式构造算法,算法满足卫星存储、能量等复杂约束,在前瞻过程中每次决定当前任务是否安排。采用基于专家知识的多种启发式规则决定任务安排与安排卫星动作序列。仿真实例及实际工程应用表明,算法可以在很短的时间内给出较好的结果,证明了本文方法对于敏捷卫星任务规划问题的适用性。

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。

天基海洋目标监视的系统分析及相关研究综述

天基海洋目标监视是现代卫星应用技术的重要发展方向。分析了海洋目标、海洋监视环境的特点,介绍了天基海洋目标监视资源的分类和发展情况,分析了各种不同类型监视平台及有效载荷的特点和适用性。综合评述了天基海洋监视中海洋目标检测、分类、识别等目标信息处理技术,对监视任务的规划调度方法及其他相关研究,分析了这些技术手段的特点、适用性及发展现状。最后分析了当前天基海洋目标监视相关研究和应用的发展趋势。

基于分解优化的多星合成观测调度算法

某些卫星的侧摆性能较差,必须进行合成观测以提高观测效率.研究了多星联合对地观测中的任务合成观测调度问题.提出了将原问题分解为任务分配与任务合成的分解优化思路.任务分配为任务选择卫星资源及时间窗口;任务合成则针对该分配方案,将分配到各卫星的任务按照轨道圈次分组,分别进行最优合成.采用蚁群优化算法(Ant colony optimization,ACO)求解任务分配问题,通过自适应参数调整及信息素平滑策略,实现全局搜索和快速收敛间的平衡.提出了基于动态规划的最优合成算法,求解任务合成子问题,能够在多项式时间内求得最优合成方案.依据分配方案的合成结果,得到优化方案的特征信息,反馈并引导蚁群优化算法对任务分配方案的搜索过程.大规模测试算例验证了本文算法的效率.

基于协同进化的多平台联合对地观测优化调度

在分析了卫星与无人机在执行观测与资源调度上的特性差异基础上,建立了多平台联合对地观测调度问题的数学模型,提出了多平台协同进化调度算法(MPCCPSA)进行求解。MPCCPSA采用分层式协同进化架构解决了不同类型观测方案统一调度生成问题。根据不同类型平台使用特性以及观测目标集合特点,采用分治-合作策略将其分解分配到各平台,顶层的交叉、变异操作保证各种群的多样性,底层的分治、合作算子保证卫星与无人机之间保持观测能力动态互补,在确保可行解的前提下加快收敛速度。仿真实验表明该方法能够有效解决空-天基多类型平台联合观测优化调度问题。

卫星单轨任务合成观测问题及其动态规划算法

一类遥感卫星的侧摆机动性能较差,必须考虑将某些任务合成观测以提高观测效率。研究了卫星在单个轨道圈次内,任务间的最优合成观测问题。建立了问题的约束优化模型,分析合成任务性质,基于合成任务间存在角度相关及时序特征,将问题按照卫星的最大侧摆次数划分为多个阶段,利用动态规划思想,得到了问题的最优解。测试算例验证了算法的有效性。

基于约束满足的多卫星调度模型研究

卫星调度是空间资源管理的一项重要内容,其本身也是一类复杂的资源分配问题。约束满足技术是求解复杂资源分配问题(constraintsatisfactionproblem,CSP)的有效方法。在约束满足问题的理论基础上,首先分析了多卫星调度问题的约束条件(包括任务约束、关联约束和互斥约束);建立了多卫星调度问题的模型;最后,以地球资源观测卫星为对象,给出了示例。

Kriging代理模型在对地观测卫星系统优化中的应用

结构优化是对地观测卫星系统(Earth observation satellite system,EOSS)性能提高的关键,但其覆盖性能难以解析计算.为实现EOSS优化,提出了仿真优化的求解思路:构建Kriging代理模型对仿真数据进行拟合,采用代理模型最优和最大化期望提高相结合的机制选择更新点,并定义单位距离的函数改进对更新点进行过滤;提出了改进广义模式搜索算法求解代理模型,搜索步采用遗传算法和序列二次规划算法实现,筛选步采用不完全动态筛选.最后,通过仿真实例和对比实验验证了本文方法的有效性.