基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

先进武装直升机的一种新型组合智能火/飞综合控制系统的设计与仿真

讨论了模糊逻辑控制与神经网络相结合的一种控制方法,给出了一种增益自适应调整的模糊控制方法和ＢＰ网络自适应变步长学习算法。提高了系统精度,改善了系统品质,并将这种方法成功地用于直升机综合火／飞系统的设计。同时,针对某型直升机用数字仿真证明了这种方法的优点和良好效果。     

舰艇武备按计划维修的经济性分析

根据实际的统计数据,对中型舰船入列至一轮中修、一轮中修至二轮中修期间对武备系统的３次小修所需工时及修理范围的比例进行了分析整理,并进行了回归分析,建立了相应的模型,可以定量地看出变化趋势．     

复合材料结构传热分析的新的高阶热层合理论研究

提出了新的高阶热层合理论及相应的有限元模型．新的高阶热层合理论比作者最初提出的一阶热层合理论［１］前进了一大步,它有效克服了一阶热层合理论中存在的计算缺陷．大量数值算例表明了高阶热层合理论的精确有效性．算例还对铺设角和纵厚比对层合板温度场的影响进行了分析,并得到了一些有意义的结论．     

一种新型手腕驱动机构及其运动分析

以基于球形齿轮传动的柔性手腕为研究对象,提出了一种新型手腕驱动机构,并对此机构进行运动分析,建立了它的运动模型,推导出了运动方程的解。分析结果证明了该机构运动的确定性、传动的准确性。     

现代科技对我军政治工作的影响及其对策

科学技术在社会生活和军事领域的日益渗透 ,必然给我军政治工作带来深刻影响 ,并且呈现许多新的特征。把握这些影响和特征 ,是做好新时期军队政治工作的重要条件。本文对这一时代性课题作了深入的探析 ,并提出了应对措施。     

Deterministic inventory lot‐size models under inflation with shortages and deterioration for fluctuating demand

In this paper, we extend the inventory lot‐size models to allow for inflation and fluctuating demand (which is more general than constant, increasing, decreasing, and log‐concave demand patterns). We prove that the optimal replenishment schedule not only exists but is also unique. Furthermore, we show that the total cost associated with the inventory system is a convex function of the number of replenishments. Hence, the search for the optimal number of replenishments is simplified to finding a local minimum. Finally, several numerical examples are provided to illustrate the results. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 144–158, 2001     

对兵团中小学校长现状及领导权力问题的调查

兵团中小学实施校长负责制以来 ,对学校的管理产生了巨大的促进和推动作用 ,但由于受多种因素的制约 ,它在推动学校素质教育的工作中还存在着某些不适应的方面。文章从调查校长工作的现状和领导权力的实施入手指出 ,加强和完善校长负责制应该提高校长的师德修养、严格选拔好校长 ,赋予校长足够的人事、财政和管理权 ,加强学校的民主监督和民主管理 ,健全教育法制等     

分层介质系统声透射问题的传递矩阵方法

分层介质中的声透射问题一直是应用声学中的一个棘手问题 ,因为随着层数增加 ,需要求解的方程数目也成比例地增加 ,要按常规方法得到解析表达式几乎不可能 .该文引入传递矩阵的概念使这一问题变得相当简单 ,而且可以很方便地用于程序化处理 ,对于吸声材料的结构设计具有很大的实用价值 .     

An optimal recursive method for various inventory replenishment models with increasing demand and shortages

We establish various inventory replenishment policies to solve the problem of determining the timing and number of replenishments. We then analytically compare various models, and identify the best alternative among them based on minimizing total relevant costs. Furthermore, we propose a simple and computationally efficient optimal method in a recursive fashion, and provide two examples for illustration. © 1997 John Wiley & Sons, Inc. Naval Research Logistics 44: 791–806, 1997