• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.511-513
• /
• 2004

정보화 시대로의 진입에 따라 소프트웨어 개발 품질 프로세스와 품질 관리 기법이 발전하고 있다. 이에 따라 ISO/IEC 9126에서는 소프트웨어 품질 모델을 연구하고 ISO/IEC 14598에서는 소프트웨어 제품의 품질 평가에 대해서 연구하고 있다. 그리고 국내 국방 분야에서는 CBD에 대한 표준화가 진행됨에 따라 CBD 소프트웨어에 대한 품질 평가 방법에 대한 요구가 발생하고 있다. 그러나 기존 산출물 검토 방법은 체계적인 절차와 기준이 없으며 더 나아가 정량적인 품질 평가는 불가능한 상황이다. 따라서 본 논문에서는 CBD 기반 소프트웨어 개발 산출물에 대한 정량적 품질 평가 모델을 제안하고자 한다. 이를 위해 국방 CBD 방법론의 단계별 활동과 활동별 산출물을 살펴보고 품질 평가 대상을 선정하며 대상별 내ㆍ외부 척도를 통해 점검표를 만든다. 그리고 점검표를 통한 점검결과를 분석함으로써 CBD 기반 개발 산출물의 품질을 정량적으로 평가하고 지속적으로 품질을 관리할 수 있다.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2006.04a
• /
• pp.59-63
• /
• 2006

본 연구의 목적은 GPS관측에 의한 세계측지계 성과의 산출방안을 연구하는데 그 목적이 있다. GPS 관측 데이터와 상시관측소의 데이터를 활용하여 세계측지계 성과를 산출하기 위한 방안을 연구한다. GPS 관측 데이터의 후처리 결과 상시관측소의 데이터를 사용하지 않았을 경우와 사용하였을 경우의 폐합차를 분석한 결과 모두 정밀1차 기준점 측량작업규정에 만족함을 알 수 있었다. 또한 GPS상시관측소의 데이터를 활용하여 각 측점 지점의 좌표를 산출한 결과, 상시관측소 3개소의 데이터를 사용하였을 경우에 비해 사용하지 않았을 경우의 오차가 가장 크게 나타났으며 1개소 사용, 2개소 사용할 때 점차적으로 오차가 감소하고 있음을 알 수 있었다. 따라서 상시관측소를 고정점으로 사용하되 적어도 3점이상의 점을 사용하여야 함을 알 수 있었다. 본 연구는 제한된 일부 지역을 대상으로 GPS 상시관측소의 관측 데이터를 사용하여 세계측지계의 성과를 산출 한 연구로 향후 광범위한 지역에서의 GPS 상시관측소의 활용에 대한 심도 있는 연구가 진행되어야 할 것이다.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.21.4-22
• /
• 2011

IVS (International VLBI Service for Geodesy and Astrometry) 통합분석센터는 개별 IVS 분석센터의 산출물을 통합하고 그 결과물을 IERS (International Earth Rotation and Reference Systems Service)에 제공하여 국제 지구기준좌표계를 구축하고 지구회전파라미터를 결정하는데 핵심적인 역할을 한다. 한국천문연구원(KASI)은 2008년 10월 IVS 통합분석센터로 선정되어 현재 통합 분석 시스템을 구축하고 있다. 정규운영에 앞서 통합용 분석 소프트웨어를 정비하고, KASI 통합분석센터의 통합해를 타 IVS 통합분석센터 통합해와 비교 검증하는 것은 필수적이다. 이 연구에서는 통합분석처리를 위해서 GPS 자료처리 소프트웨어인 Bernese 5.0을 IVS 산출물 형식에 맞추어 수정 보완한 후 활용한다. 이 발표에서는 1984년부터 현재까지의 IVS 분석센터의 장기간 산출물을 수집하고 Bernese 5.0을 이용하여 지구회전파라미터(X-극, Y-극, UT1-UTC와 각각의 시간변화율)의 통합해를 산출한 결과를 소개한다. 또한, 타 IVS 통합분석센터의 통합해와 비교 검증결과를 논한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.07a
• /
• pp.24-27
• /
• 2015

본 연구에서는 해군 함정이 협수로 연안항해시 함위를 산출하는 방법인 교차방위법을 다양한 관점에서 살펴보았다. 물표측정 순서에 따른 함위의 정확도를 조함권자가 보고를 받는 시점을 기준으로 살펴보았으며, 함위 산출 후 조함권자에게 보고사항 중 초급 장교들이 어려워하는 권고침로 산출방법을 알기쉽게 정리하였다. 또한 상황에 따라 함 항해안전 우선순위를 구분하여 간략하게 보고하는 방법을 제시함으로써 협수로 항해를 하는 해군함정의 안전항해를 보장하기 위한 방안을 제시하였다.

• Journal of the Korea Computer Industry Society
• /
• v.7 no.4
• /
• pp.293-298
• /
• 2006

