Comment on "Role of heavy meson exchange in near threshold N N --> d pi"

In a recent paper by C. J. Horowitz (Phys. Rev. C {\bf 48}, 2920 (1993)) a heavy meson exchange is incorporated into threshold NN --> d pi to enhance the grossly underestimated cross section. However, that calculation uses an unjustified assumption on the initial and final momenta, which causes an overestimate of this effect by a factor of 3--4. I point out that the inclusion of the Delta(1232) isobar increases the cross section significantly even at threshold.Comment: 7 pages, figures by fax or mail from [email protected]

High-level verification flow for a high-level synthesis-based digital logic design

Abstract. High-level synthesis (HLS) is a method for generating register-transfer level (RTL) hardware description of digital logic designs from high-level languages, such as C/C++/SystemC or MATLAB. The performance and productivity benefits of HLS stem from the untimed, high abstraction level input languages. Another advantage is that the design and verification can focus on the features and high-level architecture, instead of the low-level implementation details. The goal of this thesis was to define and implement a high-level verification (HLV) flow for an HLS design written in C++. The HLV flow takes advantage of the performance and productivity of C++ as opposed to hardware description languages (HDL) and minimises the required RTL verification work. The HLV flow was implemented in the case study of the thesis. The HLS design was verified in a C++ verification environment, and Catapult Coverage was used for pre-HLS coverage closure. Post-HLS verification and coverage closure were done in Universal Verification Methodology (UVM) environment. C++ tests used in the pre-HLS coverage closure were reimplemented in UVM, to get a high initial RTL coverage without manual RTL code analysis. The pre-HLS C++ design was implemented as a predictor into the UVM testbench to verify the equivalence of C++ versus RTL and to speed up post-HLS coverage closure. Results of the case study show that the HLV flow is feasible to implement in practice. The flow shows significant performance and productivity gains of verification in the C++ domain when compared to UVM. The UVM implementation of a somewhat incomplete set of pre-HLS tests and formal exclusions resulted in an initial post-HLS coverage of 96.90%. The C++ predictor implementation was a valuable tool in post-HLS coverage closure. A total of four weeks of coverage work in pre- and post-HLS phases was required to reach 99% RTL coverage. The total time does not include the time required to build both C++ and UVM verification environments.Korkean tason verifiointivuo korkean tason synteesiin perustuvalle digitaalilogiikkasuunnitelmalle. Tiivistelmä. Korkean tason synteesi (HLS) on menetelmä, jolla generoidaan rekisterisiirtotason (RTL) laitteistokuvausta digitaalisille logiikkasuunnitelmille käyttäen korkean tason ohjelmointikieliä, kuten C-pohjaisia kieliä tai MATLAB:ia. HLS:n suorituskykyyn ja tuottavuuteen liittyvät hyödyt perustuvat ohjelmointikielien tarjoamaan korkeampaan abstraktiotasoon. HLS:ää käyttäen suunnittelu- ja varmennustyö voi keskittyä ominaisuuksiin ja korkean tason arkkitehtuuriin matalan tason yksityiskohtien sijaan. Tämän diplomityön tavoite oli määritellä ja implementoida korkean tason verifiointivuo (HLV-vuo) C++:lla kirjoitetulle HLS-suunnitelmalle. HLV-vuo hyödyntää ohjelmointikielien tarjoamaa suorituskykyä ja korkeampaa abstraktion tasoa kovonkuvauskielien sijaan ja siten minimoi RTL:n varmennukseen vaadittavaa työtä. HLV vuo implementoitiin tapaustutkimuksessa. HLS-suunnitelma varmennettiin C++ -verifiointiympäristössä, ja Catapult Coveragea käytettiin kattavuuden analysointiin. RTL-kattavuutta mitattiin universaalilla verifiointimetodologialla (UVM) tehdyssä ympäristössä. C++ varmennuksessa käytetyt testivektorit implementoitiin uudelleen UVM-ympäristössä, jotta RTL-kattavuuden lähtötaso olisi korkea ilman manuaalista RTL-analyysiä. C++-suunnitelma implementoitiin prediktorina (referenssimallina) UVM-testipenkkiin koodikattavuuden parantamiseksi. Tapaustutkimuksen tulokset osoittavat, että määritelty HLV-vuo on toteutettavissa käytännössä. Vuota käyttämällä saavutetaan merkittäviä suorituskyky- ja tuottavuusetuja C++ -testiympäristössä verrattuna UVM-ympäristöön. 90.60% koodikattavuuden saavuttavien C++ testivektoreiden uudelleenimplementoiti UVM-ympäristössä tuotti 96.90% RTL-kattavuuden. C++-predictorin implementointi oli merkittävä työkalu RTL-kattavuustavoitteen saavuttamisessa

