http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 김성회(SungHae Kim) (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
임베디드 소프트웨어에서 코드 리팩토링과 C 바운디드 모델 체커 도구의 적용
김성회(SungHae Kim),권기현(Gihwon Kwon),한혁수(HyukSoo Han),이상은(SangEun Lee),이혁재(HyukJae Lee),남일규(Ilkyu Nam),한주동(JooDong Han) 한국정보과학회 2011 정보과학회논문지 : 소프트웨어 및 응용 Vol.38 No.4
대부분의 임베디드 소프트웨어는 적은 메모리와 사용자 입/출력이 제한되기 때문에 기존의 테스팅 기술을 그대로 적용하는 것이 어렵다. 테스팅은 직접 실행해서 결과를 확인하는 방식이기 때문에 일반적으로 테스팅 프레임웍 또는 관련 라이브러리와 링크되어 실행되는데 이렇게 할 경우 실행파일의 크기가 증가되어 임베디드 환경에서 동작하지 않을 수가 있으며 설사 테스팅을 수행하더라도 적절한 출력 장치를 갖춘 경우가 드물기 때문에 결과를 확인하기가 어렵다. 따라서 임베디드 소프트웨어에서는 코드를 직접 실행하지 않으면서 문제점들을 찾을 수 있는 기술이 필요하다. 다른 문제로써 임베디드 소프트웨어는 지속적으로 버전이 업그레이드 되는데 반하여 하드웨어의 경우 재설계로 인한 비용이 발생되기 때문에 초기에 설계된 구성을 변경하지 못하고 사용하는 경우가 많은데 이 경우 하드웨어 재설계를 진행하기에 앞서 코드 리팩토링 기법을 먼저 적용함으로써 적은 비용으로 실행파일의 크기를 감소시키는 것이 가능하다. 본 논문에서는 코드 리팩토링을 통하여 증가하는 임베디드 소프트웨어의 크기를 감소시켰고 소프트웨어의 정확성을 높이기 위해서 모델검증 도구를 적용하였다. It is difficult for most embedded software to apply conventional testing techniques directly because of small memory and the limitation of user I/O. Typically software testing directly runs the software and checks the result and, in general, the software is linked with testing framework or related libraries to be executed. In this case the software can not run in embedded environment due to the increase of executable file and, even if run, it would be difficult to check the result because it is not common for the environment to be equipped with proper output device. Consequently, new technology is needed for embedded software to find out problems without directly executing the software. On the other hand, embedded software tends to be upgraded continuously but hardware is usually used without changing/modifying the configuration of initial design because of cost for redesign. To solve the problem, it is possible to reduce the size of executable file with low cost by applying code refactoring techniques before proceeding to hardware redesign. This paper suggests how to apply model checking tool, CBMC, to enhance software accuracy and to reduce the size of ever increasing embedded software using code refactoring.
-
LTL Synthesis를 이용한 다중 로봇 시뮬레이터 개발
김성회 ( Sunghae Kim ),권령구 ( Ryoungkwo Kwon ),권기현 ( Gihwon Kwon ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1
Synthesis 기술은 요구사항을 입력 받아서 자동적으로 시스템을 생성한다. 그러므로 생성된 시스템에 대한 추가적인 테스팅과 검증을 요구하지 않는다는 장점이 있지만 자연어가 아닌 특별한 형태의 논리식으로 요구사항을 기술하기 때문에 정확하게 변환되었는지, 누락된 요구사항이 있는지 확인하는 과정이 반드시 필요하다. 이러한 Synthesis 기술을 로봇 계획 분야에 적용하면 다중 로봇의 작업 계획도 단일 로봇과 동일한 형태로 확장하는 것이 가능하다. 그러나 기존의 LTLMoP 시뮬레이터는 단일 로봇의 시뮬레이션만을 지원해서 다중 로봇의 시뮬레이션은 어려움이 많았다. 따라서 본 연구에서는 다중 로봇들의 작업 계획도 시뮬레이션 할 수 있도록 LTLMoP 시뮬레이터를 확장하였고 사례연구를 통하여 이를 확인하였다.
-
김남열(Nam Youl Kim),김종형(Jong Hyeong Kim),김성회(Sunghae Kim) 대한기계학회 2022 大韓機械學會論文集A Vol.46 No.3
Web 2.0의 성장이 제품과 서비스에서 얻은 의견과 경험을 공유 가능케 했으며, 더욱이 인공지능 기술의 발달로 이러한 UGC(user generated contents) 데이터에서 다양한 정보를 추출할 수 있게 됐다. 본 연구에서는 이러한 UGC 데이터를 자연어 처리하여 유용한 설계 파라미터를 추출하고자 했다. 따라서 분석하고자 하는 대상 제품의 정보 수집 방법과 정량화 모델을 제시했고, 자연어 처리 프로세스를 서술하였다. 또한 두 가지 사례 연구를 통해 모델을 검증했다. 해당 연구는 아직 활발한 분야는 아니지만, 설계의 복잡도를 줄이고 초보 설계자들에게 감각을 익히는 데 유용할 수 있음을 설명하였으며, 해외 사례를 통해 필요성과 의의를 시사했다. The growth of Web 2.0 has facilitated the sharing of opinions and experiences gained from products and services. Furthermore, the development of artificial-intelligence technology has enabled the extraction of various information from these user-generated content (UGC) data. This paper reports on the extraction of useful design parameters by processing UGC data written in natural language. The information collection method and quantification model of the target product to be analyzed are presented, and the natural-language-processing process is described. Although such quantifications have not been actively performed, they can help reduce the complexity of design and learning for novice designers. The necessity and significance of this method are illustrated using cases from outside Korea.
-
권령구(Ryoungkwo Kwon),김성회(Sunghae Kim),권기현(Gihwon Kwon) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1B
다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