A factorization is an extremely important part of multi-level logic synthesis. The number of literals in a factored form is a good estimate of the complexity of a logic function, and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube Boolean subexpression pairs from given expression. Experimental results on various benchmark circuits show the improvements in literal counts over the algebraic factorization based on Bryton's co-kernel cube matrix.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.04a
• /
• pp.283-286
• /
• 2003

국내의 12개소 저산출 우물을 대상으로, 외국의 유정들에서의 산출량 증대를 위하여 많이 사용되고있는 인공수압파쇄 방법을 적용하여 산출성 증대 효과를 검증하였다. 12개소에 대하여 수압파쇄시험 전후로 양수 시험을 실시하여 투수성 증대 등의 효과와 비양수량을 정량적으로 평가한 결과, 비양수량의 경우 전체적으로 평균 약 45%의 증가하였으며 투수량계수 또한 약 26%가 증가하였다. 이러한 결과는 인공수압파쇄 방법이 대수층내 열극의 생성 혹은 확장 및 균열내의 막힘(clog) 물질 제거를 통해 투수성을 상당히 개선시킨 것으로 평가된다. 특히, 현재까지의 시험 결과, 퇴적암류 지역에서 보다 화성암류 지역에서의 시험 결과가 양호하게 나타났다. 화성암 지역에서 개발된 홍천에서의 사례를 볼 때, 고압의 주입을 통하여 상부 및 하부의 파쇄대가 확장 연결되고, 이들 파쇄 열극에 부착된 광물학적, 생물학적 막힘 물질이 제거되면서 산출성이 증대되는 것으로 나타났다.

• Annual Conference on Human and Language Technology
• /
• 2009.10a
• /
• pp.73-76
• /
• 2009

본 논문에서는 한국어 단어를 산출하는 과정에서 음절 내 부호화 과정을 규명하기 위해 2개의 단어번역과제 실험을 수행하였다. 한국어 산출에서 종성점화효과를 검증한 실험 1에서 종성 반복 조건과 통제조건 간에 단어번역시간에서 차이를 보이지 않았다. 반면에 실험 2에서는 11ms의 부적인 중성점화효과를 보였다. 구민모와 남기춘(2009)과 본 연구의 결과를 종합하면, 다음과 같은 결론에 도달한다: (1) 한국어 산출 어휘집에서 음절은 "음절체+종성"의 위계적인 내적 구조로 표상된다. (2) 음절 내 부호화는 음절체와 종성이 계열적인 순서로 진행된다. (3) 음절체를 구성하는 초성과 중성이 계열적인 순서로 음절구조에 삽입된다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.93-96
• /
• 2010

현재 국내외에서 Building Information Modeling을 적용한 여러 분야의 연구가 활발하게 진행되고 있으며, 일부 국외에서는 3D 기반의 견적을 실제 프로젝트에 반영하고 있다. 반면, 국내 건설 프로젝트에서는 여전히 2D 설계도면과 물량산출 프로그램을 이용하여 견적이 이루어지고 있다. 작업의 신속성 및 정확성을 중요시하는 국내 견적 문화에서는 3D 기반의 물량산출 방식 도입을 부정적으로 바라보는 시각이 있으나, 향후 건설 산업의 경쟁력 확보를 위해서 3D 기반 견적작업이 필요하다. 이에 국외에서 상용화된 견적 시스템을 국내 건설 프로젝트에 적용한 결과, 몇 가지 한계점이 있는 것으로 드러나 국내 견적 방식에 적합한 3D기반의 물량산출 프로그램 개발이 절실한 상황이다. 따라서 본 연구에서는 국내 건설 산업에서의 물량 산출 특성을 반영한 공법기반 견적자동화 시스템 개발 및 검증을 통해 국내 3D 기반의 견적 도입을 앞당기고자 한다.

• Aerospace Engineering and Technology
• /
• v.1 no.2
• /
• pp.11-18
• /
• 2002

The structural load analysis of 50m class airship was performed. The airship maneuver condition for analysis was defined. Aerodynamic, inertia and buoyance models were built. Control surface motion to make defined maneuver condition were calculated. Load factors, load, shear and bending moment envelops were developed for full airship and tailwing. Gondola design loads were developed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.615-618
• /
• 2003

본 논문에서는 컨베이어 벨트상에서 이송되는 대용량 소포영상의 획득과정을 통해 ROI(Region of Interest) 고속추출하기 위한 방법 중에서 소포의 면적을 산출하기 위한 외형 좌표값을 산출하는 방법을 제시한 것이다. 이송하는 과정에서 높이센서의 값과 투입되는 각도에 따라 최장길이가 다르지만 이 값도 산출이 용이하다 이와 같은 정보와 결합하여 소포의 부피를 산출을 위해 사용될 수 있는 소포의 외형 좌표값들의 산출 방법과 활용방법을 제시한 것이다. 초기과정에는 불필요한 영역을 검사하기 위한 조건과 유사한 패턴을 단계적으로 제거하는 방법을 적용하였다. $4,096{\times}4,096$ 이상의 대용량 영상에서 불필요한 영역 제거 시간을 포함하여 평균 30.85msec 이내에 추출이 가능한 방법을 제시한 것이다.