• Bulletin of the Korean Chemical Society
• /
• v.19 no.6
• /
• pp.661-666
• /
• 1998

Active reaction sites and electrochemical O2 reduction kinetics on La_{1-x}Sr_xMnO_{3+{\delta}} (x=0.1-0.4)/YSZ (yttria-stabilized zirconia) electrodes are investigated in the temperature range of 700-900 ℃ at $Po_2=10^{-3}$-0.21 atm. Results of the steady-state polarization measurements, which are formulated into the Butler-Volmer formalism to extract transfer coefficient values, lead us to conclude that the two-electron charge transfer step to atomically adsorbed oxygen is rate-limiting. The same conclusion is drawn from the $Po_2$-dependent ac impedance measurements, where the exponent m in the relationship of $I_o$ (exchange current density) ∝ $P_{o_{2}}^m$ is analyzed. Chemical analysis is performed on the quenched Mn perovskites to estimate their oxygen stoichiometry factors (δ) at the operating temperature (700-900 ℃). Here, the observed δ turns out to become smaller as both the Sr-doping contents (x) and the measured temperature increase. A comparison between the 8 values and cathodic activity of Mn perovskites reveals that the cathodic transfer coefficients $({\alpha}_c)$ for oxygen reduction reaction are inversely proportional to δ whereas the anodic ones $({\alpha}_a)$ show the opposite trend, reflecting that the surface oxygen vacancies on Mn perovskites actively participate in the $O_2$ reduction reaction. Among the samples of x= 0.1-0.4, the manganite with x=0.4 exhibits the smallest 8 value (even negative), and consistently this electrode shows the highest ${\alpha}_c$ and the best cathodic activity for the oxygen reduction reaction.

• The Bulletin of The Korean Astronomical Society
• /
• v.35 no.2
• /
• pp.44-44
• /
• 2010

We study the effect of massive neutrinos on the evolution of the early mini-halos ($M\sim10^6h^{-1}M{\odot}at$ z~20) where the first stars may have formed. In the framework of the extended Press-Schechter formalism, we evaluate analytically the rates of merging of the mini-halos into zero-dimensional larger halos and one-dimensional mini-filaments. It is shown that the halo-to-filament merging rate increases with the neutrino mass fraction $f_v$ while the halo-to-halo merging rate decreases. Comparing the cases of $f_v$=0 and 0.10, the halo-to-filament merging rate for $f_v$=0.10 is 3 times larger than the other. The distribution of the epochs of the longest-axis collapse of these first filaments is also derived and found to reach a sharp maximum at z~8-9. Once the first mini-filaments form, they would provide bridges along which the matter and gas more rapidly accrete onto the constituent halos, causing the early formation of the first galaxies and rapid growth of their central blackholes. Furthermore, the longest axis collapse of these first mini-filaments would spur the supermassive blackholes to power the ultra-luminous high-z quasars.

• ETRI Journal
• /
• v.24 no.3
• /
• pp.221-225
• /
• 2002

We performed nonlinear transmission measurements and quantum-chemical calculations on dithienothiophene(DTT)-based molecules to gain insight into the effect of acceptor and donor groups on two-photon absorption(TPA) properties. The TPA intensity showed dispersion characteristics of the single-photon absorption spectrum. When the molecules included an asymmetric donor-acceptor pair, the single- and two-photon absorption maximum wavelengths were red-shifted more than when the molecules had a symmetric donor-donor structure. We interpreted this result as indicating that the $S_2$ state plays the dominating role in the absorption process of molecules with a symmetric structure. The experimental TPA ${\delta}$ values at the absorption peak wavelength showed a dependence on the structural variations. We found the self-consistent force-field theory and Hartree-Fock Hamiltonian with single configuration interaction formalism to be valid for evaluating TPA ${\delta}$. Although the quantum-chemical calculations slightly underestimated the experimental ${\delta}$ values obtained from nonlinear trans -mission measurements, they reasonably predicted the dependence of the ${\delta}$ value on the structural variations. We confirmed the role of molecular symmetry by observing that donor-donor substituted structure gave the highest experimental and theoretical TPA ${\delta}$ values and that the donor-acceptor substituted structure showed a greater red-shift in the TPA absorption maximum wavelength. Overall, the theoretical ${\delta}$ values of DTT-based molecules were in the order of $10^{-46}\;cm^4{\cdot}s{\cdot}photon^{-1}$ and are higher than that of AF-50 by nearly two orders of magnitude.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• Nuclear Engineering and Technology
• /
• v.23 no.4
• /
• pp.426-437
• /
• 1991

