공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법

온진호(Jin-Ho On),우수정(Su-Jeong U),최정란(Jung-Rhan Choi),이문근(Moon-Kun Lee) 한국통신학회 2007 한국통신학회 학술대회논문집 Vol.2007 No.11

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화

온진호,최정란,이문근,On, Jin-Ho,Choi, Jung-Rhan,Lee, Moon-Kun 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.3

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다. There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

이동 사무환경을 위한 메신저 프로토콜 설계 및 구현

온진호 ( Jin-ho On ),최완 ( Wan Choi ),이문근 ( Moon-kun Lee ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.1

최근 이동사무환경에 대한 관심이 증대되고 있다. 이를 위한 ‘유비쿼터스 이동사무환경 시스템’의 메신저 시스템은 기존 XMPP 메신저 프로토콜을 적용할 수 있으나, 몇 가지의 제약조건이 존재한다. 본 논문은 기존의 XMPP 를 확장해 이동사무환경에 적합한 새로운 프로토콜을 설계하고, 이를실제 구현한 랑데부 서버에 적용하였다. 새롭게 개발한 MPE-MP 프로토콜은 사무환경의 전송을 위해 XMPP의 기본 네트웍 모델인 CS (Client-Server) 모델을 사용하지 않고, P2P (Point to Point) 방식을 사용하여 사무환경 전송을 수행한다. 본 논문에서는 MOE-MP 이동사무환경 메신저 프로토콜과 이의 구현인 랑데부 서버에 대한 특징, 기능을 서술한다.

이동 사무환경을 위한 메신저 프로토콜설계 및 서버의 구현 및 분석

온진호 ( Jin-ho On ),최완 ( Wan Choi ),조기환 ( Gi-hwan Cho ),이문근 ( Moon-kun Lee ) 한국인터넷정보학회 2008 인터넷정보학회논문지 Vol.9 No.2

최근 이동사무환경에 대한 관심이 증대되고 있다. 이를 위한 `유비쿼터스 이동사무환경 시스템`의 메신저 시스템은 기존 메신저 프로토콜에서 지원하지 않았던 파일 요청, 사무환경 전송/ 요청 / 브로드캐스팅 등 이동 사무환경 메신저 시스템을 위한 여러 가지 새로운 개념들이 필요하다. 본 논문은 이러한 이동사무환경 메신저에 맞는 새로운 프로토콜을 설계하였으며, 기존의 프로토콜과의 차이점을 분석하였다. 또한 MOE-MP에 최적화된 서버를 구현하고 이에 대한 효율성 분석을 수행하였다. 새롭게 설계한 MOE-MP는 XMPP의 기본적인 프로토콜을 사용하였고, 이동사무환경에 맞도록 확장하였다. Recently, interest about Mobile Office Environment is increasing. Messenger systems of `Ubiquitous Mobile Office Environment` need various kinds new concept such as request/broadcasting/transmission of working environment that existent messenger protocol does not support. Design correct new protocol to Mobile Office Environment messenger in this treatise, and analyzed existentprotocol and comparison. Also, examine characteristic of rendezvous server that was optimized in MOE-MP protocol and analyzed efficiency. MOE-MP that design newly based on basic syntax of XMPP optimized to Mobile Office Environment.

업싸이클링된 암모늄 파라텡스텐의 열적 및 화학적 분해법 비교

정준기,온진호,김성진,박상엽,Chung, Jun-Ki,On, Jin-Ho,Kim, Sung-Jin,Park, Sang-Yeup 한국재료학회 2015 한국재료학회지 Vol.25 No.6

The possibility of using the chemical precipitation method of up-cycled ammonium paratungstate (APT) was studied and compared with the thermal decomposition method. $WO_3$ particles were synthesized by chemical precipitation method using a 1:2 weight ratio of APT: Di-water. For thermal decomposition, APT powder was heated for 4h at $600^{\circ}C$ in air atmosphere. The reaction products were characterized by X-ray diffraction (XRD), X-ray fluorescence spectrometer (XRF), particle size analyzer (PSA), and field emission-scanning electron microscopy (FE-SEM). Thermogravimetric analysis (TGA) of the up-cycled APT allowed for the identification of the sequence of decomposition and reduction reactions that occurred during the heat treatment. TGA data indicated a total weight loss of 10.78% with the reactions completed in $658^{\circ}C$. The XRD results showed that APT completely decomposed to $WO_3$ by thermal decomposition and chemical precipitation. The particle size of the synthesized $WO_3$ powders by thermal decomposition with 2 h of planetary milling was around $2{\mu}m$ During the chemical precipitation process, the particle size of the synthesized $WO_3$ powders showed a round-shape with ${\sim}0.6{\mu}m$ size.

SaaS 기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 VM의 Host OS와 Guest OS의 네트워크 성능 측정 방법 개선

우수정 ( Sujeong U ),온진호 ( Jin-ho On ),최정란 ( Jung-rhan Choi ),최완 ( Wan Choi ),이문근 ( Moon-kun Lee ) 한국인터넷정보학회 2009 인터넷정보학회논문지 Vol.10 No.2

최근 들어 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼에 관한 연구 및 개발이 활발해지고 있다. 이러한 플랫폼들은 다양한 사용자의 OS를 만족시키기 위해 최적화된 가상머신이 필수적으로 요구된다. 또한 다양한 Host OS에서 내부, 외부 네트워크간에 빠르고 안정적인 서비스를 지원 함으로서 사용자의 작업환경 이동성을 보장해야 한다. 이를 위해 가상머신은 다양한 관점에서의 성능 측정이 필요하다. 하지만 기존 연구에서 가상머신의 성능 측정은 Host 컴퓨터에 설치된 VM에 Guest OS를 설치하여 이를 하나의 컴퓨터로 간주하고, 외부의 클라이언트에서 네트워크 성능을 측정한다. 이는 이동형 개인 맞춤 소프트웨어플랫폼을 위한 가상머신 성능 측정에 적합하지 않다. 본 논문은 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 최적화된 가상머신을 선정하기 위해서 네트워크 성능 측정 방법과 측정된 결과 분석을 통한 최적화된 가상머신을 제안한다. Recently, there are a number of researches and developments for the personalized software platform for mobility based on SaaS. The platform requires an optimal virtual machine in order to satisfy the operating systems of various users for the software. In addition, the platform must guarantee the mobility of the users` working environments by supporting fast and secure services between internal and external networks in the platform operating systems. In order to verify the optimal behaviors of virtual machines for the platform, the performance of the virtual machines must be measured and analyzed in various perspectives. In the previous research, unfortunately, the performance of a virtual machine were conducted in the condition that a guest operating system was installed on the virtual machine and considered as a computer, by measuring the network traffic between the guest operating system and an external client operating system. This performance measurement was not suitable for a virtual machine for the platform since a number of different software must be handled in the virtual machine. In order to overcome this limitation, this paper presents a measurement method for network performance and proposes the most optimal virtual machine by the method.

프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 방법

우수정(Su-jeong Woo),온진호(Jin-ho On),이문근(Moon-kun Lee) 한국콘텐츠학회 2011 한국콘텐츠학회논문지 Vol.11 No.9

분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수 많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다. A number of process algebras have been proposed to develop distributed mobile real-time systems: pi-Calculus, Mobile Ambients Calculus, Bigraph, etc. However, as the systems get large and complex, the algebras become less suitable for understanding the interactions and mobility of the processes of the systems due to the size and complexity. Therefore it is necessary to handle the size and complexity for systematic understanding of the systems. This paper handles the size and complexity with a method of abstraction on sequences of interactions and movements of processes in the systems, which can be further organized in the form of hierarchically structured lattices, namely, Prism. The theoretical principle of the abstraction is based on a new concept of Behavior Ontology, which is extended from Active ontology. Prism allows the systems to be analyzed in the perspective of the lattices in Prism, which are characterized by the hierarchically organized behavioral properties of the developing systems, for systematic understanding the systems. In this way, the complexity of the interactions and the movements can be handled systematically in the semantically and hierarchically organized structure of the behavior.

이동 멀티미디어 영상의 객관적인 품질측정 시스템 구현에 관한 연구

백승은(Seung-Eun, Paek),온진호(Jin-Ho Ohn),주해종(Hae-Jong Joo),홍봉화(Bong Wha Hong),김은원(Eun-Won Kim),박영배(Young Bae Park) 대한전자공학회 2007 대한전자공학회 학술대회 Vol.2007 No.7

This Paper provides perceptual metrics for video quality based on properties of human visual system, and audio quality based on human audition. All metrics work without reference signals, allowing non-intrusive, in-service measurements. A simple and easy-to-learn user interface displays the metrics and saves them in popular file formats like CSV.

서버리스 컴퓨팅 시스템을 위한 효율적인 마이크로 펑션 관리기 구현에 관한 연구

장수민 ( Su-min Jang ),온진호 ( Jin-ho On ),김영호 ( Young-ho Kim ),김재열 ( Chei-yol Kim ),차규일 ( Gyu-il Cha ) 한국정보처리학회 2019 한국정보처리학회 학술대회논문집 Vol.26 No.2

최근에 이슈가 되고 있는 서버리스 컴퓨팅 시스템은 실행 요청이 있을 때만 동적으로 머신 자원의 할당으로 해당되는 마이크로 펑션을 실행되고 그 요청이 증가할 경우 그에 비례하는 자원을 할당하여 동시에 처리하는 방법으로 자원 사용률과 서비스 확장성이 매우 좋은 장점을 갖는다. 그러나 서버리스 컴퓨팅 시스템 관련 개발자는 여전히 마이크로 펑션에 대한 관리 측면에 대한 다양한 대응을 스스로 해결해야 하는 여러가지 문제점을 가지고 있다. 그래서 본 논문은 서버리스 컴퓨팅 시스템의 효율적인 마이크로 펑션 관리와 마이크로 펑션의 실행환경설정에서 발생되는 불필요한 자원 낭비를 최소화하는 방안을 제안한다.

클라우드 컴퓨팅에서 BPEL 분석 및 검증을 위한 Onion 언어로의 변환

최재홍 ( Jae-hong Choe ),온진호 ( Jin-ho On ),이문근 ( Moon-kun Lee ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 워크플로우에 따라 서비스가 설계되어 조합된다. 대표적인 웹서비스 명세언어인 BPEL 의 검 증방법에는 Petri nets, Abstract State Machine(ASM), BPE- Calculus 등이 존재한다. 하지만 기존의 방법은 설계와 검증이 분리되어 있어 일관성이 부족하고, 시각화 문제, 동일성, 시간에 대한 제약조건의 문제점이 존재한다. 이에 대한해결방안으로 이동성, 재구성성, 동일성, 시간속성등의 새로운 분석 방법을 제시하는 Onion 언어가 제안되었다. 본 논문은 BPEL 로 명세된 서비스를 Onion 시스템에 적용시키기 위한, 변환 과정에 대해서 다룬다. 이에 대한 과정으로 BPEL 의 액티비티를 Onion 으로 변환하고, 워크플로우 패턴을 적용하여, 3 가지 패턴을 Onion OVL 로 변환을 적용하였다. 이를 통하여 BPEL 을 Onion OVL 로 변환하는데 문제가 없음을 보였으며, 효율적인 표현이 가능함을 보였다. 추후 Onion 시스템의 컴포넌트로 적용하여, BPEL 로 작성된 서비스를 Onion 시스템을 통해 분석/검증할 수 있다.