Wireless Body Area Networks의 관련기술과 연구경향에 대한 이해

하일규,안병철,Ha, Il-Kyu,Ahn, Byoung-Chul 한국정보통신학회 2014 한국정보통신학회논문지 Vol.18 No.8

최근 들어 정보통신기술과 의료기술의 통합에 관한 관심이 증가되면서 센서네트워크를 인체에 적용하고자 하는 WBAN(Wireless Body Area Networks)에 관한 연구가 활발히 진행되고 있다. 기존의 센서네트워크 기술은 WBAN에 이용될 수 있는 가능성을 가지고 있으나, 몇 가지 제약사항을 가지고 있다. 특히 신체의 각 센서는 신체의 각 부분을 관통하여 통신해야 할 가능성이 크므로 자유공간인 센서네트워크와는 상당히 다른 네트워킹 환경을 가진다. 따라서 WBAN에 관한 연구는 기존의 센서네트워크와는 다른 인체의 특성을 고려한 다양한 영역을 연구의 대상으로 하고 있다. 본 연구에서는 기존의 센서네트워크와는 다른 WBAN의 환경적인 특성을 조사하고, WBAN의 개념이 도입된 2001년 전후부터 SLR(Systematic Literature Review)기법을 이용하여 WBAN의 연구 경향을 체계적으로 조사한다. 이에는 연구 분류와 연구자의 특성 등이 포함된다. 조사 결과를 요약하고 향후 연구 과제를 전망한다. Recently, with the increasing of the interest in the integration of medical technology and information communication technology, researches on WBAN (Wireless Body Area Networks) that try to apply sensor network to the human body have been processed actively. The existing sensor network technology has the potential to be used in WBAN, but it has some limitations also. In particular, because the sensors are likely to communicate through each part of the body, it has a very different network environment from the sensor network that uses a free space. Therefore, researches on WBAN have a variety area of study that slightly different from the conventional sensor networks and take into account the characteristics of the body. In this study, we investigate the environmental characteristics of WBAN that are separated from the conventional sensor network, and the research trends of WBAN systematically by using the technique of SLR (Systematic Literature Review) from 2001 around when the concept of WBAN has been introduced. The investigation includes the classification of research and the researcher's features. And the survey results and the outlook for further study are summarized.

WBAN과 FANET 융합 기반의 효율적인 신체 데이터 전송 방법 분석

하일규,Ha, Il-Kyu 한국정보통신학회 2017 한국정보통신학회논문지 Vol.21 No.2

FANET은 무인 항공기들로 구성된 애드혹 네트워크로서, 무인 항공기 간의 데이터 전달을 위해 3차원 상에 형성된 네트워크이다. 현재까지 이루어진 대부분의 FANET 활용에 대한 연구는 무인항공기에 장착된 카메라 센서를 활용하여 지상으로부터 데이터를 수집하고, 이를 전달하고 처리하여 특정한 목적에 활용하는 것이다. 하지만 인간 신체 영역의 데이터를 수집하고 이를 FANET을 통해 전달하는 WBAN과 FANET의 융합에 관한 연구는 아직 많이 이루어지 않았다. 따라서 본 연구는 데이터 전달을 위한 통신체계가 잘 갖추어져 있지 않은 도서 또는 오지 지역에서 활동하는 사람들의 인체 데이터를 수집하기 위해 WBAN을 구성하고, 수집된 데이터를 FANET을 통해 전달하는 체계를 연구한다. 특히 WBAN과 FANET의 융합 네트워크에서 신체의 응급데이터를 전달하기 위한 가능한 데이터 전달방법을 분석하고, 효율적으로 데이터를 전달할 수 있는 전송 모델을 제안한다. FANET is an ad hoc network formed among the unmanned aircraft in the three-dimensional space for data transfer. Most of the research on FANET application has focused on the use of the camera sensor mounted on the unmanned aircraft to collect data from the ground, and process and delivery of the data for a specific purpose. However, the research on the fusion of WBAN and FANET that collects the data of the human body and passes through the FANET has not been studied much until now. Therefore, in this study, we study the data transmission system that collects the human body data of people working in the areas that are vulnerable to communication difficulties and passes the collected data through the FANET. In particular we analyze the possible methods to transfer the emergency data of the body in the fusion network of WBAN and FANET and provide a data transfer model that can be transmitted most efficiently.

