TỐC ĐỘ CHUYỂN DỊCH KIẾN TẠO GIAI ĐOẠN PLEISTOCEN GIỮA - MUỘN DỌC ĐỚI ĐỨT GÃY SÔNG HỒNG KHU VỰC LÀO CAI - VIỆT TRÌ

SUMMARY Slip rates during the Middle-Late Pleistocene period along Red River Fault Zone in Lao Cai - Viet Tri section The Red River Fault Zone (RRFZ) is one of the major faults, which plays an important role in Asia as well as in Vietnam. In the Cenozoic, the RRFZ has been undergone two stages of motion: left-lateral displacement in Oligo-Miocene time and right-lateral displacement from Pliocene to present. This study presents new evidences on right-lateral displacement showned by the offsets of terraces, streams, Quaternary sediments and weathering layer,… along the RRFZ from Lao Cai to Viet Tri area. These offsets are determined in the Middle-Late Pleistocene period with the amount of right-lateral slip is estimated from ~100m to ~1300m and the slip rate from 1.1mm/yr to 1.8mm/yr

Xúc tác trên cơ sở kim loại trong phản ứng epoxy hoá dầu đậu nành

An epoxidation of vegetable oil is an oxidation reaction of double bond in the presence of catalysts, wherein hydrogen peroxide is commonly used as the oxidant. Depending on catalyst, the reaction is carried out via different methods. The conventional epoxidation of vegetable oils catalyzed by liquid inorganic acids have several drawbacks, including: the reaction time is long; it is very difficult to control side reactions; the yield of reaction is relatively low. On the contrary, the reaction using metal-based catalysts can overcome such disadvantages. Those catalysts which based on various metals such as Mo, Ti, Co, Ni, Pt, Fe, and W... are used for the epoxidation of alkenes and fatty esters by many scientists in the world. Some preliminary results on the epoxidation of soybean oil over tungsten-based catalyst have been reported in this paper. The successful epoxidation of the soybean oil was confirmed by the FTIR analysis. The effects of the H2O2 oxidant as well as tungstate concentration on the epoxidation process were investigated by determining the epoxy content of the obtained products. The yield and double bond conversion of the reaction are also studied in order to evaluate the efficiency of the catalyst. After 1 hour of reaction, 90.31÷90.39 % of double bonds was disappeared, 91.14÷91.56 % of which were converted to epoxy groups, therefore the yield of the reaction was between 82.31÷82.76 %. Those results indicated that using the metal-based catalyst was considerably minimized side reactions

KIẾN TẠO HIỆN ĐẠI VÀ CÁC TAI BIẾN ĐỊA CHẤT LIÊN QUAN Ở VÙNG BIỂN VIỆT NAM VÀ LÂN CẬN

SUMMARY Neotectonics and geological hazards in Vietnam Sea and surroundings This paper presents velocities of present-day tectonic movements in Vietnam and surroundings determined from GPS campaigns from 2007 to 2010. Absolute displacements and velocities of GPS stations in the IGS05 frame were determined. The result indicates that Lang station (LANG) moves eastward with slip rate of ~39mm/yr, southward with slip rate of ~11 mm/yr. The rate of Bach Long Vi (BLV1) is ~30mm/yr for the eastern component and ~11mm/yr for southern component. Song Tu Tay (STT1) moves eastwards with the rate of ~24mm/yr and southwards of 8mm/yr. Con Dao (CDA1) moves to the east with the rate of ~22mm/yr and to the south with the rate of ~6mm/yr. Dong Hoi (DOHO) move to the east with the rate of ~27mm/yr and to the south with the rate of ~8mm/yr. Hue (HUES) moves to the east with the rate of ~30 mm/yr and to the south with the rate of ~12mm/yr. HOCM move to the east with the rate of ~22mm/yr and to the south with the rate of ~10mm/yr. Calculate errors for both direction vary in 0.6 - 1mm/y. Based on seismic profiles, focal mechanisms and regional stress field, several fault segments in Pliocene - Quaternary sediments in East Vietnam Sea has been identified in Red River, Cuu Long and Nam Con Son basins with maximum of 15 km in length. Actual stress regimes in Vietnam and south Hainan basins being transitional demonstrate no source of large tsunami closing to Vietnam shelf. The subduction zone located at north Borneo is not active at present. Only Manila subduction zone is the source for large tsunami in East Vietnam Sea. Based on gravimetric field, topography, distribution of focal mechanisms in various depths and the rate of actual tectonic movement, 5 fault zones of the Manila subduction zone have been divided. The fault zones F3 and F4 can produce respectively maximum earthquake of 8.1 and 8.4. Modeling of displacement of fault zone F4 from the depth 15 to 20 km, 2m high of tsunami at Quang Ngai can be occurred. The depth of tsunami flood can be up to 4-5 m at some places in Quang Ngai and Da Nang

Incremental development of UML architectural specification based on behavioural verification.

Le langage UML est devenu un standard de fait, y compris pour le développement de systèmes critiques. Néanmoins, les outils actuels apportent peu d'aide pour exploiter et vérifier les modèles proposés, surtout en cours de développement. Cette thèse se concentre sur l'aide à la construction d'architectures en UML durant les phases d'analyse et de conception de systèmes réactifs. Elle vise à développer un cadre théorique et pragmatique pour mettre en œuvre une approche incrémentale. Ce cadre fournit un outil permettant de vérifier les architectures durant leur modélisation. Les architectures sont modélisées par des diagrammes UML de structures composites alors que les composants primitifs sont présentés par une combinaison de diagrammes de machines d'états et de diagramme d'activités. Ce travail offre les moyens de vérifier d'une part si une nouvelle architecture est un raffinement, une extension ou un incrément de celle définie durant les étapes précédentes, et d'autre part si un composant est compatible avec un environnement ou s'il est substituable par un autre. L'analyse des architectures impose de leur donner une sémantique formelle. Concernant les composants primitifs, nous leur associons une sémantique en LTS (Labelled Transition Systems) ce qui nous a conduit à définir une procédure de transformation automatique de machines d'états et diagrammes d'activités en LTS. Concernant les composants composites, nous leur associons un LTS en transformant un diagramme de structure composite en une spécification Exp.Open, puis en générant la fusion des LTS grâce à la boîte à outils CADP. Dans un second temps, nous avons mis en œuvre des techniques de vérifications de relations de conformité de LTS que sont les préordres de raffinement, d'extension, et d'incrément. Nous avons également défini et implanté une relation de compatibilité et de substituabilité. L'ensemble de ces techniques de construction incrémentale se positionne selon deux axes. L'axe vertical représente le niveau d'abstraction. L'évolution d'une architecture peut se faire sur cet axe dans deux sens : i) par des techniques de raffinement dans le sens descendant et ii) par des techniques d'abstraction dans le sens ascendant. L'axe horizontal représente le niveau de couverture des exigences. L'évolution d'une architecture peut se faire sur cet axe selon deux sens : i) par des techniques d'extension et ii) par des techniques de restriction. Ces travaux ont été réalisés de façon théorique et pratique : ils ont donné lieu au développement d'un outil dédié à la construction incrémentale de modèles UML, appelé IDCM (Incremental Development of Conforming Models), regroupant la transformation de modèles et la mise en œuvre de l'ensemble des relations incrémentales. Ceci a été validé sur diverses études de cas.UML is becoming a de facto standard, including for development of dependable systems. However, current tools offer little help to take benefit of proposed models and to verify them, especially during development phases. This thesis focuses on supporting construction of UML architectures of reactive systems. It aims at developing a theoretic and pragmatic framework to implement the incremental approach. The framework provides tools to verify the coherenceof architectures during the modelling phase. Architectures are modelled by UML diagram of composite structures while primitive components are represented by a combination of state machine diagram and activity diagram. This work provides a means to verify in one hand if a new architecture is a refinement, an extension or an increment of those defined in the previous steps, and in another hand, if a component is compatible with an environment or if it is substitutableby another.In order to analyse UML architectures, we must give them a formal semantics. We associated primitive components with LTS (Labelled Transition Systems) which led us to define a procedure for automatic transformation of state machines and activities diagrams into LTS. We associated composite components with LTS by transforming a diagram of composite structure into Exp.Open specification, then by generating LTS fusion with the toolbox CADP. We have implemented verification techniques of conformance relations on LTS such as the preorders: refinement, extension, and increment. We also defined and implemented compatibility relation and substitutability relation. All these incremental construction techniques are positioned along two axes. The vertical axis represents the level of bstraction.The development of an architecture following this axis in two directions: i) refinement techniques in the downward direction and ii) abstraction techniques in the upward direction. The horizontal axis represents the coverage level of requirements. The development of architectures can be realized following this axis in two directions : i) extension direction and ii) restrictiondirection.This work has been carried out in theory and practice : it has led to the development of a dedicated tool for incremental construction of UML models, called IDCM (Incremental Development of Conforming Models), grouping the transformation of models and the implementation of a set of incremental relations. This has been validated on various case studies

Dấu tích kinh thành

187 tr. ; 19 c

Những người bạn cố đô Huế. t. VI, 1919 - Mỹ thuật ở Huế

324 tr. : Minh họa ; 21 cm