• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.997-998
• /
• 2007

This paper deals with analytical solution concerning the image method using the magnetic charge instead of 3D FEA(finite element analysis) in the slotless single air-gap motor. The theory of analytical method and the design procedures are introduced. The reliability and validity of proposed analytical solution are verified through the comparison with the results of commercial 3D FE software. In addition, calculation time between proposed analytical solution and 3D FEA is compared. Finally, characteristics, such as Back-EMF and phase resistance, between calculated and experimental results are compared. From the verification with 3D FEA and experimental results, it is proved that presented analytical method provided very effective and precise results.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2011년도 추계학술대회 논문집
• /
• pp.594-595
• /
• 2011

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.815-818
• /
• 1998

Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.

• Journal of Electrical Engineering and Technology
• /
• 제9권2호
• /
• pp.655-661
• /
• 2014

In this paper, a new two dimensional (2D) analytical modeling and simulation for a surrounding gate tunnel field effect transistor (TFET) is proposed. The Parabolic approximation technique is used to solve the 2-D Poisson equation with suitable boundary conditions and analytical expressions for surface potential and electric field are derived. This electric field distribution is further used to calculate the tunneling generation rate and thus we numerically extract the tunneling current. The results show a significant improvement in on-current characteristics while short channel effects are greatly reduced. Effectiveness of the proposed model has been confirmed by comparing the analytical results with the TCAD simulation results.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 춘계학술대회 논문집
• /
• pp.682-683
• /
• 2014

• Mass Spectrometry Letters
• /
• 제7권2호
• /
• pp.31-40
• /
• 2016

The analysis of nuclear materials and environmental samples is an important issue in nuclear safeguards and nuclear forensics. An analysis technique for safeguard samples has been developed for the detection of undeclared nuclear activities and verification of declared nuclear activities, while nuclear forensics has been developed to trace the origins and intended use of illicitly trafficked nuclear or radioactive materials. In these two analytical techniques, mass spectrometry has played an important role in determining the isotope ratio of various nuclides, contents of trace elements, and production dates. These two techniques typically use similar analytical instruments, but the analytical procedure and the interpretation of analytical results differ depending on the analytical purpose. The isotopic ratio of the samples is considered the most important result in an environmental sample analysis, while age dating and impurity analysis may also be important for nuclear forensics. In this review, important aspects of these techniques are compared and the role of mass spectrometry, along with recent progress in related technologies, are discussed.

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제16권6호
• /
• pp.46-57
• /
• 2011

In this study, analytical solution of multip-species transport equations coupled with a first-order reaction network under constant concentration boundary condition or total flux boundary condition is obtained using similarity transformation approach of Clement et al. (2000). The study shows the schematic process about how multi-species transport equations with first-order sequential reaction network is transformed through the similarity transformation approach into independent and uncoupled single species transport equations with first-order reaction. The analytical solution was verified through the comparison with popular commercial programs such as 2DFATMIC and RT3D. The analytical solution can be utilized in nuclear waste sites where radioactive contaminants and their daughter products occur and in industrial complex cities where chlorinated solvent such as PCE, TCE, and its biodegradation products produces. In addition, it can help the verification of the developed numerical code.

• Nuclear Engineering and Technology
• /
• 제27권2호
• /
• pp.234-247
• /
• 1995

Trace elements in airborne particulates were analyzed by instrumental neutron activation analysis (INAA) under the optimum analytical condition. Neutron irradiation for sample was done at the irradiation hole(neutron flux 1$\times$10$^{13}$ n/$\textrm{cm}^2$.s) of TRIGA MARK-III research reactor in the Korea Atomic Energy Research Institute. For the verification of the analytical method, NIST SRM-1648 and NIES CRM No.8 ore chosen and analyzed. The accuracy and precision of the analysis of 40 and 24 trace elements in the samples were compared with the certified and reported values, respectively. The analytical method was found to be reliable enough when the analytical data of NIES sample were compared with those of different counties. In the analytical result of two or both of standard reference materials, relative standard deviation wes within the 15％ except a few elements and the relative error was within the 10％. We used this method to analyze 30 trace elements in airborne particulates collected with the high volume air sampler(PM-10) at too different locations and also confirmed the possibility to use this method as a routine monitoring tool to find out environmental pollution sources.

• Steel and Composite Structures
• /
• 제43권5호
• /
• pp.565-579
• /
• 2022

This study investigated the yielding capacity and performance of seismic dampers constructed with steel ring plates using numerical and analytical approaches. This study aims to provide an analytical relationship for estimating the yielding capacity and initial stiffness of steel ring dampers. Using plastic analysis and considering the mechanism of plastic hinge formation, a relation has been obtained for estimating the yielding capacity of steel ring dampers. Extensive parametric studies have been carried out using a nonlinear finite element method to examine the accuracy of the obtained analytical relationships. The parametric studies include investigating the influence of the length, thickness, and diameter of the ring of steel ring dampers. To this end, comprehensive verification studies are performed by comparing the numerical predictions with several reported experimental results to demonstrate the numerical method's reliability and accuracy. Comparison is made between the hysteresis curves, and failure modes predicted numerically or obtained/observed experimentally. Good agreement is observed between the numerical simulations and the analytical predictions for the yielding force and initial stiffness. The difference between the numerical models' ultimate tensile and compressive capacities was observed that average of about 22%, which stems from the performance of the ring-dampers in the tensile and compression zones. The results show that the steel ring-dampers are exhibited high energy dissipation capacity and ductility. The ductility parameters for steel ring-damper between values were 7.5 to 4.1.

• Earthquakes and Structures
• /
• 제12권2호
• /
• pp.145-152
• /
• 2017

The analytical method is used to develop new models for an elevated tank to estimate its natural period. The equivalent mass- spring method is used to configure the developed analytical models. Also direct method is used for numerical verification. The current study shows that developed models can have a good estimation of natural period compared with concluded results of finite elements. Additional results show that, the dependency of impulsive period to soil stiffness condition is higher than convective period. Furthermore results show that considering the fluid- structure- soil interaction has remarkable effects on natural impulsive and convective periods in case of hard to very soft soil.