摘要：基于模型的用户界面设计方法是通过用户界面模型开发用户界面的新方法。任务模型作为其中一个主要模型,刻画的是用户与界面交互过程中动态行为方面的信息。详细介绍了HTA,UAN,GOMS,CTT,W isdom五种常用的任务模型建模方法,分析了各方法的优缺点及适用环境,并对任务建模方法的未来发展方向进行了展望。

摘要：面向地球同步轨道卫星故障修复和功能维护的在轨服务系统是我国正在建设发展的重要航天系统工程之一.针对地球同步轨道多目标服务任务规划问题,提出了一种在轨服务任务建模与强化学习服务序列规划方法.推导了航天器轨道动力学模型和霍曼-兰伯特四脉冲交会模型,针对几种典型的地球同步轨道在轨服务任务建立了任务模型,基于强化学习设计了目标卫星服务序列规划方法,并通过数值仿真验证了任务规划方法的有效性.仿真结果表明,该方法能够真实全面地反映服务卫星在目标交会和任务执行过程中的轨道参数改变以及速度增量和时间消耗,规划得到的最优服务序列更具工程实用性.

摘要：定义了隐身条件下的协同空战(CACSR)的基本概念,研究了面向CACSR的任务建模与任务规划原理。给出了面向CACSR任务的形式化模型,在此基础上对任务计划进行了形式化建模,给出了协同任务计划等定义;提出了任务动态管理框架及其步骤,建立了任务状态预测和任务效用模型,阐明了任务规划原理。对进一步明确CACSR条件下任务的认知、决策问题有着基础性作用,对新一代战斗机任务系统的概念、体系框架设计等有一定的帮助。

摘要：为解决作战需要到装备需求之间的映射关系模糊、约束不强的问题,提出一种作战任务结构建模与仿真。以美国国防部体系结构框架DoDAF为理论基础,结合体系架构建模工具,以某岛夺取与控制场景为例,构建作战体系结构模型,推演了作战要素及其之间的运行策略,并通过STK仿真进行演示与验证评估。结果表明:基于DoDAF的体系结构设计能够显性化地呈现作战体系的逻辑,更清晰地描述作战场景下的需求,为后续装备需求提供决策参考。

摘要：为支持"玉兔号"巡视器完成对月面较大空间范围的科学探测,对动态任务进行快速规划,提出了一种基于人工智能领域智能规划技术的自动化任务规划方法。提出了行为持续时间和行为效果动态确定的时态规划模型(TP^(DD&DE)),设计了描述TP^(DD&DE)问题的规划领域定义语言PDDL——PDDL^(DD&DE),以及针对TP^(DD&DE)问题的启发式规划算法,运用Landmark知识分析规划问题结构,从而设计了合理反映动作前提评估顺序的启发函数。在嫦娥三号任务中,本文方法支撑"玉兔号"巡视器圆满完成了预期的科学探测任务。

摘要：研究了一种基于特征模型的多虚拟机协同计算任务(collaborative computing tasks over multiple vir-tual machines,CCTMVM)的描述方法及其辅助构造工具,以简化虚拟机平台中并行计算的描述,提高应用程序的开发效率。从任务分解的原则与方法、粒度评价方法和启发式规则等方面分析了任务分解的策略,确定了分解任务的并行关系判别准则,并依据时序关系对特征单元的语义动作进行了描述。从特征单元内聚、耦合及粒度系数对描述方法的有效性范围进行了分析。进行了CCTMVM辅助构造工具的原型设计,以一个计算机辅助工程(computer aided engineering,CAE)问题求解实例分析了任务构造过程。实验结果表明,本文所提思路和方法对构造面向并行计算的CCTMVM具有一定的可行性。

摘要：以任务分析和环境建模仿真框架作为任务结构的描述模型,建立了无人作战飞机的任务模型描述及任务规划问题描述方法.提出了基于启发式设计准则的无人作战飞机任务规划算法,并在任务规划过程中集成路径规划.以通用局部全局规划协调理论为基础,提出了集成通用局部全局规划协调机制和同步协调机制的多无人作战飞机协同任务规划系统结构,对通用局部全局规划的任务规划过程进行控制和协调.仿真实例证明了任务规划算法的可行性.

摘要：仿真验证是检验多机器人协调策略与算法的重要一环。为满足多种策略、算法验证的需求,研发多机器人仿真系统是必要的。为此,开发了一个集成任务级与运动级协调的多机器人仿真系统ColonySim,融入了基于合同网的任务分配和基于有限状态机的任务建模机制,为用户提供简单快捷的任务建模和分配接口。该仿真系统人机界面友好,独立于用户算法设计,能够实现多算法多任务验证功能。仿真系统的功能通过仿真实验进行了验证。