Elektrokemijski postupak za proizvodnju titanovih kompozitnih slitina

The paper presents a new method for precursors’ synthesis of titanium alloys matrix composites through an electrochemical process in molten calcium chloride. The cathode of the cell was made from metallic oxides powders and reinforcement ceramic particles, which were pressed and sintered into disk form and the anode from graphite. The process occurred at 850 °C, in two stages, at 2,7 / 3,2 V: the ionization of the oxygen in oxides and the reduction with calcium formed by electrolysis of calcium oxide fed in the electrolyte. The obtained composite precursors, in a form of metallic sponge, were consolidated by pressing and sintering. Chemical and structural analyses on composites samples were performed.Članak prikazuje novu metodu prethodne sinteze titanovih kompozitnih slitina s elektrokemijskim postupkom u rastaljenom kalcijevom kloridu. Katoda ćelije ustrojena je od praškastog metalnog oksida ojačan keramičkim česticama, koji je stlačen u obliku diska, a anoda je od grafita. Postupak se odvijao na 850 °C u dva stupnja, 2,7/3,2 V: ionizacija kisika u oksidima i redukcija kalcijem nastajala je elektrolizom kalcijevih oksida u elektrolitu. Dobiveni prethodno kompozit u obliku metalne spužve je očvrsnut tlačenjem i sinteriranjem. Provedena je kemijska i strukturna analiza uzoraka kompozita

Crystal Nucleation by Laser-Induced Cavitation\ud

High-speed and high-resolution photography have been used to investigate the relationship between creation, expansion, and collapse of a vapor cavity induced by a 6 ns laser pulse and the subsequent nucleation of crystals. A thin layer of supersaturated aqueous solutions of (NH4)2SO4 and KMnO4 was confined between two glass plates with a separation of 50 and 100 μm. The expansion and collapse of the laser-induced vapor bubble occurred over a total time scale of 200 μs, while the first identifiable crystal appears one second after the laser pulse. Crystals were observed to form on a ring with a diameter of 70 μm centered in the focal point of the laser. The ring is preceded by an optical disturbance observed through the cavity around 30–50 μs after the laser pulse and vapor cavity formation. This ring-shaped optical disturbance originates from changes in refractive index induced by crystal nuclei formation. The formation of the nuclei most probably coincides with the formation of the bubble, when the rate of evaporation and the supersaturation are at their maxima. Apparently, it takes the nuclei around 30–50 μs to grow to a particle size with a visible optical disturbanc

Analyzing program analyses

We want to prove that a static analysis of a given program is complete, namely, no imprecision arises when asking some query on the program behavior in the concrete (i.e., for its concrete semantics) or in the abstract (i.e., for its abstract interpretation). Completeness proofs are therefore useful to assign confidence to alarms raised by static analyses. We introduce the completeness class of an abstraction as the set of all programs for which the abstraction is complete. Our first result shows that for any nontrivial abstraction, its completeness class is not recursively enumerable. We then introduce a stratified deductive system a2A to prove the completeness of program analyses over an abstract domain A. We prove the soundness of the deductive system. We observe that the only sources of incompleteness are assignments and Boolean tests \u2014 unlikely a common belief in static analysis, joins do not induce incompleteness. The first layer of this proof system is generic, abstraction-agnostic, and it deals with the standard constructs for program composition, that is, sequential composition, branching and guarded iteration. The second layer is instead abstraction-specific: the designer of an abstract domain A provides conditions for completeness in A of assignments and Boolean tests which have to be checked by a suitable static analysis or assumed in the completeness proof as hypotheses. We instantiate the second layer of this proof system first with a generic nonrelational abstraction in order to provide a sound rule for the completeness of assignments. Orthogonally, we instantiate it to the numerical abstract domains of Intervals and Octagons, providing necessary and sufficient conditions for the completeness of their Boolean tests and of assignments for Octagons

On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle (F\IP) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to \ACA over \RCA, while others are strictly weaker, and incomparable with \WKL. We show that there is a computable instance of F\IP all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to F\IP implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, F\IP lies strictly below the atomic model theorem ($\mathsf{AMT}$).Comment: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publicatio

Evaluation of natural and tracer fluorescent emission methods for droplet size measurements in a diesel spray

