A queueing system with vacations after N services

This article is devoted to the study of an M/G/1 queue with a particular vacation discipline. The server is due to take a vacation as soon as it has served exactly N customers since the end of the previous vacation. N may be either a constant or a random variable. If the system becomes empty before the server has served N customers, then it stays idle until the next customer arrival. Such a vacation discipline arises, for example, in production systems and in order picking in warehouses. We determine the joint transform of the length of a visit period and the number of customers in the system at the end of that period. We also derive the generating function of the number of customers at a random instant, and the Laplace–Stieltjes transform of the delay of a customer. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 646–658, 2015     

NCO相位截断对频域抗干扰性能影响分析

频域抗干扰易于工程实现、窄带干扰抑制性能好,是目前全球卫星导航系统(Global Navigation Satellite System,GNSS)抗干扰接收机中广泛采用的抗干扰算法。频域抗干扰接收机普遍采用数控振荡器(numerically controlled oscillator, NCO)生成本振信号。由于硬件约束,通常需要对NCO进行相位截断。而NCO相位截断是否合理对抗干扰性能影响较大。针对该问题,从NCO相位截断导致的本振杂散着手,从理论上分析其对混频和频域抗干扰环节的影响。在此基础上,给出一种NCO查找表地址位宽的理论计算模型,使得接收机的载噪比损耗接近无NCO相位截断的频域抗干扰接收机。仿真表明,抑制带宽大于100kHz、干信比小于80dBc的窄带干扰时,计算的NCO查找表地址位宽不超过10bit。无NCO相位截断的频域抗干扰接收机相比,采用NCO混频的抗干扰接收机的载噪比损耗最多增加0.6dB。     

基于搜索论的远程反舰导弹搜捕概率建模方法

针对传统捕捉概率模型难以满足远程反舰导弹机动搜捕概率建模计算的问题,提出利用搜索论进行导弹机动搜捕概率计算的建模方法。该方法根据目标机动规律建立其分布概率密度函数,并依据末制导雷达发现目标概率的"倒四次方律"及弹目相对运动轨迹,构建其探测函数,通过求取两者之积的积分实现搜捕概率计算。计算结果显示:若远程反舰导弹不采取机动搜捕策略,目标指示误差增加1km时搜捕概率降低0.47,目标速度增加10节时搜捕概率降低0.3,末制导雷达搜索半径减小50%时搜捕概率降低0.3;若采取平行搜捕策略,上述因素对其影响大幅下降。可见,该方法综合考虑了目标机动规律、传感器探测规律、导弹搜捕策略,可实现远程反舰导弹机动搜捕概率的解算。     

不同侵彻速度下陶瓷复合装甲等效均质钢靶板的建立

利用有限元软件ANSYS/LS-DYNA对钨合金长杆弹侵彻陶瓷复合装甲与均质钢进行了数值仿真。重点分析了长杆弹垂直侵彻复合装甲全过程,研究了钨合金长杆弹体入射速度与弹体剩余动能、损失动能之间的关系。同时,拟合了长杆弹在不同入射速度侵彻均质钢靶下弹体剩余动能与靶板厚度之间的关系。并根据终点效应关系式,建立了弹体在不同入射速度下陶瓷复合装甲的均质钢等效靶板。分析结果表明,陶瓷复合装甲等效均质钢靶板厚度随弹体入射速度呈先增加后稳定趋势。研究结果对毁伤效能试验与战斗部设计等具有一定的参考价值和借鉴意义。     

采用组合优化策略求解导管桨参数优化设计问题

建立了新的导管桨优化设计模型。该模型采用试验设计方法(DOE,design of experiment)在设计空间中均匀采样,捕捉整个设计空间中最有效的设计区域,进而用梯度优化算法在有效设计区域中进行优化设计。经计算实例证明:该算法可以辨识各因子对设计目标的影响系数,从而减少导管桨约束优化问题的计算时间,更有效地解决复杂的非线性优化问题。     

Designing rewards-based crowdfunding campaigns for strategic (but distracted) contributors

In rewards-based crowdfunding, entrepreneurs solicit donations from a large number of individual contributors. If total donations exceed a prespecified funding target, the entrepreneur distributes nonmonetary rewards to contributors; otherwise, their donations are refunded. We study how to design such campaigns when contributors choose not just whether to contribute, but also when to contribute. We show that strategic contribution behavior—when contributors intentionally delay until campaign success is likely—can arise from the combination of nonrefundable (potentially very small) hassle costs and the risk of campaign failure, and can explain pledging patterns commonly observed in crowdfunding. Furthermore, such delays do not hurt the entrepreneur if contributors are perfectly rational, but they do if contributors are distracted, that is, if they might fail to return to the campaign after an intentional delay. To mitigate this, we find that an entrepreneur can use a simple menu of rewards with a fixed number of units sold at a low price, and an unlimited number sold at a higher price; this segments contributors over time based on the information they observe upon arrival. We show that, despite its simplicity, such a menu performs well compared to a theoretically optimal menu consisting of an infinite number of different rewards and price levels under many conditions.     

Radar pulse interleaving for multi‐target tracking

In a multifunction radar, the maximum number of targets that can be managed or tracked is an important performance measure. Interleaving algorithms developed to operate radars exploit the dead‐times between the transmitted and the received pulses to allocate new tracking tasks that might involve transmitting or receiving pulses, thus increasing the capacity of the system. The problem of interleaving N targets involves a search among N! possibilities, and suboptimal solutions are usually employed to satisfy the real‐time constraints of the radar system. In this paper, we present new tight 0–1 integer programming models for the radar pulse interleaving problem and develop effective solution methods based on Lagrangian relaxation techniques. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

邓小平东西部均衡发展思想与西部大开发战略

邓小平针对我国经济发展不平衡的国情 ,提出了东西部均衡发展构想。这一构想随着改革开放和社会主义现代化建设的进行不断完善。我国目前正在实施的西部大开发战略是对邓小平东西部均衡发展思想的继承与发展 ,邓小平东西部均衡发展思想具有重大的理论和现实意义。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.