【摘要】第3章控制流分析?內(nèi)容概述–定義一個(gè)函數(shù)式編程語(yǔ)言，變量可以指稱函數(shù)–以dynamicdispatchproblem為例（作為參數(shù)的函數(shù)被調(diào)用時(shí)，究竟執(zhí)行的是哪個(gè)函數(shù)）–規(guī)范該控制流分析問(wèn)題，定義什么是可接受的控制流分析–定義可接受分析在語(yǔ)義模型上的可靠性–討論分析算法（語(yǔ)法制導(dǎo)、集合約束求解）–加上數(shù)據(jù)
2024-10-11 13:42
【摘要】狀態(tài)變量及狀態(tài)空間表達(dá)式狀態(tài)變量及狀態(tài)空間表達(dá)式的建立(一)狀態(tài)變量及狀態(tài)空間表達(dá)式的模擬結(jié)構(gòu)圖狀態(tài)矢量的線性變換(坐標(biāo)變換)狀態(tài)變量及狀態(tài)空間表達(dá)式的建立(二)時(shí)變系統(tǒng)和非線性系統(tǒng)的狀態(tài)空間表達(dá)式從狀態(tài)空間表達(dá)式求傳遞函數(shù)陣離散時(shí)間系統(tǒng)的狀態(tài)空間表達(dá)式狀態(tài)變量及狀態(tài)空間表達(dá)式
2025-08-07 10:53
【摘要】第10章媒體控制接口MCI設(shè)備類型MCI編程步驟MCIWnd窗口類MCI設(shè)備類型媒體控制接口允許控制兩類設(shè)備：第一類為簡(jiǎn)單設(shè)備，是指那些不需要文件的設(shè)備，如CD音頻播放設(shè)備；第二類為復(fù)合設(shè)備，是那些需要文件的設(shè)備，如數(shù)字視頻及波形音頻設(shè)備等。表列出了目前已定義的設(shè)備的標(biāo)識(shí)符。MCI編程步驟?打開(kāi)設(shè)備
2025-07-20 07:10
【摘要】第六章電梯的選用不布置?在現(xiàn)代高層建筑中，電梯的選用與配置是否得當(dāng)，直接影響建筑效用的發(fā)揮，只有合理的設(shè)置與選用電梯（特別是高速電梯），才能使現(xiàn)代高層建筑發(fā)揮其巨大的優(yōu)越性。?配置和選用電梯時(shí)，必須考慮到電梯所服務(wù)的環(huán)境，是寫(xiě)字樓、購(gòu)物中心、還是飯店賓館、娛樂(lè)中心或是住宅，換句話說(shuō)就是要考慮到建筑物內(nèi)人員的流通情況以及不同時(shí)間段人流的變化情況，綜合分析
2025-05-13 01:59
【摘要】第一章緒論?一、電梯的作用及發(fā)展趨勢(shì)?在現(xiàn)代社會(huì)和經(jīng)濟(jì)活動(dòng)中，電梯已經(jīng)成為城市物質(zhì)文明的一種標(biāo)志。特別是在高層建筑中，電梯是不可缺少的垂直運(yùn)輸設(shè)備。?電梯作為垂直運(yùn)輸?shù)纳翟O(shè)備，其特點(diǎn)是在高層建筑物中所占的面積很小，同時(shí)通過(guò)電氣或其它的控制方式可以將乘客或貨物安全、合理、有效地運(yùn)送到不同的樓層?；谶@些優(yōu)點(diǎn)，在建筑業(yè)特別是高層建筑飛速發(fā)展的今天
2025-04-30 02:02
【摘要】線性系統(tǒng)與非線性系統(tǒng)的穩(wěn)定性分析線性定常系統(tǒng)平衡狀態(tài)的漸近穩(wěn)定性的含義和非線性系統(tǒng)的含義完全不同。在線性定常系統(tǒng)中，若平衡狀態(tài)是局部漸近穩(wěn)定的，則它是大范圍漸近穩(wěn)定的。然而在非線性系統(tǒng)中，不是大范圍漸近穩(wěn)定的平衡狀態(tài)可能是局部漸近穩(wěn)定的。對(duì)于非線性系統(tǒng)的分析，基于Lyapunov第一法的分析方法永遠(yuǎn)不夠，
2025-08-15 23:42
鄂ICP備17016276號(hào)-1