日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費注冊]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

基于行的文件比較算法fcomp改正

大小:1.99 MB 人氣: 2018-01-03 需要積分:2

   基于機(jī)器定理證明的形式驗證技術(shù)不受狀態(tài)空間限制,是保證軟件正確性、避免因潛在軟件缺陷帶來嚴(yán)重?fù)p失的重要方法.文件比較算法(file comparison algorithm)是一類成員眾多,應(yīng)用極為廣泛,跨越生物信息學(xué)、情報檢索、網(wǎng)絡(luò)安全等多個應(yīng)用領(lǐng)域的基礎(chǔ)算法在交互式定理證明器Isabelle/HOL中對Miller和Myers在1985年提出的基于行的文件比較算法fcomp做了形式化,改正了算法關(guān)于邊界變量迭代的一個小錯誤,證明了改正后算法的可終止性和正確性:對算法時間復(fù)雜性做了完全形式化的分析,印證了算法的非形式化分析結(jié)論,為今后更多文件比較算法的形式驗證提供了可供借鑒的經(jīng)驗.
?

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

基于行的文件比較算法fcomp改正下載

相關(guān)電子資料下載

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論,獲取積分! 請遵守相關(guān)規(guī)定!

      ?
      五河县| 宜丰县| 乌海市| 新乐市| 宿迁市| 三亚市| 苏尼特左旗| 黄平县| 南陵县| 尼木县| 福建省| 喀喇| 汝阳县| 稷山县| 钟山县| 仁怀市| 毕节市| 青川县| 昌都县| 武宣县| 余江县| 岐山县| 屏东市| 酉阳| 乐业县| 阿拉善左旗| 凌源市| 衡东县| 明溪县| 阿克陶县| 天镇县| 南漳县| 丰原市| 保靖县| 汤原县| 惠水县| 钟祥市| 庐江县| 怀远县| 吉木乃县| 驻马店市|