http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
"계층 상태공간 축약방법"에 기반한 효율적인 상호운용성 시험 방법론
최영한,진병문,이동익,진성일,Choe, Young-Han,Chin, Byoung-Moon,Lee, Dong-Ik,Jin, Seong-Il 한국정보처리학회 1998 정보처리논문지 Vol.5 No.8
상호운용성은 정보기술 및 통신분야에서 가장 중요한 요소의 하나이다. 본 논문에서는 상호운용성에 관한 시험방법 및 시험 스위트의 생산에 대하여 논의하고 있다. 적합성시험을 비롯하여 정형적인 검즈에서 가장 먼저 고려되는 치명적인 문제점은 상태공간의 폭발에 관한 사항이며 이는 상호운용성의 시험방법 및 시험 스위트의 개발에 있어서도 가장 먼저 해결되어야 할 문제이다. 본 논문에서는 페트리네트를 이용한 상운용성 시험을 지원하기 위해 새로운 상태 공간 축약 방법을 제시하며 이를 이용한 상호운용성의 시험방법 및 시험 스위트 생성 방안을 IOSM, Quasi stable state 등을 이용하여 HOSS에 기반한 상태축약 결과를 보임으로써 상호운용성시험을 효율적으로 지원하는 방안을 제시한다. Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently
최영한,김장경,장웅,진병문,Choe, Young-Han,Kim, Jang-Kyung,Jang, Woong,Chin, Byong-Moon 한국정보통신학회 1998 한국정보통신학회논문지 Vol.2 No.3
최근 들어서 실시간 제어, 오디오/비디오 회의, Medical image등의 실시간에 관한 다양한 응용들이 출현하고 있으며 이들은 하부 통신 서브 시스템 (Underlying communication subsystem) 에서 각기의 일정한 QoS (Quality of Service)를 요구한다. 이 경우 통신 서브시스템은 각각의 응용들에 관한 QoS 요구를 만족시키는 실시간 통신 서비스를 제공하여야 하며 동시에 최적의 트래픽을 유지하기 위한 성능을 제공하여야 한다. 본 논문에서 고려하는 단대 단 망은 고 대역폭과 확장성을 내재하고 있음으로 인하여 분산 시스템에 대하여는 자연 적인 플랫폼을 제공하는 것으로 볼 수 있다. 본 논문에서는 QoS를 만족하는 단대 단 망에서의 실시간 프로토콜에 대해 살펴보고, 효율적인 실시간 채널의 디자인 요소(Design Factors)를 제안한다. Recently there comes out various applications on real time control, audio/video conference, medical image and so on. These applications request certain Quality of Service(QoS) to their underlying communication subsystem. In these cases those communication subsystems should provide real time communication service on their QoS request as well as good performance to maintain best effort traffic. In this paper firstly we briefly look over bandwidth, traffic parameters on point to point network secondly we analyze on real time channel and propose design factors in real time channel protocol for multimedia applications.
계층 상태공간 축약방법에 기반한 효율적인 상호운용성 시험 방법론
최영한(Choe Young Han),진병문(Chin Byoung Moon),이동익(Lee Dong IK),진성일(Jin Seong II) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.8
Interoperability(IOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss developing an interoperability testing(IOPT) method. As is easily guessed from conformance testing and formal verification, state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently.
통신 프로토콜 명세 언어 SDL 을 위한 소프트웨어 개발 환경 구현
최영한(Choe Young Han),김성운(Kim Sung Un) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.6
This paper presents a programming environment for the edition and verification of the specification language SDL. It is implemented in the Concerto software factory, which has been designed as a support fir the development of real size software. Concerto is a software factory designed for application development in the fields of computer communication protocols or real time system. It offers various kinds of tools to produce software, organize this production and automate it. Concerto allows a smooth integration of various formalism such as the C and C languages, structured documentation, HOOD methodology(Hierarchical Object Oriented Design). In this paper, as an important tools in the process of communication protocol software development, we describe an implementations of SDL graphical editor tool and a tools for the dynamic analysis of SDL specifications. We frist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how the hypertext mechanism of Concerto enables to create logical links between a protocol and its associated service.
달 기지 건설계획 동향으로 바라본 미래 달 거주 가능성
김한샘(Kim, HanSaem),최경철(Choe, GyeongCheol),채지용(Chae, Ji-Yong),김홍섭(Kim, Hong-Seop),조현미(Cho, Hyun Mi),최영한(Choi, Young-Han),정준수(Chung, Joon-Soo) 대한건축학회 2023 대한건축학회 학술발표대회 논문집 Vol.43 No.2
This study analyzed trends in lunar exploration and base construction plans of leading countries in the space development field and examined the possibility of constructing a lunar habitat as a residential environment. It analyzed lunar exploration scenarios from NASAs Artemis Program in the US, ESAs Moon Village in Europe, the International Lunar Research Institute (ILRS) in China and Russia, and Japan. To increase the possibility of lunar habitation, a long-term and specific lunar base construction roadmap and scenario are needed. This also includes a definition, vision, and mission setting for the lunar habitation that can be identified in a common language.