1) Implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式
1.
Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
2) prime implicant/implicate
本原蕴涵/蕴涵式
3) Formal Implication
形式蕴涵
4) prime implicant form
素蕴涵式
5) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式;蕴含式
6) fuzzy implication relation
模糊蕴涵式
1.
The data were classified based on their statistical character,the fuzzy relation set was ascertained from the merging of the fuzzy implication relations,and the membership functions as the correction factors of the prediction scope were constructed.
从前期参数测量数据确定预测的因子和预测对象(电磁骚扰值),并根据数据的统计特性对其分级,然后归并模糊蕴涵式语句确定模糊关系集,构造预测区间修正因子的隶属函数。
补充资料：欧洲式期权、美国式期权与亚洲式期权
欧洲式期权、美国式期权与亚洲式期权
【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期，过了失效日后，权利即行作废。一些期权规定权利仅能在有效期的最后一天执行，这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行，这种期权被称为美国式期权(一~oPtions)。值得指出的是，虽名为欧洲式或美国式期权，但已无任何地理上的意义。由于欧洲式期权的规定过于严格，又出现了一种“改变的欧洲式期权”，它允许期权在一定的时间范围内进行交易。可见，美国式期权为期权购买者提供了更多的选择机会，因此，它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国，所交易的期权均以美国式为主，欧洲式期权虽仍存在，但其交易量已比不上美国式期权。 在so年代末期，市场上又出现了一种所谓亚洲式期权(asian ontions)，但也无地理上的意义，其差别主要在于履约价值(exe而sev公此)的计算。以买权为例，无论是美国式期权或是欧洲式期权，执行权利所能得到的履约价值均为当时标的物的市价减去履约价格，再乘以合约所定的数量，但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止)，减去履约价格，再乘以合约所定的数量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条