检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于卫星网络的资源管理与任务管理

兵工学报 2004年第5期25卷 595-599页

作者：姜月秋潘成胜李航王光兴东北大学信息科学与工程学院沈阳理工大学

本文定义了适用于卫星网的资源管理和任务管理内容 ,在多元化网络管理协议 (MNMP)的基础上 ,设计了资源管理与任务管理的体系结构和实现方式 ,为卫星网资源选择问题的描述与实现提供方法。资源管理与任务管理的应用可以最大限度地利用... 详细信息

本文定义了适用于卫星网的资源管理和任务管理内容 ,在多元化网络管理协议 (MNMP)的基础上 ,设计了资源管理与任务管理的体系结构和实现方式 ,为卫星网资源选择问题的描述与实现提供方法。资源管理与任务管理的应用可以最大限度地利用网络资源 ,提高用户对卫星网络的使用效率。

关键词：卫星网络资源管理任务管理协议

在线全文

学校读者我要写书评

暂无评论

协同设计中任务管理的不确定性表示与验证

计算机集成制造系统 2010年第8期16卷 1597-1606页

作者：安毅生李人厚赵祥模长安大学信息工程学院陕西西安710064 西安交通大学机械制造系统工程国家重点实验室陕西西安710049

针对协同设计中如何提高任务执行的并行度和平稳性,确保任务管理的质量和可靠性等问题,提出了基于模糊集理论的任务管理方法,以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图,验证任务间的依赖关系,采用... 详细信息

针对协同设计中如何提高任务执行的并行度和平稳性,确保任务管理的质量和可靠性等问题,提出了基于模糊集理论的任务管理方法,以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图,验证任务间的依赖关系,采用改进的对象化模糊Petri网模糊推理算法,分别验证任务项被确定和被完成的可信度。实例表明了基于对象化模糊Petri网的任务管理表示及验证方法的有效性。

关键词：协同设计任务管理模糊集理论 Petri网模糊推理算法

在线全文

学校读者我要写书评

暂无评论

无线传感器网络优化的任务管理算法研究

电子与信息学报 2010年第11期32卷 2606-2611页

作者：易本顺陈杰肖进胜武汉大学电子信息学院武汉430079

该文针对多跳分簇无线传感器网络多节点协同式并行处理应用,提出了一种新的基于改进粒子群优化算法的任务管理算法,该算法建立了基于复制的变异操作,并采用基于熵权的逼近理想解的排序法对算法结果进行客观评价与择优。详述了算法的各... 详细信息

该文针对多跳分簇无线传感器网络多节点协同式并行处理应用,提出了一种新的基于改进粒子群优化算法的任务管理算法,该算法建立了基于复制的变异操作,并采用基于熵权的逼近理想解的排序法对算法结果进行客观评价与择优。详述了算法的各个要素,仿真结果证实,算法搜索效率高、可获得多目标优化的任务分配与调度解,且比文献中提出的其他算法的解性能优越。

关键词：无线传感器网络任务管理多目标优化粒子群优化逼近理想解的排序法

基于Coq的操作系统任务管理需求层建模及验证

在线全文

学校读者我要写书评

暂无评论

软件学报 2020年第8期31卷 2375-2387页

作者：姜菁菁乔磊杨孟飞杨桦刘波北京控制工程研究所北京100190 中国空间技术研究院北京100094 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行... 详细信息

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模,并在Coq中实现.针对建立的需求层模型,提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明,模型满足该条性质.

关键词：任务管理需求层形式化建模 Coq 形式化验证

基于BDI智能体的无人作战飞机自主任务管理系统

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2008年第21期20卷 6013-6018页

作者：李远霍霄华沈林成国防科技大学机电工程与自动化学院湖南长沙410073

无人作战飞机自主任务管理是减小平台对操作员依赖的关键之一。提出了基于BDI智能体的无人作战飞机自主任务管理系统体系结构。针对传统BDI解释器的缺陷,结合无人作战飞机应用的需求,设计、实现了一种并行的解释器实现结构,并给出了基... 详细信息

