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

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

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.     

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.     

Allelopathic Effects of Volatile Monoterpenoids Produced by <Emphasis Type="Italic">Salvia leucophylla</Emphasis>: Inhibition of Cell Proliferation and DNA Synthesis in the Root Apical Meristem of <Emphasis Type="Italic">Brassica campestris</Emphasis> Seedlings

Salvia leucophylla, a shrub observed in coastal south California, produces several volatile monoterpenoids (camphor, 1,8-cineole, -pinene, -pinene, and camphene) that potentially act as allelochemicals. The effects of these were examined using Brassica campestris as the test plant. Camphor, 1,8-cineole, and -pinene inhibited germination of B. campestris seeds at high concentrations, whereas -pinene and camphene did not. Root growth was inhibited by all five monoterpenoids in a dose-dependent manner, but hypocotyl growth was largely unaffected. The monoterpenoids did not alter the sizes of matured cells in either hypocotyls or roots, indicating that cell expansion is relatively insensitive to these compounds. They did not decrease the mitotic index in the shoot apical region, but specifically lowered mitotic index in the root apical meristem. Moreover, morphological and biochemical analyses on the incorporation of 5-bromo-2-deoxyuridine into DNA demonstrated that the monoterpenoids inhibit both cell-nuclear and organelle DNA synthesis in the root apical meristem. These results suggest that the monoterpenoids produced by S. leucophylla could interfere with the growth of other plants in its vicinity through inhibition of cell proliferation in the root apical meristem.     

Hydroformylation of functional alkenes with heterodonor phosphine rhodium catalysts: substrate or ligand directed regioselectivity?

The catalytic activity and selectivity of heterodonor phosphine rhodium catalysts prepared in situ were tested in the hydroformylation of functional alkenes (ethyl acrylate, methyl methacrylate, styrene, 4-vinyl-1-cyclohexene, dicyclopentadiene and cis-1,2,3,6-tetrahydrophthalic anhydride). Systematic variation of the heterodonor atom in the ortho position of the ligand showed that the heterodonor atom has a significant influence on the activities and selectivities of the reaction. However, the activity seems to depend mainly on the modifying ligand, and the regioselectivity mainly on the substrate (i.e., the structure and functionality of the alkene). Nevertheless, regioselective control is only obtained through synergy between the substrate and the catalyst. Clear regiocontrol was observed in the hydroformylation of ,-unsaturated esters and styrene with an in situ formed o-(thiomethylphenyl)diphenylphosphine rhodium catalyst.     

Catalytic Combustion of Model Carbon Particles (CPs) over Pt/β-SiC Catalyst

Platinum catalyst supported on a medium surface area -SiC was successfully used for the catalytic combustion of model carbon particles and compared to a catalyst supported on a low surface area -SiC. The -SiC-based catalyst showed no deactivation as a function of cycling tests while a strong deactivation was observed on the -SiC-based catalyst. This deactivation was attributed to the progressive encapsulation of the platinum particles by a layer of silica which built up during the combustion cycle. These results render possible the use of Pt/-SiC catalyst as a diesel carbon particle catalytic filter with continuous regeneration.     

An EXAFS study of the Mo/TiO2 hydrodesulphurization catalysis

In-situ EXAFS studies of sulphided Mo/TiO₂ catalysts have shown that at low Mo loadings (2–4 wt%), an active species with a short Mo-S distance of 2.25 Å is formed, while on Mo/TiO₂ with high Mo loadings as well as on Mo/-Al₂O₃, bulk MoS₂ (Mo-S, 2.42 Å) is formed. The species with the short Mo-S distance has Mo in an oxidation state close to 6 + and is likely to result from the sulphidation of the tetrahedral molybdate species present in the oxidic precursor at low Mo loadings. The calcination temperature of the oxidic precursor appears crucial, a high calcination temperature of 973 K favouring the formation of MoS₃ on sulphidation, and a low calcination temperature of 623 K favouring MoS₂.Contribution No. 790 from the Solid State and Structural Chemistry Unit.     

自动扫查爬壁机器人结构及控制系统研究

针对检测在役化工容器筒壁对接环焊的危害性缺陷，设计了一种基于超声串列法扫查法的新型爬壁机器人，着重介绍其机械结构及控制系统。这种机器人采用磁轮吸附和轮式行走，利用磁带导航，光纤传感器检测，具有结构紧凑，导航性能好，控制精度高等特点，有广泛的应用前景。