• Electronics and Telecommunications Trends
• /
• v.32 no.1
• /
• pp.102-115
• /
• 2017

본고에서는 SW 개발 R&D 프로젝트에 개발 소스 품질 검증을 위한 정적분석 실행방안을 기술한다. 정적분석 실행 방안으로 소스 코드 품질 검증 대상 SW 개발 R&D 프로젝트 범위와 정적분석 검증 기준을 기술하고, 정적분석 검증을 위한 구체적 실행 방안과 검증 프로세스 그리고 정적분석 검증을 지원 환경 체계를 제시했다. 또 제시된 정적분석 검증 실행 방안에 근간하여 수행 중인 프로젝트에서 개발한 소스 코드에 대해 시범적으로 정적분석 검증을 수행하고 이를 바탕으로 정적분석 검증 실행의 안정적인 도입 및 운영 방향을 시사점으로 기술하였다. 제시된 정적분석 검증 실행 방안은 SW 개발 R&D 프로젝트에서 개발 소스 코드 품질 관리 및 유지를 위한 방안으로 고려해 볼 수 있을 것으로 기대한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.227-229
• /
• 2012

본 논문은 Android 프로그램의 정적 분석 방법을 논의한다. Android 프로그램 정적 분석의 목적은 오류발견, 개인정보 해킹 코드 발견, 바이러스 발견, 프로그램 분류 등등이다. 본 논문에서는 Android 프로그램의 분석을 위하여 구문 패턴 정적 분석과 프로그램으로부터 객체 다이아그람과 Flowchart 를 생성하여 프로그램 동적 실행을 추정하여 분석하는 통합된 정적 분석 방법을 논의한다. 프로그램 실행 추정 분석은 프로그램에서 객체 생성, 메소드 호출, 데이터 흐름, 실행 흐름, API 호출과 진행 과정 등을 추정하여, 구문 패턴 정적 분석만으로는 파악하지 못하는 프로그램 실행의 동적 분석이 가능하도록 한다.

• Computational Structural Engineering
• /
• v.9 no.4
• /
• pp.117-126
• /
• 1996

Damage detection methods using structural tests can be divided into two methods, i.e., static and dynamic. The static methods which use the stiffness properties of the structure are simpler than the dynamic methods. However, static approaches are very sensitive to the displacement measurement noises and modeling errors. The dynamic methods also have limitations in acquiring the natural frequencies and mode shapes of the high frequencies. In this study, a method for the structural damage assessment using sensitivity matrices is developed, in which the drawbacks of the static and dynamic methods can be compensated. Based on the measurement data for the static displacements and dynamic modal properties, the damage locations and the degree of damage are determined using the presented sensitivity matrix method. The efficiency of the proposed method has been examined through numerical simulation studies on truss type structures.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.77-94
• /
• 2011

This study aims to provide a teaching strategy accommodating the symbols of the definite integral and guiding students through the meaning of notations in area and volume calculations, based on characterization as to how students comprehend the symbols used in the Riemann sum formula and the definite integral, and their interrelationship. A survey was conducted on 70 high school students regarding the historical background of integral symbols and the textbook contents designated for the definite integral. In the following analysis, the comprehension was qualified by 5 levels; students in higher levels of comprehension demonstrated closer relation to the history of integral notations. A teaching strategy was developed accordingly, which suggested more desirable student understanding on the concept of definite integral symbols in area and volume calculations.

• Geophysics and Geophysical Exploration
• /
• v.27 no.2
• /
• pp.129-143
• /
• 2024

In magnetotelluric (MT) surveys, small inhomogeneities near the surface cause a static shift in which apparent resistivities shift regardless of frequency. As the static shift in MT data leads to errors in subsurface structure interpretation, many studies have been conducted over the past few decades to mitigate or remove the distortions it caused. The most representative method involves removing static shifts from the data before inversion. Conversely, static shifts can be corrected during inversion or included in the inversion process. In addition, other geophysical data can be used to remove static shifts. However, the correction methods are limited to one-dimensional (1D) static responses, and limitations remain in two- or three-dimensional (2D or 3D) interpretation of distorted MT data owing to static shifts. This study provides a foundation for future studies on static shift by analyzing several previously published methods.

• Geophysics and Geophysical Exploration
• /
• v.6 no.4
• /
• pp.199-206
• /
• 2003

