期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Promoting Public Understanding in the Science of Geology
1
作者 Daniel Eugene Snowden 《Journal of Geological Resource and Engineering》 2014年第2期77-93,共17页
Geology is perhaps the most fascinating of the natural sciences, due to its all-encompassing nature. Virtually all human activities that occur on planet Earth--including agriculture, energy and mineral resource explor... Geology is perhaps the most fascinating of the natural sciences, due to its all-encompassing nature. Virtually all human activities that occur on planet Earth--including agriculture, energy and mineral resource exploration and extraction; environmental and public policy on natural resources management and protection; land use planning; infrastructure development; and ecological tourism--all depend on various aspects of geology and its sub-disciplines. Due to the importance of geology in the daily lives of human beings, it is imperative that all persons develop at least a basic understanding of the science. In this paper, the current efforts for promoting public understanding in geology will be examined, with offerings of alternatives and supplements to these efforts. Information from the science education sub-disciplines of HPS (history, philosophy and sociology) of science, and informal/free-choice learning will be woven into the framework of the geology-public understanding idea. 展开更多
关键词 Environmental and public policy GEOLOGY HISTORY philosophy and sociology of science informal/free-choice learning public understanding of science.
下载PDF
Liveness characterization for GFC systems (Ⅱ)
2
作者 曹存 《Science China(Technological Sciences)》 SCIE EI CAS 1996年第2期206-216,共11页
Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks a... Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques which may be useful for proving liveness of other types of net systems are also introduced. 展开更多
关键词 free-choice NET LIVENESS GENERALIZED free-choice NET
原文传递
Liveness characterization for GFC systems(Ⅰ)
3
作者 曹存根 《Science China(Technological Sciences)》 SCIE EI CAS 1996年第2期196-205,共10页
The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interestin... The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques for proving liveness-related features of GFC systems are introduced. 展开更多
关键词 free-choice NET LIVENESS GENERALIZED free-choice NET
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部