prolog 找路例子程序： === === === === === === Part 1-Adding connections Part 2-Simple Path example | ?- path1(a,b,P,T). will produce the response: T = 15 P = [a,b] ? Part 3 - Non-repeating path As an example, the query: ?- path2(a,h,P,T). will succeed and may produce the bindings: P = [a,depot,b,d,e,f,h] T = 155 Part 4 - Generating a path below a cost threshold As an example, the query: ?- path_below_cost(a,[a,b,c,d,e,f,g,h],RS,300). returns: RS = [a,b,depot,c,d,e,g,f,h] ? RS = [a,c,depot,b,d,e,g,f,h] ? no ==================================
標簽： Part connections example prolog
上傳時間： 2015-04-24
上傳用戶：ljt101007
裝備盒問題。 大意是給出一個矩形地板，你有一個底面為矩形的盒子必須放在上面而不超過地板邊界。 現在給出地板的長(X)和寬(Y)，以及盒子的長(a)和寬(b)，問是否可能達到要求（即放上去不超過邊界）
標簽： 矩形
上傳時間： 2015-04-28
上傳用戶：gundamwzc
5 ledblink -- 跑馬燈程序 該項目在SDT2.51下編譯調試。最簡單的demo程序，運行后3個發光二極管輪流點亮。 6 timerint -- 定時器中斷demo程序 該項目在SDT2.51下編譯調試。將子目錄timerint拷貝到c:\ 下。 該demo程序的主程序是while空循環，定時器中斷服務程序每500ms將3個LED反相。 在57600超級終端里也可以看到中斷發生時的信息。 7 uart -- 串口測試程序 該項目在SDT2.51下編譯調試。運行后在57600的超級終端里等待PC鍵盤的輸入，當按下 a 或 b 或 c 按鍵時，超級終端里將顯示 You Pressed a ,You Pressed b ,You Pressed c .
上傳時間： 2015-05-05
上傳用戶：aix008
二分圖是一個無向圖，它的n 個頂點可二分為集合A和集合B，且同一集合中的任意兩個頂點在圖中無邊相連（即任何一條邊都是一個頂點在集合A中，另一個在集合B中）。當且僅當B中的每個頂點至少與A中一個頂點相連時，A的一個子集A 覆蓋集合B（或簡單地說，A 是一個覆蓋）。覆蓋A 的大小即為A 中的頂點數目。當且僅當A 是覆蓋B的子集中最小的時，A 為最小覆蓋。
上傳時間： 2015-05-07
上傳用戶：alan-ee
LCS（最長公共子序列）問題可以簡單地描述如下： 一個給定序列的子序列是在該序列中刪去若干元素后得到的序列。給定兩個序列X和Y，當另一序列Z既是X的子序列又是Y的子序列時，稱Z是序列X和Y的公共子序列。例如，若X={A，B，C，B，D，B，A}，Y={B，D，C，A，B，A}，則序列{B，C，A}是X和Y的一個公共子序列，但它不是X和Y的一個最長公共子序列。序列{B，C，B，A}也是X和Y的一個公共子序列，它的長度為4，而且它是X和Y的一個最長公共子序列，因為X和Y沒有長度大于4的公共子序列。 最長公共子序列問題就是給定兩個序列X={x1,x2,...xm}和Y={y1,y2,...yn}，找出X和Y的一個最長公共子序列。對于這個問題比較容易想到的算法是窮舉，對X的所有子序列，檢查它是否也是Y的子序列，從而確定它是否為X和Y的公共子序列，并且在檢查過程中記錄最長的公共子序列。X的所有子序列都檢查過后即可求出X和Y的最長公共子序列。X的每個子序列相應于下標集{1,2,...,m}的一個子集。因此，共有2^m個不同子序列，從而窮舉搜索法需要指數時間。
上傳時間： 2015-06-09
上傳用戶：氣溫達上千萬的
電力系統在臺穩定計算式電力系統不正常運行方式的一種計算。它的任務是已知電力系統某一正常運行狀態和受到某種擾動，計算電力系統所有發電機能否同步運行 1運行說明： 請輸入初始功率S0，形如a+bi 請輸入無限大系統母線電壓V0 請輸入系統等值電抗矩陣B 矩陣B有以下元素組成的行矩陣 1正常運行時的系統直軸等值電抗Xd 2故障運行時的系統直軸等值電抗X d 3故障切除后的系統直軸等值電抗 請輸入慣性時間常數Tj 請輸入時段數N 請輸入哪個時段發生故障Ni 請輸入每時段間隔的時間dt
上傳時間： 2015-06-13
上傳用戶：it男一枚
This OpenNL, a library to easily construct and solve sparse linear systems. * OpenNL is supplied with a set of built-in iterative solvers (Conjugate gradient,BICGSTAB, GMRes) and preconditioners (Jacobi, SSOR). * OpenNL can also use other solvers (SuperLU 3.0 is supported as an OpenNL extension,MUMPS will be supported in a future version)
標簽： OpenNL construct supplied library
上傳時間： 2014-01-07
上傳用戶：semi1981
本文描述了TrackBack, 一個點對點通信和網站間互相通告的框架. TrackBack的中心思想是TrackBack ping的概念, 從本質上講，TrackBack ping是一個請求，通告“資源A與資源B相關，或有鏈接到資源B.” 一個TrackBack “資源” 用一個TrackBack Ping URL表示, 這是一個標準的URI.
上傳時間： 2013-12-12
上傳用戶：123456wh
上下文無關文法（Context-Free Grammar, CFG）是一個4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產生式規則集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素稱為非終結符，T的元素稱為終結符，S是一個特殊的非終結符，稱為文法開始符。 設G=(V, T, S, P)是一個CFG，則G產生的語言是所有可由G產生的字符串組成的集合，即L(G)={x∈T* | Sx}。一個語言L是上下文無關語言（Context-Free Language, CFL），當且僅當存在一個CFG G，使得L=L(G)。 *⇒ 例如，設文法G：S→AB A→aA|a B→bB|b 則L(G)={a^nb^m | n,m>=1} 其中非終結符都是大寫字母，開始符都是S，終結符都是小寫字母。
標簽： Context-Free Grammar CFG
上傳時間： 2013-12-10
上傳用戶：gaojiao1999
There is an example of how to use the LDPC encode/decode with AWGN channel model in files .\ldpc_decode.m and .\GFq\ldpc_decode.m. There are a few parity check matrices available in the code but you can use other matrices provided you have enough memory to load them. I suggest checking out matrices in Alist format available on David MacKay s web site.You will need to have access to a MEX compiler to be able to use a few functions written in C. LDPC的仿真代碼
標簽： example channel ldpc_de encode
上傳時間： 2013-12-03
上傳用戶：lili123
