大型反倾岩体变形破坏机制及稳定性分析———以金沙江宽谷坝址龙蟠边坡为例

A large number of catastrophic accidents were aroused by the instability and destruction of anti-dip rock masses in the worldwide engineering projects, such as hydropower station, mine, railways and so on. Problems in relation to deformation and failure about anti-dip rock slopes are significant for engineering geology research. This dissertation takes the Longpan slope in the Jinsha River as a case to study the deformation mechanism of large-scale anti-dip rock masses and the slope stability analysis method. The primary conclusions are as follows. The Dale Reach of Jinsha River, from Longpan to the debouchment of Chongjiang tributary, is located in the southeastern margin of the Qinghai-Tibet Plateau. Longpan slope is the right embankment of Dale dam, it is only 26 km to the Shigu and 18 km to Tiger Leaping Gorge. The areal geology tectonic structures here area are complicated and blurry. Base on the information of geophysical exploration (CSAMT and seismology) and engineering geological investigation, the perdue tectonic pattern of Dale Reach is put forward for the first time in this paper. Due to the reverse slip of Longpan fault and normal left-rotation of Baihanchang fault, the old faulted valley came into being. The thick riverbed sediments have layered characters of different components and corresponding causes, which attribute to the sedimentary environments according with the new tectonic movements such as periodic mountain uplifting in middle Pleistocene. Longpan slope consists of anti-dip alternate sandstone and slate stratums, and the deformable volume is 6.5×107m3 approximately. It was taken for an ancient landslide or toppling failure in the past so that Dale dam became a vexed question. Through the latest field surveying, displacement monitoring and rock masses deforming characters analyses, the geological mechanism is actually a deep-seated gravitational bending deformation. And then the discrete element method is used to simulate the deforming evolution process, the conclusion accords very well with the geo-mechanical patterns analyses. In addition strength reduction method based on DEM is introduced to evaluate the factor of safety of anti-dip rock slope, and in accordance with the expansion way of the shear yielding zones, the progressive shear failure mechanism of large-scale anti-dip rock masses is proposed for the first time. As an embankment or a close reservoir bank to the lower dam, the stability of Longpan slope especially whether or not resulting in sliding with high velocity and activating water waves is a key question for engineering design. In fact it is difficult to decide the unified slip surface of anti-dip rock slope for traditional methods. The author takes the shear yielding zones acquired form the discrete element strength reduction calculation as the potential sliding surface and then evaluates the change of excess pore pressure and factor of stability of the slope generated by rapid drawdown of ponded water. At the same time the dynamic response of the slope under seismic loading is simulated through DEM numerical modeling, the following results are obtained. Firstly the effective effect of seismic inertia force is resulting in accumulation of shear stresses. Secondly the discontinuous structures are crucial to wave transmission. Thirdly the ultimate dynamic response of slope system takes place at the initial period of seismic loading. Lastly but essentially the effect of earthquake load to bringing on deformation and failure of rock slope is the coupling effect of shear stresses and excess pore water pressure accumulation. In view of limitations in searching the critical slip surface of rock slope of the existing domestic and international software for limit equilibrium slope stability analyses, this article proposes a new method named GA-Sarma Algorithm for rock slope stability analyses. Just as its name implies, GA-Sarma Algorithm bases on Genetic Algorithm and Sarma method. GA-Sarma Algorithm assumes the morphology of slip surface to be a broken line with traceability to extend along the discontinuous surface structures, and the slice boundaries is consistent with rock mass discontinuities such as rock layers, faults, cracks, and so on. GA-Sarma Algorithm is revolutionary method that is suitable for global optimization of the critical slip surface for rock slopes. The topics and contents including in this dissertation are closely related to the difficulties in practice, the main conclusions have been authorized by the engineering design institute. The research work is very meaningful and useful for the engineering construction of Longpan hydropower station.

热察绥地区过去300年土地利用覆被变化

