航天侦察任务流重构方法研究

针对战场环境中多侦察任务同时并发或交错形成侦察任务流的现象,提出一种基于资源能力的侦察任务流重构方法.首先,定义侦察任务流、侦察资源的相关概念,给出了航天侦察资源能力统一度量模型.其次,提出了侦察任务流重构的流程框架,实现了基于信息共享的冗余任务分析消除、基于资源能力的任务分析与聚合、基于资源负载均衡的任务空间降维三种任务流重构算法.最后,结合试验案例进行验证.     

包含时间约束的作战任务建模与验证方法

制定作战计划时往往需要考虑作战任务的时间约束问题。目前对作战任务的时间约束分析方法都存在约束类型少、验证方法适用范围小等问题。为此提出基于业务流的作战任务时间约束建模方法,构建了作战任务流模型并用以描述作战任务的相对和绝对时间约束。提出了作战任务的时间约束形式化验证方法,设计了作战任务模型到NuSMV语言的转换算法,并基于时序逻辑给出了作战任务的基本时间约束描述方法。最后以登岛作战任务为例,验证了其相对约束和绝对约束的部分性质,并根据反馈结果对模型进行了修正。     

天基系统支持地面作战的建模与仿真研究

天基系统在地面作战中发挥的作用越来越突出,有效的天基作战系统模型支持对于地面作战仿真的应用与发展越来越重要.文中分析了天基系统对地面作战的支持作用,应用基于Agent的复杂适应系统理论CAS对支持地面作战的天基系统进行表示和建模;并应用基于高层体系结构HLA的中间件技术设计与实现了连接卫星工具包STK与HLA运行支撑框架RTI的中间件,最终解决了分布交互作战仿真中天基系统的模型支持问题.     

任务相关的图像小样本深度学习分类方法研究

传统基于度量学习的图像小样本分类方法与任务无关,这导致模型对新查询任务的泛化能力 较差。针对该问题,该研究提出一种任务相关的图像小样本深度学习方法——可以根据查询任务自适 应地调整支持集样本特征,从而有效形成任务相关的度量分类器。同时,该研究通过引入多种正则化 方法,解决了数据量严重不足所带来的过拟合问题。基于 miniImageNet 和 tieredImageNet 两个常用标 准数据集,在特征提取网络相同的前提下,所提出方法在 miniImageNe 中 1-shot 上获得了 66.05% 的 准确率,较目前最好的模型提高了 4.29%。     

专用芯片功能测试任务流建模

基于对专用芯片功能测试系统中测试任务过程的分析,参考工作流管理联盟提出的过程元模型,提出一个包含过程模型、数据模型、测试资源模型的三维测试任务流模型。分别从不同角度描述了测试任务流的各种属性。     

装备保障仿真中的任务建模研究

为实现面向装备保障仿真的作战单元任务系统建模,提出了一种基于任务牵引法的作战任务系统建模方法。在分析作战单元任务特点的基础上,构建任务关系模型,实现对任务的结构化描述,然后根据任务管理功能需求补充相关模型,最终得到任务管理成员的仿真模型。为满足保障仿真需求,补充了三个模型：作战单元状态更新模型、任务阶段工作量累计模型和任务成功性判断模型,实现了任务仿真模型管理和任务执行过程控制功能。     

天基预警系统传感器调度方法

对天基预警系统调度问题进行了研究。在分析预警任务过程与特性的基础上,提出一种基于关键点的任务分解方法,以简化多任务多资源间的复杂可视关系并降低单任务的资源占用量。针对子任务调度问题,提出一种基于复合优先权的求解算法。仿真结果表明提出的任务分解方法和调度算法能够在给定时间内求得理想的调度方案。     

机动防空任务聚合级装备作战单元维修性仿真

装备作战单元在执行任务过程中常处于聚合状态,影响其作战效能的重要因素之一就是任务维修性。任务维修性的度量参数有多种,文中采用恢复功能的任务时间（MTTRF）,在分析聚合级装备作战单元层次和特性的基础上,剖析了聚合级装备作战单元MTTRF的具体含义;给出了在机动防空任务下聚合级装备作战单元MTTRF的仿真方法和流程,应用Petri网技术在ExSpect仿真环境下建立了聚合级装备作战单元机动防空任务下维修性的仿真模型,实现了对聚合级装备作战单元各层MTTRF的仿真。最后,通过一个实例对模型进行验证。     

全局资源视图生成战术资源视图的方法研究

战术视图生成是从战役全局资源视图产生基于任务的作战视图，本文通过解决作战资源实体在作战任务上的聚类问题来生成战场战术态势图的基本要素之一——作战实体。基于功能能力、作战平台资源和作战任务的定义，提出了基于任务的作战资源实体生成方法。该方法包括两个部分：资源实体裁剪过程的数学描述以及作战资源实体分配到任务的匹配算法，并以联合战役为例，分析并设计了从联合战役作战资源的全局视图生成战术资源视图。     

测试任务流中或分支的完整性验证

测试任务流中或分支的完整性验证是保证任务流模型正确、稳定、完备的必要条件。基于测试任务流中或分支的完整性分析,给出或分支约束条件集的完整性定义,将问题转换为约束条件集的完整性验证。借鉴哈夫曼树的思想,构造一棵或分支完整性判定树,完成测试任务流或分支的完整性验证。     

Toward Better Understanding of Task Difficulty during Physicians’ Interaction with Electronic Health Record System (EHRs)

