• Journal of KIISE
• /
• v.43 no.10
• /
• pp.1067-1072
• /
• 2016

Software birthmarks, which are unique characteristics of the software, are used to detect software plagiarism or software similarity. Generally, software birthmarks are divided into static birthmarks or dynamic birthmarks, which have evident pros and cons depending on the extraction method. In this paper, we propose a method for extracting the API sequence birthmarks using a dynamic analysis and similarity detection between the executable codes. Dynamic birthmarks based on API sequences extract API functions during the execution of programs. The extracted API sequences often include all the API functions called from the start to the end of the program. Meanwhile, our dynamic birthmark scheme extracts the API functions only called directly from the executable code. Then, it uses a sequence alignment algorithm to calculate the similarity metric effectively. We evaluate the birthmark with several open source software programs to verify its reliability and credibility. Our dynamic birthmark scheme based on the extracted API sequence can be utilized in a similarity test of executable codes.

• Proceedings of the KSME Conference
• /
• 2001.06b
• /
• pp.121-126
• /
• 2001

In this study, the 4-way spool valve characteristics are clearly defined and proposed new type of spool valve. This paper presents governing equations of the flow through clearances between sleeve and spool as a model of orifice flow for null characteristic analysis, and programmed analysis software of it. This software is possible to basically analysis that not only which case of open center, closed center or critical center but +,- displacement of spool, lab position, boundary region and spool opening of the valve, and to estimate the pressure variation in the spool and external leak flow variation. We are convinced that the scale of load pressure difference is changed as lab condition of spool valve, and this scale is changed with boundary point on the annular clearance. It is vary useful to designer and user of spool valve with this design data and analysis software.

• Advances in Automotive Engineering
• /
• v.1 no.1
• /
• pp.41-59
• /
• 2018

In the study, investigation of fiber- reinforced composite materials that can be an alternative to conventional steel was performed by finite element analysis with the help of software. Steel and composite materials have been studied on a four axle truck chassis model. Three-dimensional finite element model was created with software, and then analyzes were performed. The analyses were performed for static and dynamic/fatigue cases. Fatigue cases are formed with the help of design spectra model and fatigue analyses were performed as static analyses with this design spectra. First, analyses were performed for steel and after that optimization analyses were made for the AS4-PEEK carbon fiber composite and Eglass-Epoxy fiber composite materials. Optimization of composite material analyzes include determining the total laminate thickness, thickness of each ply, orientation of each ply and ply stacking sequence. Analyzes were made according to macro mechanical properties of composite, micromechanics case has not been considered. Improvements in weight reduction up to %50 provided at the end of the composite optimization analyzes with satisfying stiffness performance of chassis. Fatigue strength of the composite structure depends on various factors such as, fiber orientation, ply thickness, ply stack sequence, fiber ductility, ductility of the matrix, loading angle. Therefore, the accuracy of theoretical calculations and analyzes should be correlated by testing.

• Geomechanics and Engineering
• /
• v.29 no.5
• /
• pp.567-582
• /
• 2022

In the present study, a series of physical experiments and numerical simulations were conducted to investigate the effects of mode I and mixed-mode I/II cracks on the fracture modes and stability of roadway tunnel models. The experiments and simulations incorporated different inclination angle flaws under both static and dynamic loads. The quasi-static and dynamic testing were conducted by using an electro-hydraulic servo control device and drop weight impact system (DWIS), and the failure process was simulated by using rock failure process analysis (RFPA) and AUTODYN software. The stress intensity factor was also calculated to evaluate the stability of the flawed roadway tunnel models by using ABAQUS software. According to comparisons between the test and numerical results, it is observed that for flawed roadways with a single radical crack and inclination angle of 45°, the static and dynamic stability are the lowest relative to other angles of fractured rock masses. For mixed-mode I/II cracks in flawed roadway tunnel models under dynamic loading, a wing crack is produced and the pre-existing cracks increase the stress concentration factor in the right part of the specimen, but this factor will not be larger than the maximum principal stress region in the roadway tunnel models. Additionally, damage to the sidewalls will be involved in the flawed roadway tunnel models under static loads.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.621-624
• /
• 2017

