1) invariance constraint
不变性约束
1.
This paper presents a control-flow-based program behavior extended model EMPDA(extended model based on push down automaton)by adding invariance constraints to control flow model,which can describe some invariance properties while a program is running safely,and enhance the ability of intrusion detection.
对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将模型划分为核心模型和辅助模型,以降低模型整体消耗,提高模型学习效率。
2) nonvarying constraint
不变约束
3) fixed-value restrictions
不变值约束
4) inequality constrain
不等性约束
6) unrestricted invariant
无约束不变式
补充资料：“约束与调控相结合”的两原则
“约束与调控相结合”的两原则
【“约束与调控相结合”的两原则】有关资产负债管理的一种观点。这种观点认为，商业银行实行资产负管理，既要实施自我约束，又要服从系统调控。二者相辅相成。按照这种指导思想，资产负债管理应遵循以下两大原则:①负债约束资产的原则。实施总量约束和结构约束。②有利于增强系统调控原则。按照统一法人原则，统一调度资金，增强对全行资金的调拨配置能力，抑制一些分支机构超负荷经营行为。.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条