• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Journal of Korean Physical Therapy Science
• /
• v.29 no.1
• /
• pp.73-86
• /
• 2022

Background: The purpose of this study is to investigate the effect of plantar flexor on muscle fatigue and endurance when two different sport tapes are applied. Design: Cross-sectional design. Methods: Fifty-one healthy adults were randomly assigned to dynamic taping group (n=17), kinesio taping group (n=17), and control group (n=17). The dynamic taping group used the dynamic tape. The kinesio tape group used the kinesio tape, and the control group doesn't used tape. Every group performed heel rise test and sEMG for every during pre-test and post-test. To evaluate plantar flexor endurance, the number of times was measured during the heel rise test. Results: The number of heel rises increased significantly in the post-test in dynamic taping group compared to the pre-test, and In comparison between groups, the number of heel rises significantly increased in dynamic taping group compared to kinesio taping group and control group. PEF value was significantly increased in the post-test compared to the pre-test in dynamic taping group, and there was a significant difference between the three groups according to the taping application. Conclusion: The results of this study confirmed that dynamic taping was effective in musclular fatigue and endurance on plantar flexor in healthy adults. Based on these results, it is suggested that the application of dynamic tape can be suggested as one of the intervention methods for muscle endurance and muscle fatigue.

• Water for future
• /
• v.20 no.2
• /
• pp.139-150
• /
• 1987

The present study is to develop the hydrologic analysis procedure for the purpose of drawing the probable isohyetal charts in Korea. In the establishment of optimal distribution types, the eleven continuous probability distribution types included the transformed variable normal distribution (Y-k method) is applied to the annual maximum rainfall depth series in each duration. The optimal selection of distribution is done by Chi-square test and Kolmogorov-Smirnov test in the eui-class interval. The application of probability distribution is checked by the fitting on four durations of annual maximum rainfall data(10 min., 60 min., 6 hrs., and 24hrs.) at four meteorological stations in Korea (Seoul, In Cheon, Bu san, and Kwang Ju). The properties in hydrologic application of the considered distribution and the hydrologic characteristics of the applied rainfall data groups are investigated from the results of this study.

• 한국IT서비스학회:학술대회논문집
• /
• 2007.11a
• /
• pp.562-567
• /
• 2007

분산 환경에서 신분 확인을 위한 생체인증기기가 이용되는 경우 그 기기가 생체인증 표준인 BioAPI를 준용하여 제대로 구현된 것인가에 대한 적합성 시험이 필요하게 된다. 이러한 적합성 시험은 분산 환경의 사용자 및 서비스 제공자에게 표준 규격을 준용한 제품이라는 신뢰성을 주게 된다. 기존에 제공되는 있는 BioAPI(Biometric Application Programming Interface) v2.0 기반의 BSP(Biometric Service Provider)는 오프라인 상에서 BioAPI기반의 제품의 준용 여부만을 평가하기 때문에 분산 환경에서 여러 사람이 동시에 준용 여부를 평가 받기 힘들며 이에 따른 동시 서비스 제공도 불가능하다. 본 논문에서는 BioAPI v2.0 기반의 제품들이 분산 환경에서 제공되는 9개 모델의 표준화된 환경으로 구분하고, 원활한 적합성 시험을 위하여 XML기반의 Test Assertion을 설계하여 생체인증 API 표준 적합성을 시험하였다. XML Test Assertion을 이용한 생체인증 적합성 시험을 위한 메시지 플로우를 밝혀 그 타당성을 입증하였다.

• Structural Engineering and Mechanics
• /
• v.68 no.3
• /
• pp.345-358
• /
• 2018

Heterogeneous structure and, particularly, low resistance to tension stresses leads to different mechanical properties of the concrete in different loading situations. To solve this problem, the tension zone of concrete elements is reinforced. Development of the cracks, however, becomes even more complicated in the presence of bar reinforcement. Direct tension test is the common layout for analyzing mechanical properties of reinforced concrete. This study investigates scatter of the test results related with arrangement of bar reinforcement. It employs results of six elements with square $60{\times}60mm$ cross-section reinforced with one or four 5 mm bars. Differently to the common research practice (limited to the average deformation response), this study presents recordings of numerous strain gauges, which allows to monitor/assess evolution of the deformations during the test. A simple procedure for variation assessment of elasticity modulus of the concrete is proposed. The variation analysis reveals different deformation behavior of the concrete in the prisms with different distribution of the reinforcement bars. Application of finite element approach to carefully collected experimental data has revealed the effects, which were neglected during the test results interpretation stage.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.5
• /
• pp.1-8
• /
• 2004

