temporal programming 中文意思是什麼
temporal programming
解釋
時間性編排- temporal : adj 1 暫時的，一時的，轉瞬間的（opp eternal）。2 此世的，現世的；世俗的（opp spiritual）。3 時的...
- programming : 編程序的
-
Assertions and temporal logic in java programming
Java編程中的斷言和時態邏輯 -
So studying the theory and method of the regional land consolidation spatio - temporal collocation and project post - evaluation, quantitatively carrying throuth the regional land consolidation spatio - temporal collocation, the land consolidation pattern spacial collocation, and the land consolidation project post - evaluation has been an important and urgent task to increase the programming level of the regional land consolidation and the management level of the project decision - making, to realize the sustainable utilization of the land resources and to maintain the healthy development of our land consolidation career
因此進行區域土地整理時空配置及其項目后評價理論與方法研究，定量地進行區域土地整理目標時空配置、土地整理模式空間配置和土地整理項目后評價，已成為當前提高區域土地整理規劃水平和項目決策管理水平，實現土地資源可持續利用和保持我國土地整理事業健康發展亟待解決的重要課題。 -
6 clarke e m, emerson e a, sistla a p. automatic verification of finite - state concurrent systems using temporal logic specifications. acm transactions on programming languages and systems, 1986, 8 : 244 - 263. 7 aho a v, hopcroft j e, ullman j d. the design and analysis of computer algorithms
Model checking過去主要是作為一種驗證技術被廣為使用的，本文作者通過對dmc以及后續工程項目的研究發現， model checking完全可以作為一種計算技術被廣泛使用，就相當于已經成為經典編譯技術yacc在軟體開發的各個層面上被廣泛使用一樣。
分享友人