Geological features of Permian ophiolite in the Jiaomuri area, Qiangtang, Tibet, and its tectonic significance

During the regional geological mapping of the 1∶250000 Mayigangri Sheet, a very complete ophiolite was discovered in the Jiaomuri area, which consists of radiolarian chert, pillow basalt, gabbro, diabase and metaperidotite. This ophiolite is the most intact and complete one in the central Qiangtang area.

Discovery of Early Devonian strata in northern Qiangtang, Tibet, and the establishment of the Pingshagou Formation

Although it is important to determine whether there exist sedimentary strata older than the Upper Permian in the northern Qiantang area in Tibet, there has been no report of such old strata in this area. During the geological mapping of the Mayigangri area, we discovered strata that contain the bivalves Eoschizodus roemeri (Beushausen), E. minor (Beushausen) , E. infiatus (Roemer), Actinodesma (Actinodesma) cf . maneiforme Sandberger, A . (Actindesma) cf . vespertilio Maurer, and the brachiopod Huananochonetes subquadratus Sun & Chen. These fossils indicate a late Early Devonian age (Emsian) , thus the strata represent the first discovered Lower Devonian rocks in northen Qiangtang, confirming the existence of strata older than the Upper Permian. A new stratigraphic term, the Pingshagou Formation , is introduced. The new data provide constraints on the tectonic, palaeogeographic, and palaeobiogeographic history of the north Qiangtang area in the Early Devonian.

Discovery of the Early Ordovician strata in Xianza County, Tibet and its significance

There is no any sediments contain fossils which formed earlier than Middle Ordovician in northern Tibet yet. It is very important whether have developed the Cambrian to Early Ordovician sedimentary strata. During geological mapping of Xainza County in 2000, Tetragraptus approximatus, the typical one of graptolite belts which cosmepolitically distributed in the Arenigian of Early Ordovician, was collected from the so-call Pre-Sinian Nianqingtanggula Group. So there is developped the Early Ordovician sediments and we have established Zakang Formation and Taduo Formation which perfected the Plaeozoic sequences in northern Tibet. According to these, we can realize tectonic control, palaeogeographrc pattern as well as palaeobiogeographic distribution of the Qinghai-Tibet Plateau in the early Paleozoic and also provided the materials to the cosmepolitical biostratigraphic contrast.

Application of neural network to rock slope stability assessments

It is known that rock masses are inhomogeneous, discontinuous media composed of rock material and naturally occurring discontinuities such as joints, fractures and bedding planes. These features make any analysis very difficult using simple theoretical solutions. Generally speaking, back analysis technique can be used to capture some implicit parameters for geotechnical problems. In order to perform back analyses, the procedure of trial and error is generally required. However, it would be time-consuming. This study aims at applying a neural network to do the back analysis for rock slope failures. The neural network tool will be trained by using the solutions of finite element upper and lower bound limit analysis methods. Therefore, the uncertain parameter can be obtained, particularly for rock mass disturbance.

Trench stability under bentonite pressure in purely cohesive clay

Trench stability is a conventional geotechnical problem; however, current evaluations are often based entirely on empiricism. This paper uses numerical finite-element upper and lower bound limit analysis to produce stability charts for two-dimensional and three-dimensional homogeneous and inhomogeneous undrained diaphragm wall trenches. Using the limit theorems cannot only provide a simple and useful way of analyzing the stability of the trench, but also avoid the shortcomings and arbitrary assumptions underpinning the limit equilibrium method. By considering the effects from the bentonite slurry pressures, the collapse load in this study has been bracketed to within ±8.5 or better by the numerical upper and lower bound limit analyses. The chart solutions can be used to predict either the critical depth or the safety factor of the trench and provide a convenient tool for preliminary designs by practicing engineers. © 2014 American Society of Civil Engineers.

Slope stability charts for two-layered purely cohesive soils based on finite-element limit analysis methods

Stability charts for soil slopes, first produced in the first half of the twentieth century, continue to be used extensively as design tools, and draw the attention of many investigators. This paper uses finite-element upper and lower bound limit analysis to assess the short-term stability of slopes in which the slopematerial and subgrade foundation material have two distinctly different undrained strengths. The stability charts are proposed, and the exact theoretical solutions are bracketed to within 4.2% or better. In addition, results from the limit-equilibrium method (LEM) have been used for comparison. Differences of up to 20% were found between the numerical limit analysis and LEM solutions. It also shown that the LEM sometimes leads to errors, although it is widely used in practice for slope stability assessments.

Three-dimensional slope stability assessment of two-layered undrained clay

This paper uses the finite element upper and lower bound limit analysis methods to investigate the three-dimensional (3D) slope stability of two-layered undrained clay slopes. The solutions obtained from the slope stability analyses are bracketed to within ±10% or better. For comparison purposes, results from two-dimensional (2D) analyses based on the numerical limit analysis methods and the conventional limit equilibrium method (LEM) are also discussed. This study shows that 3D boundary of a slope can have significant effects on the slope stability. In addition, the results are presented in the form of stability charts which can be convenient tools for practicing engineers.

Phase behavior and nanomechanical mapping of block ionomer complexes

Block ionomer complexes SSEBS-c-PCL were prepared, as a consequence of proton transfer from the sulfonic acid of sulfonated polystyrene-block- poly(ethylene-ran-butylene)-block-polystyrene (SSEBS) to the tertiary amine of a tertiary amine terminated poly(?-caprolactone) (APCL). The phase behavior of SSEBS-c-PCL was thoroughly investigated and the results showed that APCL in SSEBS-c-PCL displays unique crystallization behavior owing to the influence of interactions between the amine and sulfonic acid groups as well as the effects of confinement. Further, small-angle X-ray scattering study revealed that SSEBS-c-PCL displays a less ordered micro-phase structure compared to SSEBS. A quantitative mapping of mechanical properties at the nanoscale was achieved using peak force mode atomic force microscopy. It is found that the block ionomer complex possesses a higher average elastic modulus after complexation with crystallizable APCL. Additionally, the moduli for both hard and soft phases increase and the phase with higher modulus assignable to the hard SPS component shows much more pronounced changes after complexation, confirming that APCL interacts mainly with the SPS blocks. This provides an understanding of the composition and nanomechanical properties of these new block ionomer complexes and an alternative insight into the micro-phase structures of multi-phase materials.

Permeability mapping in porous media by magnetization prepared centric-scan SPRITE

The ability of porous media to transmit fluids is commonly referred to as permeability. The concept of permeability is central for hydrocarbon recovery from petroleum reservoirs and for studies of groundwater flow in aquifers. Spatially resolved measurements of permeability are of great significance for fluid dynamics studies. A convenient concept of local Darcy’s law is suggested for parallel flow systems. The product of porosity and mean velocity images in the plane across the average flow direction is directly proportional to permeability. Single Point Ramped Imaging with T 1 Enhancement (SPRITE) permits reliable quantification of local fluid content and flow in porous media. It is particularly advantageous for reservoir rocks characterized by fast magnetic relaxation of a saturating fluid. Velocity encoding using the Cotts pulsed field gradient scheme improves the accuracy of measured flow parameters. The method is illustrated through measurements of 2D permeability maps in a capillary bundle, glass bead packs and composite sandstone samples.

Performance analysis for object-oriented software: a systematic mapping

Performance is a crucial attribute for most software, making performance analysis an important software engineering task. The difficulty is that modern applications are challenging to analyse for performance. Many profiling techniques used in real-world software development struggle to provide useful results when applied to large-scale object-oriented applications. There is a substantial body of research into software performance generally but currently there exists no survey of this research that would help identify approaches useful for object-oriented software. To provide such a review we performed a systematic mapping study of empirical performance analysis approaches that are applicable to object-oriented software. Using keyword searches against leading software engineering research databases and manual searches of relevant venues we identified over 5,000 related articles published since January 2000. From these we systematically selected 253 applicable articles and categorised them according to ten facets that capture the intent, implementation and evaluation of the approaches. Our mapping study results allow us to highlight the main contributions of the existing literature and identify areas where there are interesting opportunities. We also find that, despite the research including approaches specifically aimed at object-oriented software, there are significant challenges in providing actionable feedback on the performance of large-scale object-oriented applications.

A taxonomy and mapping of computer-based critiquing tools

Critics have emerged in recent times as a specific tool feature to support users in computer-mediated tasks. These computer-supported critics provide proactive guidelines or suggestions for improvement to designs, code, and other digital artifacts. The concept of a critic has been adopted in various domains, including medical, programming, software engineering, design sketching, and others. Critics have been shown to be an effective mechanism for providing feedback to users. We propose a new critic taxonomy based on extensive review of the critic literature. The groups and elements of our critic taxonomy are presented and explained collectively with examples, including the mapping of 13 existing critic tools, predominantly for software engineering and programming education tasks to the taxonomy. We believe this critic taxonomy will assist others in identifying, categorizing, developing, and deploying computer-supported critics in a range of domains.

A systematic mapping study of mobile application testing techniques

The importance of mobile application specific testing techniques and methods has been attracting much attention of software engineers over the past few years. This is due to the fact that mobile applications are different than traditional web and desktop applications, and more and more they are moving to being used in critical domains. Mobile applications require a different approach to application quality and dependability and require an effective testing approach to build high quality and more reliable software. We performed a systematic mapping study to categorize and to structure the research evidence that has been published in the area of mobile application testing techniques and challenges that they have reported. Seventy nine (79) empirical studies are mapped to a classification schema. Several research gaps are identified and specific key testing issues for practitioners are identified: there is a need for eliciting testing requirements early during development process; the need to conduct research in real-world development environments; specific testing techniques targeting application life-cycle conformance and mobile services testing; and comparative studies for security and usability testing.