• 논리연구
• /
• 제5권2호
• /
• pp.67-91
• /
• 2002

모순에 대한 비트겐슈타인의 견해는 매우 특이할 뿐만 아니라 여러 논란을 불러일으키기에 충분하다. 예컨대 그에 따르면 모순이 수학체계에 존재한다 해도 해로울 것이 전혀 없다. 튜링은 이러한 비트겐슈타인의 견해에 대해서, 만일 수학체계에 모순이 있다면, "그 적용의 경우에 다리가 붕괴될 수도 있다"고 공격한다. 반면에 비트겐슈타인은 "모순 때문에 다리가 붕괴될 수도 있다고 말하는 것은 아주 옳은 소리로 들리지 않는다"라고 응수한다. 과연 유모순적인 계산체계로 건설된 다리는 무너질 것인가? 이 물음을 "튜링의 물음"이라고 부르고, 유모순적인 계산체계로 건설된 다리를 간단히 "튜링의 다리"라고 부르기로 하자. 이 글에서는 바로 이 튜링의 물음에 직접 대답하기 위해서 4개의 입론이 제시되고 있다. 우리는 이러한 입론을 토대로 해서 튜링의 물음에 대해 대답할 수 있고, 비트겐슈타인과 튜링의 논쟁을 조명할 수 있으며, 비트겐슈타인의 수학철학의 핵심적인 측면을 살펴볼 수 있다.

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

날로 심각한 도시문제가 되고 있는 교통문제를 효과적으로 해결하기 위해서는 교통체증을 정확하게 진단해서 교통망의 효율을 최대로 높일 수 있도록 교통 신호체계를 수립하는 것이 요구되며, 이것을 위해서는 실시간으로 변화되는 교통류에 적절히 대응할 수 있도록 원활한 교통 신호체계를 최적화하는 것이 필요하다. 본 연구에서는 실시간으로 변화되는 교통류에 대응해서 원활한 교통소통을 위한 신호조정의 문제를 다수의 신호등을 대상으로 가능한 서로 다른 여러 신호조정의 조합들 중 최적안을 찾는 최적화 문제로 보았다. 본 논문에서는 휴리스틱 탐색기법을 이용하여 교통류의 변화에 따라 최적의 교통 신호체계를 수립할 수 있는 교통 신호체계 최적화 시스템을 제시하고, 부산광역시 부전동 일대의 12개 교차로를 포함하는 교통망에 대한 교통정보를 바탕으로 실험해봄으로써 실시간 적용가능성을 보여준다.

• 한국경영정보학회:학술대회논문집
• /
• 한국경영정보학회 2007년도 International Conference
• /
• pp.447-452
• /
• 2007

본 연구는 최근 지식경영에서 중요하게 받아들여지고 있는 CoP의 성과측정체계에 대한 프레임웍을 제시하고 실제에 있어서 그 프레임웍이 얼마나 잘 적용될 수 있는지에 대해서 사례연구를 통해 고찰하고 추가적으로 CoP와 관련한 명제를 제시하고자 한다. CoP의 성과측정체계는 지식경영과 조직론의 기존의 문헌연구를 통하여 제시하였는데 크게 CoP Readiness, CoP Activity, Social Capital과 Business Output의 영역으로 크게 구분하고 세부적으로 정성적이고 정량적인 방법으로 측정할 수 있는 방법을 제시하였다. CoP의 성과는 위의 단계를 거치면서 나타나며 Business Output은 BSC방법을 통해 측정할 것을 제시하였다. 제시된 성과측정체계는 CoP를 효과적으로 활용하고 있는 국내 8개사의 사례를 통해 실증적으로 검토하였고 각 사에서 현재 활용 중인 측정체계와의 차이와 적용가능성을 고찰하였고 이를 통해 추가적으로 연구를 진행할 수 있는 4개의 명제를 제시하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.450-457
• /
• 1997

