1) binding resolution
约束消解
2) constraint elimination
约束消减
1.
This paper introduced a security reachability analysis model based on the strand space theory and the constraint elimination method.
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
3) consumption constraints
消费约束
1.
In this paper,we mainly study the problem of optimal consumption and portfolio with transaction costs,random income,and with consumption constraints, stopping,respectively.
本文主要研究含交易费和随机收入的及带消费约束和停时的消费投资优化问题,共分为三章。
4) constraint solving
约束求解
1.
Research of Key Techniques in Geometric Constraint Solving;
约束求解中若干关键技术的研究
2.
Searching is the key step of constraint solving.
解空间搜索是约束求解的关键环节。
3.
Based on this dy- namic constraint modeling,a sound dynamic constraint solving algorithm is de.
尝试运用人工智能方法来求解半在线调度问题,首先简要介绍了半在线调度问题并对其约束模型进行了分类,通过引入单调性约束扩展的相关概念,从约束建模角度形式化描述了一类动态约束扩展,并在此基础上设计了一个完备动态约束求解算法,最后给出该算法在半在线离散资源约束调度求解的应用算例。
5) constraint solution
约束求解
1.
Research and Application of Constraint Solution in Virtual Interior Decoration System;
虚拟家居系统中约束求解的研究和实现
2.
The corresponding constraint solutions for both the forward and the backward design in the dynamic design were stated.
研究了冲模CAD系统中模具典型结构的动态设计方法 ,在约束关系树装配模型的基础上 ,利用面向对象的方法进行装配建模 ,并论述了动态设计中正向设计与反向设计相应的约束求解方
补充资料：微波消解技术在农业环境样品分析中的应用研究
利用光纤压力自控密闭微波消解系统对土壤和植株样品中重金属元素测定的影响进行了实验，确立了样品消解液、微波消解条件及样品预处理等消解方法。结果表明，该方法与常压湿法外加热消解相比，具有样品消解时间短、消解液用量少、样品污染小等特点，是准确可靠的土壤及植株重金属元素检测样品消解处理方法。
土壤和植株重金属元素含量是农田环境质量评价中的必检项目。以往检测样品的消解多采用常压湿法外加热处理法［1,2］，不但消解时间长、耗酸量大，还容易造成样品污染或消解不完全，使测定结果产生较大偏差。微波消解是将样品与消解液放入密闭聚四氟乙烯溶样杯中，在微波能加温、加压条件下，提高消解液与样品更加有效的快速反应，使样品分解速度加快，同时可减少消解过程中的样品污染。该技术具有简便、快捷和节省等特点，已得到国内外检测实验室的普遍关注［3］，并逐渐应用于各类样品的检测工作中。为探明微波消解对土壤和植株重金属元素测定的影响，提高检测技术水平，本文对微波消解技术在土壤和植株重金属检测中的应用进行了实验研究，并取得了满意的检测结果。
土壤和植株重金属元素含量是农田环境质量评价中的必检项目。以往检测样品的消解多采用常压湿法外加热处理法［1,2］，不但消解时间长、耗酸量大，还容易造成样品污染或消解不完全，使测定结果产生较大偏差。微波消解是将样品与消解液放入密闭聚四氟乙烯溶样杯中，在微波能加温、加压条件下，提高消解液与样品更加有效的快速反应，使样品分解速度加快，同时可减少消解过程中的样品污染。该技术具有简便、快捷和节省等特点，已得到国内外检测实验室的普遍关注［3］，并逐渐应用于各类样品的检测工作中。为探明微波消解对土壤和植株重金属元素测定的影响，提高检测技术水平，本文对微波消解技术在土壤和植株重金属检测中的应用进行了实验研究，并取得了满意的检测结果。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条