• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제12권2호
• /
• pp.137-142
• /
• 2012

The temporal subtraction technique as one of computer aided diagnosis has been introduced in medical fields to enhance the interval changes such as formation of new lesions and changes in existing abnormalities on deference image. With the temporal subtraction technique radiologists can easily detect lung nodules on visual screening. Until now, two-dimensional temporal subtraction imaging technique has been introduced for the clinical test. We have developed new temporal subtraction method to remove the subtraction artifacts which is caused by mis-registration on temporal subtraction images of lungs on MDCT images. In this paper, we propose a new computer aided diagnosis scheme for automatic enhancing the lung nodules from the temporal subtraction of thoracic MDCT images. At first, the candidates regions included nodules are detected by the multiple threshold technique in terms of the pixel value on the temporal subtraction images. Then, a rule-base method and artificial neural networks is utilized to remove the false positives of nodule candidates which is obtained temporal subtraction images. We have applied our detection of lung nodules to 30 thoracic MDCT image sets including lung nodules. With the detection method, satisfactory experimental results are obtained. Some experimental results are shown with discussion.

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

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• ETRI Journal
• /
• 제28권5호
• /
• pp.574-582
• /
• 2006

In this paper, a new error concealment algorithm is proposed for the H.264 standard. The algorithm consists of two processes. The first process uses a fuzzy logic method to select the size type of lost blocks. The motion vector of a lost block is calculated from the current frame, if the motion vectors of the neighboring blocks surrounding the lost block are discontinuous. Otherwise, the size type of the lost block can be determined from the preceding frame. The second process is an error concealment algorithm via a proposed adapted multiple-reference-frames selection for finding the lost motion vector. The adapted multiple-reference-frames selection is based on the motion estimation analysis of H.264 coding so that the number of searched frames can be reduced. Therefore the most accurate mode of the lost block can be determined with much less computation time in the selection of the lost motion vector. Experimental results show that the proposed algorithm achieves from 0.5 to 4.52 dB improvement when compared to the method in VM 9.0.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권2호
• /
• pp.59-67
• /
• 2003

본 논문에서는 모델 체킹을 시스템의 성능상의 효율성 분석에 적용하는 방법에 대해 논한다. 시뮬레이션이나 실험적인 측정을 통해 시스템의 성능저하를 찾는 건은 쉽지만, 성능을 저하시키는 요인을 분석해 내는 젓은 사실상 매우 어렵다. 특히, 시스템 지체가 매우 복잡해지고, 주위 다른 시스템과의 상호 동작을 하게 되면 소스코드의 분을 통한 오류 발견은 거의 불가능해진다. 이에 본 논문에서는 모델 체킹에 사용되는 시제논리를 통해 시스템의 자원 활용도를 명세하고, 이를 이용해서 모델 체킹을 수행함으로써 성능 저하를 발생시키는 요인을 찾아내는 방법에 대해 논한다

• 논리연구
• /
• 제17권3호
• /
• pp.461-484
• /
• 2014

본 논문은 확률의 객관적 해석과 주관적 해석이 가지는 문제점을 진단함으로써 이들을 극복할 수 있는 구성주의 확률해석을 제안한다. 이 확률해석에 의하면 확률의 수학적 구조는 경험적 자료들 사이에 연관성을 부여하는 구성적 이론적 가설을 제공하는 것으로 이해할 수 있다. 구성주의 확률해석을 위한 사례로 우주의 시간적 비대칭성에서의 확률구조를 분석했다. 본 사례의 확률을 구성적으로 해석할 경우 객관적 그리고 주관적으로 확률을 해석하는 문제들을 제거할 수 있다. 또한 구성적 확률해석은 고전적 확률해석이 그 문제점에도 불구하고 왜 표면적으로 신빙성 있는지에 대한 설명도 제공한다.

• 논리연구
• /
• 제5권2호
• /
• pp.23-38
• /
• 2002

시간에 따른 개체의 변화를 설명하기 위해서는 한 개체가 다른 시간에 서로 다른 속성을 소유할지라도 동일한 하나의 개체로 취급되어야 한다. 그러나 이러한 사실은 개체의 개별화를 위한 라이프니츠의 법칙에 적용될 경우 모순을 야기한다. 개체의 변화와 관련된 이러한 문제를 해결하려 시도한 가장 대표적인 이론은 루이스의 이론이라 할 수 있다. 루이스는 개체의 변화와 관련된 문제를 해결하려한 시도는 e-존속이론과 p-존속이론으로 구분되는데 자신의 이론인 p-존속이론만이 개체의 변화와 관련된 문제를 성공적으로 해결할 수 있는 대안이라 주장하고 있다. 그러나 필자의 생각으로는 그의 이론도 시공 속에서의 개체들의 변화에 대한 실질적인 설명을 포기한 것으로 보이고 시간적 부분이란 설명되지 않은 형이상학적 개념을 도입하고 있다는 결정적 약점을 안고 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2045-2047
• /
• 2001

In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

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

This is a speculative paper, describing a recently started effort to give a formal semantics to semantic annotation schemes. Semantic annotations are intended to capture certain semantic information in a text, which means that it only makes sense to use semantic annotations if these have a well-defined semantics. In practice, however, semantic annotation schemes are used that lack any formal semantics. In this paper we outline how existing approaches to the annotation of temporal information, semantic roles, and reference relations can be integrated in a single XML-based format and can be given a formal semantics by translating them into second-order logic. This is argued to offer an incremental aproach to the incorporation of semantic information in natural language processing that does not suffer from the problems of ambiguity and lack of robustness that are common to traditional approaches to computational semantics.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제4권3호
• /
• pp.266-270
• /
• 2004

The image interpolation is one of an image preprocessing process to heighten a resolution. The conventional image interpolation used much to concept that it put in other pixel to select the nearest value in a pixel simply, and use much the temporal object interpolation techniques to do the image interpolation by detecting motion in a moving picture presently. In this paper, it is proposed the image interpolation techniques using the fuzzy wavelet base function. This is applied to embody a correct edge image and a natural image when expand part of the still image by applying the fuzzy wavelet base function coefficient to the conventional B-spline function. And the proposal algorithm in this paper is confirmed to improve about 1.2831 than the image applying the conventional B-spline function through the computer simulation.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.601-603
• /
• 2004

차세대 웹인 시맨틱 웹의 등장으로 시간개념을 내포하고 있는 자원들 간의 관계표현이 대두되고 있다. 일상생활을 막론하고 전문분야에 이르기까지 시간적인 자원들이 존재하고 이를 표현하기 위해서는 반드시 효율적인 관계표현이 필요하다. 본 논문에서는 시간개념을 내포하는 자원들의 관계표현을 위한 조건을 제시하고 또한 조건에 만족하는 관계를 설정하였다. 또한 RDF 해석기가 해석 할 수 있도록 해석 Logic을 설정하였다.