저출력/정지시의 사고가 노심손상에 미치는 영향이 작지 않은데 비하여, 그 영향에 대한 평가 체계는 확립되어 있지 않다. 특히 인적오류가 차지하는 비중이 크며 이에 따라 인적오류를 평가할 수 있는 절차를 마련하여야 한다. 본 논문에서는 전출력시의 체계를 기반으로 저출력/정지시의 특성을 고려하여 인적오류를 평가할 수 있는 체계인 SEPLOT (Systematic Evaluation Procedure for LP&S Operation Tasks)을 개발하였다. SEPLOT에서는 영향도(Influence Diagrams)를 이용하여 인적오류에 영향을 주는 수행특성인자들을 동시에 고려함으로써 수행특성인자들 사이의 의존성 평가를 가능하게 하였고, 저출력/정지시의 특성을 반영할 수 있도록 절차서의 질, 인간-기계 연계, 다중 인간행위 사이의 의존성 등의 수행특성인자들이 중요하게 고려되도록 하였다. 이를 이용하여 참조 원전의 저출력/정지시 대표적인 작업인 소외전원상실사고 대응 작업 중 하나인 일차 충전 및 유출 운전(Primary Feed and Bleed)에 대하여 평가함으로써, 저출력/정지시 다른 여러 가지 수행작업들에 대한 인적오류에도 개발된 체계가 적용 가능함을 보여 주었다.

• 전자통신동향분석
• /
• 제21권1호통권97호
• /
• pp.82-93
• /
• 2006

특정 산업용 기기의 제어를 위해 사용되던 임베디드 시스템이 유무선 통신 네트워크와 접목으로 디지털 정보가전, 의료, 항공, 군사 등 전 산업 분야로 확대되는 “Embedded,Everywhere” 시대가 도래하고 있다. 임베디드 시스템은 실시간 처리, 저전력 등의 물리적 특성과 하드웨어(HW)와 소프트웨어(SW)의 동시 설계, 리소스의 절제된 사용 등의 특성을 반영해야 하므로 시스템 개발 전 과정에서 이러한 특성을 만족시키는 개발체계의 구축이 필요하다. 특히, 임베디드 소프트웨어의 공통. 핵심 기술을 자산화하여 체계적으로 재사용할 수 있는 환경 구축은 기술의 중복 개발을 최소화하고, 기술의 가치를 지속적으로 증대시킨다. 따라서, 고품질의 임베디드 시스템을 적시에 경제적으로 개발할 수 있는 임베디드 시스템 개발방법론과 임베디드 소프트웨어 재사용 체계의 개발 및 보급 기술은 소프트웨어 산업 경쟁력 향상에 공통적으로 필요한 기반 기술로 활용될 수 있다. 본 고에서는 신 성장 미래 산업의 기반이 되는 임베디드 시스템을 위한 개발 방법론과 재사용 체계 구축에 대한 동향을 기술한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.178-181
• /
• 1998

워게임 모형을 이용하여 다양한 전장환경과 부대편제하에서 전투모의를 실시함으로써 개별 무기체계가 전투효율에 미치는 정도를 판단할 수 있다. 워게임은 부대간의 상호작용과 무기체계 효과, 전투력수준간의 비선형적인 요소들을 반영할 수 있다. 또한 모의 분석결과는 무기체계의 비용대 효과분석 및 소요 산출과 운영개념 정립 등에 활용될 수 있다. 특히, JANUS 모형은 개별 무기체계에 대한 상세한 특성자료를 반영하고 수십 미터 단위의 해상도를 갖는 수치지형자료를 사용할 뿐만 아니라, 세밀한 전투모의 논리로 구성되어 있기 때문에 지상 무기체계의 효과 분석에 매우 적합하다. 본 고에서는 JANUS 모형의 일반적인 특징과 모형 운용을 위해 필요한 입출력 자료를 소개하고 전투효율 분석 방법에 대해 설명하고자 한다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1998년도 국제 컨퍼런스: 국가경쟁력 향상을 위한 디지틀도서관 구축방안
• /
• pp.560-583
• /
• 1998