The historical land use and land cover changes is one of the key issues in LUCC research. However, the achievement of China in this field doesn't match her position in the world yet. And the reliability of the quantitive records in Chinese historical literature, the basic data for historical land use research, has been doubted. This research focuses on Re-Cha-Sui, a typical area for the farming-pastoral region in the north of China, to make a detailed case study in this field. Based on a deep mining and calibration on the data from massive historical documents and land-use surveys, the author gives a detailed analysis on the administrative region evolution, historical population dynamics, reclamation policy, and the land statistic system. According to textual researches, parallel validation and physical geographical analysis, a unified land use series for recent 300 years, which founded on the results of modern land-use surveys, is constructed. And the thematic maps on the cultivation index for different counties in several temporal sections are plotted. Based on the endeavor above, the dynamic of forest and steppe is reconstructed as well. The temporal-spatial patterns of land use/land cover changes in the area is analyzed. And the influence of different driving forces are discussed. The main conclusions of the research are as followed: 1. The quantitive records in literatures on Re-Cha-Sui area are reflection of real amounts of croplands. It is practical to reconstruct a result comparable with the modern land-use surveys, based of a deep mining and considerate validation on historical documents. The unexceptional negative attitude towards the numerical records in historical documents is unnecessary. 2. In recent 300 years, 3 climax of reclamation appeared in Re-Cha-Sui area and altered the pure pastoral area into a farming-pastoral region. The interval were respectively the early time till mid time of the Qing dynasty, the end of the Qing dynasty till early time of the Republic of China(ROC), and the time after A.D. 1949. After the first expansion, the area of cropland in this region reached 2.0 million ha. Among them, Guisui area, which was most densely cultivated, had a cultivation index over 30%, which is similar with modern situation. The second expansion covered broader area, and the amount of cropland reached 3.5 million ha. The increase of farming area after 1949 is due to the recultivation of abandoned farmland. The current area of cropland in this region is 5.6 million ha. In the southern area where the land was reclaimed early, the amount on of the cropland has some fluctuation in 300 years. While in the new reclaimed area in the north, the area of cropland has kept the trend of increasing. 3. Due to the different natural conditions, most forests in Re-Cha-Sui area distribute in the mountain area of North Hebei province, and the upland of West Liaoning province, especially the former, which has a forest coverage near 70%. However, most of these forests were destroyed before the end of the Qing dynasty. In 1949, the natural forest near Chengde was nearly cleared up. They were partly renewed after 1949 due to plantation. 4. In the steppe zone such as northern Rehe, Suiyuan and Chahar, the area of steppe has a negative correlation with that of cropland. With the expansion of cropland, the percentage of steppe has shrunk from over 80% to 53%. In the mountain area of North Hebei province, steppe expanded with the shrinkage of forest, though cropland was expanding. The percentage once reached 60%, and then fell with the renew of forest. However, in the upland of West Liaoning province, the steppe shrink slowly from original 50% to current 26%, with the expansion of cropland. 5. The land use and land cover change in Re-Cha-Sui area in recent 300 years is driven by various factors, including human dimensions such as population, policy of the government, disorder of the society, cultural tradition, and natural factors such as climate change and natural disasters. Among them, pressure from surplus population is the basic driving force.

New method for analysis of Chinese herbal complex prescription and its application

Traditional Chinese medicine (TCM) is a great treasure of China, the analysis of which is an arduous task. The viewpoint that all chemical constituents of Chinese herbal complex prescription should be analyzed as a black box is elucidated for the first time. Intelligent multi-mode multi-column chromatographic system (IMMCC) with its hybrids is the basic method and HPLC Unified Method is the breakthrough for the black box analysis. Dang-Gui-Bu-Xue-Tang was selected as a typical TCM and a systematic separation method from non-aqueous mobile phase to pure water mobile phase was put forward in order to convert unknown sample to known sample. The a, c values and UV spectra of 66 components of Astragalus, 78 components of Angelica and 71 components of Dang-Gui-Bu-Xue-Tang were obtained. Intelligent optimization and peak identification method and software for complex samples were developed and the optimum multi-step multi-binary gradient curve of mobile phase for Astragalus was ascertained. The maximum error and minimum error of predicted retention time for all components of Astragalus are 8.62% and 0.05% respectively. All components of Astragalus were compared with those of Angelica and it is found that many components of Astragalus are the same as those of Angelica, while the contents of these components are different. Many components of Dang-Gui-Bu-Xue-Tang are also the same as those of Astragalus and Angelica with different contents.

Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies

This paper describes a theory of inheritance theories. We present an original theory of inheritance in nonmonotonic hierarchies. The structures on which this theory is based delineate a framework that subsumes most inheritance theories in the literature, providing a new foundation for inheritance. * Our path-based theory is sound and complete w.r.t. a direct model-theoretic semantics. * Both the credulous and the skeptical conclusions of this theory are polynomial-time computable. * We prove that true skeptical inheritance is not contained in the language of path-based inheritance. Because our techniques are modular w.r.t. the definition of specificity, they generalize to provide a unified framework for a broad class of inheritance theories. By describing multiple inheritance theories in the same "language" of credulous extensions, we make principled comparisons rather than the ad-hoc examination of specific examples makes up most of the comparative inheritance work.

Uso da linguagem de especificação SDL como alternativa ao diagrama de estados proposto pela linguagem UML.

Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.

On the use of qualitative reasoning to simulate and identify metabolic pathways

King, R.D., Garrett, S.M., Coghill, G.M. (2005). On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics 21(9):2017-2026 RAE2008

JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four.

Urquhart, C. (editor for JUSTEIS team), Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Armstrong, A., Lonsdale, R. & Fenton, R. (2003). JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth with Information Automation Ltd (CIQM). Sponsorship: JISC

