자바 언어 구현에 관한 연구

장천현 건국대학교 산업기술연구원 1999 건국기술연구논문지 Vol.24 No.-

The Java programming language is emerging as a software distribution standard, with major vendors committed to porting the Java virtual machine(JVM) to their platforms. These first generation JVM rely on an interpreter, possibly extended with capabilities to cache native code for reduced interpreter overhead, to bridge the gap between the bytecode instruction and the native hardware. The interpreter approach is sufficient for specialized applications such as Internet browsers, where application performance is often limited by network delays rather than processor speed. But it is not sufficient for executing general applications distributed in Java bytecode. In this paper, we propose a native executable translation compiler model which is easily retargeted to various target machine. Our model use Sun's Java front-end(javac), and EM code, code expander and back-ends from ACK(Amsterdam Compiler Kit). Code expander which is a bytecode-to-EMcode translator is easily generated from bytecode-to-EMcode mapping description. EM code generated by the code expander is retargerted to various machine by using ACK back-ends. From our result, various native Java compiler may be developed easily.

소프트웨어 프로토타이핑 환경에 관한 연구:병행 프로그래밍 커널 설계

장천현 建國大學校 附設 産業技術硏究所 1993 논문집 Vol.18 No.-

The objective of the prototyping environment is to aid system developers to evaluate new techniques and design alternatives for concurrent or distributed system. One of the primary reasons of the difficulty in successfully developing and evaluating new techniques for concurrent or distributed system is that it takes a long time and huge effort to actually develop a system before the techniques can be evaluated. To reduce the time and effort in this approach, the prototyping environment has been developed based of flexible message-passing concurrent programming kernel. In this paper, we describe the structure of prototyping environment implemented on virtual machine(VM). This prototyping environment is based on concurrent programming kernel which is the most essential part of this system. This kernel is designed and written in Modula-2, which supports well define interfaces and data abstractions. Therfore it is suffificiently enough to construct prototyping environment.

가상현실 모델링 언어에 관한 연구

장천현 건국대학교 산업기술연구원 1996 건국기술연구논문지 Vol.21 No.-

The Virtual Reality Modeling Language, VRML, is fast becoming a standard language for describing virtual worlds networked via the global Internet and hyperlinked with the World Wide Web. But the current version of VRML only allows limited interactive behavior for the creation of virtual worlds, and it is not easy to create VRML documents because of its three-dimensional nature. Recently several authoring tools are announced for creating VRML documents, and next version of VRML are proposed for richer behaviors, including animations, motion physics and real-time multi-user interaction. In this paper, we briefly introduce the VRML system with several authoring tools and discuss the comparison with each others. We also briefly introduce the future version of VRML and discuss the comparison between several proposal, This research results will be the basis for design of new authoring tool and adaptation of next version of VRML.

OSI 기본 등급 가상터미널 형식 명세를 위한 프로토콜 머신의 설계

한선영,장천현 건국대학교 산업기술연구원 1994 건국기술연구논문지 Vol.19 No.-

OSI 망에서 표준화된 터미날 프로토콜로 점차 관심분야로 대두되는 가상터미널 기본등급 프로토콜은 원격지 호스트와 통신하거나 원격지의 자원에 접근하기 우해 표준화되어 있다. 가상터미널 기본 등급 서비스는 개방 시스템 상호접속 환경(OSIE)에서 제공하고 있는 몇 개의 응용 지향적인 통신 서비스 중 하나이다. 본 논문에서는 OSI 기본 등급 가상터미널의 LOTOS 형식 명세를 위하여 그 프로토콜 머신을 설계하였다. Resulting from the growing interest in the standardized terminal protocol within OSI network, virtual terminal basic class protocol is standardized communication protocol between remote hosts and local terminals, Virtual terminal basic class services is one of the several application-oriented communication services being provided by protocols operating in the application layer of the Open Systems Interconnection Environment(OSIE). In this paper, we design the OSI Virtual Terminal Protocol machine for its LOTOS formal specification.

실시간 분산 환경 감시를 위한 TMO 모델의 연구

정윤석,김태완,장천현 건국대학교 산업기술연구원 2005 건국기술연구논문지 Vol.30 No.-

