并给出了它们的基本性质，由此给出了两种依赖性的可导出性的判定方法。
Some of their fundamental properties are given. Two derivable decision approaches for dependencies are thus obtained.
于是XMI导入和导出功能现在提供了一个选项，以只导入和导出一部分的模型信息，这样在交换模型信息时提供了更大的灵活性和可评价性。
The XMI import and export capability now provides an option to import or export only a portion of the model information, offering more flexibility and scalability when exchanging model information.
根据逐段决定马尔可夫过程具有马氏性和强马氏性，本文推导出了在古典风险模型下绝对破产概率的一个明确表达式。
In this paper, we deduced the explicit expression of the absolute ruin probability for classical risk model by using of the Markov property and strong Markov property of PDMP.
应用推荐