Study on Error Check and State Reduction of State Diagram Using Logic Programming

이극,김민환,황희융,Lee, Geuk,Kim, Min-Hwan,Hwang, Hee-Yeung 대한전기학회 1986 전기학회논문지 Vol.35 No.11

This paper is concerned with the techniques of error check and reduction of state diagram using logic programming. Error check program aims to check not only syntax errors but also semantic errors. And reduction program optimizes the state diagram by finding the redundant equivalence states and removing those from the set of states. The input of both program is state diagram represented as state table form. The output of error check program is error comment. The output of reduction program is equivalence reduced state table. Both programs are implemented using prolog. Prolog has very powerful pattern matching, and its automatic back-tracking capabilities facilitate easy-to-write error check and reduction programs.

패케지 디자인의 색채가 구매에 미치는 영향에 관한 연구

이극,김명산 경원전문대학 1999 論文集 Vol.21 No.-

Mass production by industrialization; as the goods maker in the field of free competition for mass consumption; and as a method for strong marketing, which stimulates purchasing motivation to consumer; there have been gradually diversifying phenomenon with adding functions of sales promotion, consumers satisfaction, and further the shape of cultural environment through social activities hopefully. The consumers have been placing more evaluation for their satisfaction of mental desire as well as for the physical value of a product with different view for their free selection in this high consuming social life of cultural environment. At the same time the consumers never buy products without thinking; through rational process of selection decide what to buy and how to take their action as well. The information they need; the consumers may find themselves, but by makers they are being offered; in most case for their purchasing selection, i.e. the packing is just the most important factor to make them buy as an influence of decision. In such packing design the color is very important element to decide their minds in buying stimulation. And also, in this information age like today, most information through their daily life can be obtained easily by sight as they see around. According to the American colorist, I. Cheskin, says; the human decision from the any form can be spiritual and rational; but their reaction by color can be emotional, i.e. the form depends upon human ration, but the color human emotion. Therefore, through color human impression can be remained in their brain strongly and easily gets influenced. And even more the 90% of human behavior, he explains, depends on their emotion: but only 10% by ration, Consequently, when they buy any product, we can say that it is very influential by color for consumers last moment decision. The color physically is a world of subjective feeling; which occurs through human sensitive organ by a light; and a psychological phenomenon occurring an emotion; and very important factor for a decision of human behavior with thinking. All kind of formative arts' beauty usually consists of line, form, color and outer appearance at all. Among them we can say that first of all, strongest reflection visually makes people feel by only color. As a result, even same formative arts with any line and type, by change color its feeling emotion can be changed in many different ways, we can be understanding. Thus, for color, which part, how to layout with more beautiful effects become influential as an element to be chosen by consumers selection directly. The commodity color is a key point to attract consumers sight even far place quickly. As the color in package design is a decisive element to be selected by consumer for any goods I hereby analyze the types of color and for the marketing situation of domestic package design.

Prolog를 이용한 State Diagrame의 처리

이극,조동섭,황희융 대한전기학회 1985 대한전기학회 학술대회 논문집 Vol.1985 No.7

윈도우즈 기반에서 정보 유출 방지를 위한 GUID 분석기법

이극,이규원,지재원,천현우,손철웅 보안공학연구지원센터 2011 보안공학연구논문지 Vol.8 No.1

IT 기술의 발전이 현대 사회에 미치는 영향력이 커지고 있다. 이와 함께 디지털 범죄, 디지털 장치들을 대상으로 하는 수사 또한 필요성이 점점 증가하고 있다. 범죄디지털 포렌식은 역사가 오래되지 않은 수사 기법으로 현재 보다 더 발전된 기법을 필요로 하고 있다. Windows 운영체제의 레지스트리는 시스템의 많은 정보를 포함하고 있다. 본 논문에서는 레지스트리 정보 중 GUID 분석을 통해 용 의자로부터 압수된 시스템에서 놓칠 수 있는 정보를 파악한다.

QC와 자주성

이극 한국시멘트협회 1977 시멘트 Vol.67 No.-

이기종 마이크로 컴퓨터간의 화상 전송에 관한 연구

