• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.2463-2466
• /
• 2002

본 연구에서는 학습자의 수준에 맞는 적합한 학습 내용과 평가 문제를 제공하고, 그 평가 결과를 분석하여 반복학습 및 심화학습을 효과적으로 제공하는 웹기반 퍼지 교수 시스템을 제안한다. 이를 위해 코스웨어를 설계시 학습목표의 중요도, 학습내용의 난이도, 학습목표와 학습내용과의 관련성과 각 항목의 가중치를 고려한 퍼지 함수에 의해 퍼지 소속성을 가진 퍼지 언어 변수로 각 프레임에 대한 수준을 표현한다. 이와 같이 퍼지 함수를 이용함으로써 학습자의 수준을 분석하고, 이에 적절한 학습 및 평가 내용을 제공하는데 여러가지 다양하고 불확실한 요소들을 고려하여 처리함으로써 보다 융통성 있고 효과적인 교수 학습 방법을 지원할 수 있다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1845-1846
• /
• 2008

Type-2 퍼지 집합은 언어의 불확실성을 다루기 위하여 고안된 Type-1 퍼지집합의 확장이다. TSK 퍼지 로직 시스템(TSK Fuzzy Logic Systems; TSK FLS)은 Mamdani FLS과 함께 가장 널리 사용되는 퍼지 로직 시스템 모델이다. 본 논문에서는 Type-2 퍼지 집합을 이용하여 전반부 멤버쉽 함수를 구성하고 후반부 다항식 함수를 상수와 1차식, 2차식으로 확장한 다항식 Type-2 TSK FLS 설계한다. 다항식 Type-2 TSK FLS의 파라미터를 동정하기 위해 Back-propagation 방법을 사용한다. 제안된 다항식 Type-2 TSK FLS을 노이즈 섞인 비선형 시스템의 모델링에 적용하여 그 성능을 비교 분석한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1769-1770
• /
• 2008

Type-2 퍼지 논리 시스템은 기존의 Type-1 퍼지 논리 시스템으로부터 확장된 개념으로서 언어적 불확실성에 대한 개념을 부곽시킨다. Type-2 퍼지 논리 시스템의 가장 큰 특징은 멤버쉽 함수에 Footprint Of Uncertainty(FOU)을 사용하여 불확실성을 표현한다. Type-2 퍼지 논리 시스템은 그것의 rule-base 안에서 최소한 한 개 이상의 Type-2 멤버쉽 함수(MF)를 포함한다. Type-2 퍼지 로직 제어기는 MF가 FOU를 포함하여 계산량이 많은 반면에 외란에 대하여 강인한 성격을 지닌다. 따라서 본 논문에서는 비선형성이 강한 볼빔 시스템에 Type-1과 Type-2 퍼지 로직 제어기를 설계하고 외란에 대하여 견실한 제어기를 보인다.

• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.736-738
• /
• 1999

본 논문에서는 ITU-T 권고안에 정의된 장제적 접근제어 모델과 역할기반 접근제어 모델을 상호연동한 모델의 관리객체 상호관계구조를 정의하였다. 또한 관리속성값을 제어하는 관리연산을 연관된 유형별로 묶어 역할로 정의하였으며 관리자와 관리객체에 보안등급을 부여함으로써 무결성을 보장하고 관리자 관리객체 사이에 역할을 배정하므로써 실생활에 적용될 수 있는 접근제어 모델을 제시하였다. 그리고 역할배정규칙과 제약조건을 기반으로 하여 'rule' 관리객체 클래스의 접근제어 결정함수와 접근제어 집행함수의 동작과정을 동적특성 기술언어를 체계적이고 정형적으로 기술하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.329-332
• /
• 2008

Type-2 퍼지 집합은 언어적인 불확실성을 다루기 위하여 Zadeh에 의해 제안되었고 Mendel과 Kamik에 의해 이론이 체계화 되었다. TSK 퍼지 로직 시스템(TSK Fuzzy Logic Systems; TSK FLS)은 Mamdni 모델과 함께 가장 널리 사용되는 퍼지 로직 시스템이다. 본 논문에서는 Type-2 퍼지 집합을 이용하여 전반부 멤버쉽 함수를 구성하고 후반부 다항식 함수를 상수와 1차식, 2차식으로 확장한 다항식 Type-2 TSK FLS 설계한다. 또한 가스로 공정 데이터에 응용하여 후반부 다항식의 변화에 따른 Type-2 TSK FLS의 특징을 비교 분석 할 뿐 만 아니라 테스트 데이터에 노이즈를 첨가하여 노이즈에 따른 Type-l TSK FLS과 Type-2 TSK FLS의 특성을 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.664-666
• /
• 2002

