1) ordered linear resolution
有序线性消解
2) linearly ordered class
线性有序类
3) simply ordered set
线性有序集
4) linearly ordered module
线性有序模
5) resolution sequence
消解序列
1.
This approach directly constructs the resolution sequences for proving unsatisfiability with a local search procedure,combines with reasoning heuristics,and then recursively derives unsatisfiable subformulae from the resolving traces.
该算法根据公式的消解规则通过局部搜索过程直接构造证明不可满足性的消解序列,并融合了布尔推理技术以提高搜索效率;而后通过一个递归过程遍历证明序列从而得到不可满足子式。
6) linear ordered relation
线性有序关系
补充资料:微波消解技术在农业环境样品分析中的应用研究
利用光纤压力自控密闭微波消解系统对土壤和植株样品中重金属元素测定的影响进行了实验,确立了样品消解液、微波消解条件及样品预处理等消解方法。结果表明,该方法与常压湿法外加热消解相比,具有样品消解时间短、消解液用量少、样品污染小等特点,是准确可靠的土壤及植株重金属元素检测样品消解处理方法。
土壤和植株重金属元素含量是农田环境质量评价中的必检项目。以往检测样品的消解多采用常压湿法外加热处理法[1,2],不但消解时间长、耗酸量大,还容易造成样品污染或消解不完全,使测定结果产生较大偏差。微波消解是将样品与消解液放入密闭聚四氟乙烯溶样杯中,在微波能加温、加压条件下,提高消解液与样品更加有效的快速反应,使样品分解速度加快,同时可减少消解过程中的样品污染。该技术具有简便、快捷和节省等特点,已得到国内外检测实验室的普遍关注[3],并逐渐应用于各类样品的检测工作中。为探明微波消解对土壤和植株重金属元素测定的影响,提高检测技术水平,本文对微波消解技术在土壤和植株重金属检测中的应用进行了实验研究,并取得了满意的检测结果。
土壤和植株重金属元素含量是农田环境质量评价中的必检项目。以往检测样品的消解多采用常压湿法外加热处理法[1,2],不但消解时间长、耗酸量大,还容易造成样品污染或消解不完全,使测定结果产生较大偏差。微波消解是将样品与消解液放入密闭聚四氟乙烯溶样杯中,在微波能加温、加压条件下,提高消解液与样品更加有效的快速反应,使样品分解速度加快,同时可减少消解过程中的样品污染。该技术具有简便、快捷和节省等特点,已得到国内外检测实验室的普遍关注[3],并逐渐应用于各类样品的检测工作中。为探明微波消解对土壤和植株重金属元素测定的影响,提高检测技术水平,本文对微波消解技术在土壤和植株重金属检测中的应用进行了实验研究,并取得了满意的检测结果。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条