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

Methods for risk engineering is a bundle of engineering tools including fundamental concepts and approaches of soft computing with application to real issues of risk management. In this talk fundamental concepts and soft computing approaches of risk engineering will be introduced. As the term of risk implies both advantageous and hazardous uncertainty in its origins, a fundamental theory to describe uncertainties is introduced that includes traditional probability and statistical models, fuzzy systems, as well as less popular modal logic. In particular, modal logic capabilities to express various kinds of uncertainties are emphasized and relations with rough sets and evidence theory are described. Another topic is data mining related to problems in risk management. Some risk mining techniques including fuzzy clustering are introduced and a recently developed algorithm is overviewed. A numerical example is shown.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.42-53
• /
• 2007

Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncertain knowledge, employing hypothesized worlds. In this talk, I firstly brief the pedigree of these theories. Next, I will introduce the recent development of modal logic for the representation of (i) knowledge and belief and (ii) time, in which belief modality is precisely discussed together with the accessibility among possible worlds. I will refer to BDI (belief-desire-intention) logic, CTL (computational tree logic), and sphere-based model in belief revision. Finally, I will discuss how these theories could be applied to the further development of analyses of natural language.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제7권2호
• /
• pp.148-153
• /
• 2007

This paper deals with implementing a steganography based multi-modal biometric system. For this purpose, we construct a multi-biometrics system based on the face and iris recognition. Here, the feature vector of iris pattern is hidden in the face image. The recognition system is designed by the fuzzy-based Linear Discriminant Analysis(LDA), which is an expanded approach of the LDA method combined by the theory of fuzzy sets. Furthermore, we present a watermarking method that can embed iris information into face images. Finally, we show the advantages of the proposed watermarking scheme by computing the ROC curves and make some comparisons recognition rates of watermarked face images with those of original ones. From various experiments, we found that our proposed scheme could be used for establishing efficient and secure multi-modal biometric systems.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제7권1호
• /
• pp.71-76
• /
• 2007

This paper deals with implementing a steganography based multi-modal biometric system. For this purpose, we construct a multi-biometrics system based on the face and iris recognition. Here, the feature vector of iris pattern is hidden in the face image. The recognition system is designed by the fuzzy-based Linear Discriminant Analysis(LDA), which is an expanded approach of the LDA method combined by the theory of fuzzy sets. Furthermore, we present a watermarking method that can embed iris information into face images. Finally, we show the advantages of the proposed watermarking scheme by computing the ROC curves and make some comparisons recognition rates of watermarked face images with those of original ones. From various experiments, we found that our proposed scheme could be used for establishing efficient and secure multi-modal biometric systems.

• 한국멀티미디어학회논문지
• /
• 제8권8호
• /
• pp.1119-1133
• /
• 2005

프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 UIO(Unique Input Output) 방법에 의해 유일한 입출력열을 이용하여 이끌어낸 결과 시퀀스가 구현에 대해 올바른지를 검사하는 적합성시험 계열 생성도구를 개발하였으며, 개발된 도구는 Windows NT 환경하에서 C++ 언어를 이용하여 구현되었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 추계학술대회논문집
• /
• pp.198-203
• /
• 2002

A fuzzy logic controller design technique is proposed to apply for the control of flexible system under irregular disturbance. The fuzzy rules of $\ulcorner$Mode Selecting Fuzzy Controller$\lrcorner$ are constructed using displacement, velocity information and modal characteristics of the system. The frequency information of flexible system is picked up from $\ulcorner$Mode Selecting Unit$\lrcorner$ based on Fast-Fourier transform algorithm. Experiment is conducted to verify the proposed theoretical approach, Piezo ceramic and laser accelerometer are used as actuator and sensor in the experiments respectively

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 추계학술대회논문초록집
• /
• pp.326.1-326
• /
• 2002

A fuzzy logic controller design technique is proposed to apply to the control of flexible system under irregular disturbance. The fuzzy rules of $\ulcorner$Mode Selecting Fuzzy Controller$\lrcorner$ are constructed using displacement, velocity information and modal characteristics of the system. The frequency information of flexible system is picked up from $\ulcorner$Mode Selecting Unit$\lrcorner$ based on Fast-Fourier transform algorithm. Experiment is conducted to verify the proposed theoretical approach. (omitted)

• 논리연구
• /
• 제12권2호
• /
• pp.1-29
• /
• 2009

유명론자인 필드에 따르면, 수학적 대상은 존재하지 않지만 존재할 수도 있었다. 이 글의 목적은 이런 필드의 '우연적' 유명론이 설득력이 있는지를 살펴보는 데 있다. 이를 위해 나는 여기서 필드와 플라톤주의자인 헤일과 라이트 사이에 벌어진 논쟁을 분석하고 평가한다. 나는 설명의 요구 논증은 여전히 유효하지만, 거기서 사용된 일반 원리를 뒷받침해줄 별도의 논증이 필요하다고 주장하며, 반절연 원리에 근거한 비판의 경우 그 원리 자체에 이미 각 진영의 철학적 입장이 전제되어 있다고 주장한다.

• 논리연구
• /
• 제6권1호
• /
• pp.33-50
• /
• 2003

본 논문에서 필자는 기존의 양상 허구주의의 번역 체계가 가지고 있는 세가지 난점을 극복할 수 있는 양상 허구주의의 새로운 번역 체계를 제시한다. 이 세 난점이란 (1) 많은 세계들의 존재를 받아들이지 않을 수 없게 된다. (2) 세계 간의 비교를 하게 하는 양상 진술문을 제대로 번역할 수 없다 (3) 어떤 양상 진술문에 내해 잘못된 진리치를 부여한다 이다. 이 세 난점을 극복하기 위한 필자의 제안은 세계-양화사의 범위 안에 등장하는 양화사들이 주어진 세계 내의 사물들만을 범위 내에 포함하는 루이스의 초기 번역 체계나 비한정적 양회사를 도입하는 루이스의 후기 번역 체계를 받아들이는 대신, 양화사를 조금씩 조금씩 비한정시키는 (unrestrict) 시키는 것이며, 필지 공식 번역 체계는 우주 (세계)의 부분전체론적 합으르 정의되는 "다우주(muitiverse)"라는 새로운 용어를 도입함으로써 얻어진다. 필자의 공식 번역 체계는 다음과 같다: P가 가능하다 iff PW에 의하면 P가 잠인 다우주가 존재한다 P가 필연적으로 참이다 iff PW에 의하면 모든 다우주에서 P가 참이다 마지막으로 필자는 비한정적인 세계 간의 비교를 하게 하는 양상 진술문을 적절하게 번역하기 위해서 필자의 번역 체계에 약간의 수정을 가한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.90.3-90
• /
• 2002

$\textbullet$ Introduction of fuzzy logic controller for dynamic system under irregular disturbance $\textbullet$ Fuzzy rules by displacement information and the frequency characteristics of the system $\textbullet$ Modal analysis for the frequency informations of the system $\textbullet$ Introduction of mode selecting unit(MSU) based on Fast-Fourier transform(FFT) algorithm $\textbullet$ Piezo ceramic as an actuator of flexible structure