1) extended Horn logic model
扩展Horn逻辑模型
1.
Based on analyzing and pointing out the limitations for constructing counter-examples of the security protocol s Horn logic model and its verification method proposed by Bruno Blanchet and Martin Abadi,the security protocol s extended Horn logic model and the modified-version verification method are presented such that the counter-examples are able to be constructed from them automatically.
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例。
2) Horn logic
Horn逻辑
1.
Horn logic in first order predicate logic is the theoretical basis of artificial intelligence program language Prolog.
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。
3) extended fuzzy logic
扩展模糊逻辑
1.
Knowledge representation of public utilities using extended fuzzy logic;
基于扩展模糊逻辑的公共服务事业知识表示方法
4) logic extension
逻辑扩展
1.
One logic extension evaluation model is strictly defined based on the system of fuzzy logic knowledge and two-value logic knowledge,and its detailed evaluation process of weighting fuzzy logic is also given.
以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标,在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型,并给出对典型加权模糊逻辑的详细评测过程,这个模糊知识体系的逻辑扩展能力评价模型,可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。
5) CS extension logic
CS扩展逻辑
6) extended fuzzy description logic
扩展模糊描述逻辑
1.
Reasoning complexity for extended fuzzy description logic with qualifying number restriction;
限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)
2.
The current extended fuzzy description logics lack reasoning algorithms with TBoxes.
针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法。
补充资料：布莱克-斯科尔斯模型的扩展
布莱克-斯科尔斯模型的扩展
股票指数翔权、货币 期权和期货翔权[布莱克一斯科尔斯模型的扩展】我们将提出一条简单的规则，使不支付股息的欧式股票期权的分析可以扩展到适用于连续支付股息的欧式股票期权。不支付股息的股票与支付连续股息的股票是不相同的，两者相差的就是股息，我们用q来表示股息率。在布莱克一斯科尔斯模型的介绍分析中，我们已经知道股息的支付将引起股票价格下跌，下跌的数值恰好就等于股息值。因此，以年息率q连续支付股息与不支付股息相比，会引起股票价格的增长率低一个数值qo如果连续支付的股息率为q，那么从时间t到T，股票价格的增长为S一‘Sr，而在不支付股息的条件下，在同样的时段里，股票价格将从S-卜s。e仰一”。或者说，在不支付股息的条件下，在同样的时段上，股票价格会从se一q‘T一‘、~乌· 根据L述理论，在以下两种情况下.当时间为T时，股票价格概率分布相同: 1.股票价格的初始值为S，支付的股息率等于q 2.股票价格的初始值为Se一q‘T一”、不支付股息。 这就引出了一条简单规则:如果欧式期权的有效期限为T一t，基础资产为股票，已知股息率为q，那么，我们可以将股票现行价格s扣去股息因素后以Se一祖一”表示，这样支付股息的股票期权的价格与不支付股息的股票期权价格相似。 1.期权价格的边界 首先，作为这一简单规则的应用，我们来考虑支付股息率为q的欧式股票期权的定价边界问题。以se一必一‘)取代股票现行价格s，那么欧式期权的价格下限c可以由F式表示 c>max(Se一”(T一，)一Xe一’夭‘一t，，0)(z)其中，一无风险利率(连续复利) 二一期权的协定价格 t一一现行时间 「「—期权到期时 C·—欧式看涨期权的价值(买入股票) 我们可以采用以下两种资产组合来直接证明该不等式: 资产组合A:一份欧式看涨期权加卜数额为xe一“T一’)的现金 资产组合B:股票股数为。一毗一’).股息再投资于股票。 先分析资产组合A，如果将现金以无风险利率再投资，到T时，现金值增大至x，当导>X时，看涨期权在T时被执行，资产组合A的价值为Sr。当Sr
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条