无人作战飞机自主任务管理是减小平台对操作员依赖的关键之一。提出了基于BDI智能体的无人作战飞机自主任务管理系统体系结构。针对传统BDI解释器的缺陷,结合无人作战飞机应用的需求,设计、实现了一种并行的解释器实现结构,并给出了基本元动作定义。在此基础上讨论了无人作战飞机自主任务管理系统的功能设计与实现问题。初步仿真结果表明,平台能够对环境变化及用户指令做出正确反应。

关键词：无人作战飞机任务管理 BDI智能体自主

在线全文

学校读者我要写书评

暂无评论

基于语义的新产品设计服务任务管理模型

中国机械工程 2012年第23期23卷 2810-2816页

作者：郭钢李光锐汤华茂董元发重庆大学重庆400030

针对新产品开发网络化设计服务的共性需求,提出了网上网下结合的设计服务模式、网络化设计服务公共平台体系结构和设计服务任务类型、特征属性及管理模型;采用OWL语言对设计服务任务进行形式化定义和描述,建立了基于语义的设计服务任务... 详细信息

针对新产品开发网络化设计服务的共性需求,提出了网上网下结合的设计服务模式、网络化设计服务公共平台体系结构和设计服务任务类型、特征属性及管理模型;采用OWL语言对设计服务任务进行形式化定义和描述,建立了基于语义的设计服务任务管理模型。通过网络化设计服务公共平台应用实例验证了设计服务任务管理模型的正确性和可行性。

关键词：设计服务任务管理本体描述逻辑

在线全文

学校读者我要写书评

暂无评论

任务管理软件的模型驱动开发

火力与指挥控制 2012年第S1期37卷 96-98,104页

作者：李一洋陈勇秦嘉北方自动控制技术研究所太原030006

模型驱动的体系技术(MDA)是一种新的软件开发框架,基于UML以及其他工业标准的框架,支持软件设计和模型的可视化、存储和交换。任务管理软件是某控制系统软件的重要组成部分,其提供任务相关信息的查看和检索功能,图形化表现作战行动计划... 详细信息

模型驱动的体系技术(MDA)是一种新的软件开发框架,基于UML以及其他工业标准的框架,支持软件设计和模型的可视化、存储和交换。任务管理软件是某控制系统软件的重要组成部分,其提供任务相关信息的查看和检索功能,图形化表现作战行动计划,监控当前任务行动执行情况。使用Rhapsody软件采用模型驱动方法开发任务管理软件,实现由模型到软件的开发过程。

关键词：模型驱动任务管理 UML Rhapsody

在线全文

学校读者我要写书评

暂无评论

OS/2的任务管理

小型微型计算机系统 1992年第7期13卷 35-45页

作者：陈勇耿技刘心松电子科技大学成都610054

OS/2是第一个专门为个人计算机开发的单用户多任务操作系统.它的多任务特性、虚拟存储器管理等是其主要特点。本文从系统角度比较详细地阐述了它的多任务特性。首先介绍了OS/2的任务管理模型,包括其中所引用到的几个新颖的概念,然后讲述... 详细信息

OS/2是第一个专门为个人计算机开发的单用户多任务操作系统.它的多任务特性、虚拟存储器管理等是其主要特点。本文从系统角度比较详细地阐述了它的多任务特性。首先介绍了OS/2的任务管理模型,包括其中所引用到的几个新颖的概念,然后讲述了OS/2任务管理所采用的机制以及调度算法的实现方法,最后通过实例对OS/2的任务管理进行性能测试、分析和评价。

关键词：操作系统任务管理 OS/2

在线全文

学校读者我要写书评

暂无评论

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

机械设计 2006年第7期23卷 30-33页

作者：孟秀丽南京财经大学工业工程系江苏南京210003

研究并实现了机床产品协同设计任务管理功能。采用按功能划分和按结构划分相结合的方式对机床产品协同设计的任务进行分解。提出了机床协同设计层次式递归化任务分解模型,研究该任务管理所涉及的各个方面的具体实施情况,包括任务分解、... 详细信息

研究并实现了机床产品协同设计任务管理功能。采用按功能划分和按结构划分相结合的方式对机床产品协同设计的任务进行分解。提出了机床协同设计层次式递归化任务分解模型,研究该任务管理所涉及的各个方面的具体实施情况,包括任务分解、任务分配、任务协调和任务工作流程的控制等。最后给出了任务管理系统的网络实现流程并开发了相应的原型系统。

关键词：机床协同设计任务管理