形式化软件功能分解的交互式规则

形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分。     

任务分解控制及人员柔性的车间集成调度

针对复杂产品制造环境下制造任务分解与资源配置脱节的问题,提出了制造任务分解与多目标人员柔性车间资源配置优化方法。在对复杂制造任务特点进行分析的基础上,建立了任务分解粒度控制模型和考虑人员柔性的制造单元资源模型,利用自适应非支配排序遗传算法进行求解,得到了较为满意的任务分解和车间资源调度方案。     

基于空间分解的三角网格模型求交方法

三角网格模型间的求交问题是计算机辅助设计与制造领域的关键问题之一.分析了已有空间分解技术和包围盒方法等的优缺点,并在此基础上提出了改进的空间分解求交方法. 该算法能够精确定位三角形所占的空间网格,一定程度上减少了需要求交的三角形的数量.实验的结果表明,改进的算法提高了采用空间分解进行三角网格求交的计算效率.     

基于角色任务分解的网格三维GIS漫游技术研究

本文提出了一种新型的网格任务分配模型。该模型将角色任务分解的网格计算思想和三维GIS漫游技术有机结合在一起,依据各种任务节点在网格中所承担的角色,将复杂的三维GIS漫游任务分解并交给承担不同角色的节点机协同完成,从而使只能单机处理的无序三维GIS漫游任务,现在能由多台机器依据各自角色实时有序地进行处理,该模型既解决了网络资源分配混乱、节点间通信缺乏管理等问题,又有效地解决了传统三维GIS漫游中由于三维数据量太大和处理复杂而产生的诸如三维漫游速度慢、要求服务器配置高、漫游时停顿等问题。     

面向机务虚拟维修训练的虚拟手操作设计

机务维修训练强调手部操作要素,针对虚拟维修过程中手部操作较简单且控制复杂的问题,提出一种基于基本维修作业分类的虚拟手操作仿真方法。基于层次化分解思想构建出新的分解策略,将机务维修任务分解为任务层、子任务层和基本维修作业层,并设计规则实现基本维修作业到虚拟手操作的映射,通过在3ds MAX中构建虚拟手仿真模型,利用骨骼动画技术实现虚拟手的控制,减轻虚拟手关节运动的控制负担,在自主开发的机务训练装备上进行虚拟手操作实验,以飞机电子舱门操作为例,验证方法的可行性和实用性。     

作战任务分解的概念表示方法研究

任务分解是指挥员实施作战部署的一项非常复杂而又繁琐的创造性活动,而且时效性、精确性要求越来越高.为了研制相关的辅助工具,需要对任务分解活动概念本身进行深入研究和形式化描述.文章从任务的静、动态结构两方面研究了任务分解的概念表示.在介绍宏观任务、任务单元和基本任务等基本概念的基础上,提出了任务分解图和任务流程图的描述方法,并以空间信息支援任务为例,建立了任务的分解结构和流程结构,以此说明方法的使用.最后设计了基本任务分解的一般性算法.     

卫星应用任务分解规则库建立及匹配算法

卫星应用任务的分解是准确分析航天信息系统使命任务的关键步骤,为此需要对任务的分解建立标准的规则库.文章基于Disciple代理的知识表达方法,建立了卫星应用任务的分解规则库;然后通过一般化的概念对任务和规则进行分析,提出了一种任务匹配规则库的算法.文章以卫星应用中典型的侦察任务为例,探讨了规则库的建立和匹配.可以看出Disciple灵活的表达可以有效地描述好所涉及对象及其之间的关系,满足规则库建立的需要.     

基于网格的散乱点曲面重构技术

提出一种利用网格技术实现散乱点曲面重构的方法,设计适合网格并行的松耦合分层重构算法,在此基础上研究基于Agent技术的智能任务分解机制和基于Condor-G技术的任务分配与调度策略,并搭建网格实验平台进行测试。对重构结果的分析表明,该技术可提高基于散乱点的曲面重构速度,降低应用成本。     

一种基于任务的预警卫星传感器规则调度方法

对预警卫星传感器调度方法进行了研究。对预警任务的特性进行分析,提出了一种任务分解方法以简化任务与资源复杂的对应关系并减少任务对资源占用时间的需求;针对预警任务的动态性,设计了一种基于周期与事件相结合的调度策略;根据系统对时效性的要求,提出一种基于规则的调度算法,算法在调度速度和调度性能之间更加注重前者。仿真结果表明算法能够在给定时间内得到较为满意的调度方案。     

打击时敏目标的决策任务层次分解磁

