795 research outputs found

    Influence of Phase Transformation on Thermo-mechanical Analysis of Modified 9Cr-1Mo Steel

    Get PDF
    AbstractThe aim of this study is to examine influence of phase transformation in modified 9Cr-1Mo steel on residual stress induced due to Gas Tungsten arc Welding(GTA) process. Modified 9Cr-1Mo steel is one of the candidate material used in Indian Test Blanket Module mockup trial for ITER fusion reactor. In this paper, to simulate temperature field and stress distribution in an autogenous GTA welding of 3mm thick Modified 9Cr-1Mo steel plate a 3D meshed model based on finite element method is developed using commercial welding software SYSWELD. Two types of material database are used for simulation, considering with and without phase transformation. Thermo-mechanical analysis of GTA welding is simulated by applying double ellipsoidal heat distribution model. Effects of the heat source distribution on change in temperature were investigated by bead-on-plate welding, further same heat input parameters are used for welding of square butt joint plate. Temperature history during welding was recorded using thermocouples placed nearer to weld line and induced residual stresses in weld plate were measured using X- ray diffraction method. Comparison of thermal analysis with experimental results showed a good agreement for both cases. In case of thermo mechanical analysis, the predicted residual stress using phase transformation properties in material database showed a good agreement with experimental results, whereas in second case considering without phase transformation, there is a large difference in predicted numerical results

    Comparison of Microstructure and Properties of Modified 9Cr-1Mo Welds Produced by Narrow Gap Hot Wire and Cold Wire Gas Tungsten Arc Welding Processes

    Get PDF
    AbstractModified 9Cr-1Mo material is used as principal material of construction of Steam Generators (SG) for India's first of its kind 500MWe Prototype Fast Breeder Reactor (PFBR).The fabrication of Steam Generators is carried out by combination of hot wire and cold wire Gas Tungsten Arc Welding (GTAW) processes. Eventhough welds were meeting the specification requirements, limited information available on hot wire GTAW process in open literature motivated authors for characterization of welds produced using this specialized technique. The impact properties at 0°Cof modified 9Cr-1Mo welds produced by hot wire GTAW processis found inferior compared to welds produced by cold wire GTAW process. The properties such as tensile strength, hardness, impact toughness at +18°C were found almost comparable for the welds produced by both the welding processes. This paper characterizes the microstructure and various mechanical properties of modified 9Cr-1Mo welds produced by narrow gap hot wire and cold wire GTAWprocesses

    On the motifs distribution in random hierarchical networks

    Full text link
    The distribution of motifs in random hierarchical networks defined by nonsymmetric random block--hierarchical adjacency matrices, is constructed for the first time. According to the classification of U. Alon et al of network superfamilies by their motifs distributions, our artificial directed random hierarchical networks falls into the superfamily of natural networks to which the class of neuron networks belongs. This is the first example of ``handmade'' networks with the motifs distribution as in a special class of natural networks of essential biological importance.Comment: 7 pages, 5 figure

    Abstraction-carrying code: a model for mobile code safety

    Get PDF
    Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The intended benefit is that the program consumer can locally validate the certificate w.r.t. the "untrustcd" program by means of a certificate checker a process which should be much simpler, efficient, and automatic than generating the original proof. The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both proving programs correct and replacing a costly verification process by an efficient checking proceduri on th( consumer side. In this work we propose Abstraction- Carrying Code (ACC), a novel approach which uses abstract interpretation as enabling technology. We argue that the large body of applications of abstract interpretation to program verification is amenable to the overall PCC scheme. In particular, we rely on an expressive class of safely policies which can be defined over different abstract domains. We use an abstraction (or abstract model) of the program computed by standard static analyzers as a certificate. The validity of the abstraction on ihe consumer side is checked in a single pass by a very efficient and specialized abstract-interpreter. We believe that ACC brings the expressiveness, flexibility and automation which is inherent in abstract interpretation techniques to the area of mobile code safety

    An overview of the ciao multiparadigm language and program development environment and its design philosophy

    Full text link
    We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

    Assessment of Deformation Field during High Strain Rate Tensile Tests of RAFM Steel Using DIC Technique

    Get PDF
    AbstractNnnnTowards developing a constitutive model for describing the flow and fracture behaviour of engineering materials under higher strain rates, studying the deformation fields in uniform and localized deformation regime using the high strain rate tensile tests is of technical importance. To this end, high strain rate tensile tests have been carried out on flat tensile specimen of reduced activation ferritic-martensitic (RAFM) steel at different loading rates varying from 5 m/s to 14 m/s. The strain fields at uniform and localized deformation regime have been mapped by Digital Image Correlation (DIC) technique. For carrying out the DIC, high speed images of the specimen surface have been captured in-situ by high speed camera, synchronized with the load-displacement data acquisition system. The stress-strain fields thus obtained in this study would be an appropriate input to numerical analysis to characterize the flow and fracture behaviour of RAFM steels

    Critical behavior of the planar magnet model in three dimensions

    Full text link
    We use a hybrid Monte Carlo algorithm in which a single-cluster update is combined with the over-relaxation and Metropolis spin re-orientation algorithm. Periodic boundary conditions were applied in all directions. We have calculated the fourth-order cumulant in finite size lattices using the single-histogram re-weighting method. Using finite-size scaling theory, we obtained the critical temperature which is very different from that of the usual XY model. At the critical temperature, we calculated the susceptibility and the magnetization on lattices of size up to 42342^3. Using finite-size scaling theory we accurately determine the critical exponents of the model and find that ν\nu=0.670(7), γ/ν\gamma/\nu=1.9696(37), and β/ν\beta/\nu=0.515(2). Thus, we conclude that the model belongs to the same universality class with the XY model, as expected.Comment: 11 pages, 5 figure

    Localization from quantum interference in one-dimensional disordered potentials

    Full text link
    We show that the tails of the asymptotic density distribution of a quantum wave packet that localizes in the the presence of random or quasiperiodic disorder can be described by the diagonal term of the projection over the eingenstates of the disordered potential. This is equivalent of assuming a phase randomization of the off-diagonal/interference terms. We demonstrate these results through numerical calculations of the dynamics of ultracold atoms in the one-dimensional speckle and quasiperiodic potentials used in the recent experiments that lead to the observation of Anderson localization for matter waves [Billy et al., Nature 453, 891 (2008); Roati et al., Nature 453, 895 (2008)]. For the quasiperiodic case, we also discuss the implications of using continuos or discrete models.Comment: 5 pages, 3 figures; minor changes, references update

    Fingolimod after a first unilateral episode of acute optic neuritis (MOVING) - preliminary results from a randomized, rater-blind, active-controlled, phase 2 trial

    Get PDF
    BACKGROUND: Neuroprotection and promotion of remyelination represent important therapeutic gaps in multiple sclerosis (MS). Acute optic neuritis (ON) is a frequent MS manifestation. Based on the presence and properties of sphingosine-1-phosphate receptors (S1PR) on astrocytes and oligodendrocytes, we hypothesized that remyelination can be enhanced by treatment with fingolimod, a S1PR modulator currently licensed for relapsing-remitting MS. METHODS: MOVING was an investigator-driven, rater-blind, randomized clinical trial. Patients with acute unilateral ON, occurring as a clinically isolated syndrome or MS relapse, were randomized to 6 months of treatment with 0.5 mg oral fingolimod or subcutaneous IFN-β 1b 250 μg every other day. The change in multifocal visual evoked potential (mfVEP) latency of the qualifying eye was examined as the primary (month 6 vs. baseline) and secondary (months 3, 6 and 12 vs. baseline) outcome. In addition, full field visual evoked potentials, visual acuity, optical coherence tomography as well as clinical relapses and measures of disability, cerebral MRI, and self-reported visual quality of life were obtained for follow-up. The study was halted due to insufficient recruitment (n = 15), and available results are reported. RESULTS: Per protocol analysis of the primary endpoint revealed a significantly larger reduction of mfVEP latency at 6 months compared to baseline with fingolimod treatment (n = 5; median decrease, 15.7 ms) than with IFN-β 1b treatment (n = 4; median increase, 8.15 ms) (p <  0.001 for interaction). Statistical significance was maintained in the secondary endpoint analysis. Descriptive results are reported for other endpoints. CONCLUSION: Preliminary results of the MOVING trial argue in support of a beneficial effect of fingolimod on optic nerve remyelination when compared to IFN-β treatment. Interpretation is limited by the small number of complete observations, an unexpected deterioration of the control group and a difference in baseline mfVEP latencies. The findings need to be confirmed in larger studies. TRIAL REGISTRATION: The trial was registered as EUDRA-CT 2011-004787-30 on October 26, 2012 and as NCT01647880 on July 24, 2012
    • …
    corecore