• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

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

최근 시스템 환경의 급격한 변화에 따라 기존 시스템의 유지보수와 재사용에 관련된 여러 가지 문제점이 발견되었다. 객체지향개념은 우리에게 재사용과 유지보수를 용이하게 해 줄 것으로 생각되었지만 기대만큼의 효과는 거두지 못하고 있다. 이러한 현실적인 문제를 해결하기 위해 많은 클래스들을 관련성을 이용해 패키지로 분류하는 클러스터링 기법들이 연구되었다. 대부분이 소프트웨어의 품질을 평가하기 위한 매트릭스를 기반으로 한 것이었지만, 실제 현장에서 개발자들의 경험에 의한 클러스터링 기법과는 많은 차이가 발생한다. 본 논문에서는 메트릭스를 이용한 Composition 방법과 개발자들의 경험을 이용한 Partition 방법을 혼합하여 정량화된 수치를 제공하며 개발자들의 경험을 충족시키는 방법을 제시하고자 한다.

• 정보화사회
• /
• 통권100호
• /
• pp.12-22
• /
• 1996

국내에서 일반적으로 사용되고 있는 시스템통합사업의 개념은 고객의 욕구를 충족시키고, 그 사업을 성공시키기 위하여 컨설팅, 하드웨어제공, 소프트웨어 제공, 시스템 유지보수 등을 망라하고 있다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1999년도 추계학술발표회요약집
• /
• pp.85.2-85
• /
• 1999

• 건설관리
• /
• 제12권5호
• /
• pp.43-54
• /
• 2011

고속도로 건설사업은 기본설계, 실시설계 단계에서 합리적이고 경제적인 대안 선정을 위해 대안간의 총생애주기비용(LCC)을 산정, 비교하게 된다. LCC 산정시에는 각 대안의 보수주기, 보수율, 보수비용 등의 유지관리 정보가 필요하며, 한국도로공사의 경우에는 자체 개발하여 운영하고 있는 Hi-유지관리시스템의 정보를 이용할 수 있다. 그러나 LCC를 고려하지 않은 기존 유지관리시스템의 데이터베이스 구조 및 입력체계로 인해 유지관리 정보를 효율적으로 획득 및 적용하기가 어려워 전문가의 설문에 기초한 유지관리 정보를 주로 활용하여 LCC를 산정하여 왔다. 본 연구에서는 실제 유지관리 자료를 실용적으로 사용할 수 있도록 연간일상유지관리 개념을 제안하였다. 제안된 개념에 따라 한국도로공사의 Hi-유지관리시스템 자료를 분석하여 일부 제시하였으며 실제 고속도로 건설사업에 적용하여 본 결과, 엄밀한 LCC 분석을 위한 유지관리 데이터가 부족한 현 상황에서 효과적으로 적용할 수 있음을 확인하였다.

• 디지털콘텐츠학회 논문지
• /
• 제11권4호
• /
• pp.537-543
• /
• 2010

소프트웨어의 발전에 따라 유지보수 프로세스도 지속적으로 개선되어 왔다. 또한 기존 하자유지보수 중심의 개념은 운영관리 및 서비스의 향상을 요구하고 있다. 그러나 서비스 기반의 요구사항들을 유지보수 수행에 반영하는 데에는 여러 가지 제약사항을 가지고 있다. 이런 문제들을 해결하기 위하여 서비스에 기반하여 유지보수를 할 수 있는 프로세스의 연구가 필요하다. 본 연구에서는 서비스 기반의 소프트웨어 유지보수 프로세스를 제안한다. 제안하는 프로세스는 소프트웨어 개발과 유지보수 관련 표준인 ISO12207을 기반으로 서비스 기반의 대표적 표준들과 비교한다. 관련연구로 $SM^{MM}$, ITSCMM, ITIL의 활동을 연구하여 유지보수와 관련된 활동들을 찾아내고 ISO 12207의 활동들과 비교하여 서비스 기반의 유지보수 프로세스 활동을 식별한다. 이를 통해 서비스 관리 단계를 제안한다. 서비스 관리 단계는 4개의 활동과 8개의 산출물로 정의하였다. 마지막으로 제안한 프로세스를 일반적인 서비스 수행과정과 비교하여 결과를 검증하였다.

• 한국철도학회논문집
• /
• 제13권2호
• /
• pp.159-165
• /
• 2010

