摘要：关注了一类典型行动序列,研究如何在动作集合上存在定性偏好,且偏好集合存在不一致性时开展规划。所考虑的行动序列问题称为任务级COA,以抽象层次的动作为基本要素,所考虑的定性偏好包括静态偏好和时序偏好,所讨论的规划目的是获得最大满意度的COA方案。首先建立了偏好与约束的归一化形式描述,在此基础上形成了COA方案设计算法;进一步,使用计算辩论技术排除偏好集合中的不一致性,形成用户接受度最高的COA方案。文中建立的以定性推理为基础的规划框架,实现了偏好解耦,能够适应不同的领域问题,是以定量计算为基础的传统规划算法的有效补充。通过快速响应卫星成像的COA案例,演示了算法的可行性。

摘要：针对区域覆盖的卫星星座优化设计,将一种基于Pareto最优概念的快速非支配排序遗传算法(NSGA-Ⅱ)引入区域覆盖侦察卫星星座的多目标优化设计,并利用多属性决策中的字典序法,根据目标的重要程度,在得到的Pareto解中进行选择。最后,利用STK和VisualC++针对侦察卫星星座进行了仿真,仿真结果表明了算法可以找到多个Pareto解,避免了传统求解方法的权值选择问题,并且较简单遗传算法具有更好的灵活性,为解决星座多目标优化设计问题提供了新的思路。

摘要：针对成像卫星任务规划的操作指令自动生成问题,深入分析了成像卫星任务规划系统的特点,在基于PDDL的任务规划问题求解结构的基础上,提出了一种基于PDDL的成像卫星任务规划系统结构.该系统结构采用模块化的设计,具有良好的灵活性和通用性,能够实现系统动态的任务重规划.

摘要：在复杂、开放、不确定的环境中,决策者都面临着对行动方案进行论证与选择的难题。基于辩论的决策支持技术是近年来出现的不同于传统辅助决策理论的新方法,它使用论据辅助决策制定和解释决策的理由。首先总结分析了当前基于价值辩论框架的决策支持模型存在的不足与缺陷,提出了论据分类的思想,然后根据该思想设计了Ar-guDecision辩论决策控制算法,通过实现Smart Doctor医疗辅助决策,系统地验证了算法的可行性与有效性,从而探索出一种结合人类辩论思维方式与逻辑规律、由计算机辅助实现辩论决策过程的决策支持技术。

摘要：对采用锂离子电池作为供电部件的航天器电源系统进行动态特性研究,以关键的内阻参数为变量建立传递函数,描述用电部件上电时引起的瞬时电流与电压动态变化的关系,对单个用电部件提出阻抗匹配的规则,对多个用电部件的复杂电源系统建立离散仿真模型。以使用无电压调节母线的航天器作为案例研究,仿真结果显示,文章提出的研究方法能够有效反映多个部件上电过程中母线电压的动态特性,可为电源系统的设计提供参考。

摘要：为了解决动态开放环境下决策方案可行性论证的难题,将辩论理论与实用推理结合提出了一种新的适用于多属性决策的辩论框架,定义了论据的类型和论据之间可能存在的攻击关系。将基于辩论的多属性决策过程分为用户需求获取、方案可行性论证和可行方案选优3个阶段,通过论据及其攻击关系对方案的可行性进行辩论论证。最后采用一个医疗决策问题对该框架的应用进行了示例说明,结果表明,该框架能够较好的处理信息不完整、不一致条件下的决策问题。

摘要：相比于东部及沿海发达地区,西部的文化产业改革发展模式对中部欠发达地区的借鉴意义更大。以下两文通过对广电及动漫产业的发展战略透视,道出了一些普遍性、规律性的东西。

摘要：一、教学背景病理生理学作为高等医学教育的主干课程之一,是研究疾病发生、发展过程中功能和代谢变化的规律及其机制的学科。它是一门理论性很强且相对抽象的学科,不同于病理学课程可以通过对大量实质器官病变图片的讲解使学生直接获得直观印象,病理生理学侧重从代谢和功能的角度研究疾病,同时是一门实践性很强的医学基础课程。所以对于这样一门连接基础医学与临床医学的重要“桥梁”课程,教与学都存在一定难度。学生想要顺利掌握病理生理学课程内容,不仅要学好生理学.