• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1995년도 추계학술대회발표논문집; 서울대학교, 서울; 30 Sep. 1995
• /
• pp.387-395
• /
• 1995

롤(Roll)의 주물 가공 시스템의 성능(Performance)분석의 문제는 일반적으로 관련된 많은 요인들 때문에 매우 복잡하다. 롤 제조 시스템의 성능과 관련된 주요 요인으로서 주형(Moulding) 제작, 원재료의 용해, 후처리 및 가공 공정 의 요인들을 들 수 있다. 본 연구에서는 이러한 복잡한 롤의 주물 및 가공공 정상의 요인들로부터 롤 제조 시스템의 불량률을 평가하기 위하여 발견적인 방법인 GMDH(Group Method Data Handling)-Type 모델링 방법을 이용하 였다. 롤 주물 가공 시스템의 성능을 불량률로 두고 이에 주요 영향 요인들 의 입력 Data를 위하여 현장 자료로부터 상하한 값을 구하여, Hyper-Cube 프로그램을 이용하여 필요한 수의 Data를 보완하여 사용하였다. 시스템 성능 과 관련된 인자들을 2개식 가능한 조합을 하고 이들 각각의 조합들에 대하 여 6개항으로 된 예측식으로 회귀분석하고 일정 수준 이상의 결과들만을 다 음 단계의 자료로 사용하였다. GMDH 방법은 매 단계마다 영향이 적은 변 수조합을 제외시키므로 최종 해는 그 정확성이 매우 높다. 본 연구를 위하여 GMDH 알고리즘에 따라 계산할수 있는 전산 프로그램을 개발하여 사용하였 으며, 적용예를 롤 주물제조공정에 응용하여 보였다.. 분석된 자료에 의하면 예측 오차가 매우 적음을 보였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2006년도 춘계학술대회 학술발표 논문집 제16권 제1호
• /
• pp.343-346
• /
• 2006

스마트 홈서비스가 이루어질 앞으로의 가정에서는 거주자의 편리를 추구하는 다수의 가전기기와 다양한 장치를 통해 여러 형태의 서비스가 제공된다. 그 환경의 중심에서 사용자는 무엇보다 손쉽고 편리하게 이들을 시용할 수 있어야 한다. 기존에는 사용자가 쉽게 휴대할 수 있는 소형 컴퓨터, PDA, 휴대폰을 이용해 스마트 홈서비스를 제어하는 연구가 이루어지고 있다. 하지만 이들을 사용하는 것은 복잡하면서 전문적인 지식이 필요할 수 있으며 항상 결에 두어야 한다는 불편함이 있을 수 있다. 이에 본 논문에서는 관성센서를 이용한 동작인식 시스템을 개발하였다. 이 시스템은 자이로 센서와 가속도 센서를 사용하며 3축의 자이로(각속도) 및 가속도를 측정할 수 있는 센서 모듈과 측정된 데이터를 이용해서 동작 패턴을 분류해 주는 알고리즘으로 구성된다. 차후에 홈 네트워크 시스템과의 결합을 통해 미리 지정된 간단한 손동작만으로 여러 가전기기를 제어할 수 있을 것이며 특히 노약자나 장애인들이 기존의 리모트 컨트롤 등의 복잡한 제어 장치를 대신해서 간편하고 손쉽게 사용할 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.137-139
• /
• 1999

concurrent reactive system은 일반적으로 매우 많은 다른 행동들(different behaviors)을 보여 주기 때문에 설계하기가 어렵다. 또한 한 시스템에서의 구성 요소들 간에 상호작용을 함으로 전체 시스템의 상태를 나타낸다면 전체 상태를 각 구성요소의 상태들의 곱으로 나타내지므로 복잡도는 지수의 곱으로 나타내 질 것이다. 따라서 단순한 테스트로는 시스템 특성의 정확성을 검증하기 위해 모든 상태를 확인할 수 없다. 본 논문에서는 concurrent system의 고전전 문제인 dining philosophers problem을 상징적 기호 표현방법을 이용해서 그 시스템의 정확성을 검증하고 또한 상태 공간 폭발 문제-상태 공간의 크기가 시스템에서 구성요소의 복잡도와 수가 동시에 지수적으로 증가하는 문제-를 어떻게 해결할 수 있는 가를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.181-183
• /
• 2000

