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.展开更多
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.展开更多
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.展开更多
文摘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.
文摘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.
文摘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.