This study investigated the effect of visual learning preference levels in computer assisted instruction (CAI) using static graphics and animations on students' conceptual understandings, application abilities and learning motivations. Fifty-nine seventh graders were selected from a middle school in seoul, and they were taught about the motion of molecule for 4 class hours. Two-way ANCOVA results revealed that the scores of the conception test of the animations group, regardless of student's visual learning preference levels, were significantly higher than those of the static graphics group. However, there were no differences between the two groups in the scores of application test and learning motivation test.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11b
• /
• pp.140-143
• /
• 2005

The hybrid CAE/CAT methods are widely applied to product development in various fields because this method can predict the response of the whole system when a part of the system is changed. Especially, the hybrid CAE/CAT method is very useful to predict tile vehicle NVH characteristics after changing some parts of the vehicle. Target parts can be established on the basis of test models and FE models of the prototype constructed in the planning stage of car development. In this study, the topic was focused on the proper test-based FBS application process to predict vehicle NVH characteristic. First, the test-based FBS method was apply to vehicle substructure and car-body. And then the test-based model was replaced with FE model to apply hybrid CAE/CAT method. The replaced FE model was modified through the optimization process. The interior noise in vehicle during the drive was predicted with Modified FE model, then the predicted results were verified by experimenting with actual modified model.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2009.03a
• /
• pp.819-835
• /
• 2009

In order to investigate the field application of selected stabilization methods(cover soil method, surface and total interval treatment of embankment method) on rice paddies contaminated by heavy metals, column test was carried out with heavy metal-contaminated soils collected from rice paddies around abandoned mine site. Columns were made by acrylic and filled with untreated soil, treated soil mixed with amendments(lime stone and steel refining slag) and uncontaminated cover soil according to the design report. Distilled water was discharged into the columns with the velocity of 1 pore volume/day. During test, pH, EC, and heavy metal concentration were measured in the regular term. The column test result showed that the selected stabilization methods were effective remediation method to stabilize heavy metals in paddy soils, but it was also expected that application of surface treatment methods was required the careful observation on pH variation due to the lowest increment.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.7
• /
• pp.362-370
• /
• 2002

This paper describes the practical tuning method of dual-input PSS and its application to Muju P/P #2 with Proto PSS, which is based on DSP technology and uses both frequency and power. First, the model parameters of generator system used in this paper have been derived from the generator characteristic testing. Then, in the selection of PSS parameters, the Bode plot is plotted in order to tune the PSS's time constants which are able to compensate the phase lagging due to generator and excitation system. In addition, the eigenvalue analysis is also performed for determining a reliable PSS gain, $K_{s}$. Finally, the transient stability program has been utilized to verify the safe operation of Proto PSS against the predictable disturbances such as the AVR-step test and generator unloading test. In on-site test, the simulated results have been identically duplicated by implementing AVR step test in Muju P/P #2 with Proto PSS, which has the previously designed PSS parameters.s.

• Steel and Composite Structures
• /
• v.14 no.6
• /
• pp.587-604
• /
• 2013

There are few technical documents regulated structural performance and engineering criteria in domestic market for Structural insulated panels in Korea. This paper was focused to identify fundamental performance under monotonic loading and cyclic loading for SIPs in shear wall application. Load-displacement responses of total twelve test specimens were recorded based on shear stiffness, strength, ultimate load and displacement. Finally energy dissipation of each specimen was analyzed respectively. Monotonic test results showed that ultimate load was 44.3 kN, allowable shear load was 6.1 kN/m, shear stiffness was 1.2 MN/m, and ductility ratio was 3.6. Cyclic test was conducted by two kinds of specimens: single panel and double panels. Cyclic loading results, which were equivalent to monotonic loading results, showed that ultimate load was 45.4 kN, allowable shear load was 6.3 kN/m. Furthermore the accumulated energy dissipation capability for double panels was as 2.3 times as that for single panel. Based on results of structural performance test, it was recommended that the allowable shear load for panels should be 6.1 kN/m at least.