본 논문에서는 RAM(Reliability, Availability, and Maintainability)과 RCM(Reliability Centered Maintenance) 개념을 기반으로 하는 틸팅 열차 유지보수 시스템(TRMS; Tilting Rolling-stock Maintenance System)의 S/W 구축방안을 제시하였다. 먼저 RCM 개념 및 절차에 대하여 소개하고 TRMS S/W가 어떻게 이러한 개념과 절차를 구현하는지에 관하여 논하였다. TRMS는 네 개의 모듈 즉 시스템 및 운영정보 모듈, FMECA 모듈, RAM 정보 모듈, RCM 분석 모듈로 구성되어 있다. 시스템 및 운영정보 모듈에서는 RCM 분석의 기초 작업인 데이터 수집을 위한 인터페이스가 제공되고, FMECA 모듈에서는 시스템 및 운영정보 모듈의 고장 데이터를 이용하여 고장영향 분석을 할 수 있는 워크 스페이스(workspace)를 제공한다. RAM 모듈에서는 Weibull 분포의 신뢰성과 고장률을 산출하기위한 알고리즘이, RCM 분석모듈에서는 작업주기와 작업비용을 계산하기위한 계산식이 제안되었다. 유지보수 관계자들이 RCM의 장점을 충분히 인식한다면 RCM을 다른 전동차 유지보수 시스템에도 쉽게 적용할 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권9호
• /
• pp.718-731
• /
• 2009

소프트웨어 유지보수는 기존의 하자 유지보수 개념에서 운영관리 및 서비스의 향상을 위해 지속적인 개선이 요구되고 있다. 본 연구에서는 K사에서 수행중인 4개의 유지보수 프로젝트를 기반으로 소프트웨어 유지보수 성숙도 모델과 평가지표를 제안한다. 이를 위해 SMMM, ITSMM, ITIL을 기반하여 13개의 프로세스 영역과 64개의 평가지표를 도출하고, 도출된 64개의 평가지표를 5점 척도로 설문 평가하여 그 결과를 기반으로 성숙도 모델의 수준을 분류하여 K사의 성숙도 모델을 구축한다. 그리고 K사의 성숙도 모델을 검증 및 개선하기 위하여 K사의 설문평가 점수를 분석하여 평가지표의 개선방안을 제안하고, K사의 성숙도 모델이 소프트웨어 유지보수의 개선 방안을 어떻게 나타내는지를 확인하기 위하여 제안한 소프트웨어 유지보수 성숙도 모델을 K사의 4개의 프로젝트를 대상으로 하여 성숙도 평가를 수행하고, 그 결과를 기반으로 개선방안을 제시하였다.

• 대한토목학회논문집
• /
• 제29권5A호
• /
• pp.503-510
• /
• 2009

본 연구의 목적은 LMC로 덧씌우기 또는 보수 된 형태의 RC 보의 정적 거동 특성을 파악하는데 있다. 따라서, LMC로 덧씌우기 및 보수된 RC 보를 상대습도 60%, 온도 $20^{\circ}C$의 조건에서 양생을 실시하여 제작하였으며, 제작된 시험체를 4점 휨 실험을 수행하여 균열양상, 파괴거동 및 극한강도 등의 거동을 고찰하였다. 실험결과 전단철근이 보강된 보수형태의 RC보의 경우 100%이상의 내하력을 회복하여 보수 효과가 뛰어난 것을 알 수 있었고, LMC로 압축부에 덧씌우기 된 시험체의 경우 덧씌우기 두께가 증가함에 따라 내하력이 크게 증진되었다. 그러나, 전단철근이 보강되지 않은 보수형태의 시험체와 인장부 덧씌우기된 시험체는 부착계면 파괴양상을 보여주어 보수 및 보강 효과가 거의 없는 것으로 나타났다. 또한 부착계면의 거동특성을 파악하기 위하여 전단흐름 개념을 도입하여 LMC로 압축 덧씌우기된 시험체를 대상으로 하중증가에 따른 전단흐름량을 계산하여 부착계면 특성을 수치적으로 나타내었다.

• 한국항공우주학회지
• /
• 제48권10호
• /
• pp.791-799
• /
• 2020

2019년 10월 발사된 Northrop Grumman사의 MEV-1(Mission Extenstion Vehicle)은 세계 최초의 무인임무로서 궤도상 유지보수(On-Orbit Servicing)가 실질적으로 가능함을 보였다. 물론 궤도상 유지보수 임무는 수십 년 전부터 제안된 개념으로 운영 중인 위성에 대한 궤도수정 및 유지, 추진제/장비 보급 및 업그레이드, 수리, 궤도상 조립 및 제작, 우주잔해 처리 등 다양한 임무개념으로 발전되고 있으며, 이번 MEV-1 임무의 성공으로 향후 세계적으로 정부기관 및 민간분야 위성사업에서의 시장이 확대될 것으로 예상된다. 궤도상 유지보수 임무는 임무의 특성상 기본적으로 고효율의 전기추진시스템의 활용은 필수적이다. 본 연구에서는 전기추진시스템 중 홀추력기를 활용한 간단한 궤도상 유지보수 임무에 대한 임무해석 내용을 소개하고자 한다. 임무사례로서 정지궤도위성의 수명연장 임무에 대해 다양한 홀추력기 설계변수조합에 대한 설계공간탐색을 수행하고, 설계공간분석 및 최적화를 통해 고려하는 임무에 적합한 홀추력기의 설계 및 운용 파라미터를 제안함과 동시에 임무성능을 도출하였다. 추가적으로 현재 궤도상 유지보수 임무해석 시 개선점과 홀추력기를 활용한 우주임무해석에서의 발전방향을 고찰하였다.