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%以上)、毒性低、适口性好等优点,国外畜牧业应用十分广泛。
分子量:487.85
CAS号:2390-22-9
性质:该品溶点213-215℃。作兽用驱虫药时常用基盐,又称Dieroden。盐酸盐的熔点为267-269℃,易溶于热水和醇。
制备方法:以三(对氯苯基)甲醇(Ⅰ)为原料,与氰乙酸加成得β,β,β-三(对氯苯基)丙腈(Ⅱ),经浓硫酸水解得β,β,β-三(对氯苯基)丙酸(Ⅲ),再用五氯化磷酰氯化,得到β,β,β-三(对氯苯基)丙酰氯(Ⅳ),最后与N-甲基哌嗪缩合制得海涛林。
用途:该品为治疗牛、羊矛形腔吸虫病的高效药物,具有作用强、驱虫率高(96%以上)、毒性低、适口性好等优点,国外畜牧业应用十分广泛。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条