用謂詞表示法表示修道士和野人的問題 在河的左岸有三個修道士,三個野人和一條船,修道士想用這條船把所有的人都運到河對岸,但要受到以下條件限制: (1) 修道士和野人都會劃船,但船一次只能裝運兩個人。 (2) 在任何岸邊,野人數不能超過修道士,否則修道士會被野人吃掉。 假定野人愿意服從任何一種過河安排,請規劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個體域。
標簽: 表示法
上傳時間: 2014-01-18
上傳用戶:star_in_rain
高整合度MPEG4 IP Camera方案,本文首先概念性的介紹了市面上IP camera監控系統和IP Camera的構成。接著介紹智原科技最新推出的高整合度MPEG4編解碼SoC平臺 - FIC8120。重點介紹了基于FIC8120的IP Camera方案
上傳時間: 2013-12-20
上傳用戶:天誠24
用JAVA實現修道士過河,智能表達了修道士與野人過河的方案!
標簽: JAVA
上傳時間: 2013-12-25
上傳用戶:jackgao
野人與修道士問題 這是一個古典的問題.假設有n個修道士和n個野人準備渡河,但只有一條能容納c人的小船,為了防止野人侵犯修道士,要求無論在何處,修道士的個數不得少于野人的人數(除非修道士個數為0).如果兩種人都會劃船,試設計一個算法,確定他們能否渡過河去,若能,則給出一個小船來回次數最少的最佳方案. 要求: (1) 用一個三元組(x1,x2,x3)表示渡河過程中各個狀態.其中,x1表示起始上岸修道士個數,x2表示起始岸上野人個數,x3表示小船位置(0-在目的岸,1-在起始岸).例如(2,1,1),表示起始岸有兩個修道士,一個野人,小船在起始岸一邊. 采用鄰接表做為存儲結構,將各種狀態之間的遷移圖保存下來. (2)采用廣度搜索法,得到首先搜索到邊數最少的一條通路. (3)輸出數據 若問題有解(能渡過河去),則輸出一個最佳方案.用三元組表示渡河過程中的狀態,并用箭頭指出這些狀態之間的遷移: 目的狀態<-...中間狀態<-...初始狀態. 若問題無解,則給出"渡河失敗"的信息. (4)求出所有的解.
上傳時間: 2016-02-23
上傳用戶:chenlong
Ad Hoc網是一種不依賴于任何固定基礎設施、沒有中心控制節點、計算資源受限的新型無線移動網絡.基于ECC(elliptic curves cryptography),提出了一個新的適用于Ad Hoc網的具有口令認證和共享口令進化的多方密鑰協商方案.口令的一個功能是作為共享信息認證移動節點的密鑰,另一個功能是作為對稱密鑰加密移動節點間的交互信息.共享口令進化機制保證每次認證節點密鑰和協商會話密鑰時口令的新鮮性和安全性,從而既減輕了移動節點的計算量和存儲負擔,又實現了移動節點之間的密鑰認證和信息加密.新方案具有抗中間人攻擊、抗重放攻擊、密鑰獨立和前向安全等多種安全特性.
標簽: cryptography Hoc elliptic curves
上傳時間: 2014-01-06
上傳用戶:wcl168881111111
第一部分 溫濕度監測方案 一、應用概述 在信息化程度越來越高的今天,擔當信息處理與交換重任的機房是整個信息網絡工程的 數據傳輸中心、數據處理中心和數據交換中心。為保證機房設備正常運行及工作人員有一個 良好的工作環境,對機房溫濕度的監測是必不可少的,合理正常的溫濕度環境是機房設備正 常運行的重要保障。 計算機機房場地的要求主要依據國家標準《GB2887—89計算場地技術條件》、 《GB9361—88計算場地安全要求》和《GB50174—93電子計算機機房設計規范》。
上傳時間: 2013-12-21
上傳用戶:wpwpwlxwlx
校園網網絡組建方案 1、采用雙核心技術,不但可以起到讓設備進行冗余備份,而且還可以進行中心數據通信負載均衡,有效減輕中心設備減清負荷,保證核心層的穩定性和可靠性; 2、四個匯聚層到核心采用鏈路全冗余,匯聚層之間單獨再加一條鏈路,使得各個匯聚層之間的訪問在匯聚層終結; 3、網絡核心、樓宇匯聚和接入產品都具有病毒防范、拒絕DDOS攻擊和防掃描等安全功能,不但在不同的網絡環境下都能做到快速有效的控制,而且也可以應對突發性的安全的事件,確保了網絡的穩定運行; 4、校園網的信息點覆蓋整個校園,教室、辦公室和宿舍等地方都是十分開放的,很多人都可以自由出入這些地方,任何一個人都可以利用這些地方的信息點,通過便攜連接到學校辦公內部網,這將對校園網造成巨大安全隱患。全網接入采用統一認證技術,保證了只有合法授權的用戶才能使用內部或外部網絡,而且還能對網絡的使用情況進行了審計; 網絡需求分析 網絡業務分析 本次方案要求在銅纜、光纖的物理線路之上,用一套設備實現三套邏輯網絡交換平臺,實現三層路由交換機制,作為校園業務應用承載體系,并通過一定的帶寬控制和Qos策略保證各網絡平臺的足夠帶寬。 網絡流量分析
上傳時間: 2013-12-17
上傳用戶:xiaoyunyun
監控系統中心項目任務書開發文檔,對于做GPS總體方案的人來說是不可多得的
上傳時間: 2017-03-03
上傳用戶:康郎
電子閱讀器采用嵌入式操作系統為控制中心,可靠性高,應用靈活,可以根據需要對 系統進行擴展。嵌入式系統高度自動化,響應速度快,從而得到廣泛應用。電子閱讀器作為新型 的電子類產品正是利用嵌入式系統這個特點開發設計的。利用嵌入式系統開發設計一種簡易的 電子閱讀器,介紹電子閱讀器的設計思路,并通過實踐給出具體的設計方案。
上傳時間: 2013-11-30
上傳用戶:源碼3
電子閱讀器采用嵌入式操作系統為控制中心,可靠性高,應用靈活,可以根據需要對 系統進行擴展。嵌入式系統高度自動化,響應速度快,從而得到廣泛應用。電子閱讀器作為新型 的電子類產品正是利用嵌入式系統這個特點開發設計的。利用嵌入式系統開發設計一種簡易的 電子閱讀器,介紹電子閱讀器的設計思路,并通過實踐給出具體的設計方案。
上傳時間: 2017-03-09
上傳用戶:dave520l