可保證性證明是在財產保險中,某些特定財產經有關部門檢驗合格後所簽發的合格證或其他有關證件。這類財產、只有經過檢驗合格發給有關證明後,保險人方予承保。
相關詞條
- 可保證性證明
可保證性證明是在財產保險中,某些特定財產經有關部門檢驗合格後所簽發的合格證或其他有關證件。這類財產、只有經過檢驗合格發給有關證明後,保險人方予承保。如機動車輛保險對參加保險的車輛必須有檢驗合格證、行駛證、車輛號牌的才能承保...
- 可保性
可保性證明指在財產保險中,某些特定財產經有關部門檢驗合格後所簽發的合格證或其他有關證件。這類財產、只有經過檢驗合格發給有關證明後,保險人方予承保。如機動車輛保險對參加保險的車輛必須有檢驗合格證、行駛證、車輛號牌的才能承保;...
- 密碼學中的可證明安全性
3.3.2CramerShoup密碼系統的安全性證明77 3.4RSAFDH簽名方案79 3.4.1RSA簽名方案79 3.4.2RSAFDH簽名方案的描述80 3.4.3RSAFDH簽名方案的改進83 3.5BLS短簽名方案84 3.5.1BLS短簽名方案所基於的安全性假設84 3....
- 可保性證明
可保性證明指在財產保險中,某些特定財產經有關部門檢驗合格後所簽發的合格證或其他有關證件。這類財產、只有經過檢驗合格發給有關證明後,保險人方予承保。如機動車輛保險對參加保險的車輛必須有檢驗合格證、行駛證、車輛號牌的才能承保;...
- 證明性公文
證明性公文是由機關、團體或企、事業單位開具的說明某一事件、某一人物身份等真實性或虛假性的公文。證明書、證明信、介紹信等均屬此類公文。此類公文套用十分廣泛。諸如人事調動、工作分配、評定職稱、晉升職務、調整工資、戶口遷移、結婚...
- 說明與保證條款
說明與保證條款是國際借貸協定中由借款人對其法律地位、財務狀況與商務狀況等事實作出說明,並向貸款人保證其所作說明的真實性的條款。其主要內容有: ①關於借款人法律方面狀況的說明與保證。即保證借款人是依據註冊設立的公司,具有良好的...
- 程式正確性證明方法
《程式正確性證明方法》是2018年12月上海財經大學出版社出版的圖書,作者是武斌。內容簡介 程式驗證是電腦程式設計領域的前沿研究課題,如何保證程式正確性是計算機科學的一個重大挑戰。本書在前人研究的基礎上,利用符號計算的思想和方法...
- 機率可檢測證明定理
機率可檢測證明定理(probabilistically checkable proofs theorem)是2018年公布的計算機科學技術名詞。定義 非確定性多項式時間複雜性類和一個機率多項式時間驗證者通過常數次隨機查詢證明表所識別的語言類相同。出處 《計算機科學技術名詞 》第...
- 可證明安全的簽密體制研究
多接收者簽密、代理簽密和廣播簽密的設計與可證明安全性。本項目的研究有助於進一步發現簽密體制的工作原理、豐富簽密體制種類、為一些資源受限的密碼套用提供技術保證。因此,本項目具有重要理論意義與實用價值。
- 有限可加性
有限可加性(finite additivity)是指有限個兩兩互不相容事件的和事件的機率,等於每個事件機率的和。定義 若 是兩兩互不相容的事件,則有 ,即有限個兩兩互不相容事件的和事件的機率,等於每個事件機率的和。證明: 令 ,則有 ,...
- 可維護性
因此,為保證程式的可維護性,應該在一定程度上滿足可維護的各個特性,但各個特性的重要性又是隨著程式的用途或計算機環境的不同而改變的。對編譯程式來說,效率和可移植性是主要的;對信息管理系統來說,可使用性和可修改性可能是主要...