Characteristics of the static shift are discussed by comparing the three-dimensional MT inversion with/without static shift parameterization. The galvanic distortion by small-scale shallow feature often leads severe distortion in inverted resistivity structures. The new inversion algorithm is applied to four numerical data sets contaminated by different amount of static shift. In real field data interpretations, we generally do not have any a-priori information about how much the data contains the static shift. In this study, we developed an algorithm for finding both Lagrangian multiplier for smoothness and the trade-off parameter for static shift, simultaneously in 3-D MT inversion. Applications of this inversion routine for the numerical data sets showed quite reasonable estimation of static shift parameters without any a-priori information. The inversion scheme is successfully applied to all the four data sets, even when the static shift does not obey the Gaussian distribution. Allowing the static shift parameters have non-zero degree of freedom to the inversion, we could get more accurate block resistivities as well as static shifts in the data. When inversion does not consider the static shift as inversion parameters (conventional MT inversion), the block resistivities on the surface are modified considerably to match possible static shift. The inhomogeneous blocks on the surface can generate the static shift at low frequencies. By those mechanisms, the conventional 3-D MT inversion can reconstruct the resistivity structures to some extent in the deeper parts even when moderate static shifts are in the data. As frequency increased, however, the galvanic distortion is not frequency independent any more, and thus the conventional inversion failed to fit the apparent resistivity and phase, especially when strong static shift is added. Even in such case, however, reasonable estimation of block resistivity as well as static shift parameters were obtained by 3-D MT inversion with static shift parameterization.

• Proceeding of KASS Symposium
• /
• 2008.05a
• /
• pp.127-132
• /
• 2008

Recent years, the response characteristics of large space structures have been studied. Then, for the large space structures with large rise-span ratio, it is clarified that the anti-symmetric mode are representatively amplified. That means the static seismic load for general ramen structure is not suitable for the space structure. In this paper, we propose static seismic loads for space structures and its concept. And for the space structures of beam string structures, execute the time history analysis and quasi static analysis and compare the results of them. From the results, we can prove the validity of static seismic load for space structure.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.2A
• /
• pp.59-69
• /
• 2011

Nonlinear static procedures (NSPs) basing on the concept of performance based seismic design have become one of the promising procedures for seismic evaluation of buildings. Although it needs much less computational cost compared to nonlinear time history analysis (NTHA), its usages are limited to simple structures by its inherent restriction to structures wherein the fundamental mode dominates the response. Several new nonlinear static procedures (Modal Pushover Analysis; MPA and Improved Modal Pushover Analysis; IMPA) which can consider higher modes effect were introduced. Nonetheless, its applicability for complex structures such as cable-stayed bridge has not studied yet. This paper focuses on applicability of nonlinear static procedures for the seismic analysis of cable-stayed bridges. Moreover, reliability indexes which can predict analysis procedure's accuracy are introduced.

• Journal of Broadcast Engineering
• /
• v.22 no.1
• /
• pp.70-77
• /
• 2017

Among available people counting methods, map-based approaches based on moving interest points have shown good performance. However, the stationary people counting is challenging in such methods since all static points of interest are considered as background. To include stationary people in counting, it is needed to discriminate between the static points of stationary people and the background region. In this paper, we propose a people counting method based on using both moving and static points. The proposed method separates the moving and static points by motion information. Then, the static points of the stationary people are classified using foreground mask processing and point pattern analysis. The experimental results reveal that the proposed method provides more accurate count estimation by including stationary people. Also, the background updating is enabled to solve the static point misclassification problem due to background changes.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.174-177
• /
• 2011

비선형 정적 해석법(NSPs)은 최근 구조물의 지진해석방법으로서 그 사용성을 인정받고 있다. 비선형 정적 해석법은 직관적으로 구조물의 지진해석을 수행할 수 있는 등의 장점으로 빌딩구조물의 지진해석법으로 널리 사용되고 있지만, 기본 진동모드에 의해서 구조물의 거동이 지배되지 않는 구조물의 경우에는 그 사용성에 대한 연구가 매우 제한적이다. 이를 개선하기 위한 고차모드의 기여분을 반영할 수 있는 비선형 정적 해석법들이 제시 되었지만, 교량 구조물에 사용함에 있어서는 여전히 지진의 특성에 따라 그 사용성 및 신뢰성이 크게 변화하는 문제가 발생한다. 이 논문에서는 지진의 특성을 고려할 수 있는 두가지 지수를 제시하고, 이를 이용하여 비선형정적 해석법의 적용성을 사용단계에서 알아 낼 수 있는지에 대한 연구를 진행하였다.