1) 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的自动分析工具。
2) increasing or decreasing restrain
增减约束
1.
Based on the sensitivity analysis,under the increasing or decreasing restrain conditions,especially.
本文在灵敏度分析的基础上,面对增减约束条件,特别对减少约束的情形,给出新最优方案的获得方法;并指出其特殊的经济意义。
3) binding resolution
约束消解
4) 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.
本文主要研究含交易费和随机收入的及带消费约束和停时的消费投资优化问题,共分为三章。
5) disturb ance attenuation constraint
抗干扰衰减约束
6) energy consumption restraint
能源消费约束
补充资料：消减
1.减少;降低标准。 2.谓消瘦。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条