• 지구물리와물리탐사
• /
• 제5권3호
• /
• pp.193-198
• /
• 2002

시추공간 파선 토모그래피에 있어서 결과물로 얻어지는 지하의 속도구조를 왜곡시키는 요인으로는 source static, 초동발췌오차 및 부적절한 초기속도 모델에 의한 국부적인 최소값으로의 수렴 등으로 요약된다. 본 논문에서는 이러한 오차생성 요인들 중에서 source static을 자동으로 보정해주는 알고리즘을 소개하고 있다. 소개된 알고리즘은 발췌된 초동자료의 송신기방향으로의 변화를 이용하여 정보정을 자동으로 계산하는 방법으로서, 실제 자료에 대해 적용해 본 결과 매우 만족스러운 결과를 보였으며, 사용자로 하여금 일관되며 자동적인 정보정 적용으로 인해서, 보다 신뢰할 수 있는 속도구조를 얻는데 도움을 줄 수 있을 것으로 예상된다.

• 전기의세계
• /
• 제14권3호
• /
• pp.28-33
• /
• 1965

This experiment is based on "the feasible improvement studies for an eliminating device of the static electricity which applies the ionizing effect of beta radiation." In order to accomplish this object, the following problems were necessarily considered to investigate and to determine. The efficiency of the elimination of static electricity was determined by means of measuring the ion current between electrically charged plates with micro-ammeter. The effects of various factors, i.e., the distance between charged plate and radiation source, the activity of radiation source, the electric otential and the area of the charged plate, the shape of the source housing, the lining of backscattering material (Pb) on the source housing surface and blowing of ionized air, on the static electricity eliminating efficiency were studied. The beta radiation sources used in this experiment were S$^{35}$ and Sr$^{90}$ -Y$^{90}$ . It was revealed that ion current increased with source activity, the electric potential and area of the plates, the lead (Pb) lining on the surface of the source housing and the velocity of the ionized air blowing. As one could expect the S$^{35}$ was more effective to increase the ion current since it is known to be a higher specific ionization source than Sr$^{90}$ -Y$^{90}$ . The detailed result and performance of the eliminating device of the static electricity are described here.ibed here.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 1996년도 창립기념 전력전자학술발표회 논문집
• /
• pp.89-92
• /
• 1996

This paper describes a detailed simulation model of the static condenser (STATCON) to analyze the dynamic interaction with the ac transmission line. The static condenser was represented by a 12-pulse voltage-source inverter sharing an energy storage dc capacitor. The voltage-source inverter consists of two 6-pulse bridges modeled with ideal gate-turn-off switches. The control system for the static condenser was designed through a mathematical model deduced from the equivalent circuit. Simulation results show that the conceived model is very effective to analyze the dynamic interaction between the static condenser and the ac transmission system.

• 한국IT서비스학회지
• /
• 제17권3호
• /
• pp.171-189
• /
• 2018

To remove software defects and improve performance of software, many developers perform code inspections and use static analysis tools. A code inspection is an activity that is performed manually to detect software defects in the developed source. However, there is no clear criterion which source codes are inspected. A static analysis tool can automatically detect software defects by analyzing the source codes without running the source codes. However, it has disadvantage that analyzes only the codes in the functions without analyzing the relations among source functions. The functions in the source codes are interconnected and formed a social network. Functions that occupy critical locations in a network can be important enough to affect the overall quality. Whereas, a static analysis tool merely suggests which functions were called several times. In this study, the core functions will be elicited by using social network analysis and DEA (Data Envelopment Analysis) for CUBRID open database sources. In addition, we will suggest clear criteria for selecting the target sources for code inspection and will suggest ways to find core functions to minimize defects and improve performance.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제17권6호
• /
• pp.1689-1705
• /
• 2023

To deal with the potential XSS vulnerabilities in the source code of the power communication network, an XSS vulnerability detection method combining the static analysis method with the dynamic testing method is proposed. The static analysis method aims to analyze the structure and content of the source code. We construct a set of feature expressions to match malignant content and set a "variable conversion" method to analyze the data flow of the code that implements interactive functions. The static analysis method explores the vulnerabilities existing in the source code structure and code content. Dynamic testing aims to simulate network attacks to reflect whether there are vulnerabilities in web pages. We construct many attack vectors and implemented the test in the Selenium tool. Due to the combination of the two analysis methods, XSS vulnerability discovery research could be conducted from two aspects: "white-box testing" and "black-box testing". Tests show that this method can effectively detect XSS vulnerabilities in the source code of the power communication network.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1131-1139
• /
• 2020

