http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Let-다형성 타입 유추 알고리즘 M 의 병목을 해소하기 위한 혼성 알고리즘 H
주상현(Sanghyun Joo),이욱세(Oukseh Lee),이광근(Kwangkeun Yi) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.12
Hindley/Milner let-다형성 타입체계(let-polymorphic type system)에는 두 가지 타입 유추(type-inference) 알고리즘이 있다: 하나는 표준으로 알려진 W 알고리즘으로 프로그램의 문맥에 상관없이 상향식으로 유추하는 알고리즘이고, 다른 하나는 프로그램의 문맥에 따라 하향식으로 유추하는 M 알고리즘이다. 본 연구에서는 함수 적용(application)이 중첩되는 경우, M 알고리즘에 병목현상이 발생함을 보이고, 이러한 병목현상이 발생하지 않는 혼성 알고리즘 H 를 제시한다. H 알고리즘은 M 알고리즘을 함수 적용 부분만 W 알고리즘으로 변형한 알고리즘으로, W 보다는 일찍 M 보다는 늦게 오류를 감지함을 보인다. The Hindley/Milner let-polymorphic type system has two different type inference algorithms: one is em de facto standard algorithm W that is context-insensitive, and the other is context-sensitive algorithm M . We present the bottleneck of the M algorithm in the case of repeated applications, and propose a hybrid algorithm, named H , for its remedy. The H algorithm is made out of M adopting W on the application part. We show that H stops still earlier than W but later than M when the input program has type errors.
朱相顯,金奎汎,申宰浩 동국대학교 산업기술연구원 1990 산업기술논문집 Vol.4 No.-
기존 디지털시스템에서는 二進符號를 사용하고 있기 때문에 원하는 정보를 표시하는데 많은 비트수를 필요로 하고 있는데, 비트수를 줄이는 방법으로 多値符號를 사용할 수 있다. 현재까지의 多値論理硏究결과를 보면 여러가지의 연산자를 정의하여 함수를 실현시키고 있으나 簡素化의 개념을 정립할 수 없었다. 本 論文에서는 函數實現의 도구인 T-gate를 기본 게이트로 구성하고, 이를 이용하여 논리함수를 도출하고 간소화하는 방법을 고찰해 보았으며, 이 방법의 設計例로써 加算器와 D-latch를 실현해 보았다. 그 결과 多値論理函數를 이용하여 組合論理 뿐아니라 順序論理回路를 충분히 설계할 수 있음을 보였다. Since the conventional digital systems have used binary codes, they need a lot of bit-count to represent usual information. Up to now, the research results on multiple valued logic show that logic functions could be implemented with defining various operators, but the definition of simplification could not be derived systematically. In this paper, T- gate, that is a tool to implement logic functions, is constructed with basic gates, and the derivation of logic function using this T-gate and the simplification method are studied. The solution of design examples shows that sequential logic circuits as well as combinational logic could be designed using multiple valued logic functions.