| 1. |
- Reifarth, R., et al.
(författare)
-
Nuclear astrophysics with radioactive ions at FAIR
- 2016
-
Ingår i: Journal of Physics: Conference Series. - : IOP Publishing. - 1742-6588 .- 1742-6596. ; 665:1
-
Konferensbidrag (refereegranskat)abstract
- The nucleosynthesis of elements beyond iron is dominated by neutron captures in the s and r processes. However, 32 stable, proton-rich isotopes cannot be formed during those processes, because they are shielded from the s-process flow and r-process beta-decay chains. These nuclei are attributed to the p and rp process. For all those processes, current research in nuclear astrophysics addresses the need for more precise reaction data involving radioactive isotopes. Depending on the particular reaction, direct or inverse kinematics, forward or time-reversed direction are investigated to determine or at least to constrain the desired reaction cross sections. The Facility for Antiproton and Ion Research (FAIR) will offer unique, unprecedented opportunities to investigate many of the important reactions. The high yield of radioactive isotopes, even far away from the valley of stability, allows the investigation of isotopes involved in processes as exotic as the r or rp processes.
|
|
| 2. |
- Rodriguez-Tajes, C., et al.
(författare)
-
Isotopic distributions of fission fragments from transfer-induced fission
- 2013
-
Ingår i: Physics Procedia. - : Elsevier BV. - 1875-3884 .- 1875-3892. ; 47, s. 125-130
-
Konferensbidrag (refereegranskat)abstract
- Fissioning systems from U to Cm as well as 250Cf were produced by 238U+12C transfer and fusion reactions. The detection of the target-like transfer partner made the characterization of the fissioning systems in (Z, A) and excitation energy possible. The isotopic identification of the fission fragments was achieved by using the VAMOS spectrometer combined to with reactions in inverse kinematics. Results regarding the populated transfer channels and excitation of the target-like transfer partner are presented, as well as the 240Pu fission probability. Isotopic yields of the fission-fragments for 240,*241Pu and 250Cf, having excitation energies of about 10 and 45 MeV, respectively, are discussed.
|
|
| 3. |
|
|
| 4. |
- Ramos, D., et al.
(författare)
-
Dependence of Fission-Fragment Properties On Excitation Energy For Neutron-Rich Actinides
- 2016
-
Ingår i: EPJ Web of Conferences. - : EDP Sciences. - 2101-6275 .- 2100-014X. - 9782759819706 ; 111
-
Konferensbidrag (refereegranskat)abstract
- Experimental access to full isotopic fragment distributions is very important to determine the features of the fission process. However, the isotopic identification of fission fragments has been, in the past, partial and scarce. A solution based on the use of inverse kinematics to study transfer-induced fission of exotic actinides was carried out at GANIL, resulting in the first experiment accessing the full identification of a collection of fissioning systems and their corresponding fission fragment distribution. In these experiments, a U-238 beam at 6.14 AMeV impinged on a carbon target to produce fissioning systems from U to Am by transfer reactions, and Cf by fusion reactions. Isotopic fission yields of Cf-250, Cm-244, Pu-240, Np-239 and U-238 are presented in this work. With this information, the average number of neutrons as a function of the atomic number of the fragments is calculated, which reflects the impact of nuclear structure around Z=50, N=80 on the production of fission fragments. The characteristics of the Super Long, Standard I, Standard II, and Standard III fission channels were extracted from fits of the fragment yields for different ranges of excitation energy. The position and contribution of the fission channels as function of excitation energy are presented.
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
The KeY platform for verification and analysis of java programs
- 2014
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 8471:8471, s. 55-71
-
Konferensbidrag (refereegranskat)abstract
- The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for other methods and purposes: (i) complementary validation techniques to formal verification such as testing and debugging, (ii) methods that reduce the complexity of verification such as modularization and abstract interpretation, (iii) analyses of non-functional properties such as information flowsecurity, and (iv) sound program transformation and code generation. We show that deductive technology that has been developed for full functional verification can be used as a basis and framework for other purposes than pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim.
|
|