소스코드에 대한 정적 분석은 광범위한 소스코드에 대해서 잔존하는 보안약점을 찾는 것으로 정적 분석 도구를 활용하여 점검을 하고, 그 결과에 대해서 정적 분석 전문가가 정탐 및 오탐 분석을 한다. 이 과정에서 분석양이 많고 오탐의 비율이 높아 많은 시간과 노력이 들어가게 되어 효율적으로 분석하는 방안이 요구되고 있다. 또한 전문가들은 정·오탐 분석을 할 때 결함이 발생한 라인의 소스코드만 보고 분석을 하는 경우는 드물다. 결함의 유형에 따라서 주변의 소스코드를 같이 분석하고 최종 분석 결과를 내리게 된다. 이러한 정적 분석 도구를 사용하여 전문가가 정·오탐을 판별하는 어려움을 해결하기 위해서 본 논문에서는 정적 분석 도구가 찾은 보안약점이 정탐인지 아닌지를 전문가가 아닌 인공지능을 통해 판별하는 방법을 제안한다. 또한 이러한 기계학습에 사용되는 학습 데이터(결함주변 소스코드)의 크기가 성능에 어떤 영향을 미치는지 실험을 통해 최적의 크기를 확인하였다. 이 결과를 통해 정적 분석 후 정·오탐을 분류하는 정적 분석 전문가의 업무에 도움을 줄 것으로 기대한다.

• Journal of Magnetics
• /
• 제22권1호
• /
• pp.14-22
• /
• 2017

The NMR's probe consists of the static magnetic field generator (magnetic source) and the RF coil. It is very strict for the homogeneity of the static magnetic field intensity of the magnetic source, so the cost of the magnetic source is more expensive in the entire nuclear magnetic resonance instrument. The magnetic source generally consists of electromagnet, permanent magnet and superconducting magnet. The permanent magnet basically needs not to spend on operation and maintenance and its cost of manufacture is much cheaper than the superconducting magnet. Therefore, the permanent magnet may be the only choice for the static magnetic field device if we want to use the magnetic resonance instrument as an analyzer for production by reducing price. A new probe magnet was developed on the basis of the permanent magnet ring in this paper to provide a technological way for reducing the manufacturing cost, weight and volume of the existing nuclear magnetic resonance instrument (including MRI) probe.

• 대한전기학회논문지
• /
• 제39권11호
• /
• pp.1183-1190
• /
• 1990

In this paper, instantaneous reactive power compensation algorithm is proposed and analyzed. The static Var generator developed in this paper is the current source PWM converter using hysteresis comparator method, which compensates the reactive power by detecting each instantaneous phase voltage and line current, independently. Some aspects on the static Var compensator-such as inductance, capacitance, hysteresis width, and switching frequency, etc.-are discussed. The dynamic performances are examined through digital simulation and experimental test.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.

• 정보보호학회논문지
• /
• 제20권6호
• /
• pp.147-155
• /
• 2010

소스코드의 정적분석 기술은 소스코드 자체에 내재된 취약성을 찾는데 활용되는 중요한 기술로 인식되고 있다. 본 논문은 정보시스템의 소스코드 보안성 수준을 평가하는 방법으로 정적분석 결과인 소스코드의 취약성 정보와 프로그램이 처리하는 정보의 중요도를 활용하는 평가 메트릭의 설계 및 활용을 소개한다. 소스코드 보안성 메트릭은 소스코드의 취약점 수준을 개발 과정에서 미리 파악할 수 있도록 도움을 준다는 측면에서 평가자와 개발자 모두가 활용할 수 있다. 특히 평가자는 보안 메트릭을 통해 소스코드의 성격과 요구되는 정보의 보안수준에 따라 소스코드의 보안 수준을 점검하며, 코드 검수에 활용할 수 있다.