본 연구는 정보화 투자효과 평가방법론의 틀을 형성하는 투자효과 분류체계와 측정활동의 모형을 제안하고 있다. 우선 기존에 사용되는 여러 가지 이론적 또는 실무적 투자효과 분류체계의 장단점을 분석한 후 Balanced Scorecard 모형에 의거하여 정보화 투자효과를 재무, 대고객, 내부 프로세스, 혁신과 학습 4가지 영역으로 분류하였다. 이러한 분류체계는 1990년대 정보화 투자가 창출하는 무형적이고 전략적인 효과를 비즈니스 용어와 성과지표로서 적절하게 수용하고 있고, 정보화 투자를 비즈니스 투자와 사업적 관점에서 바라볼 수 있게 한다. 그리고 정보화 투자와 기업성과 사이의 인과관계와 역동적 흐름을 체계적으로 파악할 수 있게 하는 장점이 있다. 이러한 분류체계에 근거하여 투자효과 측정활동은 기업성과지표의 도출, 기업성과지표별 정보화 효과 예측, 그리고 정보화 효과의 화폐가치 산출이라는 3가지 작업으로 구분된다. 본 연구에서는 각 작업별로 어떠한 절차, 방법, 기법들이 사용될 수 있는지를 제안하고 있다.

• 정보기술과데이타베이스저널
• /
• 제5권1호
• /
• pp.69-84
• /
• 1998

본 연구는 정보화 투자효과 평가방법론의 틀을 형성하는 투자효과 분류체계와 측정활동의 모형을 제안하고 있다. 우선 기존에 사용되는 여러 가지 이론적 또는 실무적 투자효과 분류체계의 장단점을 분석한 후 Balanced Scorecard 모형에 의거하여 정보화 투자효과를 재무, 대고객, 내부 프로세스, 혁신과 학습 4가지 영역으로 분류하였다. 이러한 분류체계는 1990년대 정보화 투자가 창출하는 무형적이고 전략적인 효과를 비즈니스 용어와 성과지표로서 적절하게 수용하고 있고, 정보화 투자를 비즈니스 투자와 사업적 관점에서 바라볼 수 있게 한다. 그리고 정보화 투자와 기업성과 사이의 인과관계와 역동적 흐름을 체계적으로 파악할 수 있게 하는 장점이 있다. 이러한 분류체계에 근거하여 투자효과 측정활동은 기업성과지표의 도출, 기업성과지표별 정보화 효과 예측, 그리고 정보화 효과의 화폐가치 산출이라는 3가지 작업으로 구분된다. 본 연구에서는 각 작업별로 어떠한 절차, 방법, 기법들이 사용될 수 있는지를 제안하고 있다.

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

FMEA(Failure Mode & Effect Analysis)는 발생 가능한 잠재 고장의 형태와 그 영향을 평가하고 고장을 예방할 수 있도록 표를 이용하여 체계적으로 접근하는 방법이다. FMEA를 활용하여 전자 의료기기의 신뢰성을 평가할 수 있는 방안에 대한 연구를 통해 의료기기의 신뢰성 향상을 위한 체계적인 접근이 요구된다. 본 연구에서는 소프트웨어의 신뢰성을 평가하기 위한 체계를 구축하기 위해 FMEA 기법을 근간으로 하여 전자 의료기기의 신뢰성 평가 체계 구축에 적용할 수 있는 방안을 수립하고자 한다.

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

국내의 응급의료체계는 119구급대와 1339 응급의료 정보센터간의 이원화된 체계로 구축되어 있다. 하지만 두 기관간의 긴밀한 연계체계의 부족으로 응급의료기관이나 의료기관으로의 이송된 자 중 이송의료 기관 선정이 부적절한 경우가 상대적으로 높게 된다. 또한 각각의 환경에 맞게 구축된 병원 정보시스템의 이질성으로 응급환자의 효율적인 이송체계 수립이 어려운 실정이다. 멀티 에이전트의 자율적이며 독립적은 성향은 이질적인 병원 정보 시스템에서 효과적으로 상호운용할 수 있는 가능성을 높여주며 점점 복잡해지는 응급 의료 상황에 대하여 동적으로 행동할 수 있게 해준다. 따라서 본 논문에서는 응급환자의 정보를 통해 실시간으로 응급환자에게 가장 적절한 후보 병원을 결정하여 동적으로 응급환자의 병원 이송체계를 수립할 수 있는 의사결정 지원 시스템을 제안한다.