We need an additional monitoring tool to observe a TMO model-based system because the conventional tools ae not based on the monitoring concept. Some studies have been conducted to develop a monitoring tool. But it is hard for them to support a distribued monitoring because they did not use a data sharing and delivery mechanism provided by the TMO model. To solve this problem, in this paper, we propose a TMO monitoring model which the TMO model and a monitoring concept are combined in. The model is composed of some components to support monitoring, and it guides the middleware to take all the monitoirng functions. Thus, a user can get monitored data provided by the middleware without any efforts. In addition, in this paper, we propose the MODS and MDC which are mechanisms to share or deliver the monitored data in distributed environments. These can resolve problems with conventional data stores used by the legacy monitoring tools, and provide a fundamental data management scheme to monitor several systems in distributed environments. The TMO monitoring model, MODS, and MDC can be used for a TMO system monitoring, performance evaluation, and monitoring tool development.

홈 오토메이션 환경을 위한 이동단말기 기반의 원격 영상 감시 시스템

신원,김태완,장천현 건국대학교 산업기술연구원 2004 건국기술연구논문지 Vol.29 No.-

Home automation technology comes out as internet appliance spreads and users ask for more convenient services. But automation for small home and office is hardly applied because it needs expensive and large equipment such as a settop-box and a CCTV. To solve these problems, Home automation system should have functions to monitor and control appliances without any other equipment. First of all, the fundamental technologies such as image monitoring and controlling should be implemented to accomplish Home automation. The conventional image technology doesn't support real-time processing, transmission and playing for image because it focuses on buffering for high quality image. Moreover, it doesn't take any consideration on mobile devices with limited resources. In this paper,(to treat these problems,) we design and implement a remote image monitoring system. It uses image handling technology based on software to prevent a image delay problem caused by capturing images from cameras, It can also support multiple image monitoring which substitutes several original large images for small ones. This system could be used not only in the electric power monitoring and distributed controlling areas system but also in some areas related to education.

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

A Study on Right Context of LR (0) Item

Chang, Chun Hyon 건국대학교 1986 學術誌 Vol.30 No.2

본 논문에서는 LR Parsing방법에 기반을 둔 Syntax Error Repair에서 핵심이 되는 LR(0) Item의 Right Context (Expected Vocabulary String)를 Closure-graph와 L-graph를 이용하여 효과적으로 구하는 방법이 고찰되고 서로 비교되었다. Error Repairing System에 2개의 방법을 적용시켜 Ada와 Pascal 언어의 LALR(1) Grammar에 대해 실험한 결과 L-graph를 이용한 방법이 Closure-graph를 이용한 방법보다 시간 및 기억장소 모든 면에서 우월함을 입증하였다. (Note) Due to the restricted character set of the device on which this text was printed following conventions are introduced. c stands for set membership ∈ U stands for set union ∪ a stands for Greek letter α b stands for Greek letter β c stands for Greek letter γ e stands for Greek letter ε w stands for Greek letter ω { } stands for empty set φ 〈 〉 stands for inequality ≠

C++ 컴파일러 및 프로그래밍 환경 개발

장천현(Chang Chun Hyon),오세만(Oh Se Man),유재우(Yoo Chae Woo) 한국정보처리학회 1997 정보처리학회논문지 Vol.4 No.3

in this paper, we proposed and developed a compiler and interactive programming environments for C which is mostly worth of notice among the object-oriented languages. To develop the compiler for C we took front-end/back-end model using EM virtual machine. In developing Front-End, we formalized C grammar with the context sensitive tokens which must be manipulated by lexical scanner and designed a AST class library which is the hierarchy of AST node class and well defined interface among them. In developing Back-End, we proposed model for three major components : code optimizer, code generator and run-time environments. We emphasized the retargetable back-end which can be systematically reconfigured to generate code for a variety of distinct target computers. We also developed tree pattern matching algorithm and implemented target code generator which produce SPARC code. We also proposed the theory and model for constructing interactive programming environments. To represent language features we adopt AST as internal representation and propose incremental analysis algorithm and visual diagram. We also studied unparsing scheme, visual diagram, graphical user interface to generate interactive environments automatically. Results of our research will be very useful for developing a compiler and programming environments, and also can be used in compilers for parallel and distributed environments.

UKC 2005 참관기

장천현 건국대학교 산업기술연구원 2006 건국기술연구논문지 Vol.31 No.-