• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2004년도 추계학술대회 및 정기총회
• /
• pp.653-656
• /
• 2004

본 연구는 기존 소프트웨어 개발 방법론의 이론적 근거를 파악하고, 이에 대한 분석을 통해 비 프로세스 영역과 불규칙 프로세스 영역을 처리하는데 적합한 새로운 소프트웨어 개발 방법론을 정의하고 이를 바탕으로 한 Framework과 Platform을 개발하는 데 그 목적이 있다. 비정형 소프트웨어 개발 방법론은 요구변동성이 높은 소프트웨어 개발, 혹은 선도 기술 개발 프로젝트의 경우에 활용 가능성이 높은 방법론이라 할 수 있다. 이와 같은 특징을 지닌 소프트웨어 개발에 있어서 중요한 점은 요구사항과 사용자(개발자)의 지속적인 Feedback에 대응해야 하는 것이기 때문에 본 소프트웨어 개발 방법론은 과정 중심의 대응 방법을 제시하고 있다. 본 연구를 통하여 프로세스가 갖춰지지 않은 Firm Level에서의 Task Transaction과 Management를 Syndication을 활용하여 구축하고, 기존 소프트웨어 개발 방법론과의 차이점을 검토하고 그 가능성을 살펴보고자 한다.

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

SVDD(support vector data description)는 one-class 서포트 벡터 학습 방법론 중 하나로 비정상 물체에서 정상 데이터를 구분하기 위해서 특징 공간에서 정의된 구를 이용하는 전략을 쓰는 방법론이다. 본 논문에서는 SVDD를 이용해서 노이즈가 섞인 비정상 데이터를 노이즈가 제거된 정상 데이터로 복원하는 방법에 대해서 논한다. 그리고 저해상도의 이미지를 고해상도의 이미지로 복원함으로써 본 논문의 방법론이 어떻게 실용적으로 적용되는지에 대해서 다룬다.

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

본 연구에서는 객체지향적 CASE 툴인 ObjecTime을 이용하여 지능형 제조 운영 시스템을 설계/구현하였다. 객체지향적 프로그래밍 방법론과 ROOM(Real-time Object-Oriented Modeling) 방법론을 사용하여 지능형 제조 운영 시스템에서 필요한 객체를 설계하였으며, 이들 객체의 계층도와 관계를 정의하였다. 객체지향적 설계 방법론을 사용하여 설계한 시스템은 모델링 과정에서 실행화일을 얻는 과정까지 발생하는 오류를 최소화할 수 있다는 장점이 있다. 또한, 본 연구에서는 제조 시스템의 모니터링과 제조시스템 운영 소프트웨어의 자료 입력 및 수정을 위한 그래픽 사용자 인터페이스 툴을 제작하였다.

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

현재 기업의 정보시스템으로 각광 받고 있는 ERP 시스템은 인사, 회계, 물류, 제조, 서비스 등 기업 활동의 전 부분을 효과적으로 관리하고 통제하기 위한 통합 정보시스템으로 ERP 패키지를 이용하여 최신의 정보기술을 지원하는 비즈니스 시스템을 말한다. 기존의 정보시스템 개발에서는 명확한 사용자 요구사항을 기반으로 하지만 ERP 패키지 개발에서는 사용자 요구사항을 정의하는데 어려움이 많다. 따라서 기존의 시스템에 적용되는 방법론과는 달리 ERP 패키지 개발을 위한 방법론이 필요하다. 본 논문에서는 고품질의 ERP 패키지를 효율적으로 설계할 수 있도록 마르미-II에 기반한 ERP 패키지 개발 프로세스를 제안한다.

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

MASAM 방법론은 모바일 플랫폼 위에서 동작하는 응용 SW 개발을 목적으로 하는 방법론이다. 모바일 응용 SW는 통신 환경과 밀접하게 연결되어 있으며 사용자의 반응이 즉시 나타나는 특징을 가진다. 또한 복잡한 개발 기술보다는 사용자의 요구를 적극적으로 수용하여 제품을 빠르게 출시하는 것이 중요하다. 이러한 특성은 해결하기 위해 MASAM은 어자일 방법론에 기반하여 정의한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.207-210
• /
• 2004

Waterfall 모델에서의 소프트웨어 개발 단계는 사용자로부터 요구 사항을 정의하고, 이것이 다음 단계의 input 이 되어 개발자에 의해 작업이 진행되는 개발 양식을 따른다. 시스템 요구 사항을 정의할 때에, 프로세스 관점에서 사용자 업무를 이해하고, 이 프로세스에서 사용되는 시스템과의 관계를 정의하여 요구 사항으로 함께 정의한다면, 단순한 시스템의 기능을 정의하여 개발하는 것 보다 시스템의 사용 목적을 이해하고 개발하게 됨으로써, 더 만족도 높은 시스템으로 개발할 수 있게 된다. 프로세스 관점에서 이해하고 정의하는 시스템의 요구 사항은 시스템 보수 작업(Maintenance)시에도 시스템의 상황이 현재 업무 프로세스와 어떻게 연계되어 있는지 파악하기 용이하고, 테스트 단계에서도 테스트 조건이나 테스트 시나리오로서도 활용이 가능하다. 새로운 업무를 담당하는 사람에게도 시스템 개발 요구 사항에서 정의된 업무 프로세스 맵(Map)이 관련 업무를 파악할 수 있는 기초 자료로 재 활용 될 수도 있다. 비즈니스 프로세스 리엔지니어링에서 사용하는 비즈니스 프로세스 맵핑(Mapping) 기술을 소프트웨어 개발 방법론에 적용하여, 요구 분석 단계에서 사용하는 분석 도구로서의 응용을 제안하고자 한다.

• 정보과학회지
• /
• 제14권7호
• /
• pp.18-26
• /
• 1996

• 논리연구
• /
• 제15권2호
• /
• pp.207-222
• /
• 2012

이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계를 소개하고 그에 상응하는 FR-대수를 정의한 후 FR이 대수적으로 완전하다는 것을 보인다. 다음으로 FR을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다. 마지막으로 이러한 의미론이 R에는 적용될 수 없다는 점을 보인다.

• 논리연구
• /
• 제19권1호
• /
• pp.83-106
• /
• 2016

프레게의 Grundgesetze에 소개된 시스템과 그 이후에 집합론 및 유형론에서 중요한 역할을 한 시스템들에서 사용된 귀납법에 대해 살펴본다. 먼저 프레게의 자연수 귀납법에 대한 이해를 살펴 본 후에 현대 집합론과 유형론에서 귀납법이 어떻게 정의 및 활용되는가를 살펴본다. 또한 프레게의 접근방식과 기타 접근방식의 차이점을 predicativity와 impredicativity 차원에서 조명한다.