针对打击时敏目标的决策任务层次分解,以任务求解为驱动,综合考虑任务的结构特征,提出决策任务层次分解的基本思想,进而重点研究了基于人件服务的复杂决策任务层次分解算法,为打击时敏目标决策任务流程规划与设计提供理论支撑。     

制造网格及其关键技术

实现网络化、全球化、虚拟化，达到资源共享、协同设计、快速制造是网络化制造追求的最终目标，而网格技术的发展满足了此需求。本文通过把网格技术引入到制造业，深入分析了制造网格的体系结构，详细解析了制造网格的工作过程。同时，对制造网格服务点建设、制造网格服务注册与发现、制造网格任务调度三大关键问题进行深入分析，解决了网格技术向制造业推广的瓶颈问题。     

Multi-core real-time scheduling for generalized parallel task models

Multi-core processors offer a significant performance increase over single-core processors. They have the potential to enable computation-intensive real-time applications with stringent timing constraints that cannot be met on traditional single-core processors. However, most results in traditional multiprocessor real-time scheduling are limited to sequential programming models and ignore intra-task parallelism. In this paper, we address the problem of scheduling periodic parallel tasks with implicit deadlines on multi-core processors. We first consider a synchronous task model where each task consists of segments, each segment having an arbitrary number of parallel threads that synchronize at the end of the segment. We propose a new task decomposition method that decomposes each parallel task into a set of sequential tasks. We prove that our task decomposition achieves a resource augmentation bound of 4 and 5 when the decomposed tasks are scheduled using global EDF and partitioned deadline monotonic scheduling, respectively. Finally, we extend our analysis to a directed acyclic graph (DAG) task model where each node in the DAG has a unit execution requirement. We show how these tasks can be converted into synchronous tasks such that the same decomposition can be applied and the same augmentation bounds hold. Simulations based on synthetic workload demonstrate that the derived resource augmentation bounds are safe and sufficient.     

机床产品协同任务规划与管理的研究

研究并实现了机床产品协同设计任务规划与管理功能。采用按功能划分和按结构划分相结合的方式对机床产品协同设计的任务进行分解。通过对结构设计矩阵递归实施独立操作和定耦与归一操作完成设计任务的规划。研究影响任务分配的因素及其具体分配算法，提出了机床层次式递归化任务分解模型，最后给出了任务规划功能模块的网络实现流程并开发了相应的原型系统。     

面向网络化协同设计的任务分解研究

针对目前网络化协同设计系统研究的现状,分析了协同设计的特点及优势,研究了协同设计系统中的任务规划、任务分解。在此基础上,提出了一种基于满意度的任务分解方法。     

The Boolean column and column-row matrix decompositions

Matrix decompositions are used for many data mining purposes. One of these purposes is to find a concise but interpretable representation of a given data matrix. Different decomposition formulations have been proposed for this task, many of which assume a certain property of the input data (e.g., nonnegativity) and aim at preserving that property in the decomposition. In this paper we propose new decomposition formulations for binary matrices, namely the Boolean CX and CUR decompositions. They are natural combinations of two previously presented decomposition formulations. We consider also two subproblems of these decompositions and present a rigorous theoretical study of the subproblems. We give algorithms for the decompositions and for the subproblems, and study their performance via extensive experimental evaluation. We show that even simple algorithms can give accurate and intuitive decompositions of real data, thus demonstrating the power and usefulness of the proposed decompositions.     

大规模系统两层递阶控制的直接分解算法

提出一个新的递阶控制的分解协调方法，它是由最优化问题的直接梯度解及性能函数的一个柔性分解组成。通过性能函数分解的自由度得到所需要的混合结构控制律，其下层控制器是闭环控制部分，上层是保证全局系统最优化的开环控制部分，局部性能函数的柔性选取，使两层优化任务的重新划分既能离线计算，也能在线修正。     

制造网格ASP模式的无缝资源发现结构研究

制造网格资源共享可归纳为资源提供与应用两方面,资源发现贯穿其中是其关键。从资源发现角度,从两个层面提出制造网格ASP模式的资源发现组成结构：在制造网格体系结构层面,提出以通用企业服务中心为核心的结构;在应用服务供应商的网络分布结构层面,提出了一种多层树型覆盖网络结构。两个层面相互支持,为资源发现提供无缝结构支持。该结构能实现分层检索、广域多点发现,并具有面向企业、面向应用等特性。基于上述结构,给出了资源发现并行算法及其性能分析,并用量化示例及其部分实现说明了该结构的有效性。     

实时操作系统中应用软件设计的任务划分

首先对建立在实时操作系统上的多任务系统进行了一般性的介绍,其次重点对应用软件中任务的划分和构造作了详细的介绍,并提出了划分的一般性原则,最后对几类常见的错误的划分及其解决作办法作了深入探讨。