1) unexpected state transition path
非预期状态转换路径
1.
Identifying unexpected state transition paths in synthesized statecharts;
合成状态图中非预期状态转换路径的确认
2) state transition path
状态转移路径
1.
Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from pipe.
根据指令生成模型、验证计划等创建微处理器功能验证程序模板,并结合微处理器流水线状态控制部件的有限状态机的基本状态转移路径,提出一种指令序列的功能验证方法。
3) expectation path
预期路径
1.
Using this method proposed here, both executing and candidate paths are generated for the application,the expectation path within candidate paths is found,and then the assumed fault is located by comparing the executing path with the candidate path.
利用测试算例,计算出执行路径和候选路径集,并在候选路径集中找出预期路径。
2.
Using this method proposed here, we generate both executing and candidate paths for the application, finding the expectation path within candidate paths, and then to locate the assumed fault by comparing the executing path with the candidate path.
该方法在测试用例的驱动下,计算出执行路径和候选路径集,并在候选路径集中找出预期路径。
4) Path Transformation
路径转换
1.
China s agricultural industrialization faced an important path transformation era.
我国农业产业化的进程正面临着重大的路径转换。
5) Transition Path
转换路径
1.
An Logistic Empirical Analysis of Renminbi Exchange Rate Regine Transition Path;
人民币汇率制度渐进性转换路径的Logistic回归分析
6) state transition
状态转换
1.
To solve the complex design problem of control program of robots in different applications,the state transition method is proposed.
为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法。
2.
Based on analyzing the application and characterization of wireless sensor networks,statement the system energy model of wireless sensor networks from three aspects of the node energy calculate model,node′s energy consume model and state and state transition.
在分析了无线传感器网络的应用和特性的基础上,从节点能量计算模型、节点的能量消耗模型和状态转换模型3个方面论述了无线传感器网络的系统能量模型,通过引入Flag标志和长期睡眠状态机制来防止网络中的某些节点因为过早耗尽能量而死亡,从而实现无线传感器络中节点的能量均衡和网络生存周期的最大化,对无线传感器网络的应用和研究有着深远的意义。
3.
This paper presents a survivability evaluation method for information service systems based on state transition.
本文提出了一个基于状态转换的信息服务系统可生存性评估方法,该方法包括一个系统生存性模型和一个生存性函数的定义。
补充资料：路径非相关工具
路径非相关工具
[路径非相关工具] 1.二项式期权 二项式期权(Bill田叹伽ions)又叫作欧式数字式期权(%26助伴朋Digi磁QPtionS)，其损益曲线为非连续性的，即，如果二项式期权在到期日处于有利价，则其持有人可获得一定数量的现金支付;如果二项式期权在到期日处于无利价，其持有人的收益为零。二项式期权也分为看涨期权和看跌期权。我们依然以股票期权为例进行讨论，并使用前面的符号。另外，我们以Q表示有利价二项式期权在到期日支付的确定数量现金。首先我们来看二项式看涨期权。 (l)二项式看涨期权 如果以DcT表示二项式看涨期权的到期日价值，则有:如果Sr>X:如果Sr鉴x。其损益如下图所示。 根据风险中性估值原则，该二项式看涨期权在初始日的价值应该是其回报期望值的现值。据B一S模型，到期日股价高过执行价格的概率是N(也)，所以在初始日，有:卷八衍生品交易177‘=、一令·甄(6，同样，为使期权初始价值为零，有: 肠‘Q 鸣=叫瓦~4.选择人期权 选择人期权(Ch~r OPtion)又称作“随你所愿”期权(“As YouUkeit’’ OPtion)，它给予持有人的权利是在一个确定的时段后，持有人可选择决定所购买的是看涨期权还是看跌期权。 假定这里涉及的是欧式期权。作为选择人期权的交易物之一的看涨期权到期日为T;，执行价格为x，，而看跌期权的到期日为毛，执行价格为瓦。选择人期权的到期日为T，T鉴叭，毛。显然，T时选择人期权的价值为: C认二~(街，Pr) 为确定选择人期权在初始日的价值，我们来考虑一个特殊的情形。假如叭二飞，Xl二兀二X，我们可以利用看涨期权一看跌期权平价方程，因而有 Cor二~(c，p)二~(c，c+xe一“几一T)-STe一q(TI一r)二。+e一，(11一T)max(o，、一(，一q)(Tl一T)一Sr)(7) 其中，q为连续股息率。从式(7)中我们可以看到，选择人期权实际上由两部分构成: (l)一个到期日为叭，执行价格为X的欧式看涨期权; (2)e一“(、一T)个到期日为rr，执行价格为Xe一(‘一0)(、一’r)的欧式看跌期权。 因此，利用B一S模型，我们可以很容易的给出这类选择人期权的定价公式。 除了上述的特殊情形，选择人期权就不再是上面提到的两部分头寸的组合。它的特征与复合期权有相似之处。对于一般情形的选择人期权进行定价，就要涉及到较复杂的数学推导，这时不作详细讨论。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条