国防科技事业的杰出领导者——深切怀念老领导张爱萍同志

1975年以后,张爱萍担任过国防科委主任、国务院副总理、中央军委副秘书长、国务委员兼国防部长等职,组织领导国防尖端武器的研制和生产。他在主抓第一颗返回式卫星、洲际导弹、潜地导弹、地球同步卫星的工作中,亲临一线指挥,制定规章制度,关心科技人员,为中国国防科技事业的发展做出了重要贡献,深受广大科技工作者的尊敬和爱戴。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

二源间反向内可逆卡诺循环全谱分析及最佳参数的选择

本文以特征参数γ、θ表达了反向内可逆卡诺循环的全息谱,统一热源间内可逆正、反循环的特征参数与全息谱函数,并说明了以特征参数及全息谱为工具,从有限时间热力学观点确定制冷或热泵循环最佳方案的方法。     

Stochastic scheduling subject to machine breakdowns: The preemptive‐repeat model with discounted reward and other criteria

We consider the problem of scheduling a set of jobs on a single machine subject to random breakdowns. We focus on the preemptive‐repeat model, which addresses the situation where, if a machine breaks down during the processing of a job, the work done on the job prior to the breakdown is lost and the job will have to be started from the beginning again when the machine resumes its work. We allow that (i) the uptimes and downtimes of the machine follow general probability distributions, (ii) the breakdown process of the machine depends upon the job being processed, (iii) the processing times of the jobs are random variables following arbitrary distributions, and (iv) after a breakdown, the processing time of a job may either remain a same but unknown amount, or be resampled according to its probability distribution. We first derive the optimal policy for a class of problems under the criterion to maximize the expected discounted reward earned from completing all jobs. The result is then applied to further obtain the optimal policies for other due date‐related criteria. We also discuss a method to compute the moments and probability distributions of job completion times by using their Laplace transforms, which can convert a general stochastic scheduling problem to its deterministic equivalent. The weighted squared flowtime problem and the maintenance checkup and repair problem are analyzed as applications. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

一种新型摆线两螺杆泵的设计

设计了一种新型摆线两螺杆泵,同现在普遍使用的摆线三螺杆果相比较,有单级接触线长度小,容积效率高,螺杆的抗弯刚度大,传动性能好等优点。     

应用多窗口技术实现舰载火控系统人机接口

人机接口设计的好坏关系到系统的成败,对于各种作战系统更是如此。在给定的原则下,讨论应用Ｗｉｎｄｏｗｓ多窗口技术实现舰载火控系统人机接口的方法,内容包括屏幕组织,人机交互控制及数据输入控制等。基于这些方法所建立的模拟系统的成功表明了其可行性和有效性     

抗日战争之“无间道”——侵华日军和中共抗日武装谍报战档案解读

解放军档案馆珍藏着数百份抗战期间侵华日军和中共抗日武装谍报战档案。研究这些珍贵历史档案,可以深入了解日军对谍报人员的挑选、训练和使用情况,探究日军间谍机构、谍报网的情报搜集工作,以及中共及其抗日武装反敌特工作,全面揭示隐蔽战线鲜为人知的事实真相,真实还原抗日战争中的"无间道"。     

基于应变路径法的压入管桩单桩挤土位移

基于应变路径法和球孔扩张理论,结合真实源与虚拟源、真实源与虚拟汇的相互作用,在假定土体变形为小应变的前提下,将压入实心桩单桩挤土位移的求解方法应用于压入管桩,通过求解真实源与虚拟汇共同作用下产生的竖向挤土位移,并修正地表面处的附加剪应力,得到压入管桩单桩竖向挤土位移的解析解;通过求解真实源与虚拟源共同作用下产生的水平挤土位移,并修正地表面处的附加正应力,得到压入管桩单桩水平挤土位移的解析解。由挤土位移的解析解可知,桩长、管桩内外径和土塞高度最大值的变化都会对压入管桩挤土位移产生影响。     

质漏对联合循环化学发动机性能的影响

分析存在有限速率传质和质漏损失的联合循环化学发动机性能,导出功率、效率最佳关系,最大功率及其相应效率,以及最大效率及其相应功率     

热漏对热机功率效率特性的影响

本文研究热漏对热机最优性能的影响,导出存在热阻和热漏损失的定常态流不可逆热机的功率、效率关系。所得结果不同于仅存在热阻损失时的内可逆热机的功率效率特性,且与实际热机特性相一致。