Focused ion beamFocused ion beam, also known as FIB, is a technique used particularly in the semiconductor industry, materials science and increasingly in the biological field for site-specific analysis, deposition, and ablation of materials. A FIB setup is a scientific instrument that resembles a scanning electron microscope (SEM). However, while the SEM uses a focused beam of electrons to image the sample in the chamber, a FIB setup uses a focused beam of ions instead.
Cosmic ray spallationCosmic ray spallation, also known as the x-process, is a set of naturally occurring nuclear reactions causing nucleosynthesis; it refers to the formation of chemical elements from the impact of cosmic rays on an object. Cosmic rays are highly energetic charged particles from beyond Earth, ranging from protons, alpha particles, and nuclei of many heavier elements. About 1% of cosmic rays also consist of free electrons. Cosmic rays cause spallation when a ray particle (e.g. a proton) impacts with matter, including other cosmic rays.
Plasma actuatorPlasma actuators are a type of actuator currently being developed for aerodynamic flow control. Plasma actuators impart force in a similar way to ionocraft. Plasma flows control has drawn considerable attention and been used in boundary layer acceleration, airfoil separation control, forebody separation control, turbine blade separation control, axial compressor stability extension, heat transfer and high-speed jet control.
Ion implantationIon implantation is a low-temperature process by which ions of one element are accelerated into a solid target, thereby changing the physical, chemical, or electrical properties of the target. Ion implantation is used in semiconductor device fabrication and in metal finishing, as well as in materials science research. The ions can alter the elemental composition of the target (if the ions differ in composition from the target) if they stop and remain in the target.
Heavy waterHeavy water (deuterium oxide, 2H2O, D2O) is a form of water whose hydrogen atoms are all deuterium (2H or D, also known as heavy hydrogen) rather than the common hydrogen-1 isotope (1H or H, also called protium) that makes up most of the hydrogen in normal water. The presence of the heavier hydrogen isotope gives the water different nuclear properties, and the increase in mass gives it slightly different physical and chemical properties when compared to normal water. Deuterium is a heavy hydrogen isotope.
Neutron activationNeutron activation is the process in which neutron radiation induces radioactivity in materials, and occurs when atomic nuclei capture free neutrons, becoming heavier and entering excited states. The excited nucleus decays immediately by emitting gamma rays, or particles such as beta particles, alpha particles, fission products, and neutrons (in nuclear fission). Thus, the process of neutron capture, even after any intermediate decay, often results in the formation of an unstable activation product.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
TritiumTritium () or hydrogen-3 (symbol T or ^3H) is a rare and radioactive isotope of hydrogen with a half-life of about 12 years. The nucleus of tritium (t, sometimes called a triton) contains one proton and two neutrons, whereas the nucleus of the common isotope hydrogen-1 (protium) contains one proton and zero neutrons, and that of hydrogen-2 (deuterium) contains one proton and one neutron. Naturally occurring tritium is extremely rare on Earth. The atmosphere has only trace amounts, formed by the interaction of its gases with cosmic rays.
Static program analysisIn computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review. In the last of these, software inspection and software walkthroughs are also used.