國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Computer Science." ]

切換: 標籤 | MARC模式 | ISBD

Functional reactive control of human...

Huang, Liwen.

Functional reactive control of humanoid robots.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Functional reactive control of humanoid robots.
作者:	Huang, Liwen.
面頁冊數:	202 p.
附註:	Adviser: Paul Hudak.
附註:	Source: Dissertation Abstracts International, Volume: 69-05, Section: B, page: 3092.
Contained By:	Dissertation Abstracts International69-05B.
標題:	Computer Science.
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3317132
ISBN:	9780549658764

Functional reactive control of humanoid robots.
Huang, Liwen.

Functional reactive control of humanoid robots. - 202 p.

Adviser: Paul Hudak.

Thesis (Ph.D.)--Yale University, 2008.

This thesis presents two declarative DSLs for robotics programming: Dance and HPorter. These two languages focus on robotic control and process control, respectively, but both benefiting from functional reactive programming (FRP). The first language Dance provides a proper level of abstraction for describing humanoid movements based on the common morphology of humanoids. It applies a number of concepts and paradigms in programming languages design and implementation, including type systems, non-strict semantics, higher-order functions and FRP. It is safe and expressive, and at the same time scalable and hardware independent. The second language HPorter helps to compose processes in a real-time operating system running on a parallel computer. Using arrows (a generalization of monads), HPorter allows programmers to "wire together" processes in a manner analogous to a signal-processing application. In addition, HPorter's event-driven reactivity, based on FRP, permits reconfiguration of these tightly-coupled processes at any time, thus providing a degree of dynamism that is critical in many applications.

ISBN: 9780549658764Subjects--Topical Terms:

212513
Computer Science.

Functional reactive control of humanoid robots.
LDR:01971nam _2200253 _450 001 206889
005 20090413130002.5
008 090730s2008 ||||||||||||||||| ||eng d
020 $a 9780549658764
035 $a 00372101
040 $a UMI $c UMI
100 $a Huang, Liwen. $3 321824
245 1 0 $a Functional reactive control of humanoid robots.
300 $a 202 p.
500 $a Adviser: Paul Hudak.
500 $a Source: Dissertation Abstracts International, Volume: 69-05, Section: B, page: 3092.
502 $a Thesis (Ph.D.)--Yale University, 2008.
520 $a This thesis presents two declarative DSLs for robotics programming: Dance and HPorter. These two languages focus on robotic control and process control, respectively, but both benefiting from functional reactive programming (FRP). The first language Dance provides a proper level of abstraction for describing humanoid movements based on the common morphology of humanoids. It applies a number of concepts and paradigms in programming languages design and implementation, including type systems, non-strict semantics, higher-order functions and FRP. It is safe and expressive, and at the same time scalable and hardware independent. The second language HPorter helps to compose processes in a real-time operating system running on a parallel computer. Using arrows (a generalization of monads), HPorter allows programmers to "wire together" processes in a manner analogous to a signal-processing application. In addition, HPorter's event-driven reactivity, based on FRP, permits reconfiguration of these tightly-coupled processes at any time, thus providing a degree of dynamism that is critical in many applications.
590 $a School code: 0265.
650 $a Computer Science. $3 212513
690 $a 0984
710 $a Yale University. $3 212430
773 0 $g 69-05B. $t Dissertation Abstracts International
790 $a 0265
790 1 0 $a Hudak, Paul, $e advisor
791 $a Ph.D.
792 $a 2008
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3317132 $z http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3317132