Formulations for dynamic lot sizing with service levels

In this article, we study deterministic dynamic lot‐sizing problems with a service‐level constraint on the total number of periods in which backlogs can occur over a finite planning horizon. We give a natural mixed integer programming formulation for the single item problem (LS‐SL‐I) and study the structure of its solution. We show that an optimal solution to this problem can be found in \begin{align*}\mathcal O(n^2\kappa)\end{align*} time, where n is the planning horizon and \begin{align*}\kappa=\mathcal O(n)\end{align*} is the maximum number of periods in which demand can be backlogged. Using the proposed shortest path algorithms, we develop alternative tight extended formulations for LS‐SL‐I and one of its relaxations, which we refer to as uncapacitated lot sizing with setups for stocks and backlogs. {We show that this relaxation also appears as a substructure in a lot‐sizing problem which limits the total amount of a period's demand met from a later period, across all periods.} We report computational results that compare the natural and extended formulations on multi‐item service‐level constrained instances. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于锁相环的GNSS授时接收机钟差校准算法

GNSS(全球卫星导航系统)授时接收机利用卫星导航信号获取钟差并校准本地时钟,从而与GNSS系统时间同步。提出了全新的基于锁相环的GNSS授时接收机钟差校准算法,将钟差校准过程等效为传统的锁相环模型,鉴相器的功能由PVT(位置、速度与时间)解算实现,压控振荡器的功能由本地时间调整接口实现,环路将本地秒相位与GNSS系统的秒相位锁定。分析了环路总误差的组成,以及环路参数与各误差项的关系,给出了误差最小的环路优化设计准则。在北斗二号卫星导航接收机平台上进行了对比实验,验证了算法的有效性。     

On valuing appreciating human assets in services

This paper derives optimal policies for when to hire, train, and lay off employees in service organizations when worker productivity appreciates deterministically or stochastically under constant, monotonic, and cyclic service demand. The model, an extension of the machine replacement problem from the engineering economy literature, uses infinite horizon linear programming to produce optimal personnel planning strategies and dual prices that characterize the workforce's economic value. The effect of employee attrition is also considered. In its valuation of human assets, unlike pure accounting approaches that only try to measure, this paper proposes an approach to capture the interaction between firm decisions pertaining to human resources and human resource value. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

公安现役部队执法能力培养与法学教学

公安现役部队是列入武警序列由公安部门管理的部队。对其执法能力的要求具有特殊性。公安现役院校担负着为公安现役部队培养人才的任务,教学过程中应对公安现役部队执法能力的涵义、执法能力的内容和因执法能力不足而产生的问题以及解决问题的途径作了探讨。提出创新法学教学模式是提高公安现役部队执法能力的有效方法。     

公安现役院校教学质量监控体系的建立与实践

教学质量是高等学校的生命线,是影响人才培养质量的最直接因素。依据本院在教学质量监控方面的探索与实践,提出建立一套适合公安现役院校特点的教学质量监控体系,用来指导和评价教学工作,加强教学管理,不断提高教学质量。     

新疆乡镇群众体育多元化服务体系的构建研究

本文通过对新疆乡镇群众体育服务体系的发展状况入手,分析新时期建立新疆乡镇群众体育多元化服务体系的意义.对如何构建新疆乡镇群众体育多元化服务体系的思路和框架进行探讨,以期望更好地为新疆的群众体育服务提供借鉴。     

基于可组合服务的陆军作战仿真模型集成＊

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制等应用特点和技战术性能。     

C4ISR体系结构服务视图及其演化的形式化描述方法

为描述“网络化作战”中C4ISR系统资源的动态集成过程,实现作战任务过程与军事系统资源的分离,在DoDAF2.0、NATOAFv3.0、MoDAF1.2等体系结构框架研究基础上,提出了一种C4ISR体系结构服务视图描述框架.通过服务视图产品的形式化描述,分析了服务视图产品间的逻辑关系,为应对作战任务过程调整重点研究了基...     

关闭部分导航信号阻止区域授时对全球定位授时性能的影响分析

在导航战中,在区域范围内阻止对手使用授时服务可通过关闭战区目标点的所有可见卫星信号来实现.以关闭部分导航信号阻止区域授时服务为例,描述了阻止区域授时服务的导航信号关闭仿真流程,提出了定位授时性能评估方法,并就关f闭部分导航信号阻止区域授时服务对全球定位服务和授时服务产生的影响进行了分析讨论.仿真结果表明,关闭部分导航信...     

已建商业服务网点变异后火灾隐患及对策

在《建筑设计防火规范》、《高层民用建筑设计防火规范》中均对＂商业服务网点＂提出了具体概念,但随着经济发展,经营者将＂商业服务网点＂进行了变异改造,通过笔者对当地各种＂商业服务网点＂变异的分析,明确了其火灾隐患并提出对策,实现对这类场所的动态监管,有效地消除火灾隐患,预防火灾事故的发生。