• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.257-260
• /
• 2000

본 연구에서는 유한용량을 갖는 조립/분해 생산시스템의 산출율분석을 위한 근사적 방법을 제시한다. 유한용량을 갖는 조립/분해 생산시스템은 상태공간이 매우 크기 때문에 효율적으로 분석하기가 어렵다. 따라서 근사적 방법에서는 조립/분해 생산시스템을 비교적 작은 규모의 상태공간을 갖도록 단순 조런/분해 시스템과 단일 직렬시스템을 갖는 각각의 부분시스템으로 분해한다. 각 부분시스템은 2차 모멘트가 고려된 PH/Ph/1/C 시스템으로 기술되고 수리적 방법에 의해 분석되어진다. 실험결과는 시뮬레이션과 비교되고, 제시된 근사적 방법이 효과적이라는 것을 보여준다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• 전기의세계
• /
• v.42 no.7
• /
• pp.18-29
• /
• 1993

혼돈이론은 불규칙하다고 간주하고, 통계적접근 방법이외의 분석적방법의 접근이 어려웠던 시스템들에 대하여서 새로운 접근 방법을 제공하여주며, 보다 많은 시스템에 대하여 구조적 특성을 파악하게 하여주고 그 내부적 기전을 분석할 수 있게하여준다. 이러한 혼돈적 특성은 근본적으로 시스템의 내부적 비선형성에 의하여 근거한 것으로 볼 수 있다. 특히, 생체시스템의 경우에는 그 내부적 발생기전이 근본적으로 선형적 특성을 보이는 것보다 비선형적 특성을 나타내는 분석이 불가능하게 여겨졌던 생체시스템의 분석 및 의공학의 여러분야들에 다양한 형태로 적용될 있을 것이다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1989-1990
• /
• 2011

스마트그리드 즉, 미래 지능형 전력시스템이 추구하는 가장 큰 특징은 표준화 기반의 시스템간 상호운용성과 최신 기술을 이용한 자동화라고 할 수 있겠다. 그러므로 시스템간 상호 운용이 가능한 스마트그리드 시스템의 개발을 위해서는 요구분석부터 전반적인 시스템의 조건을 만족할 수 있도록 고려되어야 한다. 스마트그리드를 위한 전력시스템의 개발에 활용 될 수 있는 방법론으로는 'IEC 62559 IntelliGrid Methodology(IntelliGrid$^{SM}$, 이하 IntelliGrid 방법론)'이 있다. IntelliGrid 방법론은 IEC에 의하여 2007년에 채택된 전력에너지시스템 개발을 위한 방법론(IEC 62559, PAS(Publicly Available Specification))으로, EPRI의 'IntelliGrid 프로그램'의 산출물이다. IntelliGrid 방법론에 기반한 요구분석 방법론을 체계적인 스마트그리드 시스템 개발을 위한 요구분석 방안을 제시한 결과물로 평가할 수 있다. 본 논문에서는 IntelliGrid 방법론의 내용을 분석해 보고, AMI 개발을 위한 요구분석 방법론으로 'IntelliGrid 방법론'을 적용하는 방안 및 절차에 관하여 제시하고자 한다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2005.05a
• /
• pp.176-191
• /
• 2005

기존의 정보기술 위험분석 방법론에 대한 연구는 캐나다의 CSE에서 발표한 위험관리 방법론, 미국의 NIST에서 발표한 FIPS 65 정보보호 관리지침에서의 위험분석 방법론, 그리고IS0/IEC JTCl SC27의 정보보호 관리지침 등이 있으며, 위험분석 자동화 도구는 크게 국외와 국내로 나뉘어 국외의 경우 영국의 정성적 위험분석 방법론의 대표적 도구인 CRAMM, 미국의 정량적 위험분석 방법론 도구인 BDSS, 그리고 네트워크 위험분석 중심의 Expert와 같은 어플리케이션이 개발/활용 되고 있다. 한편, 국내 위험분석 자동화 도구로는 한국전산원에서 국내 최초로 개발한 위험분석 자동화 도구인 HAWK와 KAIST/펜타 시스템이 있다. 연구에서는 기존의 국내외 위험분석 방법론들의 비교분석 결과를 바탕으로, 실용적인 위험분석 방법론을제안하고 실용적으로 위험분석을 수행하기 위한 구체적인 도구를 개발하고 구현하였다. 세부적으로 위험분석 수행의 절차와 개념적 모형화에 대한 내용을 포함하여 표준적 틀을 유지하면서 현재 국내의 실무에 적합하며 간결한 위험분석 도구를 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.499-501
• /
• 2003