The final publication is available at Springer via http://dx.doi.org/10.1007/s12239-012-0070-zSpray sizing that records fluorescent emission and scattered light has been widely applied to spray diagnostics over the last two decades. Different experimental strategies have been developed, but comparing the different solutions offered has remained of interest to experimentalists. In this work, a comparison of two fluorescence strategies for measuring droplet size in the liquid phase of a last-generation DI diesel spray is conducted. The natural fluorescent emission of a commercial diesel fuel and the fluorescence emitted by a tracer (Rhodamine B) are compared using theoretical and experimental approaches. The LIF/Mie ratio commonly called Planar Droplet Sizing (PDS) technique is applied in two different ways to elucidate the possible advantages of using a fluorescent dopant. The sprays were injected under non-evaporative conditions into a constant pressure vessel that simulates densities present at the moment of injection in currently used passenger car diesel engines. Characterization of the signal properties was performed by measuring the absorption coefficient, fluorescence emission spectrum, quantum yield and lifetime of both configurations. The scattered light and fluorescence intensities were calculated to verify the dependencies of the droplet surface and volume. When applying the two techniques to quantify droplet size in dense diesel sprays, the results show that signal weakness and lack of control over the properties of natural fluorescence produce distortion in the shape of the spray and cause measurements to be unreliable. © 2012 The Korean Society of Automotive Engineers and Springer-Verlag Berlin Heidelberg.This research has been funded in the frame of the project PROFUEL reference TRA2011-26293 from Ministerio de Ciencia e Innovacion. The injectors are part of the ECN international project.Pastor Soriano, JV.; Payri, R.; Salavert Fernandez, J.; Manin, J. (2012). Evaluation of natural and tracer fluorescent emission methods for droplet size measurements in a diesel spray. International Journal of Automotive Technology. 13(5):713-724. https://doi.org/10.1007/s12239-012-0070-zS713724135Albrecht, H. E., Damaschke, N., Borys, M. and Tropea, C. (2003). Laser Doppler and Phase Doppler Measurement Techniques. Springer. Berlin.Barnes, M. D., Whitten, W. B. and Ramsey, J. M. (1994). Enhanced fluorescence yields through cavity quantumelectrodynamic effects in microdroplets. J. Optical Society of America B 11,7, 1297–1304.Benajes, J., Molina, S., Novella, R., Amorim, R., Ben Hadj Hamouda, H. and Hardy, J. (2010). Comparison of two injection systems in an HSDI diesel engine using split injection and different injector nozzles. Int. J. Automotive Technology 11,2, 139–146.Charalampous, G. and Hardalupas, Y. (2011). Method to reduce errors of droplet sizing based on the ratio of fluorescent and scattered light intensities (laser-induced fluorescence/Mie technique). Applied Optics, 50, 3622–3637.Chen, G., Mazumder, M., Chang, R. K., Swindal, J. C. and Acker, W. P. (1996). Laser diagnostics for droplet characterization: Application of morphology dependent resonances. Progress in Energy and Combustion Science 22,2, 163–188.Desantes, J. M., Payri, R., Garcia, J. M. and Salvador, F. J. (2007). A contribution to the understanding of isothermal diesel spray dynamics. Fuel 86,7–8, 1093–1101.Domann, R. and Hardalupas, Y. A. (2000). Study of parameters that influence the accuracy of the planar droplet sizing (PDS) technique. Part. Part. Syst. Charact. 3–11.Domann, R. and Hardalupas, Y. A. (2001). Spatial distribution of fluorescence within large doplets and its dependence on dye concentration. Applied Optics 40,21, 3586–3597.Domann, R. and Hardalupas, Y. A. (2002). Quantitative measurement of planar droplet sauter mean diameter in sprays using planar droplet sizing. 11th Int. Symp. Application of Laser Techniques to Fluid Mechanics, Lisbon, Portugal.Eckbreth, A. C. (1988). Laser Diagnostics for Combustion Species and Temperature. Abacus. Cambridge. Mass.Greenhalgh, D. A. (1999). Planar measurements of fuel vapour, liquid fuel, liquid droplet size and soot. Planar Optical Measurement Methods for Gas Turbine Components, 1–7.Im, K., Lin, K., Lai, M. and Chon, M. (2011). Breakup modeling of a liquid jet in cross flow. Int. J. Automotive Technology 12,4, 489–496.Jermy, M. C. and Greenhalgh, D. A. (2000). Planar dropsizing by elastic and fluorescence scattering in sprays too dense for phase doppler measurement. Appl. Phys. B, 71, 703–710.Kim, Y., Kim, K. and Lee, K. (2011). Effect of a 2-stage injection strategy on the combustion and flame characteristics in a PCCI engine. Int. J. Automotive Technology 12,5, 639–644.Ko, F. H., Weng, L. Y., Ko, C. J. and Chu, T. C. (2006). Characterization of imprinting polymeric temperature variation with fluorescent Rhodamine B molecule. Microelectronic Engineering, 83, 864–868.Lakowicz, J. R. (2006). Principles of Fluorescence Spectroscopy. 3rd Edn. Springer.Lee, S. H., Teong, J., Lee, J. T., Ryou, H. S. and Hong, K. (2005). Investigation on spray characteristics under ultrahigh injection pressure conditions. Int. J. Automotive Technology 6,2, 125–131.Lee, B., Song, J., Chang, Y. and Jeon, C. (2010). Effect of the number of fuel injector holes on characteristics of combustion and emissions in a diesel engine. Int. J. Automotive Technology 11,6, 783–791.LeGal, P., Farrugia, N. and Greenhalgh, D. A. (1999). Laser sheet dropsizing of dense sprays. Optics and Laser Techn., 31, 75–83.Lockett, R. D., Richter, J. and Greenhalgh, D. A. (1998). The characterisation of a diesel spray using combined laser induced fluorescence and laser sheet dropsizing. Conf. Lasers and Electro-Optics Europe.Magde, D., Rojas, G. E. and Seybold, P. (1999). Solvent dependence of the fluorescence lifetimes of xanthene dyes. Photochem. Photobiol., 70, 737.Naber, J. and Siebers, D. (1996). Effects of gas density and vaporization on penetration and dispersion of diesel sprays. SAE Paper No. 960034.Pastor, J. V., López, J. J., Juliá, J. E. and Benajes, J. V. (2002). Planar laser-induced fluorescence fuel concentration measurements in isothermal diesel sprays. Opt. Express 10,7, 309–323.Pastor, J. V., Payri, R., Araneo, L. and Manin, J. (2009). Correction method for droplet sizing by laser-induced fluorescence in a controlled test situation. Optical Engineering 48,1, 013601.Payri, R., Garcia, J. M., Salvador, F. J. and Gimeno, J. (2005a). Using spray momentum flux measurements to understand the influence of diesel nozzle geometry on spray characteristics. Fuel, 84, 551–561.Payri, R., Salvador, F. J., Gimeno, J. and Soare, V. (2005b). Determination of diesel sprays characteristics in real engine in-cylinder air density and pressure conditions. J. Mech. Sci. Technol., 19, 2040–2052.Payri, R., Tormos, B., Salvador, F. J. and Araneo, L. (2008). Spray droplet velocity characterization for convergent nozzles with three different diameters. Fuel 87,15, 3176–3182.Payri, F., Pastor, J., Payri, R. and Manin, J. (2011). Determination of the optical depth of a DI diesel spray. J. Mech. Sci. Technol., 25, 209–219.Potz, D., Chirst, W. and Dittus, B. (2000). Diesel nozzle: The determining interface between injection system and combustion chamber. Conf. Thermo and Fluid-dynamic Processes in Diesel Engines, Valencia, Spain.Ramírez, A. I., Som, S., Aggarwal, S. K., Kastengren, A. L., El-Hannouny, E. M., Longman, D. E. and Powell, C. F. (2009). Quantitative X-ray measurements of highpressure fuel sprays from a production heavy duty diesel injector. Experiments in Fluids 47,1, 119–134.Schulz, C. and Sick, V. (2005). Tracer-LIF diagnostics: quantitative measurement of fuel concentration, temperature and fuel/air ratio in practical combustion systems. Progress in Energy and Combustion Science, 31, 75–121.Sjoback, R. and Nygren, J. and Kubista, M. (1998). Characterization of fluorescein—oligonucleotide conjugates and measurement of local electrostatic potential. Biopolymers, 46, 445–453.Soare, V. (2007). Phase Doppler Measurement in Diesel Dense Sprays: Optimisation of Measurements and Study of the Orifice Geometry Influence Over the Spray at Microscopic Level. Ph.D. Dissertion. E.T.S. Ingenieros Industriales. Universidad Politécnica de Valencia. Spain.Williams, A. T. R., Winfield, S. A. and Miller, J. N. (1983). Relative fluorescence quantum yields using a computer controlled luminescence spectrometer. Analyst., 108, 1067.Yeh, C. N., Kosaka, H. and Kamimoto, T. A. (1993). Fluorescence/scattering imaging technique for instantaneous 2-D measurements of particle size distribution in a transient spray. Proc. 3rd Cong. Opt. Part. Sizing, Yokohama, Japan, 335–361

Supervolcanoes Within an Ancient Volcanic Province in Arabia Terra, Mars

Several irregularly shaped craters located within Arabia Terra, Mars represent a new type of highland volcanic construct and together constitute a previously unrecognized martian igneous province. Similar to terrestrial supervolcanoes, these low-relief paterae display a range of geomorphic features related to structural collapse, effusive volcanism, and explosive eruptions. Extruded lavas contributed to the formation of enigmatic highland ridged plains in Arabia Terra. Outgassed sulfur and erupted fine-grained pyroclastics from these calderas likely fed the formation of altered, layered sedimentary rocks and fretted terrain found throughout the equatorial region. Discovery of a new type of volcanic construct in the Arabia volcanic province fundamentally changes the picture of ancient volcanism and climate evolution on Mars. Other eroded topographic basins in the ancient Martian highlands that have been dismissed as degraded impact craters should be reconsidered as possible volcanic constructs formed in an early phase of widespread, disseminated magmatism on Mars