http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
지식공학을 위한 상호작용 시스템의 집단 행위 모델링 및 합성 방법
송준섭(Junsup Song),마리암 라흐마니(Maryam Rahmani),이문근(Moonkun Lee) Korean Institute of Information Scientists and Eng 2017 정보과학회논문지 Vol.44 No.11
It is very important to understand system behaviors in collective pattern for each knowledge domain. However, there are structural limitations to represent collective behaviors because of the size of system components and the complexity of their interactions, causing the state explosion problem. Further composition with other systems is mostly impractical because of exponential growth of their size and complexity. This paper presents a practical method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Firstly, the ontology defines each collective behavior of a system from active ontology. Secondly, the behaviors are formed in a quantifiably abstract lattice, called common regular expression. Thirdly, a lattice can be composed with other lattices based on quantifiably common elements. The method can be one of the most innovative approaches in representing system behaviors in collective pattern, as well as in minimization of system states to reduce system complexity. For implementation, a prototype tool, called PRISM, has been developed on ADOxx Meta-Modelling Platform.
IoT 시스템의 시스템 행위를 예측하기 위한 확률 프로세스 대수
송준섭(Junsup Song),이문근(Moonkun Lee) Korean Institute of Information Scientists and Eng 2020 정보과학회논문지 Vol.47 No.3
It is necessary to model the predictability of IoT systems under uncertainty. Probabilistic process algebra can model the predictability of the IoT systems behaviors based on the probability concept, in order to handle the uncertainty. For example, there are a few process algebras with probability property, such as PAROMA, PACSR, etc. However, these algebras are limited to analyzing IoT systems because they are based on simple discrete or exponential models. In order to overcome the existing limitations, this paper presents new process algebra, namely, dTP-Calculus. It enables application of four probabilistic models to smart IoT systems under complex uncertainty. In order to demonstrate the feasibility of the approach, a tool suite, called SAVE, for modeling the IoT system with dTP-Calculus has been developed.
[우수논문] 임베디드 그래픽 프로세서를 위한 OpenGL ES 컴파일러 개발
임수준(Soojun Im),송준섭(Junsup Song),신동군(Dongkun Shin) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1A
오늘날 휴대용 기기에서의 그래픽 처리 요구사항이 증가함에 따라 저전력, 저비용 그래픽 프로세서의 필요성이 대두되고 있다. 이에 따라 크로노스 그룹은 휴대기기를 위한 그래픽 API 표준인 OpenGL ES 2.0을 발표하였다. 본 논문에서는 OpenGL ES 2.0을 상정하여 구성된 그래픽 프로세서를 위한 쉐이더 컴파일러를 개발하고 최적화하는 연구를 수행하였다. 개발된 컴파일러는 OpenGL ESSL로 작성된 쉐이더 프로그램을 정상적으로 컴파일하고 동작시켰으며 타겟 GPU에 적합한 최적화 기법을 적용하여 쉐이더 프로그램의 크기를 최대 10%가량 절감하고 성능을 10~15%가량 향상시켰다.