排序方式: 共有731条查询结果,搜索用时 0 毫秒
141.
科学工作流管理系统(Scientific Workflow Management Systems,SWfMS)为科学家提供一个管理大规模复杂科学计算的有效平台,通过管理复杂应用程序对海量科学数据进行管理、分析、仿真和可视化以帮助科学家进行科学发现.本文首先对科学工作流(Scientific Workflow,SWF)... 相似文献
142.
目前基于P2P的MANET路由模型研究已经成为一个热点,但其研究成果主要适用于中小规模MANET环境,没有充分整合P2P分布式共享的最大优势,且普遍存在绕路和效率不高等问题.文章提出基于P2P的大规模MANET分层共享路由模型,在跨层优化的基础上,通过引入基于网络物理拓扑的分层机制提高网络可扩展性,同时将P2P分布式共... 相似文献
143.
永磁直线电机能够满足电磁弹射系统短距内高加速与快制动的应用要求,但是永磁直线电机的快速运动可能引入明显的涡流效应,在电机加速度段,涡流效应引入涡流阻力,削弱了系统的弹射能力,另一方面,在电机的制动段,涡流效应引入的阻力可以帮助系统实现快速制动.针对电磁弹射系统所采用的定子开槽、集中绕组、动磁式永磁直线电机,仿真分析了动... 相似文献
144.
现有的小行星探测交会轨道研究多集中于二脉冲最优燃料研究,本文则研究了小行星探测多脉冲交会轨道多目标优化问题.基于Lambert交会算法建立了包含地球逃逸轨道和日心转移轨道的多脉冲交会轨道优化模型,以燃料消耗最小和转移时间最短为两个优化目标函数.采用一类典型的多目标进化算法——NSGA -Ⅱ用于Pareto最优解的确定.... 相似文献
145.
对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)... 相似文献
146.
147.
148.
149.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
150.
针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。 相似文献