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

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

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

新一代厂站计算机监控系统软件的研制

本介绍一种新的基于开放系统环境的计算机监控系统软件的开发研究及其设计目标、实现方法及应用情况。     

基于PⅢ工控机VI测控系统远程控制研究

虚拟仪器（VI）将计算机采集测试分析引入到电子测量领域，用数字化和软件技术极大地提高了测量的灵活性。而VI远程测控系统是网络技术、通信技术一计算机虚拟技术结合的产物。远程控制技术能够使操作突破地域的限制，已在网络环境下PⅢ工控机上实现。     

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

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

Quantitative demonstration and cost considerations of a software fault removal methodology

This paper presents a demonstration of a methodology for fault removal during software development. The methodology encompasses the entire development history, from system and software requirements generation to system test. Thus it considers not only the faults during software testing after formal configuration controls have been invoked, but also the faults discovered prior to that phase: during system and software requirements generation, preliminary design, detailed design and code and unit testing. The agents for fault discovery used in verification and validation are called activities, techniques and tools (AT & Ts) in this paper, each having a certain maximum potential or capability for fault discovery. The AT & Ts considered include the usual specification review activities, and also certain tools not normally applied in ‘standard’ software development, such as automated requirements aids. Application of the methodology yields numbers of residual faults as of each phase of development, including those remaining to be discovered during operations and maintenance. Some previous experience and data on residual faults correspond to these results, indicating that the methodology and choice of parameters are reasonable. The methodology also allows one to calculate a relative loss due to delay in fault discovery, which, as is well known, rises rapidly when faults are not discovered during the phase in which they are generated.     

A framework to integrate software behavior into dynamic probabilistic risk assessment

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.     

A review on queueing network models with finite capacity queues for software architectures performance prediction

A review is carried out on how queueing network models with blocking have been applied so far into the performance evaluation and prediction of Software Architectures (SA). Queueing network models with finite capacity queues and blocking have recently been introduced and applied as more realistic models of systems with finite capacity resources and population constraints. Queueing network models have been often adopted as models for the evaluation of software performance. Starting from our own experience, we observe the need of a more accurate definition of the performance models of SA to capture some features of the communication systems. We consider queueing networks with finite capacity and blocking after service (BAS) to represent some synchronization constraints that cannot be easily modeled with queueing network models with infinite capacity queues. We investigate the use of queueing networks with blocking as performance models of SA with concurrent components and synchronous communication. Queueing theoretic analysis is used to solve the queueing network model and study the synchronous communication and performance of concurrent software components. Our experience is supported by other approaches that also propose the use of queueing networks with blocking. Directions for future research work in the field are included.