본 논문은 우선순위 스케줄링을 사용하는 주기적 실시간 시스템을 위해 제안된 확률적 분석 방법의 개선 방안을 제안한다. 기제안된 확률적 분석 방법은 (1) 시스템 적체 분석, (2) 작업별 적체 분석, (3) 작업별 간섭 분석을 거쳐서 각 태스크의 응답 시간 분포를 얻어냄으로써 태스크들의 종료시한 위반확률 (deadline miss probability)을 계산한다. 본 논문은 기제안된 확률적 분석 방법에 대해 주어진 태스크 집합의 하이퍼주기(hyperperiod)를 압축하여 시스템 적체 분석을 개선시킬 수 있음을 보인다. 하이퍼주기 압축 기법은 시스템 적체 분석에 요구되는 계산 시간을 단축시키고, 계산된 각 태스크의 종료시한 위반확률이 항상 원래 확률값의 상한(upper bound)이 된다는 장점이 있다. 실험 결과. 하이퍼주기 압축 기법이 정확도의 손실을 최소화하면서 상당한 계산 시간 단축을 가져올 수 있음을 확인하였다.

• Proceedings of the Korean System Dynamics Society
• /
• 2005.04a
• /
• pp.1-36
• /
• 2005

본 연구는 시스템다이내믹스 연구방법론이 학문적으로 어떻게 활용, 발전되어 왔는지 알아보고, 특히 1984년부터 2004년에 이르리까지 시스템다이내믹스를 활용한 학술연구에 대한 내용분석을 통하여 시스템다이내믹스의 발전 가능성과 확산 가능성을 살펴본다. 이를 위해서 본 연구는 시스템다이내믹스 연구방법론이 어떻게 각 학문 분야로 진입하여 수용되고 확산되고 있는지 98개 해외저널에 출판된 시스템 다이내믹스룰 활용한 207개의 논문에 대한 계량적 내용분석을 통하여 분야별, 시기별 진화행태를 살펴본다. 본 연구는 시스템다이내믹스 연구방법론의 활용범위 및 활용행태를 내용분석 함으로써 시스템다이내맥스 연구방법론이 활용될 수 있는 범위가 넓고 다양하며 공통된 특이성을 가지고 있음을 찾아낸다. 이러한 확산 가능성 및 연구방법론의 특징을 중심으로 새로운 패러다임 연구방법론으로서의 시스템다이내믹스의 가능성을 제시한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.4
• /
• pp.193-202
• /
• 2017

Development of Intelligent Systems involves effective integration of large-scaled knowledge processing and understanding, human-machine interaction, and intelligent services. Especially, in our project for development of a self-growing knowledge-based system with inference methodologies utilizing the big data technology, we are building a platform called WiseKB as the central knowledge base for storing massive amount of knowledge and enabling question-answering by inferences. WiseKB thus requires an effective methodology to analyze diverse requirements convoluted with the integration of various components of knowledge representation, resource management, knowledge storing, complex hybrid inference, and knowledge learning, In this paper, we propose an integrated requirement analysis method that blends the traditional sequential method and the iterative-incremental method to achieve an efficient requirement analysis for large-scale systems.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.17-20
• /
• 1998

현재 늘어나는 개인 이동 통신 수요를 만족시키기 위하여 시스템의 용량 증가가 필요하다. 서로 다른 이동성을 갖는 사용자에 대한 서비스를 위해 매크로 셀 내에 마이크로 셀들로 이루어진 다층 셀구조가 제안되고 있다. 본 논문에서는 급증하는 이동 통신 수요를 만족시키기 위한 다층 셀 구조를 갖는 이동 통신 시스템의 성능 분석을 위해 큐잉 네트워크 모델을 이용한 해석적 분석 방법을 제안하고 컴퓨터 시뮬레이션을 이용하여 제안된 해석적 방법의 유효성을 검증한다. 제안된 해석적 방법은 수학적 분석 결과를 얻는데 상당한 용이성을 제공하고, 더 나아가 다층 셀 구조의 채널 할당 방식에 대한 시스템의 성능분석을 위해 사용될 수 있을 것이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.977-982
• /
• 2002

최근의 정보시스템의 전형적인 형태인 웹기반 정보시스템(WBIS)은 계속적으로 재구성되어야만 사용자의 욕구를 만족시킬 수 있으며 수익을 창출할 수 있다. 이를 위해, 시스템의 항해구조를 모델링하고 분석하여 시스템의 재구성시에 활용해야 한다. 이에 따라, 본 논문에서는 쇼핑몰을 포함한 WBIS의 재구성(또는 튜닝)을 위한 항해구조의 모델링 및 분석 방법을 제시한다. 항해구조의 모델링을 위해 구조모델, 상태전이 모델 및 패트리넷 모델 및 분석을 통한 분석방법을 제시하였다. 끝으로, WBIS의 재구성 휴리스틱을 제시하였으며 제시한 방법들을 사례 WBIS에 적용하였다.