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

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

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

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

Complex type 4 structure changing dynamics of digital agents: Nash equilibria of a game with arms race in innovations

The new digital economy has renewed interest in how digital agents can innovate. This follows the legacy of John von Neumann dynamical systems theory on complex biological systems as computation. The Gödel-Turing-Post (GTP) logic is shown to be necessary to generate innovation based structure changing Type 4 dynamics of the Wolfram-Chomsky schema. Two syntactic procedures of GTP logic permit digital agents to exit from listable sets of digital technologies to produce novelty and surprises. The first is meta-analyses or offline simulations. The second is a fixed point with a two place encoding of negation or opposition, referred to as the Gödel sentence. It is postulated that in phenomena ranging from the genome to human proteanism, the Gödel sentence is a ubiquitous syntactic construction without which escape from hostile agents qua the Liar is impossible and digital agents become entrained within fixed repertoires. The only recursive best response function of a 2-person adversarial game that can implement strategic innovation in lock-step formation of an arms race is the productive function of the Emil Post [58] set theoretic proof of the Gödel incompleteness result. This overturns the view of game theorists that surprise and innovation cannot be a Nash equilibrium of a game

Modelling of the effect of ELMs on fuel retention at the bulk W divertor of JET

Effect of ELMs on fuel retention at the bulk W target of JET ITER-Like Wall was studied with multi-scale calculations. Plasma input parameters were taken from ELMy H-mode plasma experiment. The energetic intra-ELM fuel particles get implanted and create near-surface defects up to depths of few tens of nm, which act as the main fuel trapping sites during ELMs. Clustering of implantation-induced vacancies were found to take place. The incoming flux of inter-ELM plasma particles increases the different filling levels of trapped fuel in defects. The temperature increase of the W target during the pulse increases the fuel detrapping rate. The inter-ELM fuel particle flux refills the partially emptied trapping sites and fills new sites. This leads to a competing effect on the retention and release rates of the implanted particles. At high temperatures the main retention appeared in larger vacancy clusters due to increased clustering rate

On the mechanisms governing gas penetration into a tokamak plasma during a massive gas injection

A new 1D radial fluid code, IMAGINE, is used to simulate the penetration of gas into a tokamak plasma during a massive gas injection (MGI). The main result is that the gas is in general strongly braked as it reaches the plasma, due to mechanisms related to charge exchange and (to a smaller extent) recombination. As a result, only a fraction of the gas penetrates into the plasma. Also, a shock wave is created in the gas which propagates away from the plasma, braking and compressing the incoming gas. Simulation results are quantitatively consistent, at least in terms of orders of magnitude, with experimental data for a D 2 MGI into a JET Ohmic plasma. Simulations of MGI into the background plasma surrounding a runaway electron beam show that if the background electron density is too high, the gas may not penetrate, suggesting a possible explanation for the recent results of Reux et al in JET (2015 Nucl. Fusion 55 093013)

Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET

The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR