34 resultados para Object orientation


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Convergent beam Kikuchi diffraction was used to accurately determine the orientation relationships (ORs) between austenite and martensite, and between austenite and granular bainite in two Fe-Ni-Mn-C alloys. Both martensite and granular bainite have the same crystallographic characteristics with the OR: (111)(A)parallel to(101)(F), [1 (1) over bar0](A) 2.5degrees +/- 2degrees from [1 (1) over bar(1) over bar](B).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Adsorption of model aromatic compounds onto two untreated activated carbons with similar physical and chemical properties is investigated. The solution pH of all experiments was lowered so that all solutes were in their molecular forms. It is shown that the difference in the maximum adsorption capacities of the solutes was mainly attributed to the difference in the sizes of the molecules. This new experimental finding is significant to gaining insight into the orientation of the adsorbed phase and hence the adsorption mechanism of aromatic compounds in aqueous solutions. It is shown that the adsorption of aromatic compounds in a stacked motif for pi-pi interactions is unlikely, and in the absence of physical restrictions such as pore width, a T-shaped motif is the preferred orientation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The polyphase evolution of the Serido Belt (NE-Brazil) includes D, crust formation at 2.3-2.1 Ga, D-2 thrust tectonics at 1.9 Ga and crustal reworking by D-3 strike-slip shear zones at 600 Ma. Microstructural investigations within mylonites associated with D-2 and D-3 events were used to constrain the tectono-thermal evolution of the belt. D-2 shear zones commenced at deeper crustal levels and high amphibolite facies conditions (600-650 degreesC) through grain boundary migration, subgrain rotation and operation of quartz Q-prism slip. Continued shearing and exhumation of the terrain forced the re-equilibration of high-T fabrics and the switching of slip systems from (c)-prism to positive and negative (a)-rhombs. During D-3, enhancement of ductility by dissipation of heat that came from syn-D-3 granites developed wide belts of amphibolite facies mylonites. Continued shearing, uplift and cooling of the region induced D-3 shear zones to act in ductile-brittle regimes, marked by fracturing and development of thinner belts of greenschist facies mylonites. During this event, switching from (a)-prism to a basal slip indicates a thermal path from 600 to 350 degreesC. Therefore, microstructures and quartz c-axis fabrics in polydeformed rocks from the Serido Belt preserve the record of two major events, which includes contrasting deformation mechanisms and thermal paths. (C) 2003 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.