A worst‐case formulation for constrained ranking and selection with input uncertainty

In this research, we consider robust simulation optimization with stochastic constraints. In particular, we focus on the ranking and selection problem in which the computing time is sufficient to evaluate all the designs (solutions) under consideration. Given a fixed simulation budget, we aim at maximizing the probability of correct selection (PCS) for the best feasible design, where the objective and constraint measures are assessed by their worst‐case performances. To simplify the complexity of PCS, we develop an approximated probability measure and derive the asymptotic optimality condition (optimality condition as the simulation budget goes to infinity) of the resulting problem. A sequential selection procedure is then designed within the optimal computing budget allocation framework. The high efficiency of the proposed procedure is tested via a number of numerical examples. In addition, we provide some useful insights into the efficiency of a budget allocation procedure.     

系统复杂性及度量

复杂性是科学技术面临的挑战之一,研究系统复杂性有着重要意义。综述系统复杂性基本语义研究背景,分析国内外历史上对复杂性的界定及不同定义;针对复杂性的分类,以本体论和认识论分类为基本框架,吸纳最新的复杂性分类定义成果,重新对复杂性进行归类。在此基础上,对复杂性的度量指标进行分类阐述,对相应的数学工具进行归类说明。设计案例说明了复杂性概念分类及度量的有效性。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

Specification vagueness and supply quality risk

Specifying quality requirement is integral to any sourcing relationship, but vague and ambiguous specifications can often be observed in practice, especially when a buyer is in the initial stage of sourcing a new product. In this research, we study a supplier's production incentives under vague or exact quality specifications. We prove that a vague specification may in fact motivate the supplier to increase its quantity provision, resulting in a higher delivery quality. Vague quality specification can therefore be advantageous for a buyer to screen potential suppliers with an initial test order, and then rely on the received quality level to set more concrete quality guidelines. There is a degree, though, to which vague quality specification can be effective, as too much vagueness may decrease the supplier's quantity provision and hence the expected delivery quality. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

Operations sequencing for a multi‐stage production inventory system

This article studies operations sequencing for a multi‐stage production inventory system with lead times under predictable (deterministic) yield losses and random demand. We consider various cases with either full or partial release of work‐in‐process inventories, for either pre‐operation or post‐operation cost structures, and under either the total discounted or average cost criteria. We derive necessary and sufficient criteria for the optimal sequence of operations in all cases. While the criteria differ in their specific forms, they all lead to the same principal: those operations with (1) lower yields, (2) lower processing costs, (3) longer lead times, and (4) lower inventory holding costs should be placed higher upstream in the system.Copyright © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 144–154, 2014     

张学良的军事思想

爱国救国是张学良军事思想的最主要内容,他先后提出过"息内战、御外侮",实现全国抗战、联共抗日等政治思想主张。为了将军队建设成一支能抗御外侮、保国卫民的武装力量,还提出了一系列建军治军的思想。张学良的爱国军事思想是他发动西安事变的重要驱动力,西安事变是张学良爱国军事思想的逻辑发展。     

按照新使命的需求深入推进军队建设转型

履行好我军新的历史使命,必须准确把握新世纪新阶段我军历史使命的科学内涵和时代背景,解决军队建设中的“两个不相适应”的主要矛盾,处理好军队建设转型与社会改革、军事斗争准备和国家经济建设的关系,加速推进军队建设转型,以满足国家对军队的新需求。     

ε-己内酯合成中热聚合

采用新方法合成ε-己内酯,通过两步减压蒸馏收集己内酯,只能得到很少量的单体,大量反应产物以粘稠状蒸馏残余物形式存在。利用GC、TG、DTA、NMR等表征手段对反应产物进行分析研究,得出己内酯在蒸馏过程中发生了热聚合,残余物为己内酯的低聚物,分子量在650左右。     

基于Hill方程的编队卫星群运动分析与轨道设计

从Hill方程出发 ,研究了绕飞轨道的性质及编队卫星群的轨道设计方法。从三方面对绕飞轨道进行了描述 :坐标平面投影 ,与坐标平面的夹角 ,绕飞轨道根数。编队卫星群的轨道设计分两步进行 :先求基本环绕卫星的轨道根数 ;再求其它环绕卫星的轨道根数。仿真结果表明 ,此方法适用于编队飞行的初步设计     

基于谐波恢复方法的直升机声信号特征提取

在对直升机声信号特征进行分析之后,提出了一种基于谐波恢复的ESPRIT方法来提取直升机声信号谐波频率作为特征用以识别直升机声目标。同时对ESPRIT方法与其它方法在提取谐波能力方面作了比较。最后对实测的直升机声信号进行了谐波提取。各种结果均显示谐波恢复的ESPRIT方法在提取谐波频率方面较之其它方法更为优越,用它提取直升机声信号特征是十分有效的。