병렬 결함 테스트 및 결함 포용 기능을 갖는 메모리 설계

권오형,홍성제 위덕대학교 부설 전자기술연구소 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.

다단 다출력 논리 합성

권오형 위덕대학교 산업기술연구소 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.

加味牛膝湯이 實驗動物의 鎭痛에 미치는 影響

金炯均,權文鉉,오로사,金成宰,李彦政,李峰根 圓光大學校 韓醫學硏究所 1996 원광한의학 Vol.6 No.1

서울의 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.

Temperature-Responsive Polymer Surfaces for Tissue Euginexering Applications

Oh Hyeong Kwon,Teruo Okano 한국고분자학회 2000 한국고분자학회 학술대회 연구논문 초록집 Vol.2000 No.10

Boolean Factorization Technique Using Two-Cube Terms

Oh-Hyeong Kwon 대한전자공학회 2006 ICEIC:International Conference on Electronics, Inf Vol.2006 No.6

논리식 인수분해를 위한 코스웨어

권오형 ( Oh Hyeong Kwon ) 한국컴퓨터교육학회 2012 컴퓨터교육학회 논문지 Vol.15 No.1

일반적으로 논리식은 수많은 인수분해식으로 표현이 가능하다. 논리식에 대한 보다 간략화된 인수분 해식을 찾는 것이 논리합성의 기본 기능 중의 하나이며 본 논문에서 논리회로 수업의 교육용 도구로 부울 인수분해식을 산출하는 새로운 방법을 제안한다. 제안하는 방법은 서포트와 함께 2개의 항에 대한 나눗셈을 수행하는 것이다. 인수분해식의 리터럴 개수는 논리식의 간략화 정도를 판단하는 기준이 되는데, 제안하는 방법으로 실험한 결과, 기존의 타 방법들 보다 리터럴 개수를 줄이는 효과를 보였다. Generally, a logic function has many factored forms. The problem of finding more compact factored form is one of the basic operations in logic synthesis. In this paper, we present a new method for factoring Boolean functions to assist in educational logic designs. Our method for factorization is to implement two-cube Boolean division with supports of an expression. The number of literals in a factored form is a good estimate of the complexity of a logic function. Our empirical evaluation shows the improvements in literal counts over previous other factorization methods.

ePTFE 인공혈관에 대한 파클리탁셀의 코팅 및 방출거동

권오형(Oh Hyeong Kwon),임순용(Soon Yong Lim),김철주(Cheol Joo Kim),김은진(Eun Jin Kim),권오경(Oh Kyoung Kwon) 한국고분자학회 2012 폴리머 Vol.36 No.3

본 연구에서는 혈액투석 시 필요한 혈관접근통로로 활용되는 expanded poly(tetrafluoro ethylene)(ePTFE) 인 공혈관을 표면 개질하였다. 생분해성 합성고분자인 poly(D,L-lactide-co-glycolide)(PLGA)와 함께 항암제로서 뿐만 아니라 항증식제제로서 널리 쓰이고 있는 파클리탁셀을 인공혈관 표면에 코팅함으로써 PLGA가 생분해됨에 따라 파 클리탁셀을 서방할 수 있도록 고안하였다. 인공혈관의 다공구조 특성을 유지하면서 인공혈관 표면에 1.96 mg/cm2의 PLGA가 코팅되었음을 ATR-FTIR을 통해 확인하였다. 또한 0.263 mg/cm2의 파클리탁셀이 인공혈관에 코팅되었음을 HPLC로 확인하였다. PLGA를 코팅함으로써 인공혈관의 모듈러스는 감소하였으나 인장강도는 향상되었다. 약물방출 실험 결과 PLGA의 생분해거동에 동반하여 코팅된 파클리탁셀의 약 35%가 28일 동안 지속적으로 방출되었다. 이러한 지속적인 파클리탁셀의 방출은 장기간에 걸쳐 신내막 과형성증을 억제하여 혈관의 개존율을 향상시킬 것으로 기대된다. In this study, expanded poly(tetrafluoro ethylene) (ePTFE) graft was modified to be used as a hemodialysis vascular access. Biodegradable poly(D,L-lactide-co-glycolide) (PLGA) was coated onto the inner surface of ePTFE graft with paclitaxel, which is often used as an anti-cancer agent and for reducing neointimal hyperplasia. Surface characterization before and after PLGA coating was carried out by SEM and ATR-FTIR. Porous sturcture of ePTFE was maintained after coating of PLGA solution. The amounts of coated PLGA and paclitaxel determined by ATRFTIR and HPLC were 1.96 and 0.263 mg/cm2, respectively. Young`s modulus was decreased and tensile strength was increased by PLGA coating. Released paclitaxel as a function of incubation time was monitored by HPLC. Approximately 35% of coated paclitaxel was released steadily for 4 weeks with the biodegradation of PLGA. From these results, it is expected that the effect of paclitaxel on reducing neointimal hyperplasia and stenosis is maintained for a long time.

항추가 및 보정을 적용한 대입에 의한 논리식 간략화

권오형(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) 한국컴퓨터교육학회 2021 한국컴퓨터교육학회 학술발표대회논문집 Vol.25 No.2(A)

주어진 여러 논리식들에서 공통 부분을 추출하여 반복 사용을 줄이기 위한 방법을 제안한 것이다. 제안하는 방법은 기존의 코커널과 커널을 이용한 방법인 나눗셈에 의한 방법에 스펙트럴 방법을 추가해서 기존에 찾을 수 없던 공통식을 산출한 것이며, 논리식은 AND, OR, NOT, XOR 연산자로 구성된다. 커널에 스펙트럴 방식을 적용해서 공통식을 찾는 방법을 고안하였다. 이 때, 하다마드 행렬을 이용한 스펙트럴 방식을 이용하였다. 벤치마크 회로를 대상으로 실시한 실험에서 제안한 방법이 기존 논리식 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.