检索结果-南通市图书馆

Formal verification with HiLLS-specified models:A further step in multi-analysis modeling of complex systems

International Journal of Modeling, Simulation, and Scientific Computing 2019年第5期10卷 82-107页

作者： Kehinde G.Samuel Oumar Maiga Mamadou K.Traor′e frican university of Science&Technology AbujaNigeria Universit´e des Sciences des Techniques et des Technologies Bamako Mali university of bordeaux ims cnrs umr 5218 France

The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this *** High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system *** defines an automata language that also opens the way to formal *** paper provides the building blocks for such a *** way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any ***,it saves from the effort of building three different analysis-specific models and the need to align them semantically.

关键词： Discrete Event System Specification(DEVS) High Level Language for Systems Specification(HiLLS) multi-analysis modeling discrete event simulation model checking

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Engineering polymer MEMS using combined microfluidic pervaporation and micro-molding

引用

Microsystems & Nanoengineering 2018年第1期4卷 270-277页

作者： Damien Thuau Cédric Laval Isabelle Dufour Philippe Poulin Cédric Ayela Jean-Baptiste Salmon Laboratoire ims University of BordeauxUMR 5218ENSCBP16 avenue Pey Berland33607 PessacFrance Centre National de Recherche Scientifique University of BordeauxSolvayLOFUMR 525833600 PessacFrance Centre de Recherche Paul Pascal University of BordeauxAvenue Schweitzer33600 PessacFrance

In view of the extensive increase of flexible devices and wearable electronics,the development of polymer microelectro-mechanical systems(MEMS)is becoming more and more important since their potential to meet the multiple needs for sensing applications in flexible electronics is now clearly ***,polymer micromachining for MEMS applications is not yet as mature as its silicon counterpart,and innovative microfabrication techniques are still *** show in the present work an emerging and versatile microfabrication method to produce arbitrary organic,spatially resolved multilayer micro-structures,starting from dilute inks,and with possibly a large choice of *** approach consists in extending classical microfluidic pervaporation combined with MIcro-Molding In *** illustrate the potential of this technique,bilayer polymer double-clamped resonators with integrated piezoresistive readout have been fabricated,characterized,and applied to humidity *** present work opens new opportunities for the conception and integration of polymers in MEMS.

关键词： polymer dilute starting

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Quaternary environmental changes in the drylands of China-A critical review

Quaternary environmental changes in the drylands of China-A ...

引用

中国科学院地质与地球物理研究所第11届（2011年度）学术年会

作者： Louis Scuderi Philippe Paillou Department of Earth and Planetary Sciences university of New Mexico MSC03 2040 AlbuquerqueNM 87131USA Universite de bordeaux Observatoire Aquitain des Sciences de l'Univers UMR 5804-LAB/UMR 5218-IMS2 rue de l'Observatoire33271 FloiracFrance

This paper reviews our current understanding of Quaternary climate and landscape changes in the desert areas of northern China,a key portion of the middle-latitude drylands on *** earlier studies with our recent research and experience,we offer a comprehensive picture of the state of Chinese deserts during the Quaternary and,in the interest of enhancing future research,identify knowledge gaps and areas of uncertainty. Lacustrine deposits found over an area ranging from China’s western Taklamakan Desert to the eastern Hunshandake Sandy Lands suggest that extensive lakes occurred in China’s deserts during the Pleistocene. Analysis of digital elevation models from SRTM(Shuttle Radar Topography Mission) data supports this interpretation and shows the significant extent of these former *** estimates of mean annual evaporation of ca.1000 mm from lake surfaces and ca.100 mm from land surfaces,confirms that local and regional rainfall is critical for maintenance of desert lakes in this temperate zone,especially during intervals when the mean annual rainfall is more than 100 mm. Rapid shifts between sand seas and lakes in geologically and environmentally diverse settings suggest that the drylands of China are very sensitive ephemeral systems,and not long-lasting as previously *** chronologies suggest that there were large lakes in the western Taklamakan Desert and the Chadamu Basin during MIS(Marine Isotope Stage) 3,at 0 ka,probably related to a period of strong influence of northern hemispheric westerly *** and elevation models revealed by SRTM data and remains of lacustrine sediments also indicate that there was a large lake in the Hunshandake Sandy Lands in the eastern portion of the desert belt during the Quaternary. There is significant evidence that during the middle Holocene strong summer monsoons led to a relatively large increase in moisture availability in the entire desert belt of northern *** records from th

关键词： Desert Sand sea Palaeoclimatology Environmental change Human impact MIS 3 Pleistocene Holocene China

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Formation of the highest sand dunes on Earth

Formation of the highest sand dunes on Earth

引用

中国科学院地质与地球物理研究所第11届（2011年度）学术年会

作者： Louis Scuderi Philippe Paillou Andrew Jochems Gary Weissmann Department of Earth and Planetary Sciences university of New Mexico MSC03 2040AlbuquerqueNM 87131-1111USA Universite de bordeaux Observatoire Aquitain des Sciences de l'Univers UMR 5804LAB/UMR 5218IMS2 rue de I'Observatoire33271 FloiracFrance Department of Earth and Planetary Sciences.university of New Mexico.MSC03 2040.Albuaueraue.NM 87131-1111 USA

Characterization of dune morphology has historically been based on relationships between dune forms and wind regimes with dune height shown to be sensitive to atmospheric boundary layer depth,sand availability and sediment *** these parameters have been used in numerical simulations to model the occurrences of some types of dunes,they cannot alone explain the great diversity in form and size seen on Earth and on other solar system *** we present results from our studies of dune formation in the Badain Jaran Desert in western China,where Earth’s tallest dunes *** measured the variability of the dune morphology in this desert on the basis of LANDSAT ETM + data,and we detected the bedrock landforms beneath the aeolian sands by applying gravity *** records from stations at the periphery of the desert and SRTM topographical data were examined also to augment the *** studies demonstrate that in addition to average wind parameters,dune height is highly sensitive to local geology, subsurface characteristics,and topography,and interactions between changing climate conditions and aeolian and fluvial *** additional factors need to be considered in the interpretation and simulation of dunes on *** anticipate that analysis of anomalous dune heights like those seen in the Badain Jaran may also provide critical information on subsurface characteristics and environmental conditions on Earth and on other planetary bodies.

关键词： Dune formation Aeolian process Gravity method Remote sensing Climate change China

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：