常見例句雙語(yǔ)例句This paper introduces the temporal logic language XYZ/E, and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.本文給出了時(shí)序邏輯語(yǔ)言XYZ/E的相關(guān)介紹，并利用XYZ/E的子語(yǔ)言XYZ/RBE與XYZ圖描述了煤氣爐實(shí)時(shí)控制問題。Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.采用近世代數(shù)和時(shí)序邏輯的方法定義了形式化描述語(yǔ)言，并形式化地描述了密碼協(xié)議的分層安全需求。XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. It can describe architecture in different abstract levels.是世界上第一個(gè)可執(zhí)行的時(shí)態(tài)邏輯語(yǔ)言，它既能描述抽象靜態(tài)語(yǔ)義，又能表示程序的動(dòng)態(tài)語(yǔ)義，這一特征恰好適合分層描述軟件體系結(jié)構(gòu)。 返回 temporal logic language