• Title, Summary, Keyword: 정적

Search Result 6,391, Processing Time 0.044 seconds

Static Analysis for Code Quality on R&D Projects of SW Development (SW 개발 R&D 프로젝트에서 소스 코드 품질을 위한 정적분석)

  • Park, J.H.;Park, Y.S.;Jung, H.T.
    • Electronics and Telecommunications Trends
    • /
    • v.32 no.1
    • /
    • pp.102-115
    • /
    • 2017
  • 본고에서는 SW 개발 R&D 프로젝트에 개발 소스 품질 검증을 위한 정적분석 실행방안을 기술한다. 정적분석 실행 방안으로 소스 코드 품질 검증 대상 SW 개발 R&D 프로젝트 범위와 정적분석 검증 기준을 기술하고, 정적분석 검증을 위한 구체적 실행 방안과 검증 프로세스 그리고 정적분석 검증을 지원 환경 체계를 제시했다. 또 제시된 정적분석 검증 실행 방안에 근간하여 수행 중인 프로젝트에서 개발한 소스 코드에 대해 시범적으로 정적분석 검증을 수행하고 이를 바탕으로 정적분석 검증 실행의 안정적인 도입 및 운영 방향을 시사점으로 기술하였다. 제시된 정적분석 검증 실행 방안은 SW 개발 R&D 프로젝트에서 개발 소스 코드 품질 관리 및 유지를 위한 방안으로 고려해 볼 수 있을 것으로 기대한다.

  • PDF

Comprehending the Symbols of Definite Integral and Teaching Strategy (정적분 기호 이해의 특징과 교수학적 전략)

  • Choi, Jeong-Hyun
    • 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.

Structural Damage Detection Method Using Sensitivity Matrices (민감도행렬을 사용한 구조물의 손상추정법)

  • 윤정방;김두기
    • 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.

  • PDF

Characteristics of Static Shift in 3-D MT Inversion (3차원 MT 역산에서 정적효과의 특성 고찰)

  • Lee Tae Jong;Uchida Toshihiro;Sasaki Yutaka;Song Yoonho
    • 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.

A study on the static seimic loads for the space structures of beam string structure (장현보구조형식을 가지는 공간구조물의 정적지진하중 평가법에 관한 연구)

  • Kim, Kwang-Il;Jung, Chan-Woo;Kang, Joo-Won
    • Proceeding of KASS Symposium
    • /
    • /
    • 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.

  • PDF

Detecting False Negatives in Static Analysis Tools Using Test Code Mutants (테스트코드 뮤턴트를 이용하여 정적분석 도구 미검출 찾기)

  • Park, Hyun Woo;Choi, Tae-Hyoung;Doh, Kyoung-Goo
    • Journal of Security Engineering
    • /
    • v.14 no.2
    • /
    • pp.77-90
    • /
    • 2017
  • Modern Software is often exposed to security accidents primarily due to malicious hackings taking advantage of defects and vulnerabilities residing in source code. Recent technological advance and commercial success of static-analysis tools have made it possible for software developers to use the tools and detect safety defects and security vulnerabilities before release. Despite the advantages of static code analysis, the developers tend to avoid using it because of the immoderate false negatives and positives. In this paper, we propose an effective method of automatically generating test codes for static-analysis tools based on mutation testing techniques. In fact, several false-negatives of commercially released a static analysis tool were found by this method.

Seismic Analysis of Cable-Stayed Bridges using Nonlinear Static Procedures (비선형 정적 해석법을 이용한 사장교의 지진해석)

  • Shin, Dong Kyu;Kwak, Hyo-Gyoung
    • Journal of The Korean Society of Civil Engineers
    • /
    • 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.

People Counting Method using Moving and Static Points of Interest (동적 및 정적 관심점을 이용하는 사람 계수 기법)

  • Gil, Jong In;Mahmoudpour, Saeed;Whang, Whan-Kyu;Kim, Manbae
    • 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.

Applicability of Nonlinear Static Procedures with Earthquake Property (지진특성에 따른 비선형 정적해석법의 적용성)

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

  • PDF

High School Students' Understanding of Definite Integral (고등학생들의 정적분 개념 이해)

  • Shin, Bo-Mi
    • School Mathematics
    • /
    • v.11 no.1
    • /
    • pp.93-110
    • /
    • 2009
  • This paper provides an analysis of a survey on high school students' understanding of definite integral. The purposes of this survey were to identify high school students' private concept definitiones and concept images on definite integral. Definitions and images, as well as the relation between them of the definite integral concept, were examined in 108 high school students. A questionnaire was designed to explore the cognitive schemes for the definite integral concept that evoked by the students. The students' individual answers were collected through written environment. Four types of the private concept definitiones and concept images were identified in the analysis.

  • PDF