http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 유희준(Hee-Jun Yoo) (검색결과 23 건)
- 무료
- 기관 내 무료
- 유료
-
CeO<sub>2</sub> 코팅을 통한 Cu 입자의 입성장 억제 효과에 관한 연구
유희준,문지웅,오유근,문주호,황해진,Yoo Hee-Jun,Moon Ji-Woong,Oh You Keun,Moon Jooho,Hwang Hae Jin 한국분말야금학회 2005 한국분말재료학회지 (KPMI) Vol.12 No.6
Copper is able to work as a current collector under wide range of hydrocarbon fuels without coking in Solid oxide fuel cells (SOFCs). The application of copper in SOFC is limited due to its low melting point, which result in coarsening the copper particle. This work focuses on the sintering of copper powder with ceria coating layer. Ceria-coated powder was prepared by thermal decomposition of urea in $Ce(NO_3)_3\cdot6H_2O$ solution, which containing CuO core particles. The ceria-coated powder was characterized by XRD, ICP, and SEM. The thermal stability of the ceria-coated copper in fuel atmosphere $(H_2)$ was observed by SEM. It was found that the ceria coating layer could effectively hinder the grain growth of the copper particles.
-
프로세스 대수에 기반을 둔 수퍼스칼라 프로세서 프로그램의 시간 분석
유희준(Hee-Jun Yoo),이기흔(Ki-Huen Lee),최진영(Jin Young Choi) 한국정보과학회 2000 정보과학회논문지 : 시스템 및 이론 Vol.27 No.2
다중 포트를 가진 레지스터의 장점은 읽기 접근에 대해서는 한번에 여러 명령어에서 레지스터를 공유할 수 있다는 것이다. 여기서는 높은 수준에서 이러한 다중 포트 레지스터를 가진 파이프라인 수퍼 스칼라 프로세서에서의 타이밍 특성과 자원 제한을 묘사하기 위한 정형방법을 제시한다. 특히, 파이프 라인 명령어가 순서대로 들어오는 경우에 대해서 먼저 명세하고, 순서에 상관없이 어느 싸이클에 검색가능한 명령어들 중에서 동시에 실행 가능한 명령어 짝을 찾아 실행시키는 수퍼 스칼라 파이프라인 방식인 비순차(Out-of-Order) 명령어 수퍼 스칼라 방식에서의 타이밍 분석으로 확장하였다. 명령어 명세에는 프로세스 대수(Process Algebra)기반의 정형기법인 ACSR(Algebra of Communicating Shared Resources)을 이용하여 모델링한다. Multi-ports register could shared several instructions at the same time in read operation. We address a formal methods for describing timing analysis and resource restriction in pipeline super scalar process that having multi-port registers. First, we specify in-order pipeline instructions, and then, extend timing analysis in out-of-order super-scalar. In this case, we find instruction pairs in any cycle which can execute same time. We use ACSR(Algebra of Communicating Shared Resources), a branch of formal methods based on process algebra, for instruction specification and modelling.
-
유희준(Hee-Jun Yoo),김영미(Young-Mi Kim),최진영(Jin-Young Choi),서동수(Dong-Soo Seo),노병규(Byung-Gyu No) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ
현대 사회는 인터넷 기술의 비약적인 발전으로 인하여 실생활에서 이루어지던 거의 모든 작업들이 인터넷상에서 이루어지는 전자사회(E-society)가 형성되고있다. 이런 과정에서 발생한 중요한 문제중의 하나가 불특정 다수가 자유로이 통신을 하기 위해 개발된 인터넷상에서 보안을 해결하는 것이다. 이 문제를 해결하기 위하여 많은 보안 관련 시스템들이 개발되고 있는 실정이고, 세계 각국의 표준 기구에서는 이러한 시스템에 대한 등급을 평가하고 있다. 각 등급을 살펴보면, 시스템 개발 초기부터 정형기법을 이용하여 개발되어진 시스템들이 고등급을 획득하고 있다. 국내에서도 한국정보보호센터(KISA)에서 보안 시스템에 대한 등급을 평가하고 있다. 본 논문에서는 높은 보안 등급의 IPSec 관련 시스템을 개발하기 위해서 개발단계에서 어떠한 정형기법들이 적용될 수 있는지를 살펴보겠다.
-
유희준(Hee-Jun Yoo),이기흔(Ki-Huen Lee),최진영(Jin-Young Choi) 한국정보과학회 2000 정보과학회논문지 : 시스템 및 이론 Vol.27 No.3
본 논문에서는 다중자원(multiple resource)을 사용하는 시스템의 명세와 검증을 위한 프로세스 대수 ACSMR(Algebra of Communicating Shared Multiple Resources)을 정의한다. ACSMR은 프로세스 대수 기반의 정형기법(formal methods)인 ACSR에 다중자원의 개념을 확장한 것이다. 명세와 검증의 예로 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First(EDF)를 멀티프로세서하에서의 시스템의 행동 명세와 다중 포트를 가진 레지스터를 이용한 수퍼스칼라 프로세서의 타이밍 특성과 자원 제한을 묘사하기 위한 명세방법을 제시한다. In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.
-
객체 지향 정형 명세 언어를 사용한 S / Key 시스템 명세
유희준(Hee-Jun Yoo),최진영(Jin-Young Choi),노병규(Byung-Gyu No) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A
컴퓨터 기술의 발전으로 정보화 지대를 맞이한 현대에 있어서 "보안 기능의 정형화 설계 방법 연구"는 정보 보호와 완벽한 보안 때문에 매우 중요하다. 이러한 추세에서 전 세계적으로 보안 시스템에 대한 등급을 나누고 있고, 국내에서도 한국정보보호센터에서 침입차단시스템에 대해 K1에서 K7까지의 등급을 매기고 있다. 이 등급을 살펴보면 정형 언어를 사용하여 시스템 명세를 수행하여야만 K5이상의 고 등급을 획득할 수 있다. 또한, 최근에 들어서 소프트웨어 개발 방법에 객체지향 방법론이 많이 사용되고 있는 시점에서 이러한 방법론으로 개발되는 시스템 설계에 직접 적용될 수 있을 수준의 정형기법을 제시하는 것을 목표로 한다. 여기서는 passive attack에 대해 사용자의 패스워드를 보호하기 위한 간단한 스킴인 S / KEY 인증 시스템에 객체지향 정형명세언어인 ZEST와 UML을 적용해 본 결과를 기반으로 보안 시스템을 정형 명세한 경험을 기술한다.
-
-
유희준(Hee-Jun Yoo),배민오(Mino Bai),최진영(Jin-Young Choi) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 모순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 확장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방법이 고려되지 않았다. 최근데 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분자가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고, 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 청의하였다.
-
유희준(Hee-Jun Yoo),강은영(Eun-Young Kang),최진영(Jin-Young Choi),이성권(Sung-Kwon Lee),김우곤(Woo-Gon Kim) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅲ
컴퓨터 기술의 발전으로 정보화 시대를 맞이한 현대에 있어서 “보안 기능의 정형화 설계 방법 연구”는 정보 보호와 완벽한 보안 때문에 매우 중요하다. 이러한 추세에서 전세계적으로 보안 시스템에 대한 등급을 나누고 있고, 국내에서도 한국정보보호센터에서 침입차단시스템에 대해 K1에서 K7까지의 등급을 매기고 있다. 하지만, 아직까지 국내에서 이 분야에 대한 연구가 거의 진행되고 있지 않아 K5이상의 고등급 제품의 개발 및 평가에 많은 어려움이 있는 실정이다. 본 논문은 실제 간단한 규모의 보안 시스템 설계에 직접 적용될 수 있을 수준의 정형기법을 제시하는 것을 목표로 한다. 여기서는 전자 서명에 관련된 인증 알고리즘인 MD4 알고리즘에 대해서 정형 명세 언어인 Z와 VDM을 적용해 본 결과를 기반으로 보안 시스템을 정형 명세한 경험을 기술한다.
-
유희준(Hee-Jun Yoo),김일곤(Il-Gon Kim),최진영(Jin-Young Choi),김상호(Sang-Ho Kim),노병규(Byung-Gyu Nho) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.1A
최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알려지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서, 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Trade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KEY에 대해서 4개 (STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들의 가이드 라인에 대한 정보를 제공한다.
-
ACSMR을 이용한 다중 프로세서에 대한 스케줄링 분석
유희준(Hee-Jun Yoo),최진영(Jin-Young Choi) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
본 논문에서는 프로세스 알지브라(Process Algebra)기반의 정형기법(Formal Methods)을 사용하여 실시간 시스템의 스케줄링 기법을 명세, 검증하였다. 특히, 멀티프로세서(Multiprocessor)하에서의 시스템의 행동을 명세하기 위해서 다중자원(multiple resource)에 대해서 정확한 명세를 할 수 있는 ACSMR 을 이용해서 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First 를 멀티프로세서 하에서 명세하고 검증한 예를 제시한다. ACSMR 은 ACSR 의 변형으로 다중 자원을 제공해 준다.
ScienceON
코리아스칼라연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
