operational calculus 中文意思是什麼
operational calculus
解釋
算符演算- operational : adj. 1. （裝置，系統，工藝等）工作的，運轉的。2. 可以使用的，可以工作的，可以運轉的。3. 正在使用的，正在工作的，正在運轉的。4. 軍事行動的，準備在軍事行動中使用的。adv. -ly
- calculus : n. （pl. calculuses, -li ）1. 【醫學】結石，石；積石；牙垢。2. 【數學】運算，演算；微積分（學）。
-
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。 -
Mikusinski ' s operational calculus
米庫辛斯基運算元演算 -
Solution of operational calculus for impulsively - started couette flow between two parallel plates
流起動過程的運算微積解 -
The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language
本文的特色體現在: （ 1 ）提出了可以描述動態模糊性問題的演算的變形方法; （ 2 ）提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型，並對該模型的正確性和可靠性進行了證明; （ 3 ）提出了dfl程序設計語言的基本框架結構。
分享友人