• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.716-730
• /
• 2008

서비스 지향 아키텍처에서 서비스 제공자는 재사용 가능한 서비스를 개발하고 저장소에 배포하며, 서비스 사용자는 인터페이스를 통하여 블랙박스 컴포넌트 형태의 서비스를 사용한다. 저장소에 배포된 서비스는 시간이 지남에 따라 변경/진화될 가능성이 높고, 다양한 언어 또는 플랫폼을 사용하여 구현되는 이질성(Heterogeneity)을 가진다. 이런 이유로, 서비스 사용자는 서비스 내부 구조를 알기 힘들기 때문에, 서비스가 기능을 수행하는 도중 문제점이 발생하면 문제점을 식별하여 해결하는 등의 서비스 결함을 효과적으로 관리하는 것이 어렵다. 자율 컴퓨팅(Autonomic Computing, AC)은 사람의 개입을 최소화하고 시스템이 스스로의 결함을 관리하도록 설계하는 방식이다. AC는 시스템을 자율적으로 결함을 관리할 수 있는 주요 원칙들을 제안하고 있으므로, 서비스 결함 관리에 관한 기술적 이슈들은 AC의 기법들을 사용하여 해결될 수 있다. 본 논문에서는 SOA 환경에서 자율적으로 서비스의 결함을 관리하기 위한 이론적 모델인 Symptom-Cause-Actuator(SCA) 모델을 제시한다. SCA 모델은 의사가 환자를 치료하는 과정으로부터 유도된다. 먼저, 다섯 단계로 구성된 SCA 컴퓨팅 모델을 정의하고 SCA의 메타모델을 제안한다. 또한, SCA 모델의 저장소 역할을 하는 SCA 프로파일을 정의하고, SCA 프로파일에 저장되는 symptom, cause, actuator의 인스턴스와 이들 간의 의존 관계를 기계가 인식할 수 있는 형식으로 표현한다. 그리고, 서비스의 결함을 자율적으로 관리하는 컴퓨팅 모델의 다섯 단계를 수행하는데 필요한 알고리즘을 상세하게 기술한다. 마지막으로, SCA 모델의 실행 가능성을 보여주기 위하여, SCA 프로파일과 알고리즘을 구현한 프로토타입을 '비행기 예약 시스템'에 적용하는 사례 연구를 수행한다.

• 한국과학교육학회지
• /
• 제34권8호
• /
• pp.755-765
• /
• 2014

통섭 또는 융복합은 오늘날 매우 많은 관심을 받고 있다. 이에 본 연구에서는 과학과 예술의 통합을 시도한 근대 과학자와 예술가들의 발견 과정을 중심으로 융복합의 특징을 살펴보고, 근대의 사회철학적 배경을 고려함으로써 오늘날 과학교육이 융복합교육으로서 필요한 과제와 방향에 대해 논의하고자 한다. Netwon, Kepler, Galileo 등의 근대 과학자들은 예술의 사실적 묘사와 같은 방법을 통해 과학 지식을 표현하고 추론하는 데 활용하였으며, 예술과 과학의 규칙과 대응 관계를 통해 새로운 이론을 주장하고자 하였다. 예술가들 역시 과학을 통해 보다 사실적인 현상의 묘사를 힘썼으며, 특히 선원근법을 중심으로 한 해부학과 광학에 주로 의존하였다. 또한 과학자들과 예술가들 모두 유비 추리를 통한 일종의 "빌려오기"를 통한 융복합을 시도하였다. 이는 시기적으로 신플라톤주의의 영향을 받은 것으로 해석할 수 있다. 당시의 과학자들은 상황이나 장소에 대한 구분 없이 적용되는 보편타당한 법칙과 방법을 추구하였으며, 예술과의 융합을 통해 과학 지식을 예술에 접목시키기도 하고 예술의 유용한 도구를 과학적 발견에 활용하기도 하였다. 따라서 오늘날 융복합교육으로서의 과학교육은 학생들에게 보다 전체적인 관점에서 바라볼 수 있도록 해야 하며, 과학과 예술 간의 통합을 통한 아이디어 창출을 목표로 과학과 예술 간의 상호 보완적인 관계를 중심으로 초학문적 시도를 장려해야 한다. 또한, 협동학습의 조직 및 관련되는 평가 기준의 마련을 통해 집단적 창의성을 증진시키고 일상 맥락에서의 문제 해결을 통한 경험을 강조해야 할 것이다.

• 한국산학기술학회논문지
• /
• 제14권11호
• /
• pp.5827-5833
• /
• 2013

