東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Language design and implementation f...

Sharma, Vishakha.

FindBook

Google Book

Amazon

博客來

Language design and implementation for computational modeling, simulation and visualization.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Language design and implementation for computational modeling, simulation and visualization./
作者:	Sharma, Vishakha.
面頁冊數:	204 p.
附註:	Source: Dissertation Abstracts International, Volume: 76-12(E), Section: B.
Contained By:	Dissertation Abstracts International76-12B(E).
標題:	Computer science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3715965
ISBN:	9781321943061

Language design and implementation for computational modeling, simulation and visualization.
Sharma, Vishakha.

Language design and implementation for computational modeling, simulation and visualization. - 204 p.

Source: Dissertation Abstracts International, Volume: 76-12(E), Section: B.

Thesis (Ph.D.)--Stevens Institute of Technology, 2015.

Computational models have become an essential tool in engineering and science. Modeling and simulation platforms are being used to describe complex systems where the user builds a model by describing autonomous agents with different attributes that can interact with each other and dynamically influence overall system development. There are many formalisms for modeling but not as many standard programming languages for modeling and simulation platforms. Programming language formalisms are particularly attractive because of their ability to accommodate new objects and new behavioral attributes, as the complex system becomes better understood.

ISBN: 9781321943061Subjects--Topical Terms:

523869
Computer science.

Language design and implementation for computational modeling, simulation and visualization.
LDR:03335nmm a2200313 4500 001 2071793
005 20160719071714.5
008 170521s2015 ||||||||||||||||| ||eng d
020 $a 9781321943061
035 $a (MiAaPQ)AAI3715965
035 $a AAI3715965
040 $a MiAaPQ $c MiAaPQ
100 1 $a Sharma, Vishakha. $3 3186961
245 1 0 $a Language design and implementation for computational modeling, simulation and visualization.
300 $a 204 p.
500 $a Source: Dissertation Abstracts International, Volume: 76-12(E), Section: B.
500 $a Adviser: Adriana Compagnoni.
502 $a Thesis (Ph.D.)--Stevens Institute of Technology, 2015.
520 $a Computational models have become an essential tool in engineering and science. Modeling and simulation platforms are being used to describe complex systems where the user builds a model by describing autonomous agents with different attributes that can interact with each other and dynamically influence overall system development. There are many formalisms for modeling but not as many standard programming languages for modeling and simulation platforms. Programming language formalisms are particularly attractive because of their ability to accommodate new objects and new behavioral attributes, as the complex system becomes better understood.
520 $a This work focuses on programming languages and their applications to computational biology and systems modeling. The theoretical contributions towards this aim are three novel programming languages: BioScape, Parallel BioScape and BioScape. The first, BioScape, is a high-level modeling language for the stochastic simulation of biological and biomaterials processes in a reactive environment in 3D space. The novel aspects of BioScape include high-level syntactic primitives to declare the scope in space where species can have movement, diffusion rate, shape and reaction distance, and an operational semantics that deals with the specifics of 3D locations, verifying reaction distance, and featuring random movement. We define a translation from the non-stochastic fragment of BioScape to a low-level pi-calculus with 3D primitives (3pi) and prove its soundness with respect to the operational semantics. The second, BioScapeL, is an extension of BioScape with three novel features: programmable entity's location, random translation and scaling. The motivation for the extension comes from the need to accommodate phenomena like diffusion, collision, and confinement within part of the semantics of the calculus, instead of being a burden to the programmer. The third, Parallel BioScape, is an extension of BioScape with fully parallel semantics that may take advantage of the new multi-core and GPU architectures.
520 $a Towards the experimental and application contributions, we build computational models to study pH-triggered antibacterial coatings, bifunctional surfaces, intracellular viral traffic, JAK-STAT signal transduction pathway and effects of counterfeit components in the performance of a complex multi-component system.
590 $a School code: 0733.
650 4 $a Computer science. $3 523869
650 4 $a Systems science. $3 3168411
650 4 $a Design. $3 518875
690 $a 0984
690 $a 0790
690 $a 0389
710 2 $a Stevens Institute of Technology. $b Computer Science. $3 2098667
773 0 $t Dissertation Abstracts International $g 76-12B(E).
790 $a 0733
791 $a Ph.D.
792 $a 2015
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3715965