• Journal of IKEEE
• /
• v.17 no.1
• /
• pp.83-88
• /
• 2013

This paper presents the output feedback control design for feedforward nonlinear systems with input and output delay. The proposed output feedback controller is composed of a linear observer and a linear controller. It is shown that by using Lyapunov-Krasovskii theorem, the proposed controller ensures a global asymptotic stability for arbitrarily large delay. Finally, an illustrative example is given in order to show the effectiveness of our design method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.2005-2008
• /
• 2003

본 논문에서는 생체의 특징을 이용해 신분을 증명 또는 인증하는 생체인식 기술 중 지문이나 장문, 정맥, 홍채를 이용한 인식과 같이 장비에 접촉해야만 인증이 이루어지는 것과 달리 거부감이 없고, 별도의 전문 장비를 필요로 하지 않아 일반 대중들에 쉽게 접근할 수 있는 얼굴인식을 인터넷에 적용한 원격 신분증명 및 인증 시스템을 제안한다. 얼굴인식 알고리즘은 얼굴 특징을 분석하는 방식에 따라 PCA (Principal Component Analysis), ICA (Independent Component Analysis), FDA (Fisher Discriminant Analysis) 등이 발표되어 있다. 이들 알고리즘을 이용해 얼굴 특징을 분석한 결과를 원격지에 신속하고 정확하게 송수신할 수 있는 시스템이 요구됨에 따라 생체인식 시스템의 비교 평가와 함께 인터넷 상에서 얼굴인식을 이용한 원격 얼굴인식 시스템의 구성을 제안한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.605-610
• /
• 2003

선거를 전자적으로 구성하기 위해서는 비밀성(privacy), 선거권(eligibility) 등과 함께 전체검증(universal verifiability)과 매표방지(receipt-freeness) 속성을 반드시 제공해야 한다. 지금까지 제안된 전자선거 기법은 매표방지와 전체검증을 제공하기 위해 도청 불가능한 채널이라는 물리적인 가정 하에 이루어지거나 하드웨어 장치를 이용하더라도 장치에 대한 신뢰가 가정되었다. 본 논문에서는 믹스 서버나 랜덤마이저의 역할을 스마트카드와 같은 안전한 하드웨어 장치가 하므로 물리적 가정 없이 효율적으로 구현한다. 제안한 시스템은 표를 섞는 과정에서 permutation matrix를 사용하여 증명하므로 증명의 회수가 적고 간단하여 효율적이다. 또한, 지금까지 제안된 대부분의 선거 기법은 ElGamal 암호시스템의 준동형 특성을 이용하여 모든 표를 결합한 다음 해독하여 집계를 계산하는데 이는 이산대수 문제를 효율적으로 해결할 수 있어야 가능했다. 이 논문에서는 ElGamal 암호시스템과 다차잉여 기반 암호알고리즘인 Naccacne 암호알고리즘을 결합하여 표를 인코딩 함으로써 유권자의 수가 많은 선거에 대해서도 다항 시간 내에 집계가 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.844-846
• /
• 2004

가상 기계란 하드웨어로 이루어진 물리적 시스템과 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 프로세서이다. 기상 기계 기술은 프로세서나 운영체제가 바뀌더라도 응용프로그램을 변경하지 않고 사용할 수 있는 장점이 있다. 임베디드 시스템을 위한 기상 기계 기술은 모바일 장치나 디지털-TV 등에 탑재할 수 있는 핵심기술로서 다운로드 솔루션에서는 꼭 필요한 소프트웨어 기술이다. 현재 EVM이라 명명된 임베디드 시스템을 일한 가상 기계에 대하여 연구가 진행 중이다. 이러한 연구의 일환으로 본 논문에서는 기존의 가상 기계를 위안 실행 파일 포맷들의 분석을 기반으로 하여 임베디드 시스템을 위한 실행 파일 포맷인 EVM 파일 포맷(EFF)을 정의한다. 또한 제안한 EFF의 완전성을 증명하기 위하여, 기존에 널리 사용되고 있는 실행 파일인 클래스 파일을 이용해서 구조적으로 증명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.258-260
• /
• 2022

대체 불가능 토큰 (NFT, non-fungible token)은 고유하고 더 이상 분할할 수 없는 특성을 가지고 있다. NFT 는 디지털 콘텐츠에 대한 소유권을 증명해 주지만 현재 1) 소유권 증명 이상의 유틸리티가 명확하지 않고, 2) 토큰이지만 유동성이 거의 없으며, 3) 가격이 예측 불가능하다. 특히, 부동산의 경우 가격이 매우 높은 특징으로 인하여 투자 진입장벽이 매우 높다. NFT 분할을 하면 유동성의 증가, 그리고 접근성 증가에 따른 커뮤니티 볼륨의 증가를 기대해 볼 수 있다. 이러한 특성을 활용하여 기존에 투자하기 어려웠던 부동산을 다양한 기술을 활용하여 쉽게 투자를 할 수 있게 된다. 또한, Black Litterman 모델을 활용하여 보다 여러 종류의 NFT 들에 대한 최적 포트폴리오를 구성할 수 있는 알고리즘을 설계하고 구현하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.447-451
• /
• 2003

