Polynomial‐time approximation scheme for concurrent open shop scheduling with a fixed number of machines to minimize the total weighted completion time

In this article, we consider the concurrent open shop scheduling problem to minimize the total weighted completion time. When the number of machines is arbitrary, the problem has been shown to be inapproximable within a factor of 4/3 ‐ ε for any ε > 0 if the unique games conjecture is true in the literature. We propose a polynomial time approximation scheme for the problem under the restriction that the number of machines is fixed. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

基于进化搜索策略的并行子空间设计算法

并行子空间设计是一种有效的多学科设计优化算法,但其搜索策略存在两点不足:一是寻找全局最优解能力有限,二是计算复杂。为弥补上述不足,将遗传算法应用到CSD算法中,提出了一种基于进化搜索策略的CSD算法。介绍了该算法的设计流程,应用该算法对一测试问题进行了优化,取得了满意结果。     

分布式系统仿真技术研究及其实现

以舰炮武器系统全数字仿真为例 ,讨论了分布式仿真系统的设计过程 ,提出了仿真系统的体系结构、网络通信方案、多任务并发控制等分布式仿真中关键问题的解决方法     

并行设计技术在模拟训练仪研制中的应用

针对模拟训练仪传统开发方法中存在的问题,在新一代产品研制过程中引入并行设计方法.阐述了并行设计技术的基本概念,详细研究了并行设计技术在需求论证、概念设计、详细设计、工艺设计、生产和调试等各个阶段的具体应用,总结了并行设计中采用的建立协同工作环境、建立并行开发模型、建立产品数据库等关键技术,并指出了影响并行技术有效实施的关键所在.结果表明,与串行设计方法相比,并行设计方法的应用缩短了研制周期,提高了设计制造质量,降低了成本,取得了较好的经济效益和用户满意度.     

当前编辑工作面临的新环境及应对之策

当前,随着时代的发展,编辑工作所处的社会环境、市场环境和技术环境发生了深刻变化,从而对编辑工作带来新的挑战。针对这一时代变化,分析了编辑工作面临的新环境,并提出了应对之策,以期对提高编辑工作质量有所裨益。     

SPC技术在导弹厚膜混合电路生产中的应用

SPC(统计过程控制)作为一种先进的质量管理方法,在国外企业被广泛采用,目前国内也有众多企业开始推行.分析了实施SPC的重要性,根据SPC技术在推广应用中的主要工作内容,给出了导弹厚膜混合电路生产中SPC技术的应用方法,包括关键工序节点和工艺参数的确定、工艺参数数据的采集、控制图的使用、工序能力评价以及所采用的控制技术等实际应用方面的内容.     

Scheduling with centralized and decentralized batching policies in concurrent open shops

This article considers batch scheduling with centralized and decentralized decisions. The context of our study is concurrent open shop scheduling where the jobs are to be processed on a set of independent dedicated machines, which process designated operations of the jobs in batches. The batching policy across the machines can be centralized or decentralized. We study such scheduling problems with the objectives of minimizing the maximum lateness, weighted number of tardy jobs, and total weighted completion time, when the job sequence is determined in advance. We present polynomial time dynamic programming algorithms for some cases of these problems and pseudo‐polynomial time algorithms for some problems that are NP‐hard in the ordinary sense. © 2010 Wiley Periodicals, Inc. Naval Research Logistics 58: 17–27, 2011     

机器人力反馈依从控制器多机系统分布式程序设计的实现

本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C 与分布式库函数相结合实现分布式程序设计的方法,论述了分布式库函数形式,支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题,并给出了分布式程序设计的一个简例。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

支持多剧情并发执行的仿真克隆中间件机制研究

仿真克隆可以提高分布式离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.介绍仿真克隆的相关概念,分析HLA环境下封装式仿真克隆中间件的不足,提出并设计一种支持多剧情并发的拦截式HLA仿真克隆中间件,讨论基于该拦截式仿真克隆中间件的HLA仿真成员体系结构,并对联邦成员的时间延迟性能进行测试,测试结果表明该松耦合结构使联邦成员产生的时间延迟是有限且基本稳定的,基于拦截式仿真克隆中间件方法是可行的.