http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Heavy Fermion in Ferromagnetic Kondo Model with Integer Spin
Shingo Kuniyoshi,Ryousuke Shiina 한국물리학회 2023 새물리 Vol.73 No.12
A weakly anisotropic ferromagnetic Kondo model with an integer impurity spin is investigated as an effective Hamiltonian for the underscreened Kondo physics. It is shown by using the numerical renormalization group (NRG) method that the thermodynamic properties exhibit an unexpected heavy fermion behavior at low temperatures. The mechanism of the heavy fermion formation and an approximated analytic formula for the γ value of the specific heat have been discussed in conjunction with the fixed point analysis in the NRG method.
Two Step Framework to Extend Workflow Nets and Soundizability Problem
Shingo Yamaguchi,Ryo Ikeda,Minoru Tanaka 대한전자공학회 2009 ITC-CSCC :International Technical Conference on Ci Vol.2009 No.7
We discuss in this paper whether we can extend work-flow nets (WF-nets for short) under the condition to preserve behavioral inheritance and soundness. We propose a two step framework to extend WF-nets, i.e. we first extend a given WF-net under the condition to preserve only behavioral inheritance, and then correct it to be sound if necessary. We tackle a problem of deciding whether we can correct an unsound WF-net to be sound under the condition to preserve behavioral inheritance, named soundizability problem. There are two kinds of behavioral inheritance: Projection inheritance and protocol inheritance. Our results show that if an acyclic free choice WF-net is extended under the condition to preserve projection inheritance, the extended WF-net is sound; If an acyclic free choice WF-net is extended under the condition to preserve protocol inheritance, the extended WF-net may be unsound; The unsound extended WF-net cannot be corrected to be sound under the condition to preserve projection inheritance, but may be corrected under the condition to preserve protocol inheritance.