The $He^{++}$ beam transport system of the SNU 1.5-MV Tandem Van de Graaff accelerator is analysed by ion optical approach. The program OPTRANS is developed to determine the optimum operating conditions of each ion optical component and to simulate ion beam transport. First order matrix formalism is used and the space charge effect is neglected. Optimum operating conditions for the transport of 0.5~3.0 MeV $He^{++}$ beam are determined by the use of the program OPTRANS. Initial ion beam omittance is assumed to be 0.5$\times$80.0 mm.mrad from the structure of the extraction electrode and the experiment of ion beam extraction. ion beam transport characteristics of each ion optical component according to the variation of the operating conditions are investigated, and operating conditions to minimize the beam size at each slit, stripping foil, and target are calculated. Optimum operating conditions obtained from the experiment of ion beam transport show a discrepancy of less than 15% compared with the calculated ones. From the simulation and experiment of ion beam trans-port, the validity of the calculated optimum operating conditions and the usefulness of the program OPTRANS are verified.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.1B
• /
• pp.1-7
• /
• 2010

In this paper, a high-performance fault-tolerant switching network using a deflection self-routing was proposed. From an abstract algebraic analysis of the topological properties of the Delta network, which is a baseline switching network, we derive the Multidimensional Ring-Delta network: a multipath switching network using a deflection self-routing algorithm. All of the links including already existing links of the Delta network are used to provide the alternate paths detouring faulty/congested links. We ran a simulation analysis under the traffic loads having the non-uniform address distributions that are usual in Internet. The throughput of $1024\;{\times}\;1024$ switching network proposed is better than that of the 2D ring-Banyan network by 13.3 %, when the input traffic load is 1.0 and the hot ratio is 0.9. The reliability of $64\;{\times}\;64$ switching network proposed is better than that of the 2D ring-Banyan network by 46.6%.

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.7 no.1
• /
• pp.21-27
• /
• 2013

Manual wheelchair propulsion can lead to pain and injuries of users due to mechanical inefficiency of wheelchair propulsion motion. The kinetic analysis of the upper limbs during manual wheelchair propulsion needs to be studied. A two dimensional inverse dynamic model of upper limbs was developed to compute the joint torque during manual wheelchair propulsion. The model was composed of three segments corresponding to upper arm, lower arm and hand. These segments connected in series by revolute joints constitute open chain mechanism in sagittal plane. The inverse dynamic method is based on Newton-Euler formalism. The model was applied to data collected in experiments. Kinematic data of upper limbs during wheelchair propulsion were obtained from three dimensional trajectories of markers collected by a motion capture system. Kinetic data as external forces applied on the hand were obtained from a dynamometer. The joint rotation angles and joint torques were computed using the inverse dynamic model. The developed model is for upper limbs biomechanics and can easily be extended to three dimensional dynamic model.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.1-9
• /
• 2012

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• Journal of the Korea Society for Simulation
• /
• v.28 no.3
• /
• pp.1-9
• /
• 2019

An agent-based simulation is a popular simulation tool to solve various problems, such as stock market, population prediction, disease prediction, and development of a traffic system. As the agents are developed and researched in different application fields, the agent has a rigid structure and may not acceptable in different domains. As a result, it is a challenging problem to define a structure for an agent structure to reflect the researcher's simulation objective. This research proposes an extendable form for an agent and its modeling environment. In order to propose a standard structure, this study adopts system entity structure and discrete event system specification formalism. Also, this research introduces the SESManager which supports the proposed specification method. The proposed environment can hierarchically define the agent structure and synthesize the agent so that it can perform the agent simulation according to the user's simulation purpose.

• Korea-Australia Rheology Journal
• /
• v.15 no.3
• /
• pp.131-150
• /
• 2003

A new numerical algorithm of finite element methods is presented to solve high Deborah number flow problems with geometric singularities. The steady inertialess planar 4 : 1 contraction flow is chosen for its test. As a viscoelastic constitutive equation, we have applied the globally stable (dissipative and Hadamard stable) Leonov model that can also properly accommodate important nonlinear viscoelastic phenomena. The streamline upwinding method with discrete elastic-viscous stress splitting is incorporated. New interpolation functions classified as rational interpolation, an alternative formalism to enhance numerical convergence at high Deborah number, are implemented not for the whole set of finite elements but for a few elements attached to the entrance comer, where stress singularity seems to exist. The rational interpolation scheme contains one arbitrary parameter b that controls the singular behavior of the rational functions, and its value is specified to yield the best stabilization effect. The new interpolation method raises the limit of Deborah number by 2∼5 times. Therefore on average, we can obtain convergent solution up to the Deborah number of 200 for which the comer vortex size reaches 1.6 times of the half width of the upstream reservoir. Examining spatial violation of the positive definiteness of the elastic strain tensor, we conjecture that the stabilization effect results from the peculiar behavior of rational functions identified as steep gradient on one domain boundary and linear slope on the other. Whereas the rational interpolation of both elastic strain and velocity distorts solutions significantly, it is shown that the variation of solutions incurred by rational interpolation only of the elastic strain is almost negligible. It is also verified that the rational interpolation deteriorates speed of convergence with respect to mesh refinement.