THE USE OF TRANSMISSION AND TRANSFLECTANCE NEAR INFRARED SPECTROSCOPY FOR THE ANALYSIS OF BEER

Both transmission and transflectance near infrared spectroscopy have been evaluated for the rapid analysis of beer components. Results of sufficient accuracy have been obtained for ethanol content and Original Gravity. Application of a first derivative mathematical treatment on the spectral data improved calibration equations. Better accuracy was achieved using the transmission mode compared to that using the transflectance mode.     

Deterministic finite automata with recursive calls and DPDAs

We study deterministic finite automata (DFA) with recursive calls, that is, finite sequences of component DFAs that can call each other recursively. DFAs with recursive calls are akin to recursive state machines and unrestricted hierarchic state machines. We show that they are language equivalent to deterministic pushdown automata (DPDA).     

大功率柴油机连杆三维精细分析

连杆作为柴油机的关键零部件，其刚度和强度对于柴油机的性能和功率的提高起到至关重要的作用。采用MSC／MARC程序及三维多体接触的方法，对G32柴油机连杆的应力场和位移场进行了数值模拟。进而为降低机械负荷、改善应力分布和进一步强化奠定基础。     

微区电阻测试方法及新测试仪研制

文章对国内外开展微区薄层电阻测试的方法进行了综述，特别对改进范德堡四探针技术方法的测试原理、测试过程与测试结果进行了论述与分析，对微区电阻测试方法的进一步发展提出了一种可操作的方法，并研制出新型四探针测试样机。     

空间RSCR四杆机构图解综合法的研究

根据空间RSCR四杆机构出现特殊位置的几何特征,运用旋转变换把空间问题转换为平面问题,对实现两特殊位置运动的空间RSCR曲柄摇杆机构的图解综合法进行了探讨。     

农村电网的无功功率补偿

阐述农村电网无功补偿的意义 .针对农村电网和农村用户的特点 ,提出在农网改造中 ,对各级电力线路 ,以提高农村电网的功率因数 ,保证农网安全、可靠和经济运行 .和电力用户进行无功补偿的方法     

内燃机节油率计算的探讨

讨论比较了现有内燃机节油率计算方法的优缺点、产生误差的原因，提出了采用曲线拟合的方法求取率的新方法。文中给出了计算公式和计算步骤，通过编制计算机程序，计算了几种典型发动机的节油率指标，并传统的按度试验数据逐点计算方法进行了对比，证明此方法是一种比较客观、科学的节油率指标计算方法。     

Studies on Three—electrode Semiconductor Lasers

Using the ray trace method,three-section semiconductor lasers are studied .An analytic expression of output power for the three-section semiconductor lasers is derived for the first time.Frome this expression,threshold condition is also obtained.     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.