ABSTRACT

The goal of this study was to assess the relationship of task difficulty and mental effort with performance during physicians’ interaction with electronic health records (EHRs). A total of 38 physicians were asked to identify abnormal results and take follow-up action to “close the loop” on care delivery. Task difficulty was quantified via task-flow strategies and computer mouse-click patterns. Mental effort was quantified using eye movements based on changes in pupillary dilations (task evoked pupillary response or TEPR) and blink rate. Performance was quantified based on commission errors (error vs. no-error). Results indicated that physicians had different task-flow strategies; however, with improved awareness of the patient status, they exhibited an optimal task-flow strategy. Overall, performance was related to task-flow strategies, computer mouse-click patterns, and blink rate, indicating that physicians had lower task-difficulty and experienced lower mental effort with improved awareness of patient follow-up status. This is an important finding demonstrating that task-flows are a dominant predictor of physician performance when comparing between EHR designs. On the contrary, mouse-click patterns and blink rate are both useful predictors of physician performance when assessment was done within an EHR.     

Task-flow architecture for WSI parallel processing

The basics of task-flow architecture and the simulated wafer-scale implementation of flowing tasks (SWIFT), a register-transfer simulator that investigates the behavior of task-flow programs, are discussed. SWIFT simulates a ring of cells with two pipeline stages between successive cells. Each cell contains an arithmetic logic unit (ALU), a receive queue for holding incoming transmission packets, and a memory for storing memory packets (MPs). The chain wafer-scale integration (WSI) architecture that allows linear arrays to be configured from the working cells on a partially good wafer is applied to task-flow-machine implementations. Results from a limited Monte Carlo simulation run to predict yields for a 164-cell wafer configured using the chain WSI technique are presented. Results of a simulated sparse matrix-vector multiplication application of the task-flow architecture are also presented     

泛集群环境中计算密集型任务流调度策略

针对计算节点较多的泛集群环境下难以快速、合理地制定计算密集型任务流调度方案的问题,提出一种基于多目标连续竞买博弈的任务调度策略.建立多目标优化调度模型,降低多目标优化函数维度,并采用线性加权和法将其转化为总和目标函数,以保证最优解的合理性.为提高最优解搜索速度,引入ETC矩阵作为最优解表达形式,设计连续竞买博弈算法.模拟真实场景并通过与同类算法的对比,表明了调度策略在泛集群环境下的响应速度、资源性价比和总成本支出等方面具有明显优势.     

导弹总体方案设计软件系统设计与实现

针对提高导弹研制效率,研究了支持导弹总体方案设计软件构造的建模方法和软件实现技术,开发了相应软件系统。针对多方案设计过程中任务组织和数据交互动态变化的特点,采用一种通用的建模方法,以5类模型表达基本设计活动及数据结构,可使层次式模型管理策略实现全局组织和调度。依据此建模方法和多方案设计需求,设计了面向对象的模型数据结构和知识库接口方案,解决了软件实现关键问题。在VS.net环境下发展了一套战术导弹设计软件MCDesign,初步应用表明,提出的建模方法和软件设计思想可较好地支持战术导弹的多方案选型。     

一种基于层次平台SoC设计中的软硬件划分方法

软硬件划分是SoC设计中的一个关键问题,合理的划分结果对最终生成的芯片在成本、性能、可扩展性等方面有重要影响。提出了在基于层次平台的SoC设计中,采用遗传算法进行软硬件划分的方法,并通过实验验证了其在SoC设计中的可行性。     

Radial basis function meshless method for the steady incompressible Navier–Stokes equations

A meshless collocation method based on radial basis functions is proposed for solving the steady incompressible Navier–Stokes equations. This method has the capability of solving the governing equations using scattered nodes in the domain. We use the streamfunction formulation, and a trust-region method for solving the nonlinear problem. The no-slip boundary conditions are satisfied using a ghost node strategy. The efficiency of this method is demonstrated by solving three model problems: the driven cavity flows in square and rectangular domains and flow over a backward-facing step. The results obtained are in good agreement with benchmark solutions.     

基于非二元约束满足的配置问题求解方法

依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。     

图像修补的优化变换方法

采用整体变分(TV)模型修补图像,提出一种图像修补的优化变换方法.引入一个辅助变量,利用优化变换,将TV模型中单变量函数的优化问题转化为等效双变量函数的优化问题,并利用交替迭代最小化算法和Chambolle's投影算法求解模型.实验结果表明,与采用梯度下降法的TV模型算法相比,该方法的图像修补效率和修补效果较优.     

Numerical modelling of pulsar magnetospheres

Numerical models used in the study of the pulsar magnetosphere are described: a vacuum model based only on Maxwell's equations and a more realistic model employing both Maxwell's and relativistic two-fluid equations. The general approach to solving the chosen sets of partial differential equations is outlined and the possible boundary conditions are examined. Numerical methods suitable for solving Maxwell's equations are discussed and a method is developed for solving the combined fluid plus Maxwell model. Results are presented and discussed and the possible improvements in the approach are indicated.     

一个基于约束图的参数化设计模型

基于图论的约束求解方法是目前参数化设计的主要方法,此方法已经应用于许多商品化软件中。该文提出了一个基于几何约束图的参数化设计模型,并给出了参数化模型的数据结构和约束求解算法。此算法可以有效地检查系统的过约束和欠约束情况。