대부분의 객체 지향 언어들은 여러 가지 연산을 구현하기 위한 방법으로 메쏘드(method)를 이용한다. 메쏘드는 생성함수(generic function)의 타입에 관련된 행동을 정의한다. 이런 메쏘드들이 서로 구별되는 인수를 이용해서, 생성 함수가 프로그램 수행시에 불려질 때 인수의 타입에 따라 어느 메쏘드를 수행할지 결정한다. 이런 메쏘드의 선택 과정은 가장 적용되기 가까운 메쏘드(most specific applicable method MSA)를 구하기 위해서 단일의 인수를 사용할 것이냐, 모든 인수를 활용할 것이냐에 따라 단일 메쏘드와 다중 메쏘드로 구분된다. 이런 메쏘드를 선택하기 위해서 구현하는 방법으로는 캐슁이나 인라인, 디스패치 데이블, 컬러링 기법이 있다. 본 논문에서는 디스패치 테이블을 이용한 기법에서 공간의 낭비없이 효율적으로 멀티메쏘드 디스패치를 구현할 수 있는 점진적 압축알고리즘을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.979-981
• /
• 2005

"버퍼에 대한 바운드 체크를 하지 않는다"라는 작은 취약성 하나가 버퍼 오버플로우라는 큰 위협을 만들어냈다. 그러나 그것을 단지 C언어의 무결성 문제로 단정 지어 버릴 수도 없는 문제이다. 일반적으로 버퍼 오버플로우 공격은 메모리에 할당된 버퍼의 경계를 넘는 데이터를 입력하여 프로그램의 함수복귀주소를 조작하고 공격자가 원하는 코드를 삽입하여 이루어진다. 이러한 버퍼 오버플로우에 대한 여러가지 대응책들이 나왔지만 약간의 문제점들을 가지고 있다. 그래서 본 논문에서는 운영체제의 세그멘테이션 기법을 이용하여 그 공격에 대응할 수 있는 한 가지 방법을 제시하고자 한다. 기존의 스택가드(카나리아 버전)의 문제점인 우회공격과 카나리아 워드를 추측하여 이루어지는 공격 그리고 MineZone RAD의 문제가 되는 DRAMA 등에 있어서도 효과적으로 방어할 수 있을 것으로 기대한다. 또한 스택가드(Memguard 버전)에서 이곳저곳에 산재되어 관리하기 어려운 함수복귀주소를 별도의 세그먼트 테이블로 쉽게 관리할 수 있을 것이다.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2812-2814
• /
• 2002

대부분의 객체 지향 언어들은 여러 가지 연산을 구현하기 위한 방법으로 메쏘드(method)를 이용한다. 메쏘드는 생성함수(generic function)의 타입에 관련된 행동을 정의한다. 이런 메쏘드들이 서로 구별되는 인수를 이용해서, 생성 함수가 프로그램 수행시에 불려질 때 인수의 타입에 따라 어느 메쏘드를 수행할지 결정한다. 이런 메쏘드의 선택 과정은 가장 적용되기 가까운 메쏘드(most specific applicable method, MSA)를 구하기 위해서 단일의 인수를 사용할 것이냐, 모든 인수를 활용할 것이냐에 따라 단일 메쏘드와 다중 메쏘드로 구분된다. 이런 메쏘드를 선택하기 위해서 구현하는 방법으로는 캐슁이나 인라인 디스패치 테이블, 컬러링 기법이 있다. 본 논문에서는 디스패치 테이블을 이용한 기법에서 공간의 낭비없이 효율적으로 멀티메쏘드 디스패치를 구현할 수 있는 점진적 압축알고리즘을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.306-308
• /
• 1998

PC를 클라이언트로, UNIX등의 운영체제를 탑재한 워크스테이션을 서버 플랫폼으로 구축되는 데이터베이스 응용 프로그램들은 데이터베이스 접근 API로 대부분 ODBC를 사용한다. 그런데, ODBC API에서 제공하는 자료형과 관련 함수들이 아주 복잡해서 이해와 사용이 어렵고, C 함수 형태의 API를 제공하기 때문에 C++나 자바와 같은 객체 지향 언어로 ODBC를 이용하여 클라이언트 시스템을 구현할 때는 OLE DB나 JDBC등의 클래스 라이브러리 API를 사용하는 것에 비해 이해하기 쉬운 프로그램 원시코드 생성이 어렵다. 본 연구에서는 데이터베이스 응용 프로그래머의 요구사항을 효과적으로 반영하여 ODBC API들을 C++클래스 형태로 설계 및 구현하였다. 구현된 C++ 클래스 형태의 데이터베이스 인터페이스를 사용하면, 보다 더 간결한 프로그램 원시 코드로 데이터베이스 응용 프로그램을 작성할 수 있다.