1) upward-closed set
向上封闭集合
1.
The backward reachability analysis has been widely used for verifying parameterized systems against safety properties modeled as a set of upward-closed sets.
针对表示无穷状态的向上封闭集合,研究人员提出了多种基于约束(constraint-based)的符号表示方法。
2) closed set
封闭集合
1.
The CloSpan algorithm first suggests that the closed set of sequential patterns is more compact and has the same expressive power with respect to the full sets.
CloSpan算法首先提出搜索封闭集合的思想。
3) closed under set closure
对集合闭包封闭
4) close call auction
封闭式集合竞价
1.
The results indicate that if all the investors all full rational,the equilibrium price,whether using close call auction or open call auction,is the unbiased estimator of the risky assets true value.
采用金融市场微观结构理论的方法在理性预期的框架下研究了只允许提交限价指令情形下的封闭式集合竞价与开放式集合竞价的价格发现过程。
2.
Using the idea of minority game to characterize the trading behavior in open call auction,this paper adopt NetLogo software to simulate the transactions of both close call auction and open call auction with the mode of order cancellation.
本文采用少数者博弈的思想刻画开放式集合竞价中的交易者行为,并且利用NetLogo软件模拟了封闭式集合竞价与可撤单模式的开放式集合竞价的成交情况。
5) From Conservative to Culture Communication
从封闭走向融合
6) updip seal
上倾封闭
补充资料：“自由市场”和封闭性的市场
自由市场亦称为开放性市场，是指商品的生产、销售或购买的集中程度不高，其变动主要受市场的自发力量即价值规律的作用支配，商品价格是在相对自由竞争的条件下形成的，但仍在程度不同的受到垄断的影响。
封闭市场是垄断控制型市场，在这种市场上，垄断者竭力限制竞争和供求自发的波动，使商品供求和价格按照自己希望的方向发展变化，获取高额利润。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条