Tool sequence optimization based on three logical modes of robot control via CPLEX optimization

Cluster tools have advantages of shorter cycle times, faster process development, and better yield for less contamination. The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production. Efficient use of cluster tools is naturally very significant to competitive fab operations. Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity. The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes. The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX. Special methods for the linear conversion are highlighted. Due to the limited calculation time requirement for the real production and the large scale of the problem, special methods for the efficiency tuning are applied according to the characteristics of the problem. Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.     

Poisson noise removal based on nonlocal total variation with Euler’s elastica pre-processing

An enhancement-based Poisson denoising method for photon-limited images is presented. The noisy image is firstly pre-processed for enhancing incomplete object information, and then it is denoised while preserving the restored structural details. A variational regularization model based on Euler’s elastica (EE) is proposed for image enhancement pre-processing. A nonlocal total variation (NLTV) regularization model is then employed in the second stage of image denoising. The above two optimization problems are solved by the alternating direction method of multipliers (ADMM). For Poissonian images with low image peak values, experiments demonstrate the validity and efficiency of the proposed method for both restoring geometric structure and removing noise.     

爆破振动对宋家湾隧道施工的影响

为评价在生产常规作业阶段爆破施工方式对隧道结构的影响,对宋家湾隧道爆破振动进行监测,以获取主振频率,最终以频率和振动速度2个指标评估隧道爆破作业振动效应。本次爆破的最大振动速度为3.1cm/s,主振频率范围为27.34～70.31Hz,最大振动速度远小于国家标准。可知对隧道支护结构影响有限频率范围为27.34～70.31Hz,远高于隧道的自振频率（一般在3～9Hz范围内）,不会出现共振放大现象。     

打击船员证书造假刻不容缓——由两起“持伪造证书任职”案引发的思考

<正>船员管理历来是各国海事管理机构工作中的重中之重。就世界范围来看,各国船员在船任职均采用资格管理制度。STCW公约中对相应船员的资质和适任能力有着较为具体的要求,它控制着船员的职业技术素质和值班行为。     

岸桥钢丝绳实时诊断分析

钢丝绳是岸桥的主要工作部件之一，其使用状态关系到作业的安全性，而其使用周期直接影响到运营成本。世界各地的码头对不同品牌的钢丝绳的使用状况众说不一，即使同一品牌钢丝绳在不同码头的使用，管理情况也大不相同，难以确定其使用周期。这就需要码头设备管理人员进行大量的数据采集、分析，逐步找出各种钢丝绳的使用周期，做到既能保证安全，又能使成本降低。     

我国企业年金税收政策之我见

阐述了我国企业年金税收政策。分析了目前企业年金税收政策存在问题。指出了现行政策对我国年金发展存在的影响,以期促进我国企业年金的发展。     

船舶载运危险货物申报管理问题探讨

针对目前长江船舶运输危险货物申报及管理环节进行详细分析,剖析可能产生的问题,并结合实际工作提出管理思路,探讨提高管理水平的途径,力求从源头上强化船舶危险货物运输的安全管理。     

通信对抗目标选择与任务分配评估指标体系研究

通信对抗干扰目标选择和任务分配是通信对抗作战效能评估的重要内容.在深入研究通信对抗战术战法的基础上,建立通信对抗目标选择和任务分配评估指标体系,并通过算法模型对其进行量化分析和评估; 提出干扰压制强度F 的概念,并建立在各种电波传播方式下F的简化模型,使得对干扰任务分配的评估分析更加科学合理.     

复杂电磁环境下装备指挥效能评估分析

应用模糊综合评判法,通过定性评估与定量评估相结合的分析方法,对复杂电磁环境下的装备指挥效能评估进行了研究.针对复杂电磁环境下装备指挥的特点,设计了装备指挥效能评估指标体系模型,通过分析计算得出的结果表明,模糊综合评判法应用于复杂电磁环境下装备指挥效能评估是可行的.     

中海货运的“冬训”课程

素有电煤运输"国家队"之称的中海发展股份有限公司货轮公司(简称中海贷运),是中国海运(集团)总公司麾下五大主营船队之一.至2008年底,中海货运经营和管理散贯轮135艘、470万载重吨,年运输量约1.4亿吨,其中关系国计民生的电煤运输超过1亿吨,约占我国沿海电煤运输量的三分之一.