Binary Replacement Technique for Application Programming Interface Level Simulation

International audienceDesign of complex embedded software requires ingenious solutions to many architectural problems. One such solution that would be a crucial catalyst in designing scalable and customized embedded software, is developed by API (Application Programming Interface) level simulator. The use of API level simulator has been gaining wide acceptance due to its design and verification efficiency by enabling parallel development in multiple software layers. However, there are two major bottlenecks in realizing practical systems: source code modification and recompilation of the target software. The paper proposes a novel simulation technique to resolve these two critical issues. The proposed technique makes it possible to replace any part of the target binary without modifying its source code and recompiling it

Temperature-evolution of spectral function and optical conductivity in heavy fermion compound Ce2_{2}IrIn8_{8} under crystalline electric field

We investigate the role of the crystalline electric field (CEF) in the temperature ($T$)-evolution of the Kondo resonance states and its effect on optical conductivity. We perform the combined first principles calculation of the density functional theory and dynamical mean field theory on Ce$_{2}$IrIn$_{8}$. The calculated spectral function reproduces the experimental observed CEF states at low $T$, while it shows a drastic change of the Fermi surface upon increasing $T$. The effect of the CEF states on the Fermi surface as a function of $T$ is elucidated through the first principles calculations as well as the analysis on the Anderson impurity model. Consequently, we suggest the importance of the CEF-driven orbital anisotropy in the low-energy states of optical experiments.Comment: 6 pages, 4 figure

On a shape control problem for the stationary Navier-Stokes equations

An optimal shape control problem for the stationary Navier-Stokes system is considered. An incompressible, viscous flow in a two-dimensional channel is studied to determine the shape of part of the boundary that minimizes the viscous drag. The adjoint method and the Lagrangian multiplier method are used to derive the optimality system for the shape gradient of the design functional

Forecasting KOSPI using Elman network

Due to the non-stationary nature of stock market index, making a prediction on its course is a truly challenging task. Research has been actively conducted to predict stock market indices by means of machine learning in recent years. In our research, we made a prediction of KOSPI for one week based on Elman Network. Based on the predictive result, we ran a simulation from which we obtained 3.16% yield over a period of one year. In this paper, we describe how we exploited Elman network to make predictions on stock markets, then we propose a method for using the predictive values for investment

Full-field thickness measurement of ultrathin liquid film in receding contact-induced nanochannel using surface plasmon resonance

This research demonstrates that a surface plasmon resonance (SPR) imaging technique can effectively measure full-field nanoscale thickness of a liquid water film filled in the receding contact-induced nano-channel. To the authors’ knowledge this has not been demonstrated previously. Experimental calibration has been conducted by measuring surface plasmon resonance reflectance depending on the piezometer-controlled water nano-film thickness and comparing the experimental results with the theoretical calculations to show very good agreement. The measured full-field thickness profiles significantly visualize the three-dimensional nano-channel formation filled with liquid water film. It shows that the sensitivity and the resolution in thickness measurement are estimated as 1.21 pixel gray level/nm and 2.5 nm, respectively. The experimentally observed resolution is around 10 nm given the uncertainty in the demonstrated full-field mapping of thickness. From this research, it is demonstrated that SPR imaging successfully measures the thickness of ultrathin liquid film especially below 85 nm in full-field under normal conditions and can effectively characterize the three-dimensional nano-channel formation during the receding contact process.This research demonstrates that a surface plasmon resonance (SPR) imaging technique can effectively measure full-field nanoscale thickness of a liquid water film filled in the receding contact-induced nano-channel. To the authors’ knowledge this has not been demonstrated previously. Experimental calibration has been conducted by measuring surface plasmon resonance reflectance depending on the piezometer-controlled water nano-film thickness and comparing the experimental results with the theoretical calculations to show very good agreement. The measured full-field thickness profiles significantly visualize the three-dimensional nano-channel formation filled with liquid water film. It shows that the sensitivity and the resolution in thickness measurement are estimated as 1.21 pixel gray level/nm and 2.5 nm, respectively. The experimentally observed resolution is around 10 nm given the uncertainty in the demonstrated full-field mapping of thickness. From this research, it is demonstrated that SPR imaging successfully measures the thickness of ultrathin liquid film especially below 85 nm in full-field under normal conditions and can effectively characterize the three-dimensional nano-channel formation during the receding contact process

Wallpaper Dirac Fermion in a Nonsymmorphic Topological Kondo Insulator: PuB4

© 2020 American Chemical Society. It has been recently predicted that nonsymmorphic crystalline insulators can host two exotic topological surface states (TSSs). One is the "hourglass fermion", and the other is the "wallpaper Dirac fermion". For the former, a few real materials were predicted and already confirmed experimentally. For the latter, however, no bulk-insulating and experimentally accessible candidate has been identified yet. Here we show that the localized 5f-electrons in PuB4, the single crystal of which was recently synthesized and was found to exhibit Kondo-insulating nature, form a closed manifold over the Brillouin zone via the Kondo coherence effect at low temperature, and host hitherto unobserved wallpaper Dirac fermions at the nonsymmorphic symmetry-preserving (001) surface. The topological nature of TSSs in PuB4 can be described by topological invariants of two Z4 indices [(χx, χy) = (1, 1)] of double-glide symmetries of p4g wallpaper group; thus, PuB4 is a 3D nonsymmorphic topological insulator that exhibits the TSSs of peculiar 4-fold surface Dirac fermions as well as 2-fold double-glide spin-Hall and nodal-line-type fermions. On top of its interesting 5f-electron Kondo-insulating nature, the unique 4-fold wallpaper Dirac fermions in PuB4, which are quite distinct from previously reported nonsymmorphic Dirac insulator or hourglass TCI fermions, broaden our recognition of the embedded fermions in strongly correlated Kondo systems with nonsymmorphic symmetries11Nsciescopu

Binary Replacement Technique for Application Programming Interface Level Simulation

International audienceDesign of complex embedded software requires ingenious solutions to many architectural problems. One such solution that would be a crucial catalyst in designing scalable and customized embedded software, is developed by API (Application Programming Interface) level simulator. The use of API level simulator has been gaining wide acceptance due to its design and verification efficiency by enabling parallel development in multiple software layers. However, there are two major bottlenecks in realizing practical systems: source code modification and recompilation of the target software. The paper proposes a novel simulation technique to resolve these two critical issues. The proposed technique makes it possible to replace any part of the target binary without modifying its source code and recompiling it

Binary Replacement Technique for Application Programming Interface Level Simulation

International audienceDesign of complex embedded software requires ingenious solutions to many architectural problems. One such solution that would be a crucial catalyst in designing scalable and customized embedded software, is developed by API (Application Programming Interface) level simulator. The use of API level simulator has been gaining wide acceptance due to its design and verification efficiency by enabling parallel development in multiple software layers. However, there are two major bottlenecks in realizing practical systems: source code modification and recompilation of the target software. The paper proposes a novel simulation technique to resolve these two critical issues. The proposed technique makes it possible to replace any part of the target binary without modifying its source code and recompiling it