智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

一类马尔可夫人才系统中的工龄和职龄

用马尔可夫模型研究人才系统中工龄和职龄问题的一般方法都要按职务等级、工龄或职龄来划分系统状态。本文在只以职务等级划分系统状态的一类无降级且逐级晋升的齐次马尔可夫人才系统中讨论了工龄和职龄问题,得到直观描述工龄和职龄的计算结果,并通过一实例说明了本方法的应用价值。     

适应法光学自动设计程序中的病态处理

有效的病态处理是适应法光学自动设计程序的关键。本文旨在突破传统的处理格局,推出“三链节-可循环”处理新方法。这种处理方法包括缩减迭代步长、调整增量之比例和释放受控象差,它比传统的处理方法更好。     

关于军用计算机在坦克部队维修保障问题的探讨

从全系统全寿命的观点来认识装备的维修性,呼吁有关单位在研制以计算机为核心的军用装备时,要同时考虑装备交付部队使用后的维修保障问题,防止出现装备买得起,用不了或用不起的局面。文章从维修保障的重要性、产品维修性设计和维修保障设计等几个方面提出一些看法,并提出一些参考作法。     

可靠性鉴定中 Bayes 方法的运用

本文论述可靠性鉴定的Bayes方法。文中讨论了成败型和寿命型两种模型。给出了可靠性鉴定方法及可能犯的两种错误的概率计算公式。论述中,充分注意了工程实践中出现的问题,并提出了处置方法。     

变推力液体火箭发动机脉宽采样数字控制

本文对变推力液体火箭发动机的脉宽采样数字控制系统进行了理论分析和实验研究。文中提出了此类控制系统的时宽输入模型,讨论了系统的稳定边界和无波纹响应条件,指出了影响动静态响应的关键因素及其与一般比例反馈控制的区别,并分析了发动机试车时动态特性随工况大幅变化的原因。     

一个 C1 单调保形插值三次样条的构造

本文利用三次Bernstein多项式构造了一种C~1单调保形插值三次样条函数。该方法除计算简单外,还能应用于外形设计中且能灵活地调节外形曲线。     

国防科技大学国际学术交流论文统计分析

为了促进我校学术活动的开展,从总体上反映我校近几年来的学术研究水平和现状,总结我校在各科学领域内的学术研究成果,我们采用文献计量学的方法,根据我校各专业所覆盖的学科,利用国际上著名的八大检索系统,即英国编辑出版的《科学文摘》(SA)、美国编辑出版的《科学引文索引》(SCI)、《科学技术会议录索引》(ISTP)、《化学文摘》(CA)、《国际宇航文摘》(IAA)、《工程索引》(Ei)、《数学评论》(MR)及美国和英国联合编辑出版的《金属文摘》(MA),对我校1986-1991年发表的科技论文进行了统计分析。     

抗超高速撞击多层结构复合材料研究

本文介绍了抗超高速撞击多层结构复合材料的设计、制备和实验,并对结果进行了讨论,实验证明,以SiC陶瓷基复合材料为防护层、以空心微珠或多孔变密度复合材料为缓冲层、以编织物复合材料为结构层的多层结构复合材料,具有面密度低、抗撞击速度范围宽、抗撞击性能好的特点。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。