On optimality of one‐bug‐look‐ahead policies for a software testing model

The optimality of the One‐Bug‐Look‐Ahead (OLA) software release policy proposed by Morali and Soyer ( 15 ) is re‐examined in this paper. A counterexample is constructed to show that OLA is not optimal in general. The optimal stopping approach is then called upon to prove that OLA possesses weaker sense of optimality under conditional monotonicity and the strong sense of optimality holds under a more restrictive sample‐wise monotonicity condition. The NTDS data are analyzed for illustration, and OLA is shown to be robust with respect to model parameters. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

Cyclic preference scheduling for nurses using branch and price

This paper presents a new methodology to solve the cyclic preference scheduling problem for hourly workers. The focus is on nurse rostering but is applicable to any organization in which the midterm scheduling decision must take into account a complex of legal, institutional, and preferential constraints. The objective is to strike a balance between satisfying individual preferences and minimizing personnel costs. The common practice is to consider each planning period independently and to generate new rosters at the beginning of each. To reduce some of the instability in the process, there is a growing trend toward cyclic schedules, which are easier to manage and are generally perceived to be more equitable. To address this problem, a new integer programming model is presented that combines the elements of both cyclic and preference scheduling. To find solutions, a branch‐and‐price algorithm is developed that makes use of several branching rules and an extremely effective rounding heuristic. A unique feature of the formulation is that the master problem contains integer rather than binary variables. Computational results are reported for problem instances with up to 200 nurses. Most were solved within 10 minutes and many within 3 minutes when a double aggregation approach was applicable. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

虚拟现实与仿真技术在火控系统中的应用

简述了虚拟现实(VR)的概念、基本特征及其系统体系结构,探讨了虚拟现实(VR)与系统仿真的关系,介绍了其在火控系统中的应用.     

舰载导弹垂直发射系统的综合测控系统

通过对舰载导弹垂直发射系统中贮运发射箱内环境监控、导弹综合测试、发射过程控制、射击参数装定以及应急状态自动处理等需求分析,提出建立综合测控系统方案,并探讨了以LONworks总线为核心的综合测控系统基本结构、组成和功用.     

航测平台监测系统的开发应用研究

航测平台监测系统是在航测平台系统的调试开发过程中,根据工程的实际需要开发完成的.系统具有硬件实现简单、软件灵活、独立性强、易于扩展等特点.对该系统的组成、设计实现方法做了详细的介绍,对系统进一步的研究进行了探讨,并对系统开发应用中的特点进行了分析.通过实际应用,证明该系统具有一定的工程应用和研究意义.     

舰载火控系统的建模与仿真

探讨了建模与仿真技术在新型武器系统研制中的作用地位;介绍了WISE一体化建模／仿真开发环境及仿真软件,描述了新型舰载火控系统的建模与数字仿真方法,给出了采用分布交互式仿真(DIS)技术支持新型舰载火控系统进行效能评估的技术途径     

工控软件InTouch在模拟器研制中的应用

对工控软件InTouch的特点、开发环境和应用方法进行了简要介绍,提出了一种以InTouch为主体,结合其它应用软件的硬件--服务器--客户机模拟器开发模式,根据这种模式研制出了一套舰艇电站模拟器.使用结果表明,这种基于InTouch的模拟器是十分成功的.     

地面战场多目标声探测识别系统的研究

讨论了声探测识别的原理,介绍了战场多目标声探测识别系统的构成及工作原理,对于系统构成的技术关键及解决途径进行了论述。     

“法条竞合”若干问题研究

"法条竞合"在我国刑事立法中普遍存在,其理论比较复杂.法条竞合的概念与种类、法律性质以及法条竞合的适用原则等问题,目前在我国刑法理论界尚无统一定论.理论上对这些问题进行深入研究、探讨,有助于在司法实践中准确选择适用法条.