Tunable coupling scheme for flux qubits at the optimal point

We discuss a practical design for tunably coupling a pair of flux qubits via the quantum inductance of a third high-frequency qubit. The design is particularly well suited for realizing a recently proposed microwave-induced parametric coupling scheme. This is attractive because the qubits can always remain at their optimal points. Furthermore, we will show that the resulting coupling also has an optimal point where it is insensitive to low-frequency flux noise. This is an important feature for the coherence of coupled qubits. The presented scheme is an experimentally realistic way of carrying out two-qubit gates and should be easily extended to multiqubit systems.Comment: 8 pages, 6 figures, minor change

Positive pion absorption on 3He using modern trinucleon wave functions

We study pion absorption on 3He employing trinucleon wave functions calculated from modern realistic NN interactions (Paris, CD Bonn). Even though the use of the new wave functions leads to a significant improvement over older calculations with regard to both cross section and polarization data, there are hints that polarization data with quasifree kinematics cannot be described by just two-nucleon absorption mechanisms.Comment: 14 pages, 6 figure

Exact solutions of the isoholonomic problem and the optimal control problem in holonomic quantum computation

The isoholonomic problem in a homogeneous bundle is formulated and solved exactly. The problem takes a form of a boundary value problem of a variational equation. The solution is applied to the optimal control problem in holonomic quantum computer. We provide a prescription to construct an optimal controller for an arbitrary unitary gate and apply it to a $k$-dimensional unitary gate which operates on an $N$-dimensional Hilbert space with $N \geq 2k$. Our construction is applied to several important unitary gates such as the Hadamard gate, the CNOT gate, and the two-qubit discrete Fourier transformation gate. Controllers for these gates are explicitly constructed.Comment: 19 pages, no figures, LaTeX2

Complete next-to-leading order calculation for pion production in nucleon-nucleon collisions at threshold

Based on a counting scheme that explicitly takes into account the large momentum sqrt(M m_pi) characteristic for pion production in nucleon-nucleon collisions we calculate all diagrams for the reaction NN --> NN pi at threshold up to next-to-leading order. At this order there are no free parameters and the size of the next-to-leading order contributions is in line with the expectation from power counting. The sum of loop corrections at that order vanishes for the process pp --> pp pi^0 at threshold. The total contribution at next-to-leading order from loop diagrams that include the delta degree of freedom vanishes at threshold in both reaction channels pp --> pp pi^0, pn pi^+.Comment: 9 pages, 4 figure

Sosiaalinen kompetenssi ja sisarussuhteiden rooli sen kehityksessä