현재의 컴퓨팅 환경은 멀티미디어와 인터넷, 즉 웹 환경으로 요약된다. 이러한 환경에서 운영되는 복잡한 정보 시스템-인터넷 TV 방송, 문서 관리시스템, 가상 대학, 그룹 웨어, 지식 경영 시스템 등은 대용량의 데이터베이스 데이터와 멀티미디어 데이터를 기반으로 해서 동작한다. 이러한 시스템들에서의 데이터은 데이터 베이스 내에 존재하는 메타 데이터와 운영체제의 파일 시스템 내에 존재하는 파일 데이터로 나뉜다. 이러한 데이터의 분리로 인해서 나타나는 가장 큰 문제점은 이 둘 데이터 사이의 불일치성(inconsistency)이다. 이는 멀티미디어 데이터와 데이터베이스 데이터를 접근해서 사용하는 기능(operation)의 차이로 인해서 발생하게 된다. 본 논문에서는 복잡한 정보시스템에서 사용되어 지는 데이터들 사이에 발생되는 불일치성을 해결하며, 쉬운 프로그램밍을 위한 응용 프로그래밍 인터페이스(ATI)를 제공해주는 AEM(Activity Execution Manager) 프레임워크를 설계 및 구현한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.136-138
• /
• 2006

홈 서비스 네트워크 시스템의 복잡도가 증가하면서 고가용도 요구사항을 만족하기 위한 관리 메커니즘 개발이 더욱 어려워졌다. 더욱이, 사용자는 시스템 결함 관리와 같은 복잡한 시스템 관리를 직접 하는걸 원하지 않는다. 그러므로 홈 네트워크로 연결된 장치 또는 가전제품으로 구성된 통합 시스템의 고가용성 요구사항을 만족하면서 사람의 개입을 최소화할 수 있는 자가 관리 기능 및 원격 결함 관리 능력을 홈 서비스 시스템은 갖춰야 한다. 따라서 본 논문에서는 홈 서비스 네트워크 시스템의 가용도를 향상시키면서 관리 비용을 최소화할 수 있는 오토노믹 자가관리 유틸리티를 설계 및 개발한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2013년도 춘계 종합학술대회 논문집
• /
• pp.275-276
• /
• 2013

생명현상은 다양한 단백질들 간의 상호작용으로 외부의 환경에 대처하고 생명유지를 위한 다양한 생화학반응을 수행한다. 이러한 복잡한 생명현상의 과정을 이해하기 위해서 생명과학자들은 유전자 조절네트워크, 신호전달네트워크, 대사네트워크 등 다양한 종류의 네트워크를 모델링하고 있다. 하지만 각각의 모델링방법은 각 분야별로 다양하게 존재하고 있는 실정이다. 본 연구에서는 이러한 다양한 종류의 생물학적 네트워크를 통합적으로 모델링할 수 있는 통합적 모델링 시스템을 설계하고 구현하였다. 특히 신호전달 과정에 대한 블리온 모델링기법, 유전자 발현조절 및 대사과정에 대한 ODE(Ordinary Differential Equation)모델링 그리고 유전적 표현형을 분석할 수 있는 Flux 모델링을 하나의 모델링 시스템에서 설계 하였다. 또한 이 같은 다양한 종류의 모델링을 지원하기 위해서 SBML포멧을 기준으로 가시적인 모델링 시스템을 구현하였다. 특히 연구자가 모델링한 생물학적 모델이 다른 형태의 모델링기법에도 적용될 수 있도록 전환할 수 있도록 하였다. 이러한 통합적인 모델링 시스템은 향후 복잡해지는 생물학적 네트워크를 손쉽게 모델링 할 수 있는 시스템으로 활용될 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.606-608
• /
• 2000