이극,류연옥,조동섭,황희융 한국정보과학회 1986 한국정보과학회 학술발표논문집 Vol.13 No.2(2)

본 논문은 기종이 서로 다른 컴퓨터간의 화상 전송에 관한 연구이다. 이기종 컴퓨터간에 화상 전송시 발생하는 해상도, 주소, bit size mapping등의 문제점들을 고찰하고, 실제고 이기종간의 화상 전송의 예를 구현하여 보았다.

하이브리드 클라우드 컴퓨팅 환경에 적합한 인증시스템 설계

이극,지재원,천현우,이규원 한국융합보안학회 2011 융합보안 논문지 Vol.11 No.6

클라우드 컴퓨팅은 자원을 편리하고 효율적으로 사용하기 위해 만들어진 시스템이다. 본 논문에서는 PKI와 ID_PW 그리고 지리정보 조합을 이용한 2-factor 인증방법을 제안한다. 제안한 방법은 하이브리드 클라우드 환경에 적합하며 자원과 데이터를 보다 안전하게 관리할 수 있다. Cloud computing is a system which efficiently utilizes resources. In this paper, we propose 2-factor authentication system combing PKI, ID_PW and location information. The proposed method improve the security of hybrid cloud systems and manage resources more safely.

경원전문대학 Logotype Design에 관한 연구

이극 경원전문대학 1995 論文集 Vol.17 No.1

Even if the school is different from the company, the meaning and importance of logotype is available to school as well as the company. Today, we are in the situation that the school name is informed strongly and Recognized widely in the related field of school. The use of logotype not only may accelerate the developing school image distinctly, but also make the advanced circumstance of the school different from the previous condition. Therefore the purpose of this article is to provide the first step of logotype and to encourage the method of school ad. Basically it is principle to make the first step by introducing the concept of C.I, but I emphasize the Korean-English logotype and the making typeface as a part of it. Further, i expect that more logotype is created through the participation of school, I expect that more logotype is created through the positive participation of school.

심볼 처리를 이용한 한국어 연속 음성의 음소군 분류

이극(Geuk Lee),이봉규(Bong Kyu Lee),황희융(Hee Yeung Hwang) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.1

음성인식은 인식의 구간에 따라서 단어 단위 인식과 음소 단위 인식으로 구별할 수 있다. 이 중 음소 단위의 인식은 단어 단위의 인식에 비해 확장 면에서 유리하며 적은 도메인에서 인식을 수행할 수 있다는 장점이 있다. 본 논문에서는 효과적인 연속 음성인식을 위한 기초연구로써 연속 음성을 음소 구간으로 분류하는 음소군 분류기를 제안한다. 제안한 분류기는 화자가 발음한 음성을 대수적인 표현이 아닌 심볼로 표현하고 이 심볼을 이용하여 음소군으로 분류하는 규칙기반 분류시스템이다. 이 심볼들은 음성에서 추출한 대수적인 파라미터가 나타내는 특징을 기호로 표현한 것이다. 제안한 시스템은 각 음소군의 특징을 기술한 규칙을 이용하여 음성 구간을 모음, 마찰음, 파열음, 폐쇄음, 묵음으로 구분한다. 3명의 화자가 발음한 5,778개의 음소로 구성된 한국어 연속숫자음에 적용한 결과 90% 이상의 분류율을 기록했다. Speech Recognition can be divided into word and phoneme unit recognition according to recognition units. Phoneme unit recognition is more expandable and make a smaller recognition domain than word unit recognition. The proposed system is rule based classifier which classifies the continuous speech into phoneme groups using symbols instead of a numeric data. That symbols are the mnemonic representation of the characteristic parameters extracted from the spoken speech. The system classifies the speech into the one of the 'vowel', 'plosive', 'fricative', 'silence' and 'stop' using the internal rules which define the characteristics of each phoneme group. The classification rate applied to the continuous Korean digit (5,778 phonemes) spoken by the three speaker is above 90%.

한국어 음성 분할을 위한 특징 검출에 관한 연구

이극(Lee Geuk),황희융(Hwang Hee Yeung) 대한전기학회 1987 대한전기학회 학술대회 논문집 Vol.1987 No.11