• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.102-106
• /
• 2010

소프트웨어 개발의 복잡도가 증가하고 개발규모가 대형화 됨에 따라 소프트웨어 결함의 발생요인도 증가하고 있다. 소프트웨어의 결함을 줄이고 우수한 품질의 소프트웨어 개발을 위해 소프트웨어 테스트 기법인 static 테스트를 사용한다. 본 논문에서는 테스트 tool 을 이용하여 규모가 큰 소프트웨어 개발과정에 static 테스트를 적용하였으며, 적용결과를 통해 static 테스트가 소프트웨어 품질과 결함기회 감소에 미치는 영향을 분석한다.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.6 no.1
• /
• pp.193-203
• /
• 2002

The results of an experimental study on Saemangeum dredged sands are presented. Undrained triaxial compression tests were performed with there different initial relative densities, namely 18, 34, and 50%, intend to evaluate undrained Behavior. All undrained triaxial compression tests were performed under static loading conditions. Undrained triaxial compression tests were exhibited complete static liquefaction, zero effective confining pressure and zero stress difference at lower confining pressures. As confining pressures were increased, the effective stress paths indicated increasing resistance to static liquefaction by showing increasing dilatant tendencies. The fines and larger particles create a particle structure with high compressibility at lower confining pressure. The effect of increasing relative density was to increase the resistance of the sand against static liquefaction by making the sand more dilatant.

• Journal of Power System Engineering
• /
• v.18 no.6
• /
• pp.13-20
• /
• 2014

The steady-state, incompressible and three-dimensional numerical analysis was carried out to evaluate turbulent models on the aerodynamic performance of a small-size axial fan(SSAF). The prediction performance on the static pressure of all turbulent models is going downhill at the high static pressure and low flowrate region, but has improved at the axial flow region. In consequence, all turbulent models predict the static pressure coefficient with an error performance less than about 4% after the region of the flowrate coefficient of about 0.14. Especially, the turbulent model of SST $k-{\omega}$ shows the best prediction performance equivalent to an error performance less than about 2% on the static pressure.

• Journal of International Academy of Physical Therapy Research
• /
• v.9 no.2
• /
• pp.1461-1467
• /
• 2018

The purpose of this study was to investigate whether static stretching or Thera-band stretching of hamstrings is more effective in improving the flexibility of hamstrings. A total of 40 participants performed stretching 3 times a week for 4 weeks, and a sitting trunk flexion meter was used to measure the flexibility of the hamstrings. Differences in hamstring flexibility before and after the application of static and Thera-band stretching were analyzed, and differences between the stretching methods were also analyzed. As a result, hamstring flexibility increased significantly after the static stretching program (p=.000), and also increased significantly after the Thera-band stretching program (p=.000). Although both programs were effective in improving hamstring flexibility, but there was no significant difference between the two groups (p=.058). Therefore, static stretching and Thera-band stretching are effective interventions to improve and maintain hamstring flexibility.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.305-312
• /
• 1998

A formulation to perform static equilibrium and linear vibration analysis is presented in this paper. The formulation employs minimum number of equations of motion which are derived by using a partial velocity matrix, The static equilibrium analysis is performed first, then the linear vibration analysis is performed at the static equilibrium position. By using the formulation presented in this paper, static equilibrium and linear vibration analysis of a high speed electric train system are performed. A single bogie system, a power vehicle, and a train system which consists of five vehicles are analyzed, respectively. Natural frequencies and a few lowest mode shapes of the three are identified in this paper.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.8
• /
• pp.69-75
• /
• 2015

Nowadays, software plays various roles in applications in wide areas. However, the security problems caused by software vulnerabilities increase. So, it is necessary to improve software security and safety in software execution. In this paper, we propose an approach to improve the safety of software execution by managing information used in software through static data access analysis. The approach can detect the exposures of secure data in software execution by analyzing information property and flows through static data access analysis. In this paper, we implemented and experimented the proposed approach with a base language, and verify that the proposed approach can effectively detect the exposures of secure information. The proposed approach can be applied in several areas for improving software safety by analysing vulnerabilities from information flows in software execution.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.238-242
• /
• 2021

Game theory has been regarded as a useful theoretical tool for modeling the interactions between distinct entities and thus it has been harnessed in various research field. In particular, research attention has been shown to how to apply game theory to modeling the interactions between malign and benign entities in the field of wireless networks. Although various game theoretic modeling work have been proposed in the field of wireless networks, our proposed work is disparate to the existing work in the sense that we focus on mobile malign node detection problem in static wireless sensor networks. More specifically, we propose a Bayesian game theoretic modeling for mobile malign node detection problem in static wireless sensor networks. In our modeling, we formulate a two-player static Bayesian game with imperfect information such that player 1 is aware of the type of player 2, but player 2 is not aware of the type of player 1. We use four strategies in our static Bayesian game. We obtain Bayesian Nash Equilibria with pure strategies under certain conditions.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.26 no.4
• /
• pp.344-351
• /
• 2023

Static ejection tests were conducted using the 2,000lb-Class Store to provide ejector model for the store separation simulation. In this study, static ejection test device for 2,000lb-class store was constructed and reaction force applied to store was measured over time. In addition, the trajectories of the ejected store were obtained using photogrammetry and compared with the simulations using developed ejector model. The results of the static ejection test were analyzed to determine the cartridge-orifice combination to be used for store separation. Flight tests were performed by applying the analysis results and verified that the store was safely separated from the aircraft.

• Steel and Composite Structures
• /
• v.46 no.1
• /
• pp.143-152
• /
• 2023

In this paper, static and dynamic bending of nanocomposite micro beam armed with CNTs considering agglomeration effect is studied. The structural damping is considered by Kelvin-Voigt model. The agglomeration effects are assumed using Mori-Tanaka model. The micro beam is modeled by third order shear deformation theory (TSDT). The motion equations are derived by principle of Hamilton's and energy method assuming size effects on the basis of Eringen theory. Using differential quadrature method (DQM) and Newmark method, the static and dynamic deflections of the structure are obtained. The effects of agglomeration and CNTs volume percent, damping of structure, nonlocal parameter, length and thickness of micro-beam are presented on the static and dynamic deflections of the nanocomposite structure. Results show that with increasing CNTs volume percent, the static and dynamic deflections are decreased. In addition, enhancing the nonlocal parameter yields to higher static and dynamic deflections.

• Journal of Korean Association for Spatial Structures
• /
• v.24 no.1
• /
• pp.57-64
• /
• 2024

This study numerically compares optimum solutions generated by element- and node-wise topology optimization designs for free vibration structures, where element-and node-wise denote the use of element and nodal densities as design parameters, respectively. For static problems optimal solution comparisons of the two types for topology optimization designs have already been introduced by the author and many other researchers, and the static structural design is very common. In dynamic topology optimization problems the objective is in general related to maximum Eigenfrequency optimization subject to a given material limit since structures with a high fundamental frequency tend to be reasonable stiff for static loads. Numerical applications topologically maximizing the first natural Eigenfrequency verify the difference of solutions between element-and node-wise topology optimum designs.