用謂詞表示法表示修道士和野人的問(wèn)題 在河的左岸有三個(gè)修道士，三個(gè)野人和一條船，修道士想用這條船把所有的人都運(yùn)到河對(duì)岸，但要受到以下條件限制： （1） 修道士和野人都會(huì)劃船，但船一次只能裝運(yùn)兩個(gè)人。 （2） 在任何岸邊，野人數(shù)不能超過(guò)修道士，否則修道士會(huì)被野人吃掉。 假定野人愿意服從任何一種過(guò)河安排，請(qǐng)規(guī)劃出一種確保修道士安全的過(guò)河方案。要求寫出所用謂詞的定義、功能及變量的個(gè)體域。
標(biāo)簽： 表示法
上傳時(shí)間： 2014-01-18
上傳用戶：star_in_rain
本書并不是特意一本Linux 的內(nèi)部手冊(cè)相反它是對(duì)操作系統(tǒng)的介紹同時(shí)以Linux作為示例書中每一章遵循從共性到特性的原則它們將首先給出核心子系統(tǒng)的概敘然后進(jìn)行盡可能的詳細(xì)描敘 我不會(huì)用routine_X()調(diào)用routine_Y()來(lái)增加bar 數(shù)據(jù)結(jié)構(gòu)中foo 域的值這種方式來(lái)描敘核心算法 你自己可以通過(guò)閱讀代碼發(fā)現(xiàn)它每當(dāng)需要理解一段代碼時(shí)我總是將其數(shù)據(jù)結(jié)構(gòu)畫出來(lái)這樣我發(fā)現(xiàn)了許多相關(guān)的核心數(shù)據(jù)結(jié)構(gòu)以及它們之間的關(guān)系 每一章都是非常獨(dú)立的就象Linux 核心子系統(tǒng)一樣當(dāng)然有時(shí)它們還是有聯(lián)系的比如說(shuō)如果你沒(méi)有理解虛擬內(nèi)存工作原理就無(wú)法描敘進(jìn)程 硬件基本概念一章對(duì)現(xiàn)代PC 做了簡(jiǎn)要介紹操作系統(tǒng)必須與硬件系統(tǒng)緊密結(jié)合在一起協(xié)同工作操作系統(tǒng)需要一些只能夠由硬件提供的服務(wù)為了全面理解Linux 你必須了解有關(guān)硬件的基礎(chǔ)知識(shí) 軟件基本概念一章介紹了軟件基本原理與C 程序語(yǔ)言討論了建立Linux 這樣的操作系統(tǒng)的工具并且給出了操作系統(tǒng)的目標(biāo)與功能的概敘 內(nèi)存管理這章描敘了Linux 如何處理物理內(nèi)存以及虛擬存儲(chǔ)技術(shù) 進(jìn)程管理描敘了進(jìn)程的概念以及Linux 核心是如何創(chuàng)建管理與刪除系統(tǒng)中的進(jìn)程 進(jìn)程間及進(jìn)程與核心間通訊以協(xié)調(diào)它們的活動(dòng)Linux 支持大量進(jìn)程間通訊IPC
標(biāo)簽： Linux routine 子系統(tǒng)
上傳時(shí)間： 2015-03-16
上傳用戶：電子世界
解非線性方程組的一種方法：先用一種優(yōu)化方法將給定初值（它有可能會(huì)使得后續(xù)的牛頓法發(fā)散）通過(guò)一條比較快的途徑收斂到精確解附近，得到一個(gè)新的初始點(diǎn)，然后再通過(guò)牛頓法將新的初始點(diǎn)迭代到精確解（一定的誤差范圍內(nèi)）。這種方法的優(yōu)點(diǎn)在于：它可以將牛頓法快速收斂的優(yōu)勢(shì)發(fā)揮出來(lái)，同時(shí)又避免了該方法收斂域比較窄的缺點(diǎn)。
上傳時(shí)間： 2014-01-21
上傳用戶：gxmm
試用時(shí)域最小平方誤差準(zhǔn)則（最小平方逆設(shè)計(jì)）設(shè)計(jì)一個(gè)具有四項(xiàng)系數(shù)的IIR DF的系統(tǒng)函數(shù)，使其在y(n)=[3,2,1]輸入激勵(lì)下，輸出v(n)逼近d(n)=[2,0.2,0.05]。令v(-1)=v(-2)=0。求出v(n)的前8個(gè)樣值與d(n)進(jìn)行比較。用matlab實(shí)現(xiàn)了此要求。
標(biāo)簽： IIR 時(shí)域 準(zhǔn)則 函數(shù)
上傳時(shí)間： 2014-08-24
上傳用戶：lgnf
UML（統(tǒng)一建模語(yǔ)言）是一個(gè)繪制軟件概念圖的圖形化記法(notation)。人們可以用它繪制圖形，用這些圖形來(lái)表示一個(gè)計(jì)劃進(jìn)行的軟件設(shè)計(jì)的問(wèn)題域，或者用這些圖來(lái)表示一個(gè)已經(jīng)完成的軟件實(shí)現(xiàn)。Fowler（譯者注：著名IT 技術(shù)作家）描述它們時(shí)分成了三種不同的層次：概念層（Conceptual）、規(guī)格說(shuō)明層（Specification）和實(shí)現(xiàn)層（Implementation），我們將細(xì)述后面兩種。
上傳時(shí)間： 2015-04-06
上傳用戶：zhenyushaw
我自己寫的一個(gè)已知RF的L.C計(jì)算諧振頻率的計(jì)算，用VB編寫。
上傳時(shí)間： 2015-04-12
上傳用戶：jqy_china
用Doolittle方法求解此方程組； 1．先由U[1][i]=a[1][i] 求的U的第一行，在根據(jù)L[i][1]=a[i][1]/U[1][1] 求的L的第一列；2..然后根據(jù)公式求得U，L其他的值； 3 回帶求解得到X
上傳時(shí)間： 2013-12-10
上傳用戶：洛木卓
有趣的文字鼠標(biāo)跟隨,l o a d i n g字母組成，在打開頁(yè)面等待的時(shí)候可以用
上傳時(shí)間： 2013-12-21
上傳用戶：2525775
用匯編語(yǔ)言編寫的一個(gè)簡(jiǎn)單的學(xué)生成績(jī)管理系統(tǒng)，用戶有6種選擇： （1） 按’m’，則顯示功能菜單。 （2） 按’L’，則顯示學(xué)生姓名和各學(xué)科成績(jī)（數(shù)學(xué)，英語(yǔ)，語(yǔ)文）。每次顯示10條記錄并暫停，按’g’繼續(xù)顯示余下記錄。 （3） 按’I’，則可按格式插入記錄到規(guī)定文件中。 （4） 按’M’，則可按格式修改記錄。 （5） 按’D’，輸入行數(shù)，清空該行指定的記錄。 （6） 按’Q’，按格式輸入學(xué)生姓名進(jìn)行查詢，列出該生的成績(jī)記錄。 （7） 按’E’，則退出程序。
標(biāo)簽： 匯編語(yǔ)言 編寫 管理系統(tǒng)
上傳時(shí)間： 2013-12-24
上傳用戶：gououo
電腦中的花園 Lindermayer系統(tǒng)（簡(jiǎn)稱L系統(tǒng)）是另外一種分形圖形生成的方法，其主要原理是設(shè)定基本簡(jiǎn)單的繪圖規(guī)則，然后讓計(jì)算機(jī)根據(jù)這些規(guī)則進(jìn)行反復(fù)跌代，就可以生成各種各樣的圖形來(lái)。用L系統(tǒng)可以非常逼真的模擬植物的生長(zhǎng)過(guò)程。上面的程序就是L系統(tǒng)的一個(gè)展示。我們已經(jīng)設(shè)定好了一個(gè)規(guī)則庫(kù)，你可以通過(guò)選擇不同的規(guī)則畫出不同的圖形來(lái)，同時(shí)，你可以通過(guò)“設(shè)置參數(shù)”來(lái)改變這些規(guī)則從而畫出你自己的圖形來(lái)！
標(biāo)簽： Lindermayer 電腦 分形
上傳時(shí)間： 2014-01-02
上傳用戶：lz4v4
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1
