http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Maria Indrawan (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
Formal Mirror Models: an Approach to Just-in-Time Reasoning for Device Ecologies
Seng W. Loke,Sucha Smanchat,Sea Ling,Maria Indrawan 보안공학연구지원센터 2008 International Journal of Smart Home Vol.2 No.1
Pervasive computing calls for new ways of thinking about software and new ways of applying software development techniques. In pervasive computing environments, users will need to interact with collections of devices surrounding them (such as the “system” of smart devices in a user’s home), which we metaphorically term device ecologies. A user can interact with these devices with embedded software and hardware, either directly via the device’s own interface, or automated through scripts executed by a central coordinator. For the latter, we employ a workflow abstraction for the collective operation of devices, which we call decoflow. While executable formal models are typically used at specification time, we maintain and use such models, calling them mirror models, to record the on-going states of devices, their relationships, and the effects that such devices have on the environment. Users effectively update a mirror model of the devices s/he interacts with. The model can be used to predict the effects of decoflows just before execution. Generalizing from mirror models for device ecologies, we propose the novel paradigm of continually updated mirror models for on-going tracking and reasoning about pervasive computing systems which cohabitates with the user.
-
I Putu Sugiana,Elok Faiqoh,Maria Fernanda Adame,Gede Surya Indrawan,Anak Agung Eka Andiani,I Gusti Ayu Istri Pradnyandari Dewi,I Wayan Eka Dharmawan 한국대기환경학회 2023 Asian Journal of Atmospheric Environment (AJAE) Vol.17 No.1
Behind their role as carbon sinks, mangrove soil can also emit greenhouse gases (GHG) through microbial metabolism. GHG flux measurments of mangroves are scarce in many locations, including Indonesia, which has one of the world’s most extensive and carbon-rich mangrove forests. We measured GHG fluxes ( CO2, CH4, and N2O) during the wet season in Benoa Bay, Bali, a bay with considerable anthropogenic pressures. The mangroves of this Bay are dominated by Rhizophora and Sonneratia spp and have a characteristic zonation pattern. We used closed chambers to measure GHG at the three mangrove zones within three sites. Emissions ranged from 1563.5 to 2644.7 μmol m− 2 h− 1 for CO2, 10.0 to 34.7 μmol m− 2 h− 1 for CH4, and 0.6 to 1.4 μmol m− 2 h− 1 for N2O. All GHG fluxes were not significantly different across zones. However, most of the GHG fluxes decreased landward to seaward. Higher soil organic carbon was associated with larger CO2 and CH4 emissions, while lower redox potential and porewater salinity were associated with larger CH4 emissions. These data suggest that soil characteristics, which are partially determined by location in the intertidal, significantly influence GHG emissions in soils of these mangroves.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
