《面向过程的时空现象建模方法》由徐爱功、 A.H.拉克曼编著。
《面向过程的时空现象建模方法》简介： This book develops an appropriate process model that allows for such a process oriented representation, which is built upon a theory of concurrent processes. In addi tion to the model, the mechanism technique is also introduced as a spatiotemporal extension of the famous process calculus language called FIcalculus, which is espe, cially designed for the mobile processes. The process model and its mechanism, called spatiotemporal process model （STPM） and spatiotemporal extension for 17calculus （STPicalculus） respectively, are capable to address the blanks that have mentioned previously. This model has been interpreted in six different phases and illustrated by considering each phase as a case study. The optimization possibilities of STPM have also been discussed to the natural hazards such as floods, tsunamis, volcanic eruptions etc. Logical modelling techniques for the STPM are introduced by using UMLRT and the model implanta tion possibilities discussed using Occam 17 without binding to a conceptual model.
關於作者：
XU Algang is a Professor in School of Geomaties, Liaoning Tech nical University, China. He obtained his bachelor''s degree in Survey ing and Mapping from Shandong Mining Institute （now Shandong University of Science and Technology）, Master Degree in Surveying and Mapping from Fuxin Mining Institute （now Liaoning Technical University）, and Ph.D. in Geodesy and Geomatics from Wuhan Tech nical University of Surveying and Mapping （now Wuhan University）, China. He worked in Tongji University as a Postdoctor from 1999 to 2000, in Nanyang Tech nological University of Singapore as a Research Fellow from 2001 to 2003, and Visit Scholar in the Chinese University of Hang Kong in 2005. His research areas include theories and applications of GNSS, GIS, and Remote Sensing. Askey Harlnda Lakmal is a Senior Lecturer in Surveying,Department of Civil Engineering, General Sir John Kotelawala Defenceh University, Sri Lanka. He obtained his bachelor''s degree in Surveying Sciences from Institute of Surveying and Mapping,Diyatalawa, M.Sc. in Geographic Information Systems and Remote Sensing, from Postgraduate Institute of Science, University of Peradeniya, Postgraduate certificate in digital image analysis from Indian Institute of Remote Sensing, DehraDun, India and Ph.D. in Cartography and Geographic Information Engineering from Liaoning Technical University, P. R. China. He teaches Surveying, GIS and Remote Sensing both at undergraduate and postgradu ate level. He is a Visiting Lecturer to the Faculty of Engineering, University of Peradeniya, and Faulty of Architecture, University of Moratuwa. Professionally,he is Registered Surveyor in Sri Lanka and also a Cooperate Member of Surveyors Institute of Sri Lanka.
目錄：
Chapter 1 Introduction
1.1 Scope of the Research
1.2 Objectives
1.3 Research Questions
1.4 Motivation
Chapter 2 Theoretical Review
2.1 Introduction
2.2 Abstraction of Reality
2.3 Stages in the Development of Spatiotemporal Modelling
2.4 Underlying Approaches
2.5 Spatiotemporal Holes
2.6 Teleporting to Ontological World
Chapter 3 Ontological Foundation
3.1 Introduction
3.2 Process
3.3 Ontological Foundation for the Spatiotemporal Phenomenon
3.4 Introduction to IlCalculus Language
3.5 ][Calculus for Phenomenal Decomposed Elements
3.6 Concluding Part I
Chapter 4 Conceptual Model
4.1 Introduction
4.2 Tightening Some Conceptual Screws
4.3 SpatioTemporal Process Model Structure
4.4 Model Behaviour
4.5 Mechanism of the Model Introduction to Spatiotemporal Extended Ilcalculus
4.6 Model Output Process Queries
4.7 Towards the Model Interpretation
Chapter 5 Model Interpretation
5.1 Introduction
5.2 Modelling Environment
5.3 Modelling Structure
5.4 Conceptual Model Simulation
5.5 Preamble to the Expediency
Chapter 6 Applicability of STPM
6.1 Introduction
6.2 How Natural are Natural Hazards？
6.3 Simulation of Natural Hazards
6.4 Concluding Remarks
Chapter 7 logical Process Modelling
7.1 Introduction
7.2 Introduction to UMLRT
7.3 Logical Schema of STPM Structural Architecture
7.4 Logical Schema of STPM Behavioural Architecture
7.5 Logical Model Simulation
7.6 Conclusion
Chapter 8 Implementation Palhway
8.1 Introduction
8.2 Declaration of Model Primitives
8.3 Declaration of Model Behaviours
8.4 Identified limitations
8.5 Concluding Part
Chapter 9 Conclusions and Recommendations
9.1 Conclusions
9.2 Recommendations
References
Nomenclature
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
