Đăng nhập
 
Tìm kiếm nâng cao
 
Tên bài báo
Tác giả
Năm xuất bản
Tóm tắt
Lĩnh vực
Phân loại
Số tạp chí
 

Bản tin định kỳ
Báo cáo thường niên
Tạp chí khoa học ĐHCT
Tạp chí tiếng anh ĐHCT
Tạp chí trong nước
Tạp chí quốc tế
Kỷ yếu HN trong nước
Kỷ yếu HN quốc tế
Book chapter
Bài báo - Tạp chí
1 (2015) Trang:
Tác giả: Trần Cao Đệ
Tạp chí: MODELSWARD 2015
Liên kết:

Environmental monitoring is critical in understanding whether the quality of our environment is getting better or worse. Information gathered by using an environmental monitoring system is important to make decisions. Vietnam is a vulnerable country of climate change. Specially, in the South of Vietnam, the Mekong delta is known as the region getting the most impact of sea level rise in Vietnam. That leads to a lot of problems making the worst effects to residents in the area, who are mainly still very poor. On the other hand, Vietnam is going on industrialization process that makes a strong effect on the environment. To deal with these challenges, different projects of environment management have been proposed and implemented and many monitoring systems have been built in those projects. Those systems are basically sensor networks with high cost in developing and maintaining. They are related to modern technology such as cloud, communication mobile and wireless. They provide the data for large community for different purposes. Therefore, building such a system is normally a long term project that requires an incremental and modular development for a complex system. This paper, on one hand, represents some common characteristics of an environment monitoring system that requires more study to develop a formal model and a methodology for their specifications, implementations and verification. On the other hand, we would like to adapt the formal model approach proposed for Intelligent Transport Systems (ITS) to an environmental monitoring system. The framework of Baobab is also introduced as an example for transformation from model to code.

Các bài báo khác
Số 17b (2011) Trang: 148-157
Tác giả: Trần Cao Đệ
Tải về
Số 35 (2014) Trang: 31-39
Tải về
Số Công nghệ TT 2013 (2013) Trang: 39-46
Tác giả: Trần Cao Đệ
Tải về
Số 21a (2012) Trang: 52-63
Tải về
Số 27 (2013) Trang: 56-63
Tác giả: Trần Cao Đệ
Tải về
(2017) Trang: 1-15
Tạp chí: HỘI THẢO TOÀN QUỐC VỀ CÔNG NGHỆ THÔNG TIN 2017
(2017) Trang: 113-128
Tạp chí: NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN, FAIR'2017, 17-18/8/2017
(2016) Trang:
Tạp chí: NACIS, 2016, Đà Nẳng, tháng 11-2016
1 (2015) Trang:
Tạp chí: Proceedings Hội thảo quốc tế (IEEE) ISBN: 78-1-4799-8043-7
Vol. 52, No 4A, 2014. (2014) Trang: 403-412
Tạp chí: Tạp chí Khoa học và Công nghệ
1 (2013) Trang: 146
Tác giả: Trần Cao Đệ
Tạp chí: Công nghệ sáng tạo phát triển nông nghiệp VN lần thứ nhất 2013
1 (2012) Trang: 1
Tác giả: Trần Cao Đệ
Tạp chí: ICPR 2012
(2009) Trang:
Tạp chí: WIT Transaction on Modelingd and Simulation
(2011) Trang:
Tác giả: Trần Cao Đệ
Tạp chí: Khoa học và Công nghệ
(2008) Trang:
Tác giả: Trần Cao Đệ
Tạp chí: Hội thảo Khoa học Quốc gia về Công nghệ phần mềm và phần mềm nhóm…
 

CTUJoS indexed by Crossref

Vietnamese | English


BC thường niên 2018


Con số ấn tượng (VN | EN)


Bản tin ĐHCT


TCKH tiếng Việt


TCKH tiếng Anh

 
 
Vui lòng chờ...