面向無窮數據的形式模型綜述
大小：1.04 MB 人氣： 2018-01-16 需要積分：3
標簽：數據(87965)
無窮數據廣泛存在于計算機程序和數據庫系統中．受到形式驗證與數據庫兩方面應用需求的推動，面向無窮數據的形式模型已經成為理論計算機科學的研究熱點之一．對面向無窮數據的形式模型（邏輯與自動機）進行了相對全面而詳細的總結．主要按照不同自動機模型對無窮數據的處理方式加以組織，并關注相關判定問題，即：自動機的非空性問題、語言包含問題以及邏輯的可滿足性問題的可判定性與復雜性．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
面向無窮數據的形式模型綜述下載
相關電子資料下載
- 物通博聯工業智能網關采集三菱Q系列PLC配置操作 132
- 巴西禁止Meta使用用戶數據訓練AI 415
- 賽思×太平洋保險 | 賦能金融智慧大腦，硬核加筑太保“時間安全鎖” 105
- 卷煙工業制絲設備物聯網系統解決方案 72
- 工業互聯網數據大屏是什么 75
- 斷點續傳技術在工業物聯網網關的價值 102
- 數據分析除了spss還有什么 113
- 數據倉庫與數據庫的主要區別 94
- 數據分析的工具有哪些 76
- 數據分析有哪些分析方法 82