The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive obj...The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive objectives, this article develops a variant of tissue P system （TPS）. Inspired by general tissue P systems, the special TPS has a tissue-like structure with several membranes. The key rules of each membrane are the communication rule and mutation rule. These characteristics contribute to the diversity of the population, the conquest of the multimodal of objective function, and the convergence of algorithm. The results of comparison with a popular algorithm——the non-dominated sorting genetic algorithm 2（NSGA-2） illustrate that the new algorithm has satisfactory performance. Using the algorithm, this study maximizes synchronously several conflicting objectives, purities of different products, and productivity.展开更多
The hydrogeology of first-order streams have been evaluated from 2007 to 2009 as part of the Whitetail Basin Watershed Restoration Project in Hay Creek Canyon located 25 km north of Whitehall Montana, USA. An in-depth...The hydrogeology of first-order streams have been evaluated from 2007 to 2009 as part of the Whitetail Basin Watershed Restoration Project in Hay Creek Canyon located 25 km north of Whitehall Montana, USA. An in-depth study of the riparian area hydrogeology started in the fall of 2007 with the installation of more than 40 hand-augered deeper （〉 1 m） wells to complement preexisting driven metal pipe piezometers （± 1 m） installed in four first-order drainages. Two zones within the shallow alluvial systems were identified. This paper presents the results of a concentrated study conducted in the Hay Creek drainage within the tWO zones. Data loggers placed in some of the wells led to a gradual understanding of the water-level patterns in different vegetative types （Douglas Fir, Aspen, Willow-Alder. and Grass-Sagebrush） over the various seasons. The deeper water-level responses change from seasonal patterns to strongly diurnal during summer months. Diurnal patterns continue until leaves drop from riparian vegetation. This was expected, however, the Douglas fir trees show the same pattern. Near the end of the study a full year of water-level data showing the seasonal behavior changes were collected. Resaturation of the upper zone occurs in the fall with sources of recharge coming from up-drainage. A detailed evaluation of water-level responses from up-drainage to down-drainage piezometers occurs in a ＂wave-like＂ resaturation phenomenon that allows one to estimate the bulk hydraulic conductivity of the ＂alluvial system＂ aquifer using principles of Darcy＇s Law. The methods used to evaluate the hydraulic properties and seasonal water-level patterns are presented.展开更多
Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normaliza...Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normalization) before starting the refutation. In this paper, the authors first generalize the concept of abatract consistency class to the most general form-universal abstract consistency class, and prove its universal unifying principle. Then, based on the R-refutation, a universal refutation method is proposed and its soundness and completeness are proved by means of the universal unifying principle. This method can be applied directly to any finite set of wffs without preprocessing the wffs at all so that the refutation procedure is more natural.展开更多
基金Supported by the National Natural Science Foundation of China （No.60421002）
文摘The binaphthol enantiomers separation process using simulation moving bed technology is simulated with the true moving bed approach （TMB）. In order to systematically optimize the process with multiple productive objectives, this article develops a variant of tissue P system （TPS）. Inspired by general tissue P systems, the special TPS has a tissue-like structure with several membranes. The key rules of each membrane are the communication rule and mutation rule. These characteristics contribute to the diversity of the population, the conquest of the multimodal of objective function, and the convergence of algorithm. The results of comparison with a popular algorithm——the non-dominated sorting genetic algorithm 2（NSGA-2） illustrate that the new algorithm has satisfactory performance. Using the algorithm, this study maximizes synchronously several conflicting objectives, purities of different products, and productivity.
文摘The hydrogeology of first-order streams have been evaluated from 2007 to 2009 as part of the Whitetail Basin Watershed Restoration Project in Hay Creek Canyon located 25 km north of Whitehall Montana, USA. An in-depth study of the riparian area hydrogeology started in the fall of 2007 with the installation of more than 40 hand-augered deeper （〉 1 m） wells to complement preexisting driven metal pipe piezometers （± 1 m） installed in four first-order drainages. Two zones within the shallow alluvial systems were identified. This paper presents the results of a concentrated study conducted in the Hay Creek drainage within the tWO zones. Data loggers placed in some of the wells led to a gradual understanding of the water-level patterns in different vegetative types （Douglas Fir, Aspen, Willow-Alder. and Grass-Sagebrush） over the various seasons. The deeper water-level responses change from seasonal patterns to strongly diurnal during summer months. Diurnal patterns continue until leaves drop from riparian vegetation. This was expected, however, the Douglas fir trees show the same pattern. Near the end of the study a full year of water-level data showing the seasonal behavior changes were collected. Resaturation of the upper zone occurs in the fall with sources of recharge coming from up-drainage. A detailed evaluation of water-level responses from up-drainage to down-drainage piezometers occurs in a ＂wave-like＂ resaturation phenomenon that allows one to estimate the bulk hydraulic conductivity of the ＂alluvial system＂ aquifer using principles of Darcy＇s Law. The methods used to evaluate the hydraulic properties and seasonal water-level patterns are presented.
文摘Refutation methods based on the resolution principle are generally applied to a (finite) set of sentences, which must have a series of pre-transformations (prenex normalization, Skolemization and conjunction normalization) before starting the refutation. In this paper, the authors first generalize the concept of abatract consistency class to the most general form-universal abstract consistency class, and prove its universal unifying principle. Then, based on the R-refutation, a universal refutation method is proposed and its soundness and completeness are proved by means of the universal unifying principle. This method can be applied directly to any finite set of wffs without preprocessing the wffs at all so that the refutation procedure is more natural.
