• 천문학회보
• /
• 제37권2호
• /
• pp.124.2-124.2
• /
• 2012

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

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• 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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.704-707
• /
• 2019

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.969-972
• /
• 2015

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.244-247
• /
• 2010

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2020년도 추계학술발표대회
• /
• pp.729-732
• /
• 2020

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

• 한국지반공학회논문집
• /
• 제34권11호
• /
• pp.107-119
• /
• 2018

PHC말뚝, 확장판 선단부착 PHC말뚝, 강관 선단부착 PHC말뚝을 현장 시험 부지에서 시험시공하였다. 이들 선단변형 PHC말뚝들에 대하여 하중전이측정이 수반된 연직압축정재하시험을 실시하였으며 시공직후 항타후 동재하시험을 수행하였다. 또한 선단부만 그라우팅한 선단변형PHC말뚝에 대한 연직압축정재하시험도 실시하였다. 3가지 다양한 선단말뚝들 즉, PHC말뚝, 확장판 선단부착 PHC말뚝, 강관 선단부착 PHC말뚝의 하중-침하량 거동은 거의 동일한 양상을 나타내었다. 따라서 말뚝이 선단지지층에 근입된 길이가 동일하고 말뚝 본체의 직경이 동일할 경우 확장판 선단부착 PHC말뚝 및 강관 선단부착 PHC말뚝의 지지력 증대 효과는 거의 없는 것으로 나타났다. 최종재하하중단계에서 PHC말뚝, 확장판 선단부착 PHC말뚝, 강관 선단부착 PHC말뚝의 주면마찰력은 각각 전체 재하하중의 95.8%, 95.6%, 97.8%를 분담하였으며, 선단지지력은 전체 재하하중의 4.2%, 4.4%, 2.2%를 분담하였다.

• 인터넷정보학회논문지
• /
• 제9권2호
• /
• pp.89-105
• /
• 2008

지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 전기학회논문지
• /
• 제66권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
• /
• 제16권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.