说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> β-范式
1)  β-Normal Form
β-范式
1.
However,as the fixed point combinators such as Y,θ have no β-Normal Forms,most λ-terms λ-defining recusive functions by using fixed point combinators have no β-Normal Forms.
λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式
2)  β-seminorm
β-拟范数
1.
The conditions of metric turns into F-seminorm and β-seminorm;
距离成为准拟范数、β-拟范数的条件
3)  β-subseminorme
β-次半范
1.
In the first part of this aper, we prove the Hahn-Banach theorem about β-subseminormes.
本文第一部分在局部β-凸空间上给出β-次半范的 Hahn-Banach定理 ,第二部分通过共轭锥 ( X*β ,‖‖ )得到赋β-范空间 ( X,‖‖β)的可分性定理 ,第三部分给出局部 β-凸空间的共轭锥 X*β 在一致收敛拓扑下的完备性定理等 。
4)  Semi-β-norms
拟β-范数
5)  β-norm
β-范数
6)  Lattice β-norm
格β-范数
补充资料:1-[β,β,β-三(对氯苯基)丙酰]-4-甲基哌嗪
分子式:C26H25CL3N2O
分子量:487.85
CAS号:2390-22-9

性质:该品溶点213-215℃。作兽用驱虫药时常用基盐,又称Dieroden。盐酸盐的熔点为267-269℃,易溶于热水和醇。

制备方法:以三(对氯苯基)甲醇(Ⅰ)为原料,与氰乙酸加成得β,β,β-三(对氯苯基)丙腈(Ⅱ),经浓硫酸水解得β,β,β-三(对氯苯基)丙酸(Ⅲ),再用五氯化磷酰氯化,得到β,β,β-三(对氯苯基)丙酰氯(Ⅳ),最后与N-甲基哌嗪缩合制得海涛林。

用途:该品为治疗牛、羊矛形腔吸虫病的高效药物,具有作用强、驱虫率高(96%以上)、毒性低、适口性好等优点,国外畜牧业应用十分广泛。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条