• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.198-201
• /
• 2011

현재 안드로이드 시장에는 다양한 플랫폼을 기반으로 한 디바이스들이 혼재하고 있고, 안드로이드의 성장세로 봤을 때 앞으로 더욱더 많은 플랫폼 및 디바이스가 출시될 것이다. 따라서 여러 플랫폼 및 디바이스에 대한 상호 호환성을 만족시키기 위해 안드로이드 소프트웨어 개발 단계부터 테스트의 중요도가 높아지고 있고, 테스팅 시간을 줄이기 위한 테스트 자동화 문제가 대두되고 있다. 이러한 환경에서 상호 호환성을 만족시키기 위해서는 소프트웨어적인 요소뿐만 아니라 프로그램의 전반적인 요소까지 고려해야 하지만 기존의 테스트 자동화 도구인 JUnit은 안드로이드 소프트웨어의 특정 상태에 대한 정보만을 도출하기 때문에 전반적인 요소에 대한 통합관리가 불가능하다. 따라서 본 논문에서는 안드로이드 소프트웨어의 전반적인 요소들에 대한 정보를 도출하여 테스트 케이스를 자동으로 생성하는 방안을 제안한다. 사용자가 도출하고자 하는 정보를 선택함으로써 테스트 케이스 생성에 대한 유연성이 증가하고, 이를 자동화함으로써 테스팅 시간 감소를 통해 생산성 향상 및 높은 품질의 안드로이드 소프트웨어를 기대할 수 있다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• Korean Journal of Digital Imaging in Medicine
• /
• v.11 no.2
• /
• pp.59-62
• /
• 2009

The purpose of this study is to know about solution of insecurity sense for solving the tediousness and inducing comfortableness in long time MRI examination. Studies were examined with total of 117 patients that the intention expression of self is possible for a month without dividing man and woman in november 2006. Examination methods were filled in questionnaire after testing using Siemens Impact 1.0T. The musical art were selected through intranet search and record sale inquiry using CD player and speaker. That kind of a music were selected with Korean classical music's 10 chapter, pop song 10's chapter, classic's 10 chapter and Korean popular song's 10 chapter. With analytical method, patients of under 40 year-old, or older and patients using ear-pad and head-phone were classified into groups. As analysis result with question item of questionnaire, most of the patients were showed a favor(36.72%) in playing a music, specially, examination of about 15.38% which uses the headphone prefer a music as older generation of over 40 year-old. In conclusion, with installing of the professional musical program in MRI test rooms, if listening to the music with selection by oneself before testing by season, age, time through development of appropriate musical program will be able to expect the more effect.

• Proceedings of the KIEE Conference
• /
• 1990.07a
• /
• pp.154-157
• /
• 1990

This paper describes a new method of calculating expected energy generation and loss of load probability (L.O.L.P) for electric power system operation and expansion planning. The method represents an equivalent load duration curve (E.L.D.C) as a mixture of cumulants approximation (M.O.C.A), which is the general case of mixture of normals approximation (M.O.N.A). By regarding a load distribution as many normal distributions-rather than one normal distribution-and representing each of them in terms of Gram-Charller expansion, we could improve the accuracy of results. We developed an algorithm which automatically determines the number of distribution and demarcation points. In modelling of a supply system, we made subsets of generators according to the number of generator outage: since the calculation of each subset's moment needs to be processed rapidly, we futher developed specific recursive formulae. The method is applied to the test systems and the results are compared with those of cumulant, M.O.N.A and Booth-Baleriaux method. It is verified that the M.O.C.A method is faster and more accurate than any other methods.

• Computers and Concrete
• /
• v.16 no.5
• /
• pp.669-682
• /
• 2015

Degradation of reinforced concrete (RC) structures due to chloride penetration followed by reinforcement corrosion has been a serious problem in civil engineering for many years. The numerical simulation methods at present are mainly finite element method (FEM) and finite difference method (FDM), which are based on mesh. Mesh generation in engineering takes a long time. In the present article, the numerical solution of chloride transport in concrete is analyzed using radial point interpolation method (RPIM) and element-free Galerkin (EFG). They are all meshless methods. RPIM utilizes radial polynomial basis, whereas EFG uses the moving least-square approximation. A Galerkin weak form on global is used to attain the discrete equation, and four different numerical examples are presented. MQ function and appropriate parameters have been proposed in RPIM. Numerical simulation results are compared with those obtained from the finite element method (FEM) and analytical solutions. Two case of chloride transport in full saturated and unsaturated concrete are analyzed to test the practical applicability and performance of the RPIM and EFG. A good agreement is obtained among RPIM, EFG, and the experimental data. It indicates that RPIM and EFG are reliable meshless methods for prediction of chloride concentration in concrete structures.

• Proceedings of the KIPE Conference
• /
• 2005.07a
• /
• pp.723-726
• /
• 2005

