分布式标图系统关键技术研究

针对分布式标图系统的面临的主要问题,提出运用发布/订阅和消息中间件的技术,实现分布式标图系统的松散耦合,有效地降低了系统中的数据流量.介绍了基于消息中间件和发布/订阅机制实现的分布式标图系统的主要数据结构和功能模块的实现方法,指出这些技术对通用综合态势图的生成也具有重要意义.     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

质谱技术在火灾物证鉴定中的应用

随着火灾原因的多样化、复杂化,应用准确、高效的现代化仪器分析的方法鉴定火灾原因日益重要。简述了质谱相关技术,如气相色谱／质谱技术（GC／MS）,串联质谱技术（MS／MS）等在火灾物证鉴定中的应用。     

不同电流波形下永磁推进电机电磁转矩的时步有限元计算

以12相永磁推进实验样机为研究对象,介绍了其结构特点及运行控制模式,建立了该电机的时步有限元仿真系统.采用有限元法对正弦波、方波、梯形泼电流波形下的永磁推进电机电磁转矩进行了数值计算,给出了不同电流下的功角特性曲线.研究结果表明,对于电枢反应较强的12相永磁推进电机,在通常功角范围内通入正弦波电流可产生较大电磁转矩.     

A partial characterization of the optimal ordering/rationing policy for a periodic review system with two demand classes and backordering

We consider a finite horizon periodic review, single product inventory system with a fixed setup cost and two stochastic demand classes that differ in their backordering costs. In each period, one must decide whether and how much to order, and how much demand of the lower class should be satisfied. We show that the optimal ordering policy can be characterized as a state dependent (s,S) policy, and the rationing structure is partially obtained based on the subconvexity of the cost function. We then propose a simple heuristic rationing policy, which is easy to implement and close to optimal for intensive numerical examples. We further study the case when the first demand class is deterministic and must be satisfied immediately. We show the optimality of the state dependent (s,S) ordering policy, and obtain additional rationing structural properties. Based on these properties, the optimal ordering and rationing policy for any state can be generated by finding the optimal policy of only a finite set of states, and for each state in this set, the optimal policy is obtained simply by choosing a policy from at most two alternatives. An efficient algorithm is then proposed. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

基于多线程的CABAC并行编码方法

CABAC(Context based Adaptive Binary Arithmetic Coding)是H.264/AVC主要档次以上配置中推荐采用的熵编码方法.相比其他的熵编码方法,CABAC能够节省编码码率,但其计算串行性强,不能较好适应片上多核环境.针对这一问题提出了基于多线程的CABAC并行编码方法.大量实验统计表明,该方法负载划分较为均衡,对序列熵编码的单独加速比最高可达1.78.     

Value management of diagnostic equipment with cancelation,no‐show,and emergency patients

Magnetic resonance imaging and other multifunctional diagnostic facilities, which are considered as scarce resources of hospitals, typically provide services to patients with different medical needs. This article examines the admission policies during the appointment management of such facilities. We consider two categories of patients: regular patients who are scheduled in advance through an appointment system and emergency patients with randomly generated demands during the workday that must be served as soon as possible. According to the actual medical needs of patients, regular patients are segmented into multiple classes with different cancelation rates, no‐show probabilities, unit value contributions, and average service times. Management makes admission decisions on whether or not to accept a service request from a regular patient during the booking horizon to improve the overall value that could be generated during the workday. The decisions should be made by considering the cancelation and no‐show behavior of booked patients as well as the emergency patients that would have to be served because any overtime service would lead to higher costs. We studied the optimal admission decision using a continuous‐time discrete‐state dynamic programming model. Identifying an optimal policy for this discrete model is analytically intractable and numerically inefficient because the state is multidimensional and infinite. We propose to study a deterministic counterpart of the problem (i.e., the fluid control problem) and to develop a time‐based fluid policy that is shown to be asymptotically optimal for large‐scale problems. Furthermore, we propose to adopt a mixed fluid policy that is developed based on the information obtained from the fluid control problem. Numerical experiments demonstrate that this improved policy works effectively for small‐scale problems. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 287–304, 2016     

0.18 μm CMOS工艺的GPS/BDS双模可重构接收机射频前端

采用低中频架构设计了一种0.18μm CMOS工艺的GPS/BDS双模可重构接收机射频前端,能在GPS L1模式或BDS B1模式下工作。通过频率自适应电路调整中频滤波器的时间常数,降低其频率不确定度;压控振荡器中加入4位开关电容阵列,以提高频率调谐范围和相位噪声性能;通过硬件复用的方式降低系统功耗。测试结果表明,在1.8 V电源电压下,功耗37.8 m W,电压增益为103 d B,GPS L1和BDS B1波段噪声系数均小于3.2 d B。     

基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法

研究了一种基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法,该方法可利用故障检测函数自动识别单个卫导故障,并实时剔除故障星重构观测信息序列,从而避免了对紧耦合系统的影响。构建数字化仿真环境对所研究的故障检测与隔离方法进行了仿真,仿真结果表明,该方法可在卫星发生故障时及时检测并隔离故障星,并自动实现观测信息重构,保证了紧耦合系统的精度和完好性。     

载机扰动下SAR/GMTI旋转目标微多普勒特性分析

目标微动部件激励的雷达微多普勒信号稳定而独特,反映了该目标的本质特征。针对采用相位中心偏置技术(DPCA)的SAR/GMTI系统,研究存在载机扰动下的旋转目标的微多普勒特性。构建飞行平台与微动目标的几何模型,推导旋转目标的微多普勒信号模型,分析典型的载机纵向扰动对微多普勒时频特性构成的影响;并通过仿真实验,验证了上述理论分析的正确性。