http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
권오형 위덕대학교 산업기술연구소 2000 산업기술연구소 논문집 Vol.4 No.1
본 논문은 AND, OR, XOR를 이용한 다출력 논리 합성 방법을 제시한다. 다출력 함수들에서 공통 인수를 산출하기 위해서 XCUBE를 사용하였으며, 다출력 함수들의 1-셀 분포에 따라 AND-OR 또는 AND-XOR로 논리 합성을 수행하는 알고리즘을 제시한다. This paper proposes a multi-output logic synthesis method using AND, OR, and XOR gates. The algorithm presented here is based on finding common cubes of given functions, called extended cube(XCUBE). XCUBE's can be obtained by deleting one literal from multi-output prime implicant. Multi-output functions care synthesized using XCUBE's, which decide the each output function into AND-OR or AND-XOR realization. We show that the different realization of output functions tends to generate more common cubes, which results in gate reductions. A heuristic is employed in the method to decide which type of realizations to be applied for each output function. The proposed method can generate either two-level or multi-level multi-output logic networks.
병렬 결함 테스트 및 결함 포용 기능을 갖는 메모리 설계
권오형,홍성제 위덕대학교 부설 전자기술연구소 1999 전자기술연구소 논문집 : 위덕대 Vol.3 No.1
본 논문에서는 병렬 테스트가 가능하도록 메모리의 셀 어레이를 독립적인 여러 셀블록으로 구분하고, 셀블록들이 동시에 테스트에 참여할 수 있는 메모리를 설계하였다. 본 연구에서는 1Gb 기억용량이며, 4096개의 256Kb 셀블록으로 구성된 메모리를 설계하였다. 결함 발생시는 결함 셀블록을 고립시키는 graceful capacity degradation 방법을 이용한 결함 포용 회로를 설계하였다. 제안된 1Gb 메모리는 병렬 테스팅을 수행하기 때문에 4096배의 테스트 속도를 보인다. This paper proposes techniques, which perform parallel testing operation and graceful capacity degradation in case of memory fault. We present a 1 giga-bit memory with the techniques as an example. The proposed techniques offer a reduced testing time and an improved yield for high capacity memories.
서울의 Penicillinase Producing Neisseria Gonorrhoeae 발생빈도(1996)
김재홍,황동규,전재홍,김윤석,김중환,김용준,이창균,임동진,김현수,조창근,김경문,박상훈,전우형,김희성,이호정,차명수,김갑형,김형석,김석우,황지환,박병순,권오상,이민수,송기훈,성소영,이인섭,부태성 대한화학요법학회 1999 대한화학요법학회지 Vol.17 No.2
Background : In recent years, gonorrhea has been panedemic and remains one of the most commom STDs in the world, especially in developing countries. Objective & Methods: For the detection of a more effective therapeutic regimen and assessing the prevalence of PPNG, we have been trying to study the patients who have visited the VD Clinic of Choong-Ku Public Health Center in Seoul since 1980 by means of the chromogenic cephalosporin method. Results: In 1996, 139 strains of N. gonorrhoeae were isolated, among which 53(39.0%) were PPNG. Conclusion: Our results suggests that after a peak of 74.3% in 1993, the prevalence of PPNG in Seoul is gradually declining.
권오형(Oh-Hyeong Kwon) 한국컴퓨터교육학회 2021 한국컴퓨터교육학회 학술발표대회논문집 Vol.25 No.2(A)
주어진 여러 논리식들에서 공통 부분을 추출하여 반복 사용을 줄이기 위한 방법을 제안한 것이다. 제안하는 방법은 기존의 코커널과 커널을 이용한 방법인 나눗셈에 의한 방법에 스펙트럴 방법을 추가해서 기존에 찾을 수 없던 공통식을 산출한 것이며, 논리식은 AND, OR, NOT, XOR 연산자로 구성된다. 커널에 스펙트럴 방식을 적용해서 공통식을 찾는 방법을 고안하였다. 이 때, 하다마드 행렬을 이용한 스펙트럴 방식을 이용하였다. 벤치마크 회로를 대상으로 실시한 실험에서 제안한 방법이 기존 논리식 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.
권오형(Oh-Hyeong Kwon) 한국정보기술학회 2011 한국정보기술학회논문지 Vol.9 No.11
Extraction technique for a common logic expression is an extremely import part of multiple-output logic synthesis. Extraction techniques are classified into algebraic and Boolean method. This paper presents a new Boolean extraction technique. The proposed method first calculates divisor/2-cube quotient pairs by algebraic division. We apply supports to the pairs in order to find candidates which can be common sub-expressions. Next, we create a candidate matrix for more candidates. The intersection of the cadidates provides common sub-expressions for multiple-output logic expressions. Experimental results show the improvements in literal counts over the previous methods.
권오형(Oh-Hyeong Kwon) 한국산학기술학회 2017 한국산학기술학회논문지 Vol.18 No.8
2개 논리식에 대해서 어떤 논리식 F의 일부가 다른 논리식 G 전체를 포함하고 있을 때, 논리식 F의 일부분을 논리식 G로 대치한 식을 대입식이라고 한다. 논리식 사이에 대입 관계가 성립되면 전체 논리식에 사용된 리터럴 개수를 대폭 줄일 수 있는 장점이 있으나, 대입 관계가 성립하지 않는 경우 대입식으로부터 얻을 수 있는 간략화 효과가 없게 되어 상대적으로 리터럴 개수를 줄이는 효과가 줄어들게 된다. 지금까지의 연구들이 주어진 논리식들 자체에 대해서 논리식들 사이의 대입 관계를 찾고, 대입이 가능하면 대입식을 산출하기 위한 방법을 제안하였는데, 본 논문에서는 논리식들 사이에 대입식이 만들어지도록 필요한 항을 추가하고, 다시 추가된 항들에 대한 보정을 통해 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 항추가를 위한 행렬을 만들고, 행렬에서 항이 추가 가능한 묶음 찾고 추가된 항에 대해 보정을 하여 대입식이 완성된다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다. For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for thatpart of expression is called a substituted logic expression. If asubstituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix thathas added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.
권오형(Oh-Hyeong Kwon) 한국정보기술학회 2013 한국정보기술학회논문지 Vol.11 No.8
Factored forms are described as either algebraic or Boolean. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factoring with division mechanism which is a data structure, boolean division matrix, for division and Boolean axioms. The key idea is how to create a boolean division matrix with selected two cubes in a given logic expression. Then we suggest heuristic methods, which are to find only one non-zero columns and dominated columns, in order to make a reduced boolean division matrix for easily extracting rectangles. Experimental results show the improvements in literal counts over previous other factoring methods.