The application of solar energy, in the field of alternative energy, was on the increase tendency. In the case of advanced nations, through continuous R&D, solar hot water heater with high efficiency has been used for the house and the industrial process on business, advanced nations were reached up the experimental stage of solar generation system. But, the actual circumstance of the domestic has been not accomplished the popularization of solar hot water heater and the settlement of it which is the fundamental stage of the solar energy usage. This trouble, the domestic was flooded with small enterprise for producing solar hot water heater, was caused by the popularization and the production without verification of performance. To supply the monitoring program for evaluating solar hot water heater, this research was purpose to improve the technical development of the enterprise for producing solar-heat hot-water-boiler and served as an aid for the enlargement and the popularization on solar energy.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1129-1132
• /
• 2000

최근 인터넷 수요의 증가로 통신망에서 음성, 영상 및 데이터(data)를 복합적으로 지원할 수 있는 멀티서비스(multiservice)의 교환 기술이 필수적이다. 또한 망 사업자들이 여러 벤더(vendor)들로부터 최적의 장비를 선택하여 망을 구축할 수 있도록 통신 장비들의 상호 운용성을 지원하는 개방형 구조의 망 및 스위치 시스템(switch system)을 정의하는 작업이 필요하다. 페트리 넷(Petri Nets)은 시스템(system)을 분석하기 위한 도구로서, 시스템은 페트리 넷 이론에 의해 시스템의 수학적 표현인 페트리 넷으로 설계될 수 있다. CPN(Colored Petri Nets)은 페트리넷의 확장형으로서, 토근(token)에 칼라를 부여하여 다양한 특성을 지닌 시스템을 표현하기에 적합하다. Design/CPN은 CPN의 사용을 지원하는 소프트웨어 패키지(software package)이다. 본 논문에서는 개방형 멀티서비스 교환 시스템의 핵심으로 스위치와 제어기(Controller) 사이의 표준 프로토콜인 GSMP(General Switch Management Protocol) 프로토콜을 Design/CPN 으로 변환하고, 이로부터 시험열을 생성한다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.05a
• /
• pp.36-37
• /
• 2019

In domestic construction industry progress, construction and quality control of large structures are considered to be important as the superstructure and mass scale of structures. In the case of mass concrete, high hydration heat caused by cement hydration generates temperature stress by generating internal temperature difference with the concrete surface. These temperature stresses cause cracks to penetrate the concrete structure. A method of lowering the heat generation by incorporating Urea in order to reduce the concrete temperature crack has been proposed. In this study, the heat function coefficient for the FEM temperature crack analysis of the mass concrete containing the element was derived and the adiabatic temperature rise test was carried out according to the incorporation of the element. As a result of this experiment, the maximum temperature of 41 ± 1℃ was obtained irrespective of the amount of urea, and the maximum temperature decreased by 16.9℃ in concrete containing 40kg/㎥ of urea.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• pp.2017-2022
• /
• 2004

There are multistage preheaters in the power generation plan to improve the thermal efficiency of the plant and to prevent the components from the thermal shock. The energy source of these heaters comes from the extracted two phase fluid of working system. These two-phase fluid can cause the so-called Flow Accelerated Corrosion(FAC) in the extracting piping and the bubble plate of the heater for example, in case of point Beach Nuclear Power Plant and in the Wolsung Nuclear Power Plant. The FAC is due to the mass transport of the thin oxide layer by the convection. FAC is dependent on many parameters such as the operation temperature, void fraction, the fluid velocity and pH of fluid and so on. Therefore, in this paper velocity was calculated by FLUENT code in order to find out the root cause of the wall thinning of the feedwater heaters. It also includeed in the fluid mixing analysis model are around the number 5A feedwater heater shell including the extraction pipeline. To identify the relation between the local velocities and wall thinning, the local velocities according to the analysis results were compared with distribution of the shell wall thicknes by ultrasonic test.

• The Journal of Korean Academy of Prosthodontics
• /
• v.27 no.1
• /
• pp.31-47
• /
• 1989

The purpose of this study was to evaluate the chemical bond strength of successively recast Pd-Ag ceramic alloys with porcelain and to investigate changes of quantity of trace elements at the metal-porcelain interface. Porcelain was fired as usual manner on the each successively recast specimen. Rectangular planar shear test was performed and bond strength was measured by Instron universal testing machine. Diffusion of trace elements at the each interface was observed by ESCA (Electron Spectroscopy for Chemical Analysis). The obtained results were as follows : 1. Chemical bond strength was significantly decreased after second recasting. But in case of first recasting, there was no significant decrease of bond strength statistically (p<0.05). 2. Bond strength was not significantly decreased in each generation, when fifty percents new alloy was added (p<0.05). 3. Ag, Sn and In were observed at the porcelain interface. But Pd was not observed. 4. The quantity of Ag, In ions were progressively increased at the metal-porcelain interface as the casting was repeated. Silver ion was most significantly increased.