UML 다이어그램의 정확성 검증을 위한 메타모델과 OCL로 명세한 검증규칙

하일규,강병욱,Ha, Il-Kyu,Kang, Byung-Wook 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.6

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다. The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

상호점검규칙에 의한 UML 다이어그램의 일관성 개선

하일규,Ha, Il-Kyu 한국정보통신학회 2012 한국정보통신학회논문지 Vol.16 No.6

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study. UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

모바일러닝에서 학생들의 질문패턴 분석: 트위터활용 중심

하일규,하성룡,김종근,Ha, Il-Kyu,Ha, Sung-Yong,Kim, Chong-Gun 한국정보통신학회 2014 한국정보통신학회논문지 Vol.18 No.5

Because Twitter provides an easy way to reweet and reply to other user's tweets, it is used to delivery our opinion to others and get useful information from followers as a useful tool. Recently, there have been many attempts to use Twitter in many application area. Especially, Twitter has been tried to use in education area. Twitter service can be used in educational environments as a communication tool between professor and students and among students without restriction on space and time. Twitter service has good possibility of applying, but there have not been many studies that prove the effectiveness and possibility of the tool as a useful educational tool through experimental studies. In this study, Twitter is used as a tool of the question-and- answer session of the university students during a semester. And the activities are investigated and analyzed. As the results of the analysis, if we do not force the use of Twitter, Twitter utilization of students is low. Thus, we show that Twitter has the potential for educational utilizing, but the aggressive efforts between professor and students are needed to show such effects. 트위터(Twitter)는 상대방의 트윗(tweet)에 대해 리트윗(retweet) 또는 응답(reply)하는 방법이 용이하여 손쉬운 의사 전달과 정보 획득의 도구로 활용되고 있다. 최근 들어 이러한 트위터를 다양한 분야에 이용하려는 시도가 있어 왔고, 특히 교육분야에 이용하고자 하는 연구가 진행되어 왔다. 트위터는 교육현장에서 교수자와 학습자간의 의사소통 도구로 활용되거나, 시간과 공간의 제약 없이 학습자들의 협동학습에 활용되어 질 수 있다. 이와 같이 트위터가 다양한 활용 가능성을 가지고 있음에도 불구하고, 실질적인 적용 및 고찰을 통해 그 교육적 효과를 입증하는 연구는 많지 않다. 본 연구에서는 트위터를 대학의 한 학기동안 학생들의 질의 응답도구로 활용하도록 하고 그 활동을 조사, 분석한다. 분석 결과, 트위터 활용을 강제하지 않은 경우 학생들의 트위터 활용도는 낮게 나타난다. 따라서 트위터는 교육적 활용 가능성을 가지고 있지만, 그러한 효과를 나타내기 위해서는 교수자와 학습자간에 적극적인 노력이 필요함을 보인다.

고도를 달리하는 드론들의 협력에 의한 확률기반 목표물 탐색 방법

하일규,Ha, Il-Kyu 한국정보통신학회 2017 한국정보통신학회논문지 Vol.21 No.12

넓은 탐색영역에서 활동하는 드론에서 신속한 처치를 요하는 응급환자의 탐색, 신속한 경보와 대응을 요하는 자연재해의 감시와 같은 응용 분야에서 목표물 파악의 시간(time), 즉 신속성의 문제는 매우 중요한 문제가 된다. 드론의 실제 운영에 있어서 목표물을 파악하는 시간은 탐색 영역을 효율적으로 탐색하기 위한 탐색 알고리즘 및 드론 간의 협업과 매우 연관성이 깊다. 따라서 본 연구에서는 드론을 이용한 목표물 탐색에 있어서 신속성의 문제를 해결하기 위하여, 고도를 달리하는 드론들의 협력에 의한 확률기반 목표물 탐색 방법을 제안한다. 특히 제안한 방법은 고(高)고도 드론이 우선 탐색을 실시하고, 탐색 결과를 저(低)고도 드론에 전달하여 보다 정밀한 탐색을 함으로써 탐색 시간을 줄이고 목표물 발견의 확률을 높이는 방법이다. 시뮬레이션을 통하여 제안된 방법의 성능을 분석한다. For the drone that is active in a wide search area, the time to grasp the target in the field of applications such as searching for emergency patients, monitoring of natural disasters requiring prompt warning and response, that is, the speediness of target detection is very important. In the actual operation of drone, the time for target detection is highly related to collaboration between drones and search algorithm to efficiently search the navigation area. In this research, we will provide a search method with cooperation of drone based on target existence probability to solve the problem of quickness in drone target search. In particular, the proposed method increases the probability of finding a target and shorten the search time by transmitting high-altitude drone search results to a low-altitude drone after searching first and performing more precise search. We verify the performance of the proposed method through several simulations.

