邏輯一致性 的英文怎麼說

中文拼音 [luóyīzhìxìng]
邏輯一致性 英文
logical consistency
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 致 : Ⅰ動詞1 （給與;向對方表示禮節、情意等） deliver; send; extend 2 （集中於某個方面） devote （one s ...
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 邏輯 : logic
  1. Based on the analyses of scheduling strategy and scheduling framework of tao ( the ace orb ), this paper studies the real - time scheduling and management of global priory in droce : how to determine the global priory of the dro ( distributed real - time object ) according to its timeliness and level of importance ; logical presentation and transparent transfer of the global priory ; the consistent mapping from global priory to local server priory ; the prevention of priory inversion, etc.

    本文在分析tao調度服務的調度策略和調度框架的基礎上，研究了分佈實時環境下的全局優先級調度和管理：即如何根據分佈實時應用的時間特性和重要程度確定分佈實時應用對象的全局優先級別；全局優先級的邏輯表示與透明傳遞；全局優先級與服務器局部優先級的一致性映射；防止優先級反轉等問題。
  2. The author holds that the conservatism principle is a kind of accounting reflection modes that is formed from the uncertainty in accounting, that conservatism principle adopting the reflection mode agglutinated with rational and unrational reflection mode to uncertainty in accounting is the essential reason for it ' s inherent logic inconsistency, that accounting system adopting different disposal procedure and reflection mode to uncertain economic businesses is the material exhibition of the principle ' s inherent logic inconsistency

    本文認為，謹慎性原則是應會計中的不確定性而形成的會計反映模式，對會計中的不確定性採取理性與非理性相互膠合的反映模式是其本身形成內在邏輯不一致性的本質原因，而會計系統對不同質的不確定性經濟業務採取不同的會計處理和反映模式是謹慎性原則內在邏輯不一致性的具體表現。
  3. It is logical, consistent and beautiful

    它具有邏輯性，一致性，也是完美的。
  4. Following, on the basis of above - mentioned theoretic analysis this thesis points out that the inherent logic contradiction in conservatism is the essence of its paradox. because conservatism itself possesses unavoidable inherent logic inconsistency, a great deal of contradictions and conflicts were brought about in accounting system in the application iv of conservatism to accounting system. it may be said, these contradictions and conflicts are the representation of the conservatism ' s paradox

    接下來，筆者在上述理論分析的基礎上指出，謹慎性原則本身的內在邏輯矛盾是形成其悻論的本質內容，正是由於謹慎性原則本身具有不可避免的內在邏輯不一致性，才使得其運用於會計系統中產生了諸多矛盾和沖突，可以說，這些矛盾和沖突是謹慎性原則悼論的外在表現。
  5. In this scenario, the overhead of maintaining an entity bean is justified, because it provides a safe and consistent data manipulation logic that can be reused in several workflows

    在這種情形下，維護實體bean所用的開銷就是正當的，因為它保證數據操作邏輯（這種邏輯可以在幾個工作流中重用）的安全和一致性。
  6. The general design objectives of the logical data model are correctness, consistency, non - redundancy and simplicity

    邏輯數據模型的一般設計目標是正確性、一致性、非冗餘和簡單性。
  7. Smpdca architecture has six outstanding excellences : complexity of the control logics of smpdca is lower than large scale superscalar ; supplying shortest inter - processor communication latency using the shared li data cache ; no cost to maintain cache coherence ; hit rate of data cache increase ; easy to reuse many softwares of symmetric multiprocessor ( smp ) ; exploit the parallelism of applications from many levels. this paper present the architecture model of smpdca, and illustrated its function units, and discussed its key techniques, and analyzed the address image policy of multi - ported cache

    Smpdca結構具有六個突出優勢：相對于大規模的超標量結構而言， smpdca結構的控制邏輯復雜性明顯要低得多；相對于通過共享主存來實現處理器之間的通信的結構而言，通過一個共享的第一級數據cache來實現處理器之間的通信的smpdca結構能夠提供非常小的處理器之間的通信延遲；沒有cache一致性維護開銷；數據cache命中率提高；便於smp （對稱多處理器結構）的軟體重用；從多個層次上開發程序的并行性。
  8. Through discussing the following problems such as call setting up, signal converting, media logical channel setting up and media ability exchange, relevant methods about address exchange and the inconsistency of signal interpretation were put forward to realize the sgw in softswitch

    對軟交換信令網關中的呼叫建立、信令轉換、媒體邏輯通道建立和媒體會話能力交換等一些基本問題進行探討，並就地址轉換、信令轉換的一致性等問題提出相應的解決方法，為軟交換中信令網關的設計和實現提供了一種思路。
  9. For insuring the robustness and high - efficiency of ett utility program, pipeline technology with logical condition of power builder and time - marker table created in data warehouse are adopted while designing and developing ett utility program

    為了確保ett實用程序的健壯性和高效性以及數據倉庫中數據的一致性和完整性，在ett實用程序的設計開發過程中採用了powerbuilder具有邏輯限制條件的數據管道技術，並在數據倉庫中設置了時間標記表和數字標記表。
  10. A logical unit of work must exhibit four properties, called the atomicity, consistency, isolation, and durability acid properties, to qualify as a transaction

    一個邏輯工作單元必須有四個屬性，稱為原子性、一致性、隔離性和持久性（ acid ）屬性，只有這樣才能成為一個事務。
  11. Results showed that, attribute data obtained by this way avoided deficiency of polygon overlap way, as a result, the logistical consistency between map data and attribute data reached over 90 % on average. database pivot precision was 0. 18mm, data quantity during manipulation was decreased greatly, data treatment was more convenient, computation velocity was boosted greatly. workload of map and table pretreatment and edition was mitigated on large scale, spatial data precision was increase

    研究表明：用該方法獲得的屬性數據，避免了多邊形疊加方法的不足之處，能使圖形數據和屬性數據邏輯一致性平均達到90以上，數據庫點位精度達到0 . 18mm ，且操作中圖層數據量大大減小，數據處理更為方便，運算速度大為提高；減輕了圖表預處理和編輯的工作量，使空間數據精度提高。
  12. The logical consistency of any indexed views present in the database is checked during this phase

    在該階段中將檢查數據庫中存在的任何索引視圖的邏輯一致性。
  13. A shallow talk of the population theories of marllsus with the logic consistency between his economics theories

    淺談馬爾薩斯人口理論與其經濟學理論之間的邏輯一致性
  14. Database snapshots offer an efficient way to revert a database to a point of known logical consistency

    數據庫快照提供了一種有效方式，可將數據庫恢復到具有已知邏輯一致性的點。
  15. Sql programmers are responsible for starting and ending transactions at points that enforce the logical consistency of the data

    Sql程序員要負責啟動和結束事務，同時強制保持數據的邏輯一致性。
  16. The problem of logical coherence arises first in the level of legitimation ( where there may be conflict or competition between different legitimations and their administrative personnel ), and secondly on the level of socialization ( where there may be practical difficulties in the internalization of successive or competing institutional meanings )

    邏輯一致性的問題首先發生在正當性的層次（不同正當性和其管理人員的沖突競爭） ，其次為社會化的層次（在繼承或競爭的制度化意義中也有實踐的困難） 。
  17. ( 3 ) resolving the symbolization check and presentation of the map attribute data based on the visual variants and visualization technology ; automatically checking the range of the value of the attributes and logic consistency and integrity based on the attribute template technology. the users can evaluate, improve and optimize the precision of the attributes according to the checking results and print the map of the checking results as well as the resulting map consistent with the specification requirements

    （ 3 ）採用基於視覺變量、可視化技術解決了地圖屬性數據的符號化檢查和表示；用屬性模板技術，對屬性的值域、邏輯一致性、完整性進行自動檢查；用戶可根據檢查結果對屬性精度進行評價、改進和優化。
  18. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  19. In order to streamline this process and provide consistency among the coding done by different developers, logic architect provides a series of code templates that perform common business application processing tasks

    為了使這個過程更加流暢並保證不同開發人員開發的代碼的一致性，邏輯架構師（ logic architect ）提供了一系列的執行通用業務應用處理任務的代碼模板。
  20. This text tries to announce inherent development logic of assets securitization and consistency of assets securitization operating mechanism and the market mechanism, as base on this and explains the initiative meaning of the assets securitization in an all - round way, thus returns assets securitization the true colors

    本文力圖揭示資產證券化的內在發展邏輯，力圖揭示資產證券化的運行機制與市場機制的一致性，並以此為基礎全面闡述資產證券化的開創性意義，從而還資產證券化以本來面目。
分享友人
分享到 Line

分享到臉書