1,037 research outputs found
Picard - an electrostatic particle in cell simulation code
No full textThis is a particle-in-cell plasma code 'picard' that was developed
by Jesper Lindkvist and Herbert Gunell with start in 2016 using
resources provided by the Swedish National Infrastructure for
Computing (SNIC) at the High Performance Computing Center North
(HPC2N), Umeå University, Sweden. Jesper Lindkvist was funded by
the Swedish National Space Board (SNSB project 201/15) and
Herbert Gunell by the Swedish National Space Agency (SNSA
project 108/18).
A paper based on the first version was published in A&A .
The present version has been updated to include ionisation as a source of cometary ions, and hdf5 files are used for writing the output. The changes in this version were made by Herbert Gunell.
The files included are:
picard.tgz Package containing all source file, some matlab m-files
that can be used for plotting of the results, and an input
file that was used for a simulation that will be used in an
upcoming publication by Herbert Gunell and Charlotte Götz.
fig-cur.mp4 Videoclip showing results from the simulation defined by the input file, specifically
three-dimensional current paths from different angles.
@author : Jesper Lindkvist
Email : [email protected]
@author : Herbert Gunell
Email : [email protected]
Do Wolf-Rayet stars have similar locations in hosts as type Ib/c supernovae and long gamma-ray bursts?
No full textAims. We study the distribution of Wolf-Rayet (WR) stars and their subtypes with respect to their host galaxy light distribution. We thus want to investigate whether WR stars are potential progenitors of stripped-envelope core-collapse supernovae (SNe) and/or long-duration gamma-ray bursts (LGRBs).
Methods. We derived the relative surface brightness (fractional flux) at the locations of WR stars and compared with similar results for LGRBs and SNe.We examined two nearby galaxies,M 83 and NGC 1313, for which a comprehensive study of theWR population exists. These two galaxies contain a sufficiently large number ofWR stars and sample different metallicities. To enable the comparison,
the images of the galaxies were processed to make them appear as they would look at a higher redshift. The robustness of our results against several sources of uncertainty was investigated with the aid of Monte Carlo simulations.
Results. We find that the WC star distribution favours brighter pixels than the WN star population. WC stars are more likely drawn from the same distribution as SNe Ic than from other SN distributions, while WN stars show a higher degree of association with SNe Ib. It can also not be excluded that WR (especially WC) stars are related to LGRBs. Some differences between the two galaxies
do exist, especially in the subtype distributions, and may stem from differences in metallicity.
Conclusions. Although a conclusive answer is not possible, the expectation thatWR stars are the progenitors of SNe Ib/c and LGRBs survives this test. The trend observed between the distributions of WN and WC stars, as compared to those of SNe Ib and Ic, is consistent with the theoretical picture that SNe Ic result from progenitors that have been stripped of a larger part of their envelope
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules
No full textDependently typed languages such as Coq and Agda can statically guarantee the correctness of our proofs and programs. To provide this guarantee, they restrict users to certain schemes a- such as strictly positive datatypes, complete case analysis, and well-founded induction a- that are known to be safe. However, these restrictions can be too strict, making programs and proofs harder to write than necessary. On a higher level, they also prevent us from imagining the different ways the language could be extended. In this paper I show how to extend a dependently typed language with user-defined higher-order non-linear rewrite rules. Rewrite rules are a form of equality reflection that is applied automatically by the typechecker. I have implemented rewrite rules as an extension to Agda, and I give six examples how to use them both to make proofs easier and to experiment with extensions of type theory. I also show how to make rewrite rules interact well with other features of Agda such as-equality, implicit arguments, data and record types, irrelevance, and universe level polymorphism. Thus rewrite rules break the chains on computation and put its power back into the hands of its rightful owner: Yours.Programming Language
ZTF-observed late-time signals of pre-ZTF transients
No full textWith large-scale surveys such as the Zwicky Transient Facility (ZTF), it has become possible to obtain a well-sampled light curve spanning the full length of the survey for any discovery within the survey footprint. Similarly, any transient within the footprint that was first detected before the start of the survey will likely have a large number of post-transient observations, making such transients excellent targets to search for the presence of late-time signals, particularly those due to interaction with circumstellar material (CSM). We searched for late-time signals in a sample of 7718 transients, mainly supernovae (SNe), that were first detected during the 10 years before the start of ZTF, aiming to find objects showing signs of late-time interaction with CSM. We found one candidate whose late-time signal is best explained by late-time CSM interaction, with the signal being around 300 days after transient discovery. A thin, distant shell containing ≲5 M⊙ of material could explain the recovered signal. We also found five objects whose late-time signal is best explained by faint nuclear transients occurring in host nuclei close to the pre-ZTF transient locations. Finally, we found two objects where it is difficult to determine whether the signal is from a nuclear transient or due to late-time CSM interaction occurring over 5 years after the SN. This study demonstrates the ability of large-scale surveys to find faint transient signals for a variety of objects and uncover a population of previously unknown sources. However, the large number of non-detections shows that strong late-time CSM interaction occurring years after the SN explosion is extremely rare
35 frågor och svar inför en edering av Jesper Swedbergs Swensk Ordabok
No full textIn this paper, the author accounts for his work on editing an early 18th centurydictionary manuscript, bishop Jesper Swedberg’s Swensk Ordabok. A similar project– i.e. editing an old, hitherto unpublished dictionary manuscript – has beenperformed in Sweden only once before. This means that there is no tradition onwhich the solution of many problems concerning the edition of Swedberg'sdictionary could be based. For instance, there are no less than five manuscriptversions. Which of them should be selected as the basis manuscript of the edition,and to what extent should the differences between the manuscripts be accounted forin the edition? As argued by the author, none of the manuscripts written bySwedberg himself can serve as the basis manuscript, since they are all incomplete.Also, a relatively restricted account of the differences between the manuscripts issuggested; otherwise, the readability of the edition would be too low
NOT Stockholm Supernovae
No full textThis proceeding contribution is a short summary of the invited talk about
observational supernova science at Stockholm University that has been conducted
at the Nordic Optical Telescope over the past 25 years, and some expectations
for the future.Comment: Conference proceeding for NOT - a telescope for the futur
Universums största stjärna
No full textNyligen trodde astronomerna att stjärnor inte kunde bli större än 150 solmassor. Nya fynd visar att stjärnorna förmodligen kan bli dubbelt så stora – och dessa jättar spelar en avgörande roll för rymdens utveckling.</p
- …
