http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
SDT를 이용한 무선 트랜잭션 프로토콜의 프로토타입 구현
정호원(Howon Jung),오연주(Yeunjoo Oh),최윤석(Yoonsuk Choi),임경식(Kyungshik Lim) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅲ
정보통신 분야의 급격한 발달은 다양한 프로토콜을 지원하는 통신 시스템의 개발 주기를 더욱 빠르게 하고 있다. 따라서, 소프트웨어 개발자들은 공식적인 규격에 따른 소프트웨어의 설계와 실제 구현단계 이전에 프로토타입의 구현을 통해 시스템의 요구사항 분석 및 문제점을 조기에 발견하고, 소프트웨어의 개발 주기를 단축시키며, 한편으로는 개발 공정의 체계적 관리를 필요로 하게 되었다. 본 논문에서는 이에 대한 실질적인 해결방안을 제시하기 위해 통신 시스템의 명세서 작성 및 설계를 위한 표준화된 언어인 SDL(Specification and Description Language)을 이용해 WAP(Wireless Application Protocol)의 WTP(Wireless Transaction Protocol)를 설계하고, Teleogic사의 SDT를 이용하여 실행코드를 만들어 리눅스상에서 실제로 실행 가능한 프로토타입을 구현하였다.
이해동(Haedong Lee),정호원(Howon Jung),원유재(Yoojae Won),임경식(Kyungshik Lim) 한국정보과학회 2001 정보과학회논문지 : 정보통신 Vol.28 No.3
본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또 한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용 프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다. In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.
한재원(Jae Won Hahn),김용우(Yongwoo Kim),정호원(Howon Jung),김석(Seok Kim),장진희(Jinhee Jang) 대한기계학회 2010 대한기계학회 춘추학술대회 Vol.2010 No.11
For decays, laser direct writing (LDW) is widely used for material processing of high precision engineering. The technique takes an important role in micro scale fabrication / manufacturing. In general, LDW uses beam spot focused by refractive optics and the scale of processing is mainly determined by diffraction limit. The resolution of commercially available system is about 500 ㎚. In this paper, we introduce high resolution LDW process using solid immersion lens probe or nano aperture probe which scans sample surface in contact mode assembled with LDW system. These probes are protected by diamond like carbon film for high durability. Using these contact probes, we achieved resolution up to 50 ㎚ and relatively high scan speed about 10 ㎜/s, which is several hundred times faster than conventional near-field scanning optical microscope scheme. The speed is comparable to conventional system and we expect these schemes can be practically used for fabrication system.
내부점방법을 위한 초미디 열촐레스키 분해의 실험적 고찰
설동렬,정호원,박순달 한국경영과학회 1998 經營 科學 Vol.15 No.1
The computational speed of interior point method depends on the speed of Cholesky factorization. The supernodal column Cholesky factorization is a fast method that performs Cholesky factorization of sparse matrices with exploiting computer's characteristics. Three steps are necessary to perform the supernodal column Cholesky factorization: symbolic factorization, creation of the elimination tree, ordering by a post-order of the elimination tree and creation of supernodes. We study performing sequences of these three steps and efficient implementation of them.
설동렬,박순달,정호원 한국경영과학회 1997 經營 科學 Vol.14 No.2
The computational speed of interior point method of linear programming depends on the speed of Cholesky factorization. If the coefficient matrix A has dense columns then the matrix A??A^T becomes a dense matrix. This causes Cholesky factorization to be slow. We study an efficient implementation method of the dense column splitting among dense column resolving techniques and analyze the relation between dense column splitting and ordering methods to improve the sparsity of Cholesky factor.