1) Buchi automata
Buchi自动机
1.
On the basis of introduction to LTL formula and theory of automata,we present a algorithm which can transfer LTL formulae into Buchi automata.
该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择Buchi自动机。
2) Alternating buchi automata
选择Buchi自动机
3) BUCHI Auto Kjeldaht K-370
BUCHI K-370全自动定氮仪
1.
Discuss experiment of BUCHI Auto Kjeldaht K-370 related parameter of distillation
为了分析BUCHI K-370全自动定氮仪相关参数即蒸汽力度,蒸馏时间的设置使之最适合生物制品中蛋白质含量的测定。
4) autonomous automation
自律自动机
5) Automatic welding machine
自动焊机
1.
Kinematic simulation on large cylinder saddle automatic welding machine based on ADAMS;
基于ADAMS接管马鞍形自动焊机运动仿真
2.
The numerical control automatic welding machine is full automatic machine, and it is used in the welding of four seams in the drill pipe and flanges that lies in two ends of the pipe.
经大量的生产实践证明该钻杆环缝数控自动焊机焊接质量好 ,生产效率高。
3.
According to the application of wheel integration CO 2 automatic welding machine, developing trend and cause is analysed ,factors which effect the application and maintenance are summarized ,also some suggestions to the welding machine service work are advanced,which are rather helpful in the practise.
从车轮合成CO2 自动焊机的应用情况出发 ,多方面分析了该焊机发展的趋势及原因 ,总结了影响CO2 焊接应用与维修的因素 ,提出了做好焊机维修工作的几点建议。
6) mouldenpress
自动压机
1.
Design and application of auxiliary stripping mechanism on 60t mouldenpress;
60t自动压机辅助脱模装置的设计和应用
补充资料：Paterno-Buchi reaction
分子式：
CAS号：
性质：在紫外光照射下，醛、酮与烯烃加成，生成具有张力的氧杂环丁烷类化合物的反应。脂肪族和芳香族醛酮均能发生这一反应，所用的烯烃分子中也带有各种官能团，因此应用范围很广。但反应的收率有时很低。
CAS号：
性质：在紫外光照射下，醛、酮与烯烃加成，生成具有张力的氧杂环丁烷类化合物的反应。脂肪族和芳香族醛酮均能发生这一反应，所用的烯烃分子中也带有各种官能团，因此应用范围很广。但反应的收率有时很低。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条