中低速率语音波形编码

提出了一种波形编码的新方法，阐述了其编码原理。该编码算法简单，恢复的语音质量较好。由于利用了矢量量化技术，所以该编码速率较低。     

位置控制器与通用变频器APC系统

在每一周期的开始时的速度值V1预设定到传动装置上进行速度预控制，同时，反馈回来的实际值Sj与S1进行比较计算，得出当时偏差值△S，此偏差值△S乘以比例系数Ksp，得到Vk叠加在Vt上，得出传动装置应具有的速度控制信号V，然后V经速度／电压变换和D／A转换向传动系统的速度控制发出控制信号Uα控制执行机构的定位。调节Ksp的值使系统无超调无振荡。     

通用的自然语言词法分析机制

本文提出了一种通用的自然语言词法分析技术,其处理机构不仅可以独立于具体自然语言,而且又具有适合于未来智能计算机直接处理的规则形式和实现过程.文中还详细讨论了独立于自然语言的词法分析技术,以及我们在IMT/EC系统中实现的词法分析机制的工作原理.     

Automated fluorimetry in quality control of pasteurized and ultra-high temperature-treated starch soup

Automated monitoring of the microbiological quality of heat-processed foods by the resazurin reduction test was applied to microtitration plate incubator-fluorimeter technology. The appearance and disappearance of the fluorescing peak of resorufin was monitored on microtitration trays. Pasteurized or ultra-high temperature-treated starch-based soup was used as the model food system. Bacillus subtilis spores (ultra-high temperature treatment) and vegetative cells of Enterococcus faecalis (pasteurization) were inoculated into the soup before the heat treatment at levels which resulted in some survival. The timing of appearance of maximum fluorescence correlated with the number of bacteria in pre-incubated samples. Automated resazurin-reduction fluorimetry was compared with conventional plating, turbidometry and microcolony count by the direct epifluorescent filter technique. The results of the resazurin test correlated well with those of all the other methods tested. Fluorimetry had the advantage that the results could be read within 1–5h and the reproducibility was superior to the other methods.     

A ctivation measurement of neutron distribution in intermediate energy heavy ion target area

The distribution of neutrons produced by the reaction of 50MeV/u ^12C-ion on a thick Cu target are studied.The neutrons are measured with threshold activation detectors.Al.F,C,Al and In activation samples were used to measure neutrons with energy greater than 7,11,20,50MeV and thermal neutrons,respectively,The fluence rate,energy and angular distributions of neutrons,total neutron yield of 12C-ion and the emission rate in the forward direction of neutrons over 11 and 20MeV were obtained.     

Searching minimax game trees under memory space constraint

Games such as CHESS, GO and OTHELLO can be represented by minimax game trees. Among various search procedures to solve such game trees,- and SSS^* are perhaps most well known. Although it is proved that SSS^* explores only a subset of the nodes explored by-, - is commonly believed to be faster in real applications, since it requires very little memory space and hence its storage management cost is low. Contrary to this folklore, however, this paper reports, using the OTHELLO game as an example, that SSS^* is much faster than-. It is also demonstrated that SSS^* can be modified to make the required memory space controllable to some extent, while retaining the high efficiency of the original SSS^*.This research was partially supported by the Ministry of Education, Science and Culture of Japan, under a Scientific Grant-in-Aid.     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

双参数Bézier曲线的升二次扩展

本文以二次Bernstein基函数为例,首次提出了含双参数基函数的新扩展——αβQ—Bern-stein基函数,此类基函数具有新的特点,即基函数的扩展次数一次性升高两次,且包含了二次多项式和带一个参数的三次多项式基函数的所有性质。基于这组基函数定义了αβQ—Bézier曲线,该曲线也含有参数,具有形状可调性,当α与β取某些值时曲线能达到C4连续或在某个端点处C0连续。最后与含两个参数的升一次Bézier曲线进行比较,该曲线具有调节范围广、灵活性更强的优势。     

Interpretation of hydrogenation kinetics of spent oil distillate from u.v. spectroscopy

Hydrotreatment of spent oil distillate was carried out on a commercial Ni-Mo-alumina catalyst in the temperature range 260–340 °C, with a liquid hourly space velocity (LHSV) of 0.7–2.0 h^?1, pressure of 4.5 MPa and $\text{H}{}_2\text{oil}$ ratio of 300 NL L^?1 (normal litre of H₂ per litre of feedstock). U.v. spectra of hydrogenated and original spent oil distillates (measured in normal hexane) gave a band with a maximum at 230 nm. The change in absorbance at three selected wavelengths for original oil distillate and hydrotreated oil at different operating conditions was taken as a guide for the determination of hydrogenation reaction rates (including partial saturation of aromatics and sulphur compound hydrogenolysis). The rate constants of hydrogenation reactions (k) using a second-order equation and a model of two parallel first-order reactions (k₁ and k₂) were calculated. Finally, the apparent activation energy (E_a), enthalpy of activation ($\text{ΔH}{}^1$) and entropy ($\text{ΔS}{}^1$) were calculated based on the values of k, k₁, and k₂. The calculated values of E_a based on k, k₁ and k₂ were 81.479, 71.188 and 62.882 kJ mol^?1, respectively. The values of $\text{ΔH}{}^1$ based on the same rate constants were 76.670, 66.564 and 58.433 kJ mol^?1, while the values of $\text{ΔS}{}^1$ were ?117.150, ?133.779 and ?150.823 J mol^?1 K^?1, respectively.