Single‐machine scheduling with deadlines to minimize the total weighted late work

We consider scheduling a set of jobs with deadlines to minimize the total weighted late work on a single machine, where the late work of a job is the amount of processing of the job that is scheduled after its due date and before its deadline. This is the first study on scheduling with the late work criterion under the deadline restriction. In this paper, we show that (i) the problem is unary NP‐hard even if all the jobs have a unit weight, (ii) the problem is binary NP‐hard and admits a pseudo‐polynomial‐time algorithm and a fully polynomial‐time approximation scheme if all the jobs have a common due date, and (iii) some special cases of the problem are polynomially solvable.     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

在求“变”中推进西南边防部队转型发展

西南边防部队驻防于我国西南边境地区,西起西藏自治区的日土县,东至广西壮族自治区的防城港市,担负着边防管控和边境防御作战等重要职能,在捍卫国家主权和安全中地位作用十分特殊。随着军队调整改革的深入落实,西南边防部队正处于转型重塑的关键时期,必须紧紧围绕新形势、新体制、新职能,着眼应急指挥、军事训练、边境管控、内外环境等关键要素和现实问题,在求"变"中推进创新发展,不断提升履职能力,切实为捍卫国家领土主权完整和维护边境稳定提供坚强保证。     

商务印书馆函授学校英文科学员来源地考察——基于《英语周刊》(1921-1922)记载的分析

商务印书馆函授学校英文科在中国近现代成人教育史、职业教育史上都占据着非常重要的位置.1921年至1922年期间的《英语周刊》对英文科学员来源地等信息均有着较为详细的记载,弥补了已发现的相关史料的不足,从而可以对其办学效果做出一个客观、精确的评价.通过《英语周刊》的相关记载,可以发现英文科学员来源地范围覆盖区域非常广泛,其学员来源地构成状况呈现出了多元化、多样化的特点.仅仅从学员来源地状况的角度去审视、考察,商务函授学校英文科取得了显著的办学效果,它在一定程度上弥补了普通学校教育资源的不足,有力促进了中国教育近代化事业的发展.     

基于模糊层次分析法的高层建筑火灾风险评估

火灾风险评估是降低火灾损失的有效方法。利用模糊层次分析法,建立了高层建筑火灾风险评估体系,并应用于具体高层建筑的火灾风险评估中。评估结果与实际情况取得了较好的一致性,从而为高层建筑火灾风险评估提供了一种简便可行的方法。     

数字阵列雷达宽带快速跳频源设计

介绍了一种基于直接数字合成技术(DDS)与直接频率合成(DS)相结合的数字阵列雷达T/R组件设计,其主要核心思想就是运用DDS技术中的相位控制功能代替传统高频移相器,并且运用其幅度控制功能代替传统的数控衰减器,从而实现阵列雷达发射信号的数字波束形成;并且设计出高稳定度的800 MHz高频源作为输入参考,利用DDS技术实现宽带下快速跳频;输出端采用DS方法,保证得到所需频带低相噪特性。     

An integer decomposition algorithm for solving a two‐stage facility location problem with second‐stage activation costs

We study a stochastic scenario‐based facility location problem arising in situations when facilities must first be located, then activated in a particular scenario before they can be used to satisfy scenario demands. Unlike typical facility location problems, fixed charges arise in the initial location of the facilities, and then in the activation of located facilities. The first‐stage variables in our problem are the traditional binary facility‐location variables, whereas the second‐stage variables involve a mix of binary facility‐activation variables and continuous flow variables. Benders decomposition is not applicable for these problems due to the presence of the second‐stage integer activation variables. Instead, we derive cutting planes tailored to the problem under investigation from recourse solution data. These cutting planes are derived by solving a series of specialized shortest path problems based on a modified residual graph from the recourse solution, and are tighter than the general cuts established by Laporte and Louveaux for two‐stage binary programming problems. We demonstrate the computational efficacy of our approach on a variety of randomly generated test problems. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

军工产品知识产权管理浅谈

军工产品自主知识产权的拥有量反映出军工企业的自主创新能力和可持续发展能力。加强企业知识产权管理,使在产品的技术创新成果及时形成产权,获得法律保护,更好地为国防建设和国民经济服务,就显得尤为重要和迫切。本文综述军工产品知识产权管理的主要内容以及相关建议。