특정 프로그램의 취약점 여부를 판단하기 위한 방법에는 프로그램의 버전이나 작동여부를 점검하는 방법과 해당 프로그램에 실제 침투를 수행하고 그 성공여부를 검증하는 방식이 있다. 후자를 이용한 방식은 침투 코드의 구현, 재사용, 확장이 어렵기 때문에 전자에 비해서 널리 사용되지 않지만, 정확한 결과를 얻을 수 있고 보안의 경각심을 높일 수 있는 장점이 있다. 본 논문에서는 최근에 널리 사용되는 원격 취약점 침투 코드들의 구조를 분석하여 다양한 취약점을 보다 정확하게 검증할 수 있고 새로운 취약점에 대해서도 쉽게 확장할 수 있는 원격 취약점 증명 프레임워크를 제시한 후 이를 바탕으로 원격 취약점 증명 도구를 설계하고 구현한다. 원격 취약성 증명 도구는 원격 취약점 침투코드들의 모듈화 및 재사용을 위한 프레임워크 부분과 사용자의 입력을 받아서 모의 침투를 수행하고 침투 성공 증거를 제공하는 GUI 부분으로 구성된다.

• Applied Microscopy
• /
• v.29 no.3
• /
• pp.323-329
• /
• 1999

Synthesis of inorganic nanophase particles was performed to verify and understand the binding of non-ferrous metal ions including Al and $UO_2$ to the apoferritin molecules. Reconstituted inorganic particles of Al or $UO_2$ were identified by TEM as discrete electron dense cores encapsulated within the protein shell. The corresponding EDXA spectra confirm the presence of metal ions in the reconstituted ferritin. The Al cores of ferritin has been studied by TEM for the first time. Bimetallic cores with Al/Fe and $UO_2/Al$ were also produced and examined under TEM. Mixed metal cores encapsulated in the protein shell are well formed and its corresponding EDXA spectra also confirm the presence of metal ions in the mineral cores. Therefore, the present study proves that ferritin can be used to synthesize inorganic nanophase particles of Al and $UO_2$.

• School Mathematics
• /
• v.18 no.4
• /
• pp.749-771
• /
• 2016

The purpose of this study is to analyze mathematical tasks of Korea and the USA textbooks focused on conditions for parallelograms. In this study, structures of task, types of proof and reasoning, and levels of cognitive demand are investigated. The conclusion is as follows: First, with respect to structures of task, structures presented in the USA textbooks are more diverse. Second, with respect to types of proof and reasoning, Korea and the USA prefer IC task and DA task. And task types presented in the USA textbooks are more diverse. Third, with respect to levels of cognitive demand, in both Korea and the USA textbooks, PNC task and PWC task account most. And compared to the USA, Korea prefer algorithms. In addition, we find out implications for reconstruction of Korea textbook. It is as follows: First, with respect to structures of task and types of proof and reasoning, the diversity of composition needs to be raised. Second, with respect to levels of cognitive demand, the concentration in PNC task needs to be declined. And levels of cognitive demand on types of tasks need to be reconsidered. Third, with respect to tasks' topic and material, internal and external connectivities of mathematics need to be strengthened.

• The Korean Society of Law and Medicine
• /
• v.22 no.2
• /
• pp.49-79
• /
• 2021

Due to defendant's wrongful act by implant surgery, plaintiff has been suffered serious damages to his face and teeth, and pain caused by establishing implanted teeth. Jeonju Appellate Court sentenced to pay future medical expenses and alimony to the plaintiff in compensation for breach of duty or torts. The ruling is designed to relieve the burden of proof because it is extremely difficult for non-experts to determine whether dentists violated their 'duty of care' or whether there was a causal relationship between damages to medial treatment. It was judged that if symptoms that contributed to the patient's significant outcome occurred during or after surgery, such symptoms could be presumed to have been caused by medical negligence if indirect facts were proven to be other than medical negligence. Originally, the shifting of burden of proof in Germany, has already been developed in medical malpractice case since 1940s. In order to guarantee the patients' right, §630h German Civil Code (BGB) - presumption of negligence in the realization of controllable risk- has been also legislated. BGH (Bundesgerichtshof) has been interested in ensuring that the principle of equality between patients and doctors. So, in this study, we wanted to refer to German precedent cases to analyzing Korean medical malpractice lawsuit. In particular, the decision could be significant in that it approaches closer to allows the shifting burden of proof in drastically growing dental malpractice cases. This is clearly confirmed in the judgment of the dentist's "fault" that "if indirect facts about the symptom or occurrence are proven to be cause other than medical negligence, such symptoms can be presumed to be due to medical negligence."

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.19-24
• /
• 1974

An ungrounded inductance, necessary for construction of general type networks, is synthesized using two operational amplifiers and several passive elements. Through indefinite admittance matrix procedure. it is proved that the synthesized network is equivalent to an ungrounded pure inductance with a positive and a negative resistance in the parallel arms. A practical low-pass filter is made according to this synthesis method, and the resultant characteristic has been verified by means of IBM's simulation program ECAP (Electronic Circuit Analysis Program).