Collaboration on procurement of e-content between the National Health Service and higher education in the UK

Urquhart, C. J., Cox, A. M.& Spink, S. (2007). Collaboration on procurement of e-content between the National Health Service and higher education in the UK. Interlending & Document Supply, 35(3), 164-170. Sponsorship: JISC, LKDN

Getting Constitutional Theory into Proportion: A Matter of Interpretation?

Gibbs, N., Getting Constitutional Theory into Proportion: A Matter of Interpretation?, Oxford Journal of Legal Studies, 27 (1), 175-191. RAE2008

Credit and Debt in medieval England, c.1180-c.1350

Schofield, Phillipp, and N. J. Mayhew, eds., Credit and Debt in medieval England, c.1180-c.1350 (Oxford: Oxbow Books, 2002), pp.x+164 RAE2008

Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2

Winter, Rudolf; Heitjans, P., (2001) 'Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2', Journal of Physical Chemistry B 105(26) pp.6108-6115 RAE2008

Die Organisation und Leitung der Arbeit Mit Audiovisuellen Lehr- und Lernmitteln an der Humboldt-Universität zu Berlin und an Anderen Hochschulen in der Ddr

Heun Hans-Georg, Die Organisation und Ieitung der Arbeit mit audiovisuellen lehr- und Ißrnmitteln an der Humboldt-Universität zu Berlin und an anderen Hochschulen in der DDR (Organization and conducting of work with audiovidual aids at the Humboldt University and other schools of higher education in the German Democratic Republic), „Neodidagmata” XX, Poznan 1991, Adam Mickiewicz University Press, pp. 131-136. ISBN 83-232-0302-4. ISBN 0077-653X. Received: November 1987. Audiovisual aids have become now an indispensable help for teachers. The centre of audiovisual aids at the Humboldt University in Berlin performs the following tasks: a) production of audiovisual materials; b) technical service of classes and lectures and seminars and repairing of the equipment; c) information on new audiovisual aids and lending services; d) training of students and university teachers in operating audiovisual aids; e) studies on application of audiovisual aids in schools of higher education.

Gestão do cooperativismo médico no Brasil

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Empresariais, especialidade em Gestão

The Least of These: American Evangelical Parachurch Missions to the Poor, 1947-2005

This dissertation narrates the historical development of American evangelical missions to the poor from 1947-2005 and analyzes the discourse of its main parachurch proponents, especially World Vision, Compassion International, Food for the Hungry, Samaritan's urse, Sojourners, Evangelicals for Social Action, and the Christian Community Development Association. Although recent scholarship on evangelicalism has been prolific, much of the historical work has focused on earlier periods. Sociological and political scientific scholarship on the postwar period has been attracted mostly to controversies surrounding the Religious Right, leaving evangelicalism's resurgent concern for the poor relatively understudied. This dissertation addresses these lacunae. The study consists of three chronological parts, each marked by a distinctive model of mission to the poor. First, the 1950s were characterized by compassionate charity for individual emergencies, a model that cohered neatly with evangelicalism's individualism and emotionalism. This model should be regarded as the quintessential, bedrock evangelical theory of mission to the poor. It remained strong throughout the entire postwar period. Second, in the 1970s, a strong countercurrent emerged that advocated for penitent protest against structural injustice and underdevelopment. In contrast to the first model, it was distinguished by going against the grain of many aspects of evangelical culture, especially its reflexive patriotism and individualism. Third, in the 1990s, an important movement towards developing potential through hopeful holism gained prominence. Its advocates were confident that their integration of biblical principles with insights from contemporary economic development praxis would contribute to drastic, widespread reductions in poverty. This model signaled a new optimism in evangelicalism's engagement with the broader world. The increasing prominence of missions to the poor within American evangelicalism led to dramatic changes within the movement's worldview: by 2005, evangelicals were mostly unified in their expressed concern for the physical and social needs of the poor, a position that radically reversed their immediate postwar worldview of near-exclusive focus on the spiritual needs of individuals. Nevertheless, missions to the poor also paralleled, reinforced, and hastened the increasing fragmentation of evangelicalism's identity, as each missional model advocated for highly variant approaches to poverty amelioration that were undergirded by diverse sociological, political, and theological assumptions.

A General Theory of Semi-Unification

Various restrictions on the terms allowed for substitution give rise to different cases of semi-unification. Semi-unification on finite and regular terms has already been considered in the literature. We introduce a general case of semi-unification where substitutions are allowed on non-regular terms, and we prove the equivalence of this general case to a well-known undecidable data base dependency problem, thus establishing the undecidability of general semi-unification. We present a unified way of looking at the various problems of semi-unification. We give some properties that are common to all the cases of semi-unification. We also the principality property and the solution set for those problems. We prove that semi-unification on general terms has the principality property. Finally, we present a recursive inseparability result between semi-unification on regular terms and semi-unification on general terms.