http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 권기항 (검색결과 28 건)
- 무료
- 기관 내 무료
- 유료
-
For-loop for Logic Programming
권기항,하홍표,Kwon, Kee-Hang,Ha, Hong-Pyo Korea Information Processing Society 2012 정보처리학회논문지 A Vol.19 No.1
고전 논리나 선형 논리에 기반한 논리 프로그래밍에서는 순차적 작업이나 순차적 순환 작업을 표현하는 구문이 결여되어 있다. 최근 순차적 작업을 표현하는 구문 - $G_1{\cap}G_2$ 이 제시되었는데 이는 Japaridze의 game 모델에 기반을 두고 있다. 본 논문에서는 ${\cap}_x^LG$의 형태를 갖고 있는 순차적 순환 작업을 제안하고 있다. 여기서 $x$는 변수이고, $L$은 리스트이고, $G$는 목표작업을 의미한다. 기호 ${\cap}_x^L$는 순차적 유한 정량자라고 불린다. 위 구문을 다음과 같은 작업을 의미한다: $x$에 $L$의 원소들의 값을 차례로 대입하여 순차적으로 반복 수행하시오. Logic programming based on classical or linear logic has traditionally lacked devices for expressing sequential tasks and sequential iterative tasks. Expressing sequential goal tasks has been addressed by a recent proposal of sequential goals of the form $G_1{\cap}G_2$ which is based on the game semantics of Japaridze. This paper proposes sequential iterative goal formulas of the form ${\cap}_x^LG$ where $G$ is a goal, $x$ is a variable, and $L$ is a list. ${\cap}_x^L$ is called a sequential bounded quantier. These goals allow us to specify the following task: sequentially iterate $G$ with $x$ ranging over all the elements of $L$.
-
Scope 기능을 갖는 객체 지향 모델에서의 동적 상속 연구
권기항 東亞大學校附設 情報技術硏究所 2004 情報技術硏究所論文誌 Vol.12 No.1
Traditional object-oriented models unfortunately lack a mechanism for giving scope to objects. We revisit an object-oriented model in which each object can be given a scope. We illustrate the usefulness of this model by showing that it supports the various forms of dynamic inheritance flexibly.
-
Scope 기능을 갖는 객체 지향 모델에서 파라미터화된 모듈 구현 연구
권기항,신현삼,Gwon, Gi-Hang,Sin, Hyeon-Sam 한국정보처리학회 2000 정보처리논문지 Vol.7 No.7
While object-oriented models are effective in achieving sharing and code reusability, they unfortunately lack a mechanism for giving scope to objects. We revisit an object-oriented model in which each object can be given a scope. We illustrate the usefulness of this model by showing that it supports the notion of parameterized modules without difficulty.
-
MIN-MAX SOFM과 객체 분석을 이용한 얼굴 검출 알고리즘 개발
하성욱,강대성,권기항 東亞大學校 附設 情報通信硏究所 1998 情報通信硏究所論文誌 Vol.6 No.1
This paper proposes a face region detecting algorithm in stream images. The main limitation of current face detection researches is the front face detection. But, the face detection in stream images needs to extract features in various angles. Current algorithms also are not enough to be applied to the real world from the several limited arguments as uniform luminous intensity, simple background, etc. This reserch suggests a detection algorithm of stream face images which is regardless of these limit arguments. The firs stage supports a proposition of MIN-MAX SOFM(self organizing feature maps) by applied MIN-MAX theory in SOFM which is independent on luminous intensity. After the first stage, the small regioin removing algorithin is processed for loss regions in SOFM output mode. We propose a histogram object analysis method which selects speedy recognized regions and a frame based moving detection method by moving real images.
-
-
권기항(Kwon Kee Hang),주예찬(Ju Yae Chan),신현삼(Shin Hyun Sam) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.5
Modem functional languages provide some forms of pattern matching capability in them. However, these forms are on an ad-hoc basis and vary from languages to languages, making the user hard to understand the feature. To overcome this problem, we present a systematic approach to adding pattern matching to functional languages. We extend to the core functional language with pattern matching capability and illustrate several examples of the language. We also discuss how to extend the pattern matching capability to higher-order terms.
-
Scope 기능을 갖는 객체 지향 모델에서 파라미터화된 모듈 구현 연구
권기항(Kee Hang Kwon),신현삼(Hyun Sam Shin) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.7
While object-oriented models are effective in achieving sharing and code reusability, they unfortunately lack a mechanism for giving scope to objects. We revisit an object-oriented model in which each object can be given a scope. We illustrate the usefulness of this model by showing that it supports the notion of parameterized modules without difficulty.
-
On Proving the Correctness of Abstract Machines
Kwon, Kee-hang 東亞大學校 附設 情報通信硏究所 1996 情報通信硏究所論文誌 Vol.4 No.1
This paper presents a framework for the verification of abstract machines. This framework is based on two key concepts: stepwise refinements and simulation. The method of stepwise refinements is essential in capturing various techniques employed in the implementation process. Each refinement is described in the form of a state transition machine and the correctness of each refinement is justified by showing that each refinement simulated its predecessor. As an example, we present an interpreter for Horn clause logic and its refinement that uses environments to permit a delaying of substitutions. We then justify this refinement by showing that these two machines are equivalent.
-
A Notion of Modules for Term Rewriting Systems
Kwon, Kee hang 동아대학교 공과대학부설 생산기술연구소 1997 生産技術硏究所硏究論文集 Vol.2 No.1
In this paper, we propose an extension to first-order term rewrite systems with various scoping constructs. One of them is the expression fo the form D⇒E where D is a collection of rewrite rules(i.e., a module) and E is an expression to be evaluated. This expression has the following operational semantics: add the rewrite rules in D to the program before evaluating E. Thus, the rules in D are available only in the course of evaluating E. Other constructs are related to controlling the interaction of these modules and to restricting the visibility of names used within a module. In particular, the module system proposed here provides a flexible mechanism on the reusability of a module such as creating a new one from the existing ones, changing a name in a module to a new one.
-
IoT 기반 용탕온도 관리 시스템 개발을 위한 방법연구: 중소 주강 기업 중심으로
옥운석,권기항,이용희 한국품질경영학회 2018 한국품질경영학회 학술대회 Vol.2018 No.-
주강업종은 금속 소재산업에서 매우 중요한 업종으로 4차 산업혁명 시대에 새로운 기술 경쟁력 강화를 위하여 혁신의 필요성이 대두되고 있다. 하지만 중소기업의 경우 고온의 열악하고 위험한 작업환경 및 환경문제에 대하여 인력, 자금의 부족 때문에 소극적 기술투자로 이어져 주강업종에서 가장 중요한 용해공정이 체계적으로 관리되지 못하고 있는 실정이다. 용해공정에서 용탕온도 측정은 현재 대다수 사업장에서 용탕 온도측정을 침적식 온도계를 이용하여 측정하며 작업자가 합부판정을 내리고 수기로 기록을 관리하고 있다. 여기서 용탕은 금속 성분에 따라 다양한 재질이 존재하며 재질별 용탕 온도 기준이 상이하다. 작업자가 합부판정을 부적합하게 하여 출탕을 할 경우 부적합한 용탕온도 측정으로 인해 용탕온도가 높아질 수 있다. 이때 산화소모가 심하고 용탕주입시 조형물이 파손될 수 있는 문제점이 발생한다. 또한 용탕온도가 낮을 경우는 용탕이 용해가 제대로 안되거나 주입시 용탕이 굳어버리는 등의 문제가 있다. 그리고 수기 기록 관리는 온도 측정결과의 신뢰성확보가 어려우며 전산화를 요구하는 고객의 Needs를 충족하기 어렵다. 본 연구는 IoT를 이용하여 용탕온도 관리 시스템 개발을 위한 방법과 기존의 용탕온도 측정방식에서 변화시킨 온도관리 방법을 제시한다. 연구방법은 먼저 작업자가 침적식 온도계를 이용하여 온도를 측정할 경우 측정된 데이터를 IoT를 이용하여 서버에 전송한다. 다음에 시스템에서 재질별 온도의 합부판정을 하여 작업자에게 통보하고 서버에 전송된 데이터는 데이터베이스에 저장한다. 이렇게 도출된 데이터를 사용하여 빅데이터 분석 및 통계 분석을 수행할 것이다. 본 연구의 결과는 용탕온도 측정에서 스마트팩토리 기초단계를 구성하고 측정데이터의 신뢰성 확보 및 고객의 Needs를 충족하고 기존에 용탕온도가 제대로 관리되지 않아 생기는 문제를 막을 수 있을 것으로 기대한다.
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