네트워크의 속도가 빨라짐에 따라 저비용으로 고성능의 성능을 얻고자 하는 클러스터 시스템에 대한 연구가 많아지고 있다. Fast Ethernet, ATM, Myrient, SCI와 같은 고성능 네트워크 시스템이 많이 사용되고 있다. 기존 분산시스템에의 부하 불균등 문제가 이런 클러스터 시스템에서도 역시 문제시 되고 있다. 일반적인 동적 부하균등화 방법은 실행시간중에 노드들의 부하량에 대한 정보를 얻어 전체 노드들이 평균의 부하량에 수렴하도록 하는 것을 목적으로 한다. 그러나, 통신비용과 노드 복잡도에 따라 완벽한 부하균등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 노드 복잡도에 따라 완벽한 부하듄등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 비용이 클때는 완벽한 부하균등화보다는 이득률이 크도록 하는 부분적 부하 균등화가 더 효율적일 수 있다. 본 논문에서는 클러스터 시스템을 모델링하고 이에 적합한 부분적 동적 부하 균등화 모델을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1309-1312
• /
• 2000

컴포넌트를 기반으로 하는 소프트웨어 개발 방법론은 시스템의 규모가 크고 구성이 복잡한 지리정보 시스템에 효율적으로 적응될 수 있다. 이것은 특히 개방형 GIS를 위한 설계와 구현 방법에도 이용되고 있다. 본 논문에서는 복합 피쳐를 지원하는 3차원 지리정보시스템의 컴포넌트 기반 설계 사례에 대해 설명한다. 본 논문에서 제안한 시스템은 OpenGIS 규격과의 호환성을 고려하고 복합 피쳐 및 복합 지리요소를 지원하며 객체 지향 분석 설계 방법론을 이용하여 설계되었다. 본 시스템은 3차원 지리요소의 모델링, 가시화, 공간분석 기능과 4차원 공간 데이터에 대한 질의 기능을 포함하고 있다. 향 후 복잡한 도심 건물 지역을 대상으로 층별 시공간 관리 분석 시스템 등으로 응용될 전망이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.595-597
• /
• 2001

오늘날 우리가 사용하고 있는 시스템은 날이 갈수록 규모 면에서 대형화되고, 기능면에서 복잡해지고 있다. 이런 복잡성의 증가로 시스템 에러 발생가능성은 더욱 높아졌다. 특히, safety-critical 시스템의 경우 에러가 발생했을 때 인간과 생태계에 엄청난 영향을 미치기 때문에 더욱 신중한 개발 과정이 필요하다. 따라서 정형기법을 이용한 safety-critical 시스템의 개발방법론이 나오게 되었다. 본 논문에서는 대표적인 safety-critical 시스템인 원자력 발전소 시스템에서 Digital Plant Protection System(DPPS)를 가지고 어떻게 방법론이 적용되는지를 보여준다. Software Cost Reduction(SCR)이라는 정형 명세 도구로 명세를 하였고, SPIN 이라는 정형 검증 도구로 그 특성(property)을 검증하였다.

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

다양한 응용 분야에서 대량의 데이타 저장이 빈번해 짐에 따라 분산 파일 시스템에 대한 효용성이 커지고 있으며, 이로 인해 수많은 분산 파일 시스템이 개발되고 있다. 이러한, 분산 파일 시스템의 효율성을 검증할 수 있는 방법에 대한 필요성이 커지고 있다. 또한, SSD와 같은 우수한 성능을 가지는 장치를 사용하는 분산 파일 시스템에서는 SSD와 같은 장치의 효율성을 보기 위한 복잡한 워크로드를 생성 하여 시험할 수 있어야 한다. 하지만 기존의 입출력 시험 도구에서는 복잡한 상황을 시험하는 것이 매우 어렵다. 따라서, 본 논문에서는 필요에 따라 파일의 분포에 따라 다른 입출력 패턴을 가지는 여러 부하 상황을 생성이 가능하며, 웹을 통해 손쉽게 시험할 수 있는 분산 파일 시스템을 위한 웹기반 워크로드 생성기를 개발하였다.