Introduction Types of paper Contributions falling into the following categories will be considered for publication:Reviews article(>10000 words),Short review(~5000 words),Feature article(>8000 words),Research pa...Introduction Types of paper Contributions falling into the following categories will be considered for publication:Reviews article(>10000 words),Short review(~5000 words),Feature article(>8000 words),Research paper,Short communication(~3000 words),Commentary(~1000 words),and Viewpiont(~3000 words).Please ensure that you select the appropriate article type from the list of options when making your submission.Authors contributing to special issues should ensure that they select the special issue article type from this list.展开更多
This paper is summarized from the speeches given by foreign entrepreneurs at Chinese Enterprises’ Summit Meeting 2000. In the paper, the entrepreneurs set forth the opportunities for Chinese enterprises and the exist...This paper is summarized from the speeches given by foreign entrepreneurs at Chinese Enterprises’ Summit Meeting 2000. In the paper, the entrepreneurs set forth the opportunities for Chinese enterprises and the existing problems from several aspects as globalization of China, influence of WTO, as well as financial reform and capital market opening, etc.展开更多
Through a summary of the results of past research on the time of the origin of hongqu(红曲,red yeast rice),a critical review is made of multiple pieces of published evidence supporting the various viewpoints that hong...Through a summary of the results of past research on the time of the origin of hongqu(红曲,red yeast rice),a critical review is made of multiple pieces of published evidence supporting the various viewpoints that hongqu originated from the Han,Wei,Jin,Tang,or Song dynasties.Based on a newly discovered textual comment by Kong Guangtao孔广陶(1832–1890)that rectified the mistake of mis-quoting“red wheat powder in Guazhou”(Guazhou hongzhi瓜州红)as“red yeast rice in Guazhou”(Guazhou hongqu瓜州红麯)in Entry into Learning(Chuxue ji初学记),a conclusion can be drawn that the evidence for a Han dynasty origin that has dominated for nearly forty years is not well-grounded,and proposes that Chinese hongqu originated in the Tang dynasty(618–907).展开更多
The ideal hypotensive agent should possess three essentials, i.e. to depress the blood pressure surely and steadily, and to block the renin-angio-tensin system (RAS)(1). Currently, Western medical treatment could depr...The ideal hypotensive agent should possess three essentials, i.e. to depress the blood pressure surely and steadily, and to block the renin-angio-tensin system (RAS)(1). Currently, Western medical treatment could depress the blood pressure rapidly and surely through reducing blood volume and dilating blood vessels, while traditional Chinese medicine (TCM) shows its superiorities in al-展开更多
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ...In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.展开更多
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
Facing the broad ＂eco-literature＂ subjects, this paper, first of all, taking eco-literature viewpoint and the theoretical connotation of eco-criticism viewpoint itself as the starting point, conducts a contrast stud...Facing the broad ＂eco-literature＂ subjects, this paper, first of all, taking eco-literature viewpoint and the theoretical connotation of eco-criticism viewpoint itself as the starting point, conducts a contrast study from the cultural origin-tracing on the American eco-literature viewpoint under the Western Bible vision and the Chinese natural eco-literature viewpoint of＂Oneness of Men and Nature＂ through the parallel comparison method; then from the visual angle of influential research is to further explore the academic compatibility in academic research： namely, the Western ecological literature consciousness begins to appear under the premise of the Western ecological civilization being destroyed, while the China＇s natural eco-literature of＂Oneness of Man and Nature＂ is based on a kind of unconscious affinity between people and nature in primitive age. Here it is necessary for us to point out that they cannot be mentioned in the same breath, because the modern ecological criticism is not the reduction of an ancient ecological thought, and also will lead to the academic non-compatibility in academic research. So only by correcting the people＇s misunderstanding in cognition, can we reach the unity of the natural ecological viewpoint and man civilized viewpoint so as to keep the harmony between human beings and nature.展开更多
文摘Introduction Types of paper Contributions falling into the following categories will be considered for publication:Reviews article(>10000 words),Short review(~5000 words),Feature article(>8000 words),Research paper,Short communication(~3000 words),Commentary(~1000 words),and Viewpiont(~3000 words).Please ensure that you select the appropriate article type from the list of options when making your submission.Authors contributing to special issues should ensure that they select the special issue article type from this list.
文摘This paper is summarized from the speeches given by foreign entrepreneurs at Chinese Enterprises’ Summit Meeting 2000. In the paper, the entrepreneurs set forth the opportunities for Chinese enterprises and the existing problems from several aspects as globalization of China, influence of WTO, as well as financial reform and capital market opening, etc.
基金sponsored by the Fujian Engineering and Research Center for Microbial Techniques of Red Yeast Rice,and copyedited by John Moffett。
文摘Through a summary of the results of past research on the time of the origin of hongqu(红曲,red yeast rice),a critical review is made of multiple pieces of published evidence supporting the various viewpoints that hongqu originated from the Han,Wei,Jin,Tang,or Song dynasties.Based on a newly discovered textual comment by Kong Guangtao孔广陶(1832–1890)that rectified the mistake of mis-quoting“red wheat powder in Guazhou”(Guazhou hongzhi瓜州红)as“red yeast rice in Guazhou”(Guazhou hongqu瓜州红麯)in Entry into Learning(Chuxue ji初学记),a conclusion can be drawn that the evidence for a Han dynasty origin that has dominated for nearly forty years is not well-grounded,and proposes that Chinese hongqu originated in the Tang dynasty(618–907).
文摘The ideal hypotensive agent should possess three essentials, i.e. to depress the blood pressure surely and steadily, and to block the renin-angio-tensin system (RAS)(1). Currently, Western medical treatment could depress the blood pressure rapidly and surely through reducing blood volume and dilating blood vessels, while traditional Chinese medicine (TCM) shows its superiorities in al-
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
文摘Facing the broad ＂eco-literature＂ subjects, this paper, first of all, taking eco-literature viewpoint and the theoretical connotation of eco-criticism viewpoint itself as the starting point, conducts a contrast study from the cultural origin-tracing on the American eco-literature viewpoint under the Western Bible vision and the Chinese natural eco-literature viewpoint of＂Oneness of Men and Nature＂ through the parallel comparison method; then from the visual angle of influential research is to further explore the academic compatibility in academic research： namely, the Western ecological literature consciousness begins to appear under the premise of the Western ecological civilization being destroyed, while the China＇s natural eco-literature of＂Oneness of Man and Nature＂ is based on a kind of unconscious affinity between people and nature in primitive age. Here it is necessary for us to point out that they cannot be mentioned in the same breath, because the modern ecological criticism is not the reduction of an ancient ecological thought, and also will lead to the academic non-compatibility in academic research. So only by correcting the people＇s misunderstanding in cognition, can we reach the unity of the natural ecological viewpoint and man civilized viewpoint so as to keep the harmony between human beings and nature.