소프트웨어의 적용 분야가 다양화되면서 시장 환경의 변화와 사용자 요구사항의 다양화가 급속도로 진행되고 있다. 하지만 부족한 시간, 예산, 인력 문제로 고품질의 소프트웨어 개발은 더 어려워졌다. 이런 문제의 해결을 위해 레거시 시스템의 모듈을 재사용하여 고품질화하고자 한다. 기존에는 정적 분석 기반의 재사용 모듈/덩어리 식별만 이루어졌지만, 실제 실행 환경에서 적용되는 동적 분석 기반의 재사용 식별이 더욱 중요하다. 이를 위해, 재사용 메트릭을 정의하고 재사용 모듈/덩어리 자동식별 및 가시화를 제안한다. 이는 새로운 프로젝트 개발의 재사용성을 높여, 신뢰성과 생산성 향상시키고 품질 개선에 기여한다.

• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• Structural Engineering and Mechanics
• /
• v.23 no.6
• /
• pp.635-649
• /
• 2006

The static and dynamic responses of guyed telecommunication towers can be determined by using two models, the space truss element model, and the equivalent beam-column element model. The equivalent beam-column analysis is based on the determination of the equivalent shear, torsion, and bending rigidities as well as the equivalent area of the guyed mast. In the literature, two methods are currently available to determine the equivalent properties of lattice structures, namely: the unit load method, and the energy approach. In this study, an equivalent beam-column analysis is introduced based on an equivalent thin plate approach for lattice structures. A finite-element modeling, using suitably modified ABAQUS software, is used to investigate the accuracy of utilizing the different proposed methods in determining the static and dynamic responses of a guyed tower of 364.5-meter high subjected to static and seismic loading conditions. The results from these analyses are compared to those obtained from a finite-element modeling of the actual structure using 3-D truss and beam elements. Good agreement is shown between the different proposed beam-column models, and the model of the actual structure. However, the proposed equivalent thin plate approach is simpler to apply than the other two approaches.

• Advances in Computational Design
• /
• v.4 no.4
• /
• pp.397-413
• /
• 2019

In this paper, static nonlinear analysis of gable frame is performed using OpenSees software. Both geometric and material nonlinearities are considered in analyses. To consider large displacements, co-rotational coordinate transformation is used in software. The effects of symmetric and asymmetric support conditions including clamped and simple supports are studied. On the other hand, the material nonlinearity is reflected on analyses using Giuffre-Menegotto-Pinto steel material. Note that strain hardening characteristics are also considered in this model. Moreover, I-shaped cross-section is assumed for all members. The results are provided for different geometry properties of gable frame including shallow and deep inclined roof. It should be added that buckling and post-buckling behaviors of gable frame are investigated using related equilibrium paths. A comparison study is also implemented on the responses of buckling loads obtained for different support and geometry conditions. To trace snap-through paths completely, a displacement control method entitled arc-length is utilized. Findings show the capability of proposed model in nonlinear analysis of gable frames.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2004.03b
• /
• pp.66-73
• /
• 2004

Prototype crushed-stone compaction pile(${\Phi}=700mm$) were constructed on specific test site. Static loading tests for crushed-stone compaction piles were performed. Based on the static loading test results, finite element analysis was performed using software PENTAGON 3D. Numerical analysis were done for the area replacement ratio($a_s$) of $20{\sim}70%$ and $a_s$ was varied as a step of 10%. In the single crushed-stone compaction pile, settlement was decreased as $a_s$ was increased. In the group pile, this tendency was similar. In the in-sit test and numerical analysis, as $a_s$ increased, the stress concentration ratio was increased. But $a_s$ in the numerical analysis were more than that of in-situ test, greatly.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.11 no.3
• /
• pp.55-61
• /
• 2012

The structure of winch brake disk was successfully designed and developed based on sizing optimization. In this research, static analysis was performed by commercial software ANSYS v12.0. To simulate the working process of disk brake, the real properties of materials and working conditions were considered. Based on the results of the static structural analysis, the existing designs of the brake discs were optimized. Among existing designs, there are three cases that have achieved an efficient light weight around 200g. As a result, the optimized weight of each case was 3.41kg, 3.42kg, and 3.44kg, respectively. Finally, through prototyping and performance testing, the stability of the optimized brake disc was verified. Although, this free-fall winch brake disk had been developed in design and evaluation techniques, more detailed plans for developing the disk brake structure were also proposed as a further study based on this research.