합리적 기계공학 교육과정 및 인증기준에 관한 연구

하일규(Il-kyu Ha),송동주(Dong-joo Song) 한국공학교육학회 2012 공학교육연구 Vol.15 No.6

We analyze the problems of curriculum management and accreditation criteria through data analysis and survey on domestic and foreign curriculums and accreditation criteria, propose an efficient curriculum model based on educational realities and requirements of all university members and suggest improvement direction for more efficient curriculum management and accreditation criteria. For this study, we investigate curriculum data of several domestic and foreign universities, analyze the datum in various aspects and conduct a survey on curriculum management and accreditation criteria for collecting extensive opinion of university members on curriculum management and accreditation criteria. We expect that the proposed curriculum model and improvement direction of curriculum and accreditation criteria will help university members to efficiently manage accreditation programs.

UML 구조 다이어그램과 행위 다이어그램의 일관성 메타검증

하일규(Il Kyu Ha),강병욱(Byung Wook Kang) 한국정보과학회 2003 정보과학회논문지 : 소프트웨어 및 응용 Vol.30 No.11·12

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램쟁의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통 해 검층규칙의 유용성을 검증한다. The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using DCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams sand behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, We derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification Finally, we verify the usefulness of the rule through a case study.

WEB기반 학습 지도 · 평가 시스템의 설계 및 구현

하일규(Il-Kyu Ha),서영수(Yeung-Su Suh),강병욱(Byung-Ug Kang) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1B

인터넷의 이용이 생활화되면서 학생들의 인터넷 이용능력은 점차 향상되어가고 있으며 그 이용시간도 증가하는 추세다. 인터넷은 접근하기가 편리하고 시간적, 공간적 제약을 극복할 수 있고, 경제적 이점도 가져다주므로 인터넷의 교육적 활용에 대한 연구가 필요하다. 본 논문은 인터넷에 기반한 교육적 활용의 한 모델로서 WEB기반 학습지도 · 평가 시스템의 설계 및 구현에 관한 것이다. 즉 가상의 공간에서 교사와 학생이 상호 작용하면서 교수 학습할 수 있는 방법에 주목하여 교사는 WEB상에서 문제를 출제하고 학생 역시 WEB를 통해 손쉽게 문제를 풀게 결과를 확인할 수 있게 하는 것이다. 제안한 시스템의 설계를 위해 기존의 유사시스템을 비교 · 분석하여 필수 구성요소를 모두 포함하면서 미래의 학습평가방식에 적합한 효율적이고 유연성있는 모델을 만들었다. 설문조사를 통한 평가에서는 시스템의 학습효과성과 발전가능성이 높은 것으로 나타났다. 향후 평가를 통해 나타난 문제점을 보완하고 새로운 기능에 대한 연구가 따른다면 교사와 학생 모두에게 새로운 학습도구로서 흥미를 불러일으킬 수 있고, 학습 도구에 관한 새로운 인식전환의 기회가 될 것으로 생각된다.

드론의 계층간 협업에 의한 확률기반 탐색 알고리즘

하일규(Il Kyu Ha),김건환(Geon-Hwan),샴스 라만(Shams ur Rahman),임티아즈 마흐무드(Imtias Mahmud),타바숨 루브나(Tabassum Lubna),조유제(You Ze Cho) 한국통신학회 2017 한국통신학회 학술대회논문집 Vol.2017 No.11