• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.382-384
• /
• 2001

잘 정의된 소프트웨어 아키텍쳐는 복잡성과 무형성으로 인한 소프트웨어의 개발과 진화의 어려움을 상당히 해소할 수 있다. 소프트웨어 시스템을 아키텍쳐 수준에서 효과적으로 설계, 분석하기 위해서는 아키텍쳐 기술 언어 (ADL)와 이를 지원하는 도구의 사용이 필요하다. 본 논문은 컴포넌트 기반의 도메인 아키덱쳐 모델링 시C2스타일의 아키덱쳐 기술을 지원할 수 있도록 본 연구팀이 정의한ADL로 기술된 아키텍쳐 모델의 편집과 구문 및 의미상의 오류검사를 지원하는 ADL 처리기의 설계와 구현방법을 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.150-152
• /
• 1999

본 연구에서는 원격탐사 데이터베이스를 구축하기 위한 요구사항들을 분석하고, 원격탐사 자료의 메타 데이터 스키마를 설계하고 이를 구현한다. 특히, 현행 지형 공간 표준화 스펙을 따르는 자료구조가 연구되고, OMEGA(Object Management systEem for Geo-Spatial Applications) 객체지향 데이터베이스 관리시스템을 사용하여 SAIF(Spatial Archive and Interchange Format)를 기반으로 한 스키마 구현에 관해 기술한다. 이 연구는 차세대 데이터베이스 기술(예를 들면, 복잡한 데이터 타입 지원, 병렬처리, 사용자 편의성 인터페이스, 그리고 웹(Web) 데이터베이스 기술)에 대한 사전 기초 연구로써 실험적인 대용량 데이터베이스를 구축하기 위하여 수행되어 졌다.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.640-644
• /
• 2009

현재 태양광 산업에서는 고정식 태양광 발전장치보다 발전 효율이 우수한 추적식 태양광 발전장치를 개발하는 연구가 활발하게 진행되고 있다. 추적식 태양광 발전장치는 고정식에 대비하여 단위면적당 일사량을 최대로 유지할 수 있을 뿐만 아니라, 일조시간을 최대로 하여 태양전지의 발전효율을 극대화할 수 있다. 따라서 정밀하면서도 저렴한 태양위치 추적장치는 태양광 발전사업의 경제성을 높이고, 성능 대비 투자비용을 낮춰 태양광 발전설비의 보급을 촉진시켜줄 수 있는 중요한 기술이다. 본 연구는 태양위치를 감지하는데 센서를 사용하지 않고 천문학과 수학을 이용하여 정밀도 1분($0.016^{\circ}$)이내의 태양위치를 계산하는 알고리즘에 관한 것이다. 본 연구에서 제안하는 알고리즘은 장치의 제작비용을 낮추어 줄 뿐 아니라, 발전효율도 높여준다. 구현된 알고리즘을 적용시킨 추적식 태양광 발전장치를 운용 실측한 결과, 최대 30초($0.0038^{\circ}$)의 오차를 보여 추적식 발전장치의 경제성을 높일 수 있고, 시간복잡도(Time Complexity)와 공간복잡도(Spatial Complexity)가 낮아 실시간 태양 추적장치에 최적임을 확인하였다.

• Review of KIISC
• /
• v.19 no.2
• /
• pp.43-52
• /
• 2009

본 논문에서는 가장 대표적 인 보안 운영 체제인 SELinux를 보다 쉽게 이용할 수 있도록 하는 보안 정책 템플릿과 도구를 설명한다. 제안하는 방법론을 위해 먼저 SELinux를 보다 편리하게 이용할 수 있도록 하기 위해 연구된 기존에 도구들이 가지는 문제점을 분석하였다. 그리고 SELinux를 심도 깊게 분석하여 SELinux에서 이용하는 주체, 객체의 타입 그리고 권한을 객체 타입과 객체별, 권한별로 축약하였다. 이처럼 축약되어 간소화된 객체 타입과 권한을 바탕으로 리눅스 시스템이 이용하는 임의적인 접근통제 형태를 지원하는 보안 정책 템플릿 기술언어를 정의하여 SELinux보안 정책의 복잡성을 개선하도록 하였으며 이를 통해 기존 리눅스 시스템 관리자가 이용하기 편리하도록 하였다. 또한 자동으로 제안된 보안 정책 템플릿 언어로 작성된 보안 정책을 SELinux의 보안 정책으로 변환하는 변환기와 자동으로 정책을 생성하는 생성기를 개발하여 SELinux 이용의 편리성을 최대화 하였다.

• Spatial Information Research
• /
• v.3 no.1
• /
• pp.65-80
• /
• 1995

GIS has been developed very rapidly during last few decades and the performance of GIS in terms of information processing such as automated mapping and facility management has been tremendous. However, its analytical capability is still very limited and it is often critisized due to lack of reality. The objective of this research is that first, linking housevalue models to GIS, second, reflecting the complexity of real world into the housevalue model using GIS in terms of incorpor¬rating polycentric urban structure and calculating distance through street network, and third, comparing the results of housevalue model at census tract to that of block group level.

• Annual Conference of KIPS
• /
• 2020.11a
• /
• pp.102-105
• /
• 2020

AI 분석 과정에서 특징 데이터 추출은 분석 성능에 큰 영향을 미칠 뿐만 아니라 가장 많은 시간을 소요하는 과정 중의 하나이다. 계산과학 데이터는 HPC를 활용하여 생산되므로 데이터가 크고 복잡할 뿐 아니라 데이터의 수도 방대한 경우가 많다. 이 때문에 계산과학 데이터로부터 특징 데이터 추출하는 과정은 복잡성이 크고, 소요 시간도 매우 크다. 본 논문은 먼저 계산과학 데이터로부터 특징 데이터 추출하는 과정에 대한 요구사항과 이슈들을 분석한다. 그리고 확장성을 고려한 계산과학 데이터의 인공지능 분석을 위한 특징 데이터 추출 자동화 시스템을 제안한다.

• Journal of the KSME
• /
• v.20 no.5
• /
• pp.340-352
• /
• 1980

원자력발전소의 건설은 부존 에너지원이 한정되어 있는 한국의 현실에서 볼 때 당연히 필요하다 할 것이다. 원자력발전소 건설의 특징은 높은 건설비와 장기간의 건설기간으로 설명 될 수 있 는데 이러한 건설사업을 순조롭게 운영관리하고 고도의 기술과 지식을 활용하여 원자력발전소의 안전성을 확보하기 위해서는 필수적으로 전문용역업체인 A/E회사의 사임운영과 설계엔지니어 링에 적극 개입하도록 하여야 한다. A/E회사는 사업의 운영관리에서부터 시작하여 설계 및 엔지 니어링과 구매관리등 전분야에 걸쳐 전문기술자들을 동원하여 전력회사의 요구에 상응하게 일을 처리할 뿐 아니라 발전소 소유주인 전력회사에 부당성과 가치성을 평가하여 줌으로써 적절한 사업계획과 목표관리를 수행하도록 돕는다. 특히 원자력발전소 설계 및 엔지니어링은 광범위한 기술분야가 합쳐서 이루어지는 결정체로써 기계, 전기, 토목, 건축, 핵공학등의 관련기술자들이 사업책임자(P.M)와 기술책임자(P.E)의 통솔하에 일관성 있게 일을 수행해 나간다. 본 해설에서는 이러한 A/E의 복잡하고 다양한 설계 및 엔지니어링의 내용을 상술하였으며 현재 원자력발전소 A/E회사의 기능과 역할을 알리고 이러한 기술업무의 조속한 국산화를 위해 경주되고 있는 노 력들을 단편적으로 소개하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4259-4265
• /
• 2012

Digital technologies and raising problems in freeform building design and construction in Korea were examined in this paper. Three Korean building cases were researched by having interviews with experts and documentary survey for this purpose. The following problems and important points were drawn from this research. The necessity of panel optimization, significance of the secure file conversion, difficulties in securing constructability of freeform building and using of 3D data for manufacturing panels.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.297-299
• /
• 2016

기술의 발달과 융합으로 사물인터넷(Internet of Things; IoT)의 시대가 열렸다. 빅 데이터와 센서의 발달로 인해 정보는 전과 달리 더욱 사용자와 밀접해졌고 다양해졌으며 양 또한 많아졌다. 이와 더불어 IoT 환경은 다양한 기술들이 융합된 구조로 기존 기술들이 가지고 있는 보안 취약점뿐만 아니라 보다 복잡한 보안 문제점들이 발생할 수 있다. 본 논문에서는 IoT 환경에서 서비스나 IoT 기기들이 갖춰야할 보안 요구사항들을 확장성(scalability), 상호운용성(interoperability), 최소 자원 필요성(minimum resource necessity)으로 분류 하고 정의하였으며, IoT 서비스를 제공하기 위해 사용하는 대표적 프로토콜인 MQTT(Message Queue Telemetry Transfer)와 CoAP(Constrained Application Protocol)에 초점을 맞춰 각각의 표준 문서에서 권고하고 있는 보안 기술에 대해 살펴본다. 또한 그런 기술들에 있어서 발생 가능한 보안 취약점들을 분석하고 이를 해결하기 위한 방법을 제시한다.

• Journal of Internet Computing and Services
• /
• v.17 no.5
• /
• pp.59-65
• /
• 2016

Recently, a study has been progressed about the energy storage system for resolving energy shortage problems in the world. The energy storage system can maximize energy storage system's energy usage by monitoring and controlling about all energy infrastructures on energy network. However, compatibility problems among main components or devices of the energy storage system are obstacles to development of energy storage system products. An extensible profile and extensible profile verification software being able to verify the extensible profile have been required in order to resolve compatibility problems. In this paper, the study on complexity analysis for the extensible profile verification software for the energy storage system is performed. A XML based profile and C language structure based profile are used for analysis of the profile verification software. The complexity of complex verification structure that parses the XML based profile several times and simple verification structure that parses the C language structure based profile are analyzed and compared. Time complexity, space complexity, and cyclomatic complexity are used for complexity analysis. By using these complexity analysis, the study result that compares and analyzes the complexity of XML based and C language structure based profile verification software is presented.