【24h】

Improvement of FT-FREE using the BDD method

机译:使用BDD方法改进FT-FREE

获取原文
获取原文并翻译 | 示例

摘要

We carried out preliminary investigation on time of extraction and accuracy of quantification before decision of introduction ARALIA to FT-FREE. The current version of FT-FREE with high specification of CPU took much time for extraction of MCS of large ET, however, ARALIA could do it just in a minutes. As for accuracy of quantification, we could find that the result by ARALIA was a little larger than that by FT-FREE in some sequence of ET. This difference is due to truncation of MCS by FT-FREE and ARALIA could quantify precisely the logic tree. We decided to apply ARALIA to FT-FREE in order to improve quantification speed. Before actual utilization, development of some functions is necessary. We could work out the specification of the development in this study. With this improvement, we can expect not only high-speed quantification but also resolution of cut sets truncation problem which FT linking method has in nature. Furthermore, this improvement is effective for development of risk monitor function. It also is expected to reduce amount of data which we have to prepare for risk monitor function before hand.
机译:在将ARALIA引入FT-FREE之前,我们对提取时间和定量准确性进行了初步调查。当前版本的具有高CPU规格的FT-FREE花了很多时间来提取大型ET的MCS,但是ARALIA只需几分钟即可完成。至于量化的准确性,我们可以发现在某些ET序列中,ARALIA的结果比FT-FREE的结果要大一些。这种差异是由于FT-FREE截断了MCS而造成的,ARALIA可以精确地量化逻辑树。我们决定将ARALIA应用于FT-FREE,以提高量化速度。在实际使用之前,必须开发一些功能。我们可以在这项研究中制定出开发的规格。有了这一改进,我们不仅可以期待高速量化,而且可以期待FT链接方法本质上具有的割集截断问题的解决能力。此外,该改进对于开发风险监控器功能是有效的。还可以减少我们为风险监控功能而必须准备的数据量。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号