
n. 可計算性
This scheme is base on difficulty of CDHP and calculability of DDHP, and it is provided with the main properties of group signature.
該方案基于CDHP的難解性和DDHP的可計算性,它滿足群簽名的基本特性。
Risks of assembly occupancies have source complicacy, intrinsical dualism, effect ponderance, limited calculability and spatiotemporal characteristics.
人員密集場所的風險具有來源的複雜性、本質的雙重性、後果的嚴重性、有限可計算性和時空特性。
The implementation of forest green GDP calculability has vital significance to the forest macroscopic management and policy formulation of our country.
實行森林綠色GDP核算對我國森林的宏觀管理和政策的制定具有重要意義。
At the same time, in order to insure the calculability of the objective function in the searching process of the particle swarm, neural network is used to model the voltage boosting circuit.
同時為了保證粒子群在搜索過程中目标函數的可計算,采用神經網絡對升壓電路進行建模,通過實驗數據對神經網絡進行訓練并測試。
Finally, based on the reference theories and the language s calculability, we discussed the realization of the semantic net language and how computer and network comprehend the network language.
文章最後,從指稱理論和語言的可計算性,論述了語義網絡的實現和計算機、網絡對網絡語言的理解。
n.|computability;可計算性
"calculability"(可計算性)是一個跨學科術語,指某事物是否能夠通過算法或數學方法被有效計算的屬性。該概念在數學、計算機科學和哲學領域均有重要應用。
在數學中,可計算性理論源于20世紀30年代希爾伯特提出的判定問題。庫爾特·哥德爾(Kurt Gödel)的不完全性定理和圖靈(Alan Turing)提出的圖靈機模型證明,某些數學命題無法通過固定步驟判定真僞。例如,停機問題(Halting Problem)即屬于不可計算的問題範疇。
在計算機領域,可計算性理論是計算複雜性的基礎。根據邱奇-圖靈論題(Church-Turing Thesis),任何可計算函數均可由圖靈機實現。現代編程語言的設計均需滿足可計算性要求,例如遞歸函數和循環結構的底層實現均依賴此原理。
哲學家普特南(Hilary Putnam)曾将可計算性引入心智哲學,探讨人類思維是否等同于計算過程。在經濟學中,赫伯特·西蒙(Herbert Simon)的有限理性理論也涉及對複雜決策可計算性的邊界分析。
“Calculability”是一個由“calculable”(可計算的)派生而來的名詞,指“可計算性”或“能被計算的性質”。其核心含義是某事物是否可以通過數學或邏輯方法進行量化、推導或預測。以下是詳細解釋:
數學與計算機科學:
社會科學:
工程與經濟學:
正向描述:
“Thecalculability of this algorithm ensures efficient results.”
(算法的可計算性保證了高效結果。)
反向否定:
“Social emotions often lackcalculability due to their complexity.”
(社會情感因其複雜性常缺乏可計算性。)
如果需要更具體的解釋,請提供該詞出現的上下文領域或例句。
【别人正在浏覽】