real-time systems 中文意思是什麼
real-time systems
解釋
實時系統-
End - to - end utilization control for aperiodic tasks in distributed real - time systems
分散式實時系統中非周期任務端到端利用率控制 -
11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model
在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。 -
Windows nt can be used in real time systems
窗口新臺幣能在真正的時間系統中被用。 -
Real-time systems often need extraordinary precautions to guard against possible breakdown of the computer.
實時系統往往需要特別小心以防止計算機可能發生故障。 -
Mainstream distributed application systems are middleware based systems presently, but common middleware lack of real - time capacity. real - time middleware offers a common soft bus framework eliminated distributed real - time systems unhandy architecture
當今主流的分散式應用系統都是建立在中間件的基礎上，但是通用中間件對實時能力支持不足。 -
Predicting allocation algorithm in distributed real - time systems
分散式實時系統中的預測調度演算法 -
9 dakai zhu, melhem r, childers b r. scheduling with dynamic voltage speed adjustment using slack reclamation in multi - processor real - time systems. ieee trans. parallel distributed systems, 2003, 14 : 686 - 700
動態電壓調節是體系結構層的低功耗技術，由於系統運行的能量消耗與運行電壓成平方關系，在運行期間動態改變系統電壓可以極大的降低系統的功耗。 -
9 tgywk a r, lehoczky j p. algorithm for scheduling hard aperiodic tasks in fixed - priority systems using slack stealing. in proc. ieee real - time systems symposium, puerto rico, december 1994, pp. 22 - 33
Ic - eat構造了一個能確保多個cpu利用率的分散式多輸入多輸出控制環，它集成了非周期任務調度的許可控制機制與回饋控制機制，動態調整任務的qos 。 -
There were first, of course, the many hardware and software engineers who envision, design, implement, and test embedded real ? time systems
當然首先是硬體和軟體工程師，他們是實時嵌入式系統的提出者、設計者、實現者和測試者。 -
12 daws c, yovine s. reducing the number of clock variables of timed automata. in proc. the 17th ieee real time systems symposium, rtss 96, washington dc, usa, december 1996, ieee computer society press, pp. 73 - 81
如果從某一個位置l出發，一個時間變量x在被重置之前，不會被任何轉換用形如x -
Checkpointing scheme based on imprecise computation for real - time systems
基於非精確計算的實時任務檢查點設置策略 -
In conclusion, we use shcan2000 system in practice and then testify that shcan2000 system software component technology is based on embedded hard real - time systems. we can high efficiency analysis, design and debug industrial control systems by using it
總之，經過實際的應用與檢驗，進一步證明了shcan2000系統軟大連鐵道學院工學頓卜學位論文件採用了基於嵌入式強實時系統軟體構件技術，應用該軟體可以高效率的完成工控系統的分析、設計與調試。 -
A clock synchronization algorithm for distributed real time systems
一種分散式實時系統中的時鐘同步演算法 -
Based on the background stated above, a developping method is presented in this thesis in effort to guide and assist the oo development of real - time systems. the proposed method is based on two techniques : schedulability analysis and automatic code generation, which are combined to validate and guarantee a certain type of timing constraint
在上述研究背景之下，本文研究了一種以保證時間約束為最終目標的實時系統面向對象開發方法，該方法應用了可調度性驗證和自動代碼生成兩項核心技術，解決了一類時間約束的驗證和保障問題。 -
In chapter 2, on the basis of reference to classical static priority scheduling theory for hard real - time systems, we proposed a delay computation method with partition algorithm
第二章在借鑒強實時系統靜態優先級調度理論的基礎上，提出一種通過引入分區演算法來計算atm交換延遲的方法。 -
A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率 -
From the analysis of the two tools, we choose heptane as the timing system and develop a low - power experiment environment for real - time systems named rtlpower ( real - time low - power )
通過對這兩種工具的分析，選擇heptane工具作為計時系統，開發了一個實時系統低功耗模擬環境rtlpower 。 -
It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness
作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。 -
Furthermore, an overview about real - time systems which is different from generic reactive systems is given. we review real time extension of formal method oriented real time system
但是因為它又有別於一般的反應型系統，所以我們接著介紹了實時系統的特殊性，並且介紹了形式化方法面向實時系統的擴展。 -
In order to reduce the influence by the safety technology on response time of real - time systems, the combination - delaying buddy system is presented based on the classical buddy system
為了降低防危技術對實時系統響應時間的影響，本文還在經典的夥伴系統內存管理演算法基礎上提出了延遲合併夥伴系統。
分享友人