交流伺服系统在玻璃裂片机中的应用

随着运动控制技术的飞速发展，交流伺服系统应用的日益广泛。介绍了液晶生产中的关键设备玻璃裂片机，并详细分析松下MINAS A系列交流伺服系统在玻璃裂片机中的应用。     

浅谈应用标准进行软件测试

国家标准GB T175 44规定了软件包的质量要求及针对这些要求如何对软件包进行测试的细则。质量要求从产品描述、用户文档、程序及数据三个方面进行了规定 ,测试细则依据这些规定制定。ISO IEC912 6 (1991)版由ISO IEC 912 6 (软件产品质量 )和ISO IEC14 5 98(软件产品评测 )两个标准代替 ,ISO IEC912 6表述了软件产品质量的内部质量、外部质量和使用中的质量 ,规定了内部质量、外部质量的六个质量特性 ,并细分为 2 1个子特性 ,使用中的质量规定了四个使用质量特性 ,使用质量是指六个软件产品质量特性的综合效果。进行软件测试时 ,可以依据GB T175 44中的规定组织测试过程再结合ISO IEC912 6中的质量特性及子特性的规定确定测试需求的内容和测试的重点 ,利用ISO IEC912 6质量的规定建立质量评级的标准。     

AlGaAs／GaAs HBT集成电路的CAD

介绍了一套用于ＡｌＧａＡｓ／ＧａＡｓＨＢＴ集成电路的ＣＡＤ软件，它可完成ＨＢＴ的器件模拟、模型参数提取及电路模拟。应用该软件对ＨＢＴ运算放大器进行了模拟，为电路的研制提供了依据。     

头盔显示器的关键技术及有关设计问题综述

头盔显示器可以提高驾驶员的态势感知能力，红外传感器提供的信息，使驾驶员的态势感知能力大大加强，头盔显示器提供的红外图像，使恶劣的天气和黑夜不再成为驾驶员作战的障碍，概述了头盔显示器的发展过程和关键技术，介绍了当前空军用头盔显示器的技术问题，解决方法，设计示例。     

气压传动与控制在电子专用设备上的应用

气压传动与控制已成为电子专用设备研制过程中一项不可缺少的内容 ,必须进行合理的气动系统设计及其控制 ,选择相应的气动元件以满足设备的功能要求。概述了气压传动与控制在电子专用设备上的应用。     

军事科研项目中软件项目管理方法研究

列举分析了目前软件开发中存在的问题，提出了在军事科研项目中，对软件项目实施管理的方法，应用先进的软件项目管理理论和方法，有效的提高软件开发效率，确保软件质量。     

Experimental design and the optimization of a polymer supported palladium complex for use in the Heck reaction

Optimization of the Heck reaction of 4-bromoacetophenone with styrene by a polymer supported, sulfur-containing palladacycle, varying 6 factors at a total of 28 different levels, corresponding to 5760 different possibilities was undertaken. Conversion improved from 34%, with large observable leaching to 88% with no leaching. This was accomplished using a Design of Experiments approach facilitated by the Statistical Design Package, MODDE 7.0^TM.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

混合位级正交试验设计的极差分析方法

本文指出，在混合位级的正交试验设计中，以往的极差分析方法存在着不足。本文给出了极差的修正方法，并用大量实例做了数值验证，说明这个修正确实很有效     

Expert systems as a tool for statistics: A review

The current state of using expert system (ES) techniques for statistics is expounded through the difficulties of defining the notion of statistical expert system (SES) and through several well-known examples. The main characteristics of statistical expertise, and particularly the important concept of strategy are emphasized. The current state of SESs is seen in the context of the global trend of the evolution of ES, i.e. within the growth of second generation expert system (SGESs). The knowledge base of these ESs represent an attempt to represent not only experts' knowledge but also the way experts acquire their expertise, thanks to the existence of an underlying model. We show through many examples how far SESs are and/or will be able to be SGESs.