• Journal of Convergence for Information Technology
• /
• v.11 no.10
• /
• pp.223-229
• /
• 2021

This study analyzed the effects of an exercise program that combined lumbar stabilization exercise and muscle strengthening exercise and an exercise program that applied only lumbar muscle strengthening exercise on multifidus muscle cross-sectional area, static posture control ability, and low back pain in patients with CLBP. For the study method, 28 patients with CLBP were divided into two exercise propram groups and exercised three times a week for 8-weeks. The data analysis of this study used the t-test to compare before and after group exercise program application, and between each group (p<.05). As a result of the study, significant results were found before and after application of the exercise program within each group, such as multifidus muscle cross-sectional area, static posture control ability, and low back pain (p<.05). Between each group, the exercise program that combined lumbar stabilization exercise and muscle strengthening exercise was found to be more effective (p<.05). In conclusion, it was found that the exercise program with additional lumbar stabilization exercise improved the structure and function of various lumbar vertebrae and reduced lumbar pain.

• Proceeding of EDISON Challenge
• /
• 2015.03a
• /
• pp.274-278
• /
• 2015

There are different kinds of aircrafts, such as conventional airplane, rotorcraft, fighter, and unmanned aerial vehicle. Their shape and feature are dependent upon their assigned mission. One of the fundamental analyses during the design of the aircraft is the structural analysis. The structural analysis becomes more complicated and needs more computations because of the on-going complex aircrafts' structure. In order for efficiency in the structural analysis, a simplified approach, such as equivalent beam or plate model, is preferred. However, it is not clear which analysis will be appropriate to analyze the realistic configuration, i.e., an equivalent beam or plate analysis for an aircraft wing. It is necessary to assess the boundary between the one-dimensional beam analysis and the two-dimensional plate theory for an accurate structural analysis. Thus, in this paper, the static structural analysis results obtained by EDISON solvers were compared with the three-dimesional results obtained from MSC NASTRAN. Before that, EDISON program was verified by comparing the results with those from MSC NASTRAN program and analytic solution.

• Journal of the Society of Naval Architects of Korea
• /
• v.41 no.2
• /
• pp.114-120
• /
• 2004

Propeller blades have complex airfoil section type geometry and the thickness is continuously varied to both its length and cord-wise direction. in the present research, the finite element analysis program PROSTEC (Propeller Stress Evaluation Code) is developed to calculate the structural responses of propeller blades in irregular ship wake field. To represent the curved and skewed geometry of propeller blades accurately, 20-node curved solid element using the quadratic shape function is adopted. Input data for the analysis including the geometry and pressure distribution of propeller blades can be generated automatically from the propeller design program. And to visualize the results of analysis on windows system conveniently, the post processor PROSTEC-POST is developed.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• KIPS Transactions on Computer and Communication Systems
• /
• v.4 no.1
• /
• pp.23-30
• /
• 2015

Reflection is a feature of the Java programming language that can examine and manipulate components of program itself. If you use the reflection, you can get an obfuscation effect of Java source because it converts sources into complicated structures. However, when using it, strings of components name of program are exposed. Therefore, it cannot prevent static analysis. In this paper, we presents a method and a tool of interfere with static analysis using reflection. And in this case, exposed strings are encoded using Vigen$\acute{e}$re cipher. Experimental results show that this tool is effective in increasing the overall complexity of the source code. Also the tool provides two types decryption method based on server and local. It can be selected based on the importance of the API because it affects the execution speed of the application.

• Composites Research
• /
• v.17 no.2
• /
• pp.1-8
• /
• 2004

The present paper is concerned with the optimum design of taper spring, in which the static spring rate of the fiber-reinforcement composite material spring is fitted to that of the steel leaf spring. The thickness and width of springs were selected as design variables. The object functions of the regression model were obtained through the analysis with a common analytic program. After regression coefficients were calculated to get functions of the regression model, optimal solutions were calculated with DOT. E-glass/epoxy and carbon/epoxy were used as fiber reinforcement materials in the design, which were compared and analyzed with the steel leaf spring. The result of the static spring rates show that optimized composite leaf springs agree with steel leaf spring within 1%.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.3 s.168
• /
• pp.78-85
• /
• 2005

The static implicit finite element method is applied effectively to analyze total roof panel stamping processes, which include the forming stage. complicated and abnormal Large size roof panel was analyzed by using commercial program called AutoForm. Analysis results examining possibility and validity of the AutoForm software and the factor study are presented. Further, the simulated results for the total roof panel stamping processes are shown and discussed. Its application is being increased especially in the automotive industrial area for the cost reduction, weight saving, and improvement of strength.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.625-628
• /
• 1995

A static/implicit finite element code for sheet forming (ITAS3D) is parallelized on IBM SP 6000 multi-processor computer. Computing-load-balanced domain decomposition method and the direct solution method at each subdomain (and interface) equation are developed. The system of equations for each subdomain are constructed by condensation and calculated on each processor. Approximated operation counts are calculated to set up the nonlinear equation system for balancing the compute load on each subdomain. Th esquare cup tests with several numbers of elements are used in demonstrating the performance of this parallel implementation. This procedure are proved to be efficient for moderate number of processors, especially for large number of elements.

• Proceedings of the KIPE Conference
• /
• 1998.10a
• /
• pp.398-403
• /
• 1998

This paper describes a controller design for the stator reactive power generator in the transmission system. The controller of static reactive power generator was designed using a mathematical model and non-linear state feedback. The performance of controller was verified using computer simulation with EMTP code and experimental work with scaled-model. The dynamic interaction with a simple power system was also analyzed using both the simulation model and hardware scaled-model. Both simulation and experimental results prove that the controller using PI block and non-linear state feedback offers better performance than the controller using PI block only.

• Structural Engineering and Mechanics
• /
• v.86 no.5
• /
• pp.635-645
• /
• 2023

This study aims to simulate the mechanical behavior of the total prosthesis model of Charnley (CMK3) by the 3D finite element method and to determine the state of the stresses in the femoral components (prosthesis, cement, and bone). The components are subjected to a dynamic load due to three activities (normal walking, climbing stairs, and standing up a chair). Static loading is by selecting the maximum load for the same activities mentioned. The results show that the maximum stresses in the proximal part of the cement are very important. Moreover, new results obtained for different parameters were discussed in detail. It is understood that current research provides important lessons for the surgeon to contribute to the clinical diagnosis of durable implantations and a better understanding of the process of bone remodeling and bone prosthesis.