• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.124.2-124.2
• /
• 2012

위성체의 전위는 위성 주변의 우주 환경에 크게 영향을 받는다. 본 연구에서는 과학기술위성 1호(STSAT-1)에 탑재된 LP(Langmuir Probe)와 ESA(Electro-Static Analyzer) 관측 자료를 이용하여 위성체의 전위에 위성 주변 고에너지 입자들이 미치는 영향을 분석하였다. 일반적으로 위성체가 대전되어 위성체의 부동전위가 감소할 때 위성 주변의 플라즈마 밀도는 감소하고 온도는 증가한다. 또한 DMSP 위성 등을 비롯한 이전 관측에서는 고에너지 입자의 플럭스가 증가하는 지역을 위성이 통과할 때 위성체의 전위가 감소하였다. 본 연구에서는 위성이 수 ~ 수 십 keV 정도의 고에너지 입자 플럭스가 증가한 후 감소하는 지역을 통과할 때에도 위성체의 전위가 감소하는 현상을 관측하였다. 고에너지 입자의 플럭스가 감소하는 지역에서 일어나는 위성의 대전현상을 통계적으로 분석해 보고 이러한 결과를 토대로 위성체 전위 변화에 우주환경 변화가 어떤 영향을 주는지 연구하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.129-133
• /
• 2005

This paper describes the methodology of connecting MASTER (Multi-purpose Analyzer for Static and Transient Effects of Reactors) to simulator system, system configuration, and previous test. The actual simulator environment for Youngkwang Unit1 has been developed. It is impossible for the simulator server to execute MASTER code by limitation of computer performance. So, environment of distributed system was developed, and it had a synchronization task. As MASTER and simulator module should be synchronized in different device, the connection of communication was tested and verified.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.704-707
• /
• 2019

오늘날 객체지향 코드 내부 복잡도가 지속적으로 증가하는 데에 반해 IT 벤처/중소기업에서는 요구사항 및 설계문서 미비의 코드 개발과 테스트 중심의 경우가 빈번하다. 이는 시스템의 코드를 이해하고 수정, 유지보수를 하는데 많은 시간과 비용이 투자되고 있다. 본 연구는 객체지향 코드의 내부 구조 시각화를 위해 Tool-Chain방법을 이용한 정적 분석기 구축 및 가시화를 제안 한다. 이를 통해, 역공학 도구, 테스트 프로세스 등을 도입이 어려운 중소기업의 소프트웨어 품질 향상에 도움을 줄 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.969-972
• /
• 2015

오늘날 소프트웨어의 크기는 계속 증가하고 있는데 반해 IT 벤처/중소 업체의 경우 요구사항 및 설계 문서가 없는 경우가 빈번하다. 이러한 시스템의 경우 코드를 이해하여 수정이나 유지보수를 하는데 많은 시간과 비용이 투자된다. 또한 벤처/중소 업체에서 역공학 도구, 테스트 프로세스 등을 도입하여 소프트웨어 품질 향상을 시키기는 현실적으로 비용 면에서 어려움이 있다. 본 연구는 내재된 코드의 오류를 찾기 위해 JDT 기반 정적 분석기를 제안한다. 제안한 분석기의 설계 구조 및 구현으로 개발자 주도 코드 분석을 통해 코드 품질을 향상 시킬 것이다. 또한 요구사항과 코드의 불일치에 대한 가시화를 통해 소프트웨어의 유지보수성을 향상 시킬 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.244-247
• /
• 2010

최근 Application 의 취약성을 악용한 해커들의 시스템 공격 사례가 증가하고 있다. 본 논문에서 다루는 코드 분석기는 이러한 해커의 공격을 사전에 차단하기 위해 사용자로부터 입력받은 Application 의 소스 코드가 사전에 탑재해 놓은 일련의 보안 규칙(Security Rule)을 제대로 준수하는지의 여부를 어휘 분석(Lexical Analysis)과 구문 분석(Semantic Analysis)을 통해 판별해 낸다. 본 코드 분석기는 미국 카네기멜론대학(CMU) 산하의 인터넷 해킹 보안 기구인 CERT 에서 제시하는 규칙을 그대로 적용하여 분석 결과의 정확도와 객관성을 높였으며, 이 분석기를 통해 프로그래머가 신뢰도와 보안성이 높은 소프트웨어를 개발할 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.729-732
• /
• 2020

앞으로 4 차 산업혁명 시대에 많은 인공지능 관련 소프트웨어 및 데이터 기반 소프트웨어가 개발이 필수적이다. 문제는 이런 소프트웨어 관련 품질을 고려하지 않고 있다. 또한 많은 Python 관련 공개 소프트웨어에 대해 품질 보장이 불가능하다. 이를 위해, 코드 가시화 메커니즘, 인공지능 관련 코드 품질을 높이기 위해 AI 관련 Python 코드 복잡도 기반 고품질화 및 코드 가시화 메커니즘을 제안한다. 또한 기존의 복잡도를 측정하는 품질 메트릭스 중 하나인 McCabe's Cyclomatic 복잡도의 개선을 제안한다. 기존의 복잡도 공식에 응집도, 결합도를 가중치로 적용하여 개선된 복잡도를 계산한다. 소프트웨어의 내부 구조 및 관계와 복잡도 정보를 가시화하여 소프트웨어의 품질 향상에 기여한다.

