• International journal of advanced smart convergence
• /
• v.11 no.4
• /
• pp.266-272
• /
• 2022

Structural stress analysis is performed to confirm the safety of the structures before the construction, and stress analysis is performed to evaluate the safety of various components before the ship or vehicle corresponding to the moving structure is manufactured. In this case, the stress analysis work is performed using the stress analysis software of each company. The results of the stress analysis based on the boundary conditions of the applied loads are analyzed to evaluate the safety of the structure, but the results are difficult to verify because most of the stress analysis software possessed by each company is one. In this paper, we were performed the stress analysis of the bracket applied to the bare chassis of the 30-passenger bus under development is performed by HYPERMESH. In order to verify this, the stress analysis is performed using ANSA/META under the same boundary condition. The stress analysis results of ANSA/META and HYPERMESH showed that they had the same stress distribution and the maximum stress occurred at the same location. Taken together, the results of stress analysis using HYPERMESH were reliable.

• Journal of Information Processing Systems
• /
• v.19 no.5
• /
• pp.702-712
• /
• 2023

Load balancing plays a crucial role in ensuring the stable operation of information management systems during periods of high user access requests; therefore, load balancing approaches should be reasonably selected. Moreover, appropriate load balancing techniques could also result in an appropriate allocation of system resources, improved system service, and economic benefits. Nginx is one of the most widely used loadbalancing software packages, and its deployment is representative of load-balancing application research. This study introduces Nginx into an educational administration system, builds a server cluster, and compares and sets the optimal cluster working strategy based on the characteristics of the system, Furthermore, it increases the stability of the system when user access is highly concurrent and uses the Nginx reverse proxy service function to improve the cluster's ability to resist illegal attacks. Finally, through concurrent access verification, the system cluster construction becomes stable and reliable, which significantly improves the performance of the information system service. This research could inform the selection and application of load-balancing software in information system services.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.449-450
• /
• 2012

• Journal of the Korean Geophysical Society
• /
• v.4 no.4
• /
• pp.231-238
• /
• 2001

In this paper, an efficient LP method ofr discrete harmonic spectra is proposed and discussed. A new efficient LP method is a combination of recursive and frequency selective LP. While the recursive LP provides better spectral matching in spectral hills, frequency selective LP eliminates numerical instability and improves spectral matching when the harmonics are confined in the low frequncy region. The proposed LP method is applied to the HILN coder. Simulation results using a verification model(VM) software for real audio signals show a definite trend of significant improvement.

• Proceedings of the Korea Electromagnetic Engineering Society Conference
• /
• 2002.11a
• /
• pp.215-218
• /
• 2002

In this paper, a dual-frequency printed slot antenna loaded with an open-ring conducting strip and capacitively fed by a coplanar waveguide(CPW) is designed. The designed antenna has a bandwidth of 240㎒(1690㎒-1930㎒) at PCS frequency band and of 160㎒(2380㎒-2540㎒) at WLAN frequency band. In both frequency ranges, pattern and gain requirements are satisfied. The commercial software, IE3D, was used to design slot antenna. The predicted characteristics along with measured data are presented for verification purpose.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.86-86
• /
• 2003

• Proceedings of the KIEE Conference
• /
• 2001.11b
• /
• pp.127-129
• /
• 2001

This paper discusses how to implement and verify a software relaying model which is added to RTDS model library and is then subjected to the same outputs as the actual relay.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2219-2221
• /
• 2002

This paper describes QA methodologies for developed TBN control system that will be applied to nuclear power plants. The details are the development of QA Manual, QA Procedures, Equipment Qualification Procedure, Commercial Grade Items Dedication, and Software Verification & Validation Plan.

• The Journal of Engineering Research
• /
• v.5 no.1
• /
• pp.37-44
• /
• 2004

n this paper, an efficient LP method for discrete harmonic spectra is proposed and discussed. A new efficient LP method is a combination of recursive and frequency selective LP. While the recursive LP provides better spectral matching in spectral hill, frequency selective LP eliminates numerical instability and improves spectral matching when the harmonics are confined in the low frequency region. The proposed LP method is applied to the HILN coder. Simulation results using a verification model(VM) software for real audio signals show a definite trend of significant improvement.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.346-348
• /
• 2004

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.