과학기술의 발전으로 인해서 현대의 시스템은 과거에 비해 대형화되고 복잡화되었다. 복잡한 시스템 개발에서 복잡도를 줄이기 위한 방법으로 모델기반 시스템엔지니어링(MBSE)이 다양한 분야에서 적용되고 있다. 하지만 다양한 언어를 통하여 모델링이 이루어지고 있으므로, 개발 프로세스에 따른 산출물의 일관성 및 이해관계자간의 의사소통에 문제가 발생하고 각 MBSE 도구의 지원 다이어그램의 차이에 따라 산출물의 표현이 제한되기 때문에 그 효과성이 부족하다. 본 논문에서는 전통적 다이어그램의 하나인 데이터흐름도(DFD)를 SysML의 다이어그램으로 변환하는 법칙을 연구함으로써 이미 구축된 모델들을 재사용하여 SysML로 구축될 수 있도록 한다. 특히, 각 다이어그램의 메타모델(Meta Model)을 분석하고, 이분그래프를 통해 각 구성요소의 연결 관계를 확인하여 변환의 근거를 마련하고 무결성을 확인하며 보다 효과적인 변환 법칙을 제시하고 있다. 또한 위 내용을 함정전투체계설계에 적용해 봄으로써 그 효과성을 확인한다. 본 연구의 결과를 기반으로 향후 추가연구를 수행하면, 이미 구축된 시스템 개발과정에서 산출된 모델들을 SysML 을 이용하여 일관성 있게 표현할 수 있을 것 이다. 그리하여 산출물의 일관성을 높이고 이해관계자간의 의사소통을 원활하게 함으로써, SysML을 이용한 효과적인 모델기반시스템엔지니어링(MBSE)에 도움이 될 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권1호
• /
• pp.1-10
• /
• 2007

본 논문에서는 MPEG-7 시각 정보 기술자인 Dominant Color와 Contour Shape 기술자에 대한 새로운 인덱싱 알고리즘을 제안한다. Dominant Color 기술자에서 사용되는 비교 연산 식은 가우스 혼합 모델에 기초하고 있기 때문에 기술자의 각 속성들을 하나의 칼라 히스토그램 형태로 변형시켜서 인덱스로 사용한다. Contour Shape 기술자는 두 단계 형태의 알고리즘을 사용하는데, 첫 번째 단계에서는 글로벌 변수인 Eccentricity와 Circularity를 사용한 대략적인 비교를 통해서 비슷하지 않은 이미지 오브젝트를 배제시키고 두 번째 단계에서 남겨진 오브젝트들과 질의 오브젝트들간의 Peak 변수를 사용한 비교 연산을 통해 인덱싱을 수행한다. 또한 본 논문은 효율적인 멀티미디어 데이타 검색을 위해서 두 가지의 MPEG-7 시각 정보 기술자 결합 알고리즘을 제안한다. 첫 번째 결합 알고리즘은 가중치를 확률로 변환해서 반영하는 것이고 두 번째는 가중치를 각 비교 연산 결과값의 중요도로 간주하는 방법이다. 실험을 통해서 결과를 분석해 보면 근사화를 통한 인덱스 생성으로 100%의 정확도를 유지 할 수는 없지만 논문에서 제안된 각 기술자의 인덱싱 알고리즘과 기술자들의 결합 알고리즘은 기본 검색 알고리즘과 비교했을 때 매우 빠른 속도 향상을 보여주었다. 본 논문에서 제안된 알고리즘은 MPEG-7을 사용하는 검색 시스템의 데이타베이스 구축에 효율적으로 사용될 수 있다.

• Spatial Information Research
• /
• 제5권2호
• /
• pp.147-160
• /
• 1997

지리정보시스템의 이론적 틀로 인식되고 있는 지도대수(Map Algebra)는 공간자료의 처리단위인 지도레이어를 피연산자로, 여러 처리소프트웨어를 연산자로 모델링하는 대수체계이다. 본 논문에서는 지도대수와 관련된 대표적 선행연구를 검토하여 그 제한점을 밝혀내어 보완하였다. 첫째 지도 레이어를 함수로 모형화하여 함수 프로그래밍의 메타 함수기능의 적용을 가능하도록 하였다. 이것은 지도대수언어에 메타연산자를 포함시켜 지리정보시스템의 사용자언어에 필요한 프로그래밍 기능을 제공하게된다 . 둘째 기존 지도대수언의 어의적.문법적 한계를 분석하고 이를 확장하여 지도 데이터 모델과 지도대수언어를 정형화한 후 지도대수 처리기으 원형을 설계하고 구현하였다. 지도대수언어 구문해석기는 기존의 지리정보시스템이 갖고 있는 이질적인 고유 명령어를 공통언어로 재구성하는 역할을 수행한다. 본 연구를 통해 구현된 맵시(MspSee)는 웹에 기반한 지도대수 처리기로써 본 논문에서 제시된 다양한 지도대수의 개념을 검증할 수 있었다. 지도대수언어를 통한 지리정보시스템의 사용자 인터페이스는 제트워크상에 분산되어 있는 지리정보와 그 처리모듈을 웹 클라이언트라는 간단하지만 강력한 인터페이스로 접근을 가?케 함으로써 인터넷 지리정보시스템의 중요 하부구조로 자리잡을 것으로 전망된다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권8호
• /
• pp.507-516
• /
• 2013

