1) α-resolution field
α-归结域
1.
The research onα-resolution fields of generalized literals of lattice-valued propositional logic LP (X) is the subsequence of the work onα-resolution principle based on lattice-valued propositional logic LP (X), where the algebra of true-values is a lattice implication algebra.
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续。
2) α-resolution Principle
α-归结原理
1.
α-resolution Principle with Generalized Quantifier Based on First-order Lattice-valued Logic LF(X);
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
3) II-α-hyper resolution principle
II-α-超归结原理
1.
In order to improve the efficiency of resolution automated reasoning algorithm in lattice-valued propositional logic, II-α-hyper resolution principle is proposed based onα- resolution principle of lattice-valued propositional logic LP(X).
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。
4) α subunit domain
α-亚基结构域
5) α and β domain
α和β结构域
6) reterritorialization
归域
补充资料：α,α,α,α',α',α'-六氯对二甲苯
分子式：C8H4Cl6
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条