• Journal of the Korean Geotechnical Society
• /
• v.34 no.11
• /
• pp.107-119
• /
• 2018

PHC piles, extension-plate attached PHC piles, and steel pipe attached PHC piles were installed in field test site. Axial compressive static load tests including load distribution test and Pile Driving Analyzer (after driving) were done on the tip-transformed PHC piles and the grouted tip-transformed PHC piles. Load-displacement curves of three different type of PHC piles, which are PHC pile (TP-1), extension plate attached PHC pile (TP-2) and steel pipe attached PHC pile (TP-3), showed almost the same behavior. Thus bearing capacity increase effect of the tip-transformed PHC piles was negligible. Share ratio of side resistance and end bearing resistance for PHC pile, extension plate attached PHC pile, and steel pipe attached PHC pile were 95.8% vs. 4.2%, 95.6% vs. 4.4%, and 97.8% vs. 2.2% respectively.

• Journal of Internet Computing and Services
• /
• v.9 no.2
• /
• pp.89-105
• /
• 2008

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.1
• /
• pp.7-15
• /
• 2017

Ambient Adjusted line Rating(AAR) method for overhead transmission lines considering Risk Tolerance(RT) was proposed in this paper. AAR is suitable for system operators to plan their operation strategy and maintenance schedule because this can be designed as a seasonal line rating. Several candidate transmission lines are chosen to apply the proposed method in the paper. As a result, it is shown that system reliability was significantly enhanced through maximizing transfer capability, solving the system constraints.

• Journal of the Korean Wood Science and Technology
• /
• v.16 no.3
• /
• pp.48-64
• /
• 1988

This study was carried out to investigate the free vibrational properties of traditional and replaceable species for sounding board, using piezoelectrical accelerometer and signal analyzer. In the study, the frequency equations of free-free beam carrying a concentrated mass in the transverse vibration and of free-mass beam in the longitudinal vibration were used. The results obtained were as follows. 1. Average values of dynamic modulus of rigidity of Korean commercial species measured were as follows. Paulownia tomatosa (Thunb.) Steudel: $5.590\times10^9\;dyne/cm^2$ Tilia amurensis Rupr.: $5.414\times10^9\;dyne/cm^2$ Macckia amurensis Rupr.: $10.044\times10^9\;dyne/cm^2$ Fraxinus mandshurica Rupr.: $8.876\times10^9\;dyne/cm^2$ Ulmus davidiana var.japonica Nakai: $8.677\times10^9\;dyne/cm^2$ Pinus rigida Miller: $6.33\times10^9\;dyne/cm^2$ Fraxinus rhynchophylla Hance: $4.666\times10^9\;dyne/cm^2$ 2. The ratio of dynamic transverse Young's modulus to dynamic modulus of rigidity, $E_T/G_{LT}$, was 24.922 for Fraxinus rhynchophylla Hance, which was the highest, 7.317 for Paulownia tomentosa (Thunb.) Steudel, which was the lowest among Korean commercial species measured. 3. The value of longitudinal dynamic Young's modulus was about 3.7% and 19.8%, respectively, higher than those of transverse dynamic and static Young's modulus. The value of transverse dynamic Young's modulus was about 15.5% higher than that of static Young's modulus. 4. Predicted value of MOR in terms of correlation coefficient by transverse dynamic Young's modulus was slightly higher than that of static Young's modulus, but no significance was found out. 5. Transverse dynamic Youne's modulus was $(2.002\pm0.288)\times10^{11}\;dyne/cm^2$ for Fraxinus mandshurlca Rupr., which was the highest, $(0.601\pm0.100)\times10^{11}\;dyne/cm^2$ for Paulownia tomentosa (Thunb.) Steudel, which was the lowest among Korean commercial species measured. The sound velocity of sitka spruce was 5,685 m/sec, which was the highest. 6. Internal friction of Paulownia tomentosa (Thunb.) Steudel was shown the lowest value among Korean commercial species, $(8.795\pm1.795)\times10^{-3}$, but was higher than that of sitka spruce, $(7.331\pm0.991)\times10^{-3}$. Internal friction was shown negative correlation with density and dynamic Young's modulus, respectively. 7. K value was affected largely by internal friction and was the highest, $2.225\times10^8$ for Paulownia tomentosa (Thunb.) Steudel and was the lowest, $0.550\times10^8$ for Fraxinus rhynchophylla Hance. K value of Paulownia tomentosa (Thunb.) Steudel was higher than that of sitka spruce and K values of melapi and cottonwood, which have been considered to be replaceable species with sitka spruce in the piano industry, were lower than those of Paulownia tomentosa (Thunb.) Steudel and mill amurensis Rupr.