1 / 6

6.6 同步動作的程式設計 6.7 宣告式程式設計

6.6 同步動作的程式設計 6.7 宣告式程式設計. 　　　　　　　　　　　　　應數一　陳奕憲. 6.6. parallel processing 　＝　 concurrent processing 　　（ 平行處理）　　　（同步處理） 同時執行多個程式 真正平行處理需要多個 CPU 個別執行。只有 1 個 CPU 的情況下是利用分時作業系統來允許數個 啟動 （ activation ）共用同一個 CPU 。 備註：就像某人用 FB 同時跟很多人聊天，但他只有一個心臟，所以回應的時候還是有先後順序之分。　　　　　　　　　　　　　　　　　（某人表示：我都先回應女生。）.

zubaida-heba
Download Presentation

6.6 同步動作的程式設計 6.7 宣告式程式設計

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 6.6同步動作的程式設計 6.7宣告式程式設計 　　　　　　　　　　　　　應數一　陳奕憲

  2. 6.6 • parallel processing　＝　concurrent processing 　　（平行處理）　　　（同步處理） • 同時執行多個程式 • 真正平行處理需要多個CPU個別執行。只有1個CPU的情況下是利用分時作業系統來允許數個啟動（activation）共用同一個CPU。 備註：就像某人用FB同時跟很多人聊天，但他只有一個心臟，所以回應的時候還是有先後順序之分。　　　　　　　　　　　　　　　　　（某人表示：我都先回應女生。）

  3. 6.6 • process=activation　（啟動） =task　　　（工作）　Ada =threads　（執行緒） Java • mutually exclusive access （互斥取用） 　資料一次只提供一個工作單元取用 • monitor（監控器） 　可控制自身存取能力 　　　　　　　　　　　　　備註：同一個東西一直換姓名而已。

  4. 6.7 邏輯演繹法 • inference rules（推理法則） • deductive-reasoning（演繹推論） 　＝resolution（消解法） resolvent（消解物）：根據前面敘述所作的邏輯結論 此法只能用於成對子句形式（clause form），即 PvQPv非Q • 若陳述無法全部同時為真，則稱陳述不一致 （inconsistent） 備　註：這根本就是離散　＝　　＝

  5. 6.7Prolog程式語言 備註：好吧我只是想表示這段真的有點難 • Prolog ＝ PROgramming in LOGic Prolog語言是一種宣告式程式語言，依靠重複執行消解法來解決問題。 也稱作邏輯程式（logic programming）語言。 • predicate（敘式） • 純粹描述關係 Ex：boyfriend（smallhead,bighead） • 常數：開頭小寫 Ex：bighead 變數：開頭大寫 Ex：Bighead • X→Y表示成Y:-X 　； X AND Y表示成 X,Y • 系統其實並不知道敘式的意義，只是根據消解法推論規則，完全以符號的方式處理指令。 • 使用Prolog語言時需要注意消解步驟的正確性。

  6. 6.7Prolog程式語言 • Prolog（PROgramming in LOGic）

More Related