logic check 中文意思是什麼
logic check
解釋
邏輯檢查-
This paper mainly aims at the characteristics of the hardware and software structure of the parallel computer on satellite, and has fulfilled researches of fault tolerant technique in three aspects of control theories and engineering : the first research of the system level fault - tolerant module is based on the system structure of the parallel computer on satellite, a kind of cold backup module and a kind of hot backup module for multiprocessor computer have been put forward. then the research of software fault tolerant technique which is based on the operate system named rtems has been carried, the mission level fault - tolerate arithmetic and the system level fault - tolerate mechanism and strategies based on the check point technique have been put forward, at the same time the self - repair technique of software which has used the technique of system re - inject has been studied. finally the technique of components level fault - tolerant based on fpga has been studied, a kind of two level fault - tolerant project which aims at the fault - tolerant module of the parallel computer on satellite has been put forward, and the augmentative of circuit that project design realization need is little, this project can avoid any breakdown of any part logic circuit of the fpga
本課題主要針對星載并行計算機體系結構及軟體結構的特點，從如下三個方面進行了容錯控制理論研究和實踐工作:首先進行了基於星載多cpu并行計算機體系結構的系統級容錯模型研究，提出了一種多cpu冷備份容錯模型和一種多cpu熱備份容錯模型;然後進行了基於rtems操作系統的軟體容錯技術研究，提出了任務級容錯調度演算法以及基於檢查點技術的系統級容錯恢復機制和策略，同時研究了利用系統重注入進行軟體在線自修復的容錯技術;最後研究了基於fpga的部件級容錯技術，提出了對容錯模塊這一星載并行計算機關鍵部件的兩級容錯方案，實現該方案所需增加的電路少，可避免板級晶元以及fpga晶元內部任何邏輯發生單點故障。 -
It is divided into port state control ( psc ) security check, flag state control ( fsc ) security check, ships quality appraisal, assistant business, report forms, the assurance of the target ship, electronic declare management, parameter design and purview management, the form design. the course of system implement is given in the thesis. the thesis emphasized to introduce the business logic of the psc security check and report forms 。 the implementation of pagestudio is detailed in the thesis
深圳海事數字平臺分為港口國安全檢查（ psc ） 、船艦國安全檢查（ fsc ） 、船舶質量評價、輔助業務、報表、目標船的確定、電子申報管理、參數設計與權限管理、表單設計器9個功能模塊，在文中給出了系統開發環境搭建過程，並著重介紹了psc安全檢查與報表統計模塊的業務邏輯。 -
Based on the timing constraints event model of rtl ( real time logic ), the compiling algorithms for timing constraints event transform the problem of how to detect timing constraints event to the problem of how to find negative cycle in weighted directed graph, which is named as constraints graph. by simplifying constraints graph, the efficient detecting algorithms for timing constraints event have been developed, which not only has good time complexity but also can find events that violate timing constraints as early as possible. in order to verify the event detecting methods based on dynamic rules and to check its efficiency in application, experiment schemes are designed and performed on the implemented prototype system in linux environment
帶時間約束事件的編譯演算法以rtl （ realtimelogic ）事件模型為基礎，將帶時間約束事件的檢測轉化為在帶權值的有向圖（此即受限圖）中尋找負圈的問題，它通過化簡受限圖得到最小有效約束集；運行時事件檢測演算法在最小有效約束集上檢查事件的時間約束，不但有較好的執行效率，而且能盡早地發現違反時間約束的事件。 -
You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the
查看temporal rover試用版（在運行時檢查時態邏輯斷言的工具） 。 -
When these events are raised, the appropriate method in your module is called and the module can perform whatever logic is required, such as an authentication check or logging request information
當這些事件被引發時，會調用模塊中適當的方法，並且模塊可以執行所需的任何邏輯，如身份驗證檢查或記錄請求信息。 -
( 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 ）採用基於視覺變量、可視化技術解決了地圖屬性數據的符號化檢查和表示；用屬性模板技術，對屬性的值域、邏輯一致性、完整性進行自動檢查；用戶可根據檢查結果對屬性精度進行評價、改進和優化。 -
You can also add client - side validation to check user input before the page is submitted by writing a function in ecmascript javascript that duplicates the logic of the server - side method
您還可以通過編寫ecmascript （ javascript ）函數，重復服務器端方法的邏輯，從而添加客戶端驗證，在提交頁面之前檢查用戶輸入內容。 -
When sharing a quest, the order logic has changed to check whether or not the player has completed or is ineligible for the quest before checking whether their quest log is full
共享任務時將會先檢查玩家是否能接受此任務而不是他的任務日誌是否已經滿了。 -
So, the logic used to determine if the cast will work may be repeated assuming the jvm has not optimized the extra check away
所以用於確定類型轉換是否工作的邏輯可能會被重復（假設jvm沒有優化額外的檢查） 。
分享友人