reactive adj. 1.反動的,倒退的,復(fù)古的。 2.反應(yīng)的;反作用的;反沖的;【電學】電抗的;【化學】反應(yīng)性的,活性的。 a reactive current 無效電流。 reactive power 無功電力。 reactivity n. adv. -ly ,-ness n.
Bounded model checking has been recently introduced as an efficient verification method for reactive systems Ctl的有界模型檢測模型檢測是一種強有力的系統(tǒng)驗證技術(shù)。
As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed 實時系統(tǒng)作為一種在現(xiàn)實中廣泛使用的反應(yīng)型系統(tǒng),因其大多使用于安全攸關(guān)的領(lǐng)域,所以必須保證它的安全可靠。
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 但是因為它又有別于一般的反應(yīng)型系統(tǒng),所以我們接著介紹了實時系統(tǒng)的特殊性,并且介紹了形式化方法面向?qū)崟r系統(tǒng)的擴展。
This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out " 用這個工具用戶直接從系統(tǒng)的原型gui界面取“ playin ”場景,并且可以“ playout ”這些場景,從而獲取并確認需求。
The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design 測試結(jié)果表明:與原有的基于dhdf模型的可視化語言相比, e語言不僅實現(xiàn)了并發(fā)運行機制,而且在事件驅(qū)動的操作系統(tǒng)上運行時具有更高的效率和更好的實時性能。
21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985 本文分別在語法和語義層次上對動作精化進行了定義,并證明了這兩個層次的動作精化在前述兩種等價關(guān)系下,關(guān)于一種基于完全偏序的指稱語義是一致的。
In recent measuring method , protein electrophoresis is rapid , accurate , steady and economic , not affected by environment condition , we improve reactive system of our national tentative com protein gelatinous electrophoresis , and that which is more adapted to imaging process 在玉米種子純度檢測的方法中,蛋白質(zhì)凝膠電泳法具有快速、準確、穩(wěn)定、經(jīng)濟、不受環(huán)境條件影響等特點,因此,選取此方法作為種子純度檢測方法。對國家試行的玉米蛋白凝膠電泳法的反映體系進行了改進,使得到的圖像更清晰。
百科解釋
A reactive system is a system that responds (reacts) to external events.