Tiivistelmä. Tämän tutkielman tavoitteena on selvittää, miten sosiaalisen kompetenssin laaja käsite ymmärretään, ja millainen rooli sisarussuhteilla on lapsen sosiaalisen kompetenssin kehityksessä. Tutkielma on kirjallisuuskatsaus, jonka tavoitteena on luoda ilmiötä kuvaava yleiskatsaus. Sosiaalisen kompetenssin kehitystä on usein käsitelty kodin, vanhempien, koulun tai ikätovereiden kontekstissa. Sisarussuhteiden näkökulma lasten sosiaalisen kompetenssin kehityksessäon kuitenkin saanut huomattavasti vähemmän huomiota. Sosiaalinen kompetenssi on moniulotteinen ja laaja kokonaisuus, jolle ei ole yhtä yleispätevää määritelmää. Sosiaalisesti kompetenttia toimintaa kuvastaa kuitenkin sosiaalisesti, emotionaalisesti ja sosiokognitiivisesti taitava toiminta, joka on sosiaalisesti hyväksyttävää ja jolla on myönteisiä sosiaalisia seurauksia. Sosiaalinen kompetenssi voidaan mieltää yksilön tehokkuudeksi sosiaalisissa tilanteissa ja se muodostuu useista erilaisista taidoista ja osa-alueista, jotka näyttäytyvät sosiaalisissa ja vuorovaikutuksellisissa tilanteissa. Tutkimukset sisarussuhteista ja niiden vaikutuksesta lapsen sosiaaliseen kehitykseen eivät ole kovinkaan yksimielisiä. Useat tutkimukset kuitenkin osoittavat, että sisarukset voivat edesauttaa lapsen sosiaalisen kompetenssin kehitystä. Ainoat lapset osoittavat heikompaa sosiaalista kompetenssia suhteessa sisaruksia omaaviin lapsiin. Yksi merkittävä tekijä on erityisesti sisarussuhteen laatu. Erityisesti sisarussuhteen lämpö, läheisyys ja siinä esiintyvä konfliktisuus ovat osoittautuneet sellaisiksi tekijöiksi, jotka voivat olla merkittävässä roolissa lapsen sosiaalisen kehityksen kannalta. Nämä sisarussuhteen laadulliset tekijät muodostavat jatkotutkimusten kannalta mielenkiintoisen näkökulman, kun ajatellaan lasten sosiaalista kehitystä. Jotta sisarussuhteiden merkityksestä lapsen sosiaalisen kompetenssin kehityksen kannalta voitaisiin johtaa yleistettäviä johtopäätöksiä, aihe vaatii vielä entistä kattavampaa tutkimusnäyttöä. Sisarussuhteisiin liittyy useita sellaisia tekijöitä, joita voi olla tarpeellista tutkia aiheen kannalta tarkemmin. Tutkielma tarjoaa kuitenkin teoreettista pohjaa erityisesti lapsen sosiaalisen kehityksen ymmärtämiseksi ja sitä voidaan hyödyntää kasvatuspsykologian tutkimuskentällä

Re-analysis of the Levanluhta skeletal material : Sex and stature estimation of individuals in an Iron Age water burial in Finland

Levanluhta, an Iron Age water burial site in Finland, and its material consisting of commingled skeletal remains and artifacts, has been studied by several researchers over the past 100 years, resulting in multiple interpretations of the people and the site. Previous skeletal analyses have concluded that the majority of the individuals represented in the remains were females and children and were of relatively short stature, so possibly nutritionally deprived. This study re-analyzed the commingled adult human remains with updated methods. The methods applied in this study to estimate sex and stature were based on more representative European reference samples than the previously applied methods. The methods included morphology, osteometrics, and computed tomography (CT) scans. Our results indicated that depending on the reference data, the majority of the individual adult bones including os coxae (73%, n = 45) and long bones (humerus 83%-89%, n = 52; radius 72%-89%, n = 47; ulna 50%-65%, n = 58; femur 92%-100%, n = 25; tibia 77%-85%, n = 26) were classified as females based on their size and morphology. The cross-sectional bone properties of humerii, femora, and tibiae visualized using CT scanning also supported these findings. However, the cranial morphology did not show as clear female-biased sex ratio as other methods (42% females, 33% males, 24% undetermined, n = 33). In females, the mean stature based on the tibia (155.3 cm, n = 10) was within the range of the coeval European females and did not necessarily indicate nutritional deprivation, which is in line with previously published stable isotope findings from the site. The mean stature based on the tibia suggested that the Levanluhta males were short (164.0 cm, n = 3), but final interpretations were limited due to the small number of male individuals. The current study affirmed that the Levanluhta skeletal assemblage was female biased and gave new insights into interpretation of the stature.Peer reviewe