모바일 디바이스는 크기가 작기 때문에 PC에 비해 컴퓨팅 자원이 부족하여, 높은 복잡도를 가진 애플리케이션을 설치 및 운영하기 어렵다. 그러나, 모바일 디바이스는 풍부한 네트워크 연결 능력이 있어 외부 자원을 사용하기가 용이하므로, 모바일 클라우드 컴퓨팅 (Mobile Cloud Computing, MCC) 연구가 활발히 진행되고 있다. MCC에서는 주로 기능 컴포넌트를 다른 노드로 오프로딩 (Offloading) 시킴으로써, 모바일 노드의 자원 문제를 해결하는 접근법을 적용한다. 그러나, 현재 진행되고 있는 MCC에 대한 연구는 사전에 결정된 노드로 오프로딩하는 연구만 위주로 진행되고 있으며, 모바일 디바이스가 구독하는 서비스 문제를 해결할 수 없는 한계점이 있다. 본 논문에서는 자율 안정화할 수 있는 MCC를 구현하기 위한 실용적인 프로세스와 품질 안정화 기법을 제안한다. 먼저, 효과적으로 품질을 관리하기 위한 MCC 메타모델을 제시하고, 이를 기반으로 8개의 활동으로 구성된 품질 관리 프로세스를 제안하며, 핵심 활동에 대한 상세 기법을 정의한다. 그리고, 실용적 수준으로 연구가 많이 진행되지 않은 오프로딩 기법을 MCC 메타모델에 제시된 여러 요소들과 상호작용하여 QoS 문제를 효과적으로 해결할 수 있도록 설계한다. 마지막으로 실험을 통해 품질 자율 관리 프로세스의 적절성을 증명한다. MCC의 품질 자율 안정 관리 프로세스와 품질 향상 기법들을 채택함으로써, 클라우드 서비스를 구독하는 모바일 애플리케이션의 품질을 관리하는데 여러 기술적 이슈를 효과적으로 해결할 수 있다. 그리고, MCC에 속한 여러 애플리케이션과 서비스들은 관리자의 개입없이 자율적으로 일정 수준의 품질을 유지할 수 있게 된다.

• 전자공학회논문지 IE
• /
• 제47권1호
• /
• pp.22-33
• /
• 2010

본 연구의 목적은 전문대학 공학계열 학생들의 학업성취와 자기조절학습전략의 향상을 위하여 성찰저널을 수업에 적용하고 그 효과성을 검증하는 데 있다. 본 연구에서 사용한 성찰저널은 학생들의 학업성취와 자기조절학습전략, 특히 메타인지와 비판적 사고 등을 향상시키기 위한 인지도구로서 (1) 5점 Likert 척도로 된 자기평가, (2) 수업에세이, (3) 동료와의 대화, (4) 교수님과의 대화 등으로 구성되어 있는 '구조화된 성찰저널'이다. 이러한 성찰저널의 효과를 검증하기 위하여 2009년 8월 24일부터 10월 16일까지 총 8주 동안 공학계열 1학년 94명(이론반 42명, 실험실습반 52명)을 연구반(성찰저널 적용 수업)과 비교반(성찰저널을 적용하지 않는 반)으로 구분하여 수업을 진행하고, 이러한 수업 유형에 따라 사전과 사후의 학업성취도와 자기조절학습전략의 차이가 있는지를 검증하기 위해 공분산 분석(analysis of covariance)을 실시하였다. 연구 결과, 성찰저널이 공학계열 신입생들의 학업성취도와 자기조절학습전략을 향상시키는 데 긍정적인 효과가 있음이 증명되었다.

• 정보처리학회논문지B
• /
• 제11B권2호
• /
• pp.221-226
• /
• 2004

