array vt. 1.打扮,裝飾。 2.使…列隊,排列。 3.提出(陪審官)名單,使(陪審官)列席,召集(陪審官)。 The general arrayed his troops for battle. 將軍使軍隊列隊準備戰(zhàn)斗。 The girl arrayed herself in her finest clothes. 這女孩打扮得花枝招展。 The count and his men arrayed themselves against the king. 伯爵舉兵對抗國王。 n. 1.整列,隊列,陣(列);陣容。 2.〔詩〕衣裳,裝扮,打扮。 3.陪審官名單。 4.一大批,一大群,一連串。 5.【數(shù)學(xué)】排列。 a battle array 戰(zhàn)斗隊形,列陣。 holiday array 節(jié)日盛裝。 be in fine array 盛裝。 an array of actors 演員的陣容。 a window array 櫥窗陳列品。 an array of (umbrellas) 一排(傘)。 in battle array 列陣,嚴陣。 in proud array 堂堂正正。
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 主要內(nèi)容包括:變形傳統(tǒng)的演算,以更好地描述具有動態(tài)模糊性的問題;通過bnf描述了dfl程序設(shè)計語言的抽象語法;通過一個三元組< dfsc , dfo , dfss >給出了dfl程序設(shè)計語言的操作語義模型;給出了dfl程序設(shè)計語言的基本框架結(jié)構(gòu);給出了該操作語義模型的一些應(yīng)用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態(tài)模糊問題的程序設(shè)計語言。