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