개미 집단 시스템(Ant Colony System ACS) 알고리즘은 조합 최적화 문제를 해결하기 위한 새로운 메타 휴리스틱 방법이다. 이것은 그리디 탐색뿐만 아니라 긍정적 피드백에 의한 탐색을 이용한 모집단에 근거한 접근법으로 조합 최적화 문제를 해결하기 위해 제안되었다. 최근까지 인접한 노드($v_i, v_j$)가 같은 색을 갖지 않도록 그래프 G의 노드 V에 색을 배정하는 문제인 그래프 착색 문제의 최적 해를 구하기 위하여 다양한 접근 방식들과 해법들이 제안되고 있다. 본 논문에서는 기존의 그래프 착색 문제의 해법으로 잘 알려진 그리디 알고리즘, 시뮬레이티드어넬링, 타부 탐색 등이 아닌 개미 집단 시스템 알고리즘으로 해법을 구하는 방법인 ANTCOL 알고리즘을 소개하고, ANTCOL을 해결하기 위해 제안된 기존의 생성 함수들(ANT_Random ANT_LF, ANT_SL, ANT_DSATUR, ANT_RLF)과, 본 논문에서 새롭게 제안된 방법으로 RLF에 무작위 기법을 적용한 XRLF를 생성 함수로 사용한 ANT_XRLF 방법과 ANT_XRLF에 재검색을 추가한 방법(ANT_XRLF_R)의 그래프 착색 결과 및 실행 시간을 비교, 분석하여 제안된 방법이 더 빠르게 수렴할 수 있음을 실험을 통해 알 수 있었다.

• 정보과학회 논문지
• /
• 제42권5호
• /
• pp.591-600
• /
• 2015

SLA(Service Level Agreement)는 클라우드 컴퓨팅 서비스를 제공하는 사업자가 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 반드시 보장해야 하는 요소이며 특히 클라우드 서비스 브로커리지를 이용해서 서비스를 중개하는 환경에서는 SLA를 통한 서비스 사업자와 고객 간의 계약이 중요하다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하거나 명세에 대한 방법론적인 접근이 없어서 SaaS를 기반으로 제공되는 소프트웨어 서비스의 품질 요소를 반영하기 어렵다. 본 연구를 통해 SaaS 환경에 적합한 SLA 제공을 위해 소프트웨어적인 품질 특성을 명세할 수 있는 방법을 제시하고 SLA 명세를 서비스 제공자와 소비자 간에 교환할 수 있는 메커니즘과 구조를 제안하였다. SaaS 레벨에서의 SLA 명세를 위한 메타모델을 정의하였고 SaaS의 품질 요구사항은 제안한 명세 언어로 기술될 수 있으며, 사례연구를 통해 다양한 소프트웨어적인 품질 요소가 제안한 명세 언어로 표현됨을 검증하였다. SLA 명세는 이를 교환하기 위한 UDDI 기반의 중개 프로세스 및 아키텍처를 이용하여 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다.

• 동양고전연구
• /
• 제54호
• /
• pp.155-182
• /
• 2014

이 논문은 "중용"의 "천명지위성(天命之謂性)"과 "시중(時中)", 그리고 "천지위만물육(天地位萬物育)"의 이슈가 진화생물학의 유전자, 자연선택, 종 다양성 문제와 대화 가능한지 그 가능성을 검토하고 있다. 이를 위해 먼저 성리학과 진화생물학의 유사점과 차이점을 살펴보고, "중용"과 진화생물학의 접점이 무엇인지 모색하고 있다. 이 논문은 세 가지 점에서 "중용"과 진화생물학 사이의 대화 가능성을 검토한다. 첫번째는 인간 본성에 대해 천명지위성과 유전자의 관점에서 대화 가능한지 살펴본다. 두 번째는 존재 이유의 타당성을 시중과 자연선택의 관점에서 살펴본다. 세 번째는 생물간 상호 유연 관계를 천지위만물육과 종 다양성이라는 관점에서 살펴본다. 첫 번째 모색의 소주제들은 <리와 기 vs 유전자와 운반체>의 구조적 연관성, <성선 vs 이기적 유전자의 이타성>의 판단기준, <인 의 예 지 vs 후성규칙>에서 '후천적 선험' 도출 가능성이다. 두 번째 모색의 소주제들은 <천리의 뒤집힘[번(?)] vs 돌연변이>, <변/화 vs 진화>의 시간관, <시중 vs 자연선택/적응>의 메타meta적 접근이다. 세 번째 모색의 소주제들은 <리일분수理一分殊 vs 부분과 전체>의 프랙탈 구조, < 일기一氣 vs 생물간 상호 유연>의 상동관계, <천지위 만물육 vs 생태계>와 치중화致中和의 과제이다. 이러한 모색과 제안들에 대한 후속연구는 "중용"을 둘러싼 성리학 연구의 지평 확대를 가져 올 수 있다.