무선 센서 노드를 위한 FSM 기반 운영체제의 구현

하승현(Seung Hyun Ha),김태형(Tae-Hyung Kim) 한국산업정보학회 2011 한국산업정보학회논문지 Vol.16 No.2

무선 센서 네트워크는 단거리 무선 통신으로 연결된 지능 센서가 사람과 실세계 객체간의 효과적인 매개자 역할을 하므로 최근 유비쿼터스 컴퓨팅 환경을 가능하게 할 수 있는 핵심적인 기술 중 하나로 각광을 받고 있다. 무선 센서 네트워크는 대량으로 분산된 극도의 내장형 시스템으로 볼 수 있다. 이 시스템은 분산 시스템으로서 병행성과 비동기적 이벤트 처리 능력에 대한 요구사항과 함께 내장형 시스템으로서 자원제한성에 따른 심각한 요구사항을 갖고 있다. 이러한 일견 상충하는 두 가지 요구사항을 갖는 무선 센서 네트워크의 운영 환경과 구조는 시스템 개발자에게 매우 독특한 어려움을 제기하고 있으므로 우리는 유한상태기계에 기반을 둔, 매우 새로운 형태의 센서 네트워크용 운영체제를 제안한다. 본 논문에서는 센서 네트워크의 특성을 감안한 설계 목표를 명시하고, 간결하고 효율적인 상태기반 운영체제인 SenOS 설계와 구현의 핵심 사항을 제시한다. 또한 이러한 SenOS가 심각한 자원제한성을 갖는 센서 노드 상에서 원하는 반응성을 갖으면서도 적은 비용으로 동적 재구성이 가능하다는 것을 설명한다. 이러한 성능은 대표적인 센서 노드용 운영체제인 TinyOS의 성능평가에 사용된 벤치마크 프로그램을 수행하고 그 결과를 TinyOS의 경우와 비교한다. Wireless sensor networks have emerged as one of the key enabling technologies for ubiquitous computing since wireless intelligent sensor nodes connected by short range communication media serve as a smart intermediary between physical objects and people in ubiquitous computing environment. We recognize the wireless sensor network as a massively distributed and deeply embedded system. Such systems require concurrent and asynchronous event handling as a distributed system and resource-consciousness as an embedded system. Since the operating environment and architecture of wireless sensor networks, with the seemingly conflicting requirements, poses unique design challenges and constraints to developers, we propose a very new operating system for sensor nodes based on finite state machine. In this paper, we clarify the design goals reflected from the characteristics of sensor networks, and then present the heart of the design and implementation of a compact and efficient state-driven operating system, SenOS. We describe how SenOS can operate in an extremely resource constrained sensor node while providing the required reactivity and dynamic reconfigurability with low update cost. We also compare our experimental results after executing some benchmark programs on SenOS with those on TinyOS.

국적별 거주지 분리가 사회적 신뢰에 미치는 영향

하승현(Ha, Seung-Hyun),변미리(Byun, Mi-Ree),정창무(Jung, Chang-Mu) 대한국토·도시계획학회 2017 국토계획 Vol.52 No.4

한국어 쓰기 교육을 위한 취업 목적의 자기소개서 장르 분석

하승현 ( Seung Hyun Ha ),이미혜 ( Mi Hye Lee ) 연세대학교 언어정보연구원 2013 언어사실과 관점 Vol.32 No.-

This research is purposed to identify the genre features on Korean self-introduction letter via analysis of genre on Korean self-introduction letter and present practical educational material necessary for teaching writing a letter of Korean self-introduction, as recognizing the difficulties in writing a letter of Korean self-introduction for foreign applicants who want to work for Korean corporations. A language learner is exposed to numerous texts, and since in order to understand the genre commonly used in society, intuitive but even high-level learners comes to difficulties in a field of expression like writing, it is required to become familiar with the genre. At this point, the genre analysis and genre-based approach provide learners genre information and activities that would raise awareness about genre. In this research, Korean self-introduction letter is categorized, and by analyzing an employ purpose, one of sub-categories, we seek to aim for understand the generalized structure model and formulaic expression on the Korean self-introduction letter. The research result will be able to be utilized as positive educational materials with which foreign applicants can understand easier the characteristics of genre on the self-introduction letter.

MQTT 기반 데이터 관리시스템

하승현(Seung-hyeon Ha),김관형(Gwan-hyung Kim) 한국정보통신학회 2019 한국정보통신학회 종합학술대회 논문집 Vol.23 No.2

근린환경이 사회적 신뢰에 미치는 영향에 관한 연구 -서울특별시를 중심으로 -

하승현 ( Ha Seung Hyun ) 주택도시보증공사 2018 주택도시금융연구 Vol.3 No.2

The purpose of this study is to investigate the factors influencing the formation of social trust by using subjective indicators such as the perception on the neighborhood environment and objective indicators that explain the physical environment of each region. Various variables were classified into individual, cognitive, and environmental characteristics. Individual characteristics like the type of residence, occupancy, and commuting mode influenced on social trust and only the satisfaction of the walking environment at night was statistically significant in the perception of the pedestrian environment. In terms of the neighborhood environment, the diversity of residential type and area, the median prices of apartments, the area of public sports facilities and parks, the average width of roads and sidewalks, the mode choice ratio(walking), job-housing proximity, and the industrial-use district ratio were used. The diversity of housing sizes, safe walking environment, proximity to the workplace, and public facilities that promote contact among people have been found to play a positive role in social trust. On the contrary, industrial districts and wide roads had a negative impact on trust formation. In conclusion, it is necessary to improve the pedestrian environment and secure public spaces where people can interact in order to enhance the social trust of the community when planning and designing the neighborhood environment.

한국고전번역원 고전 대중화 사업의 현황과 과제

하승현(Ha, Seung-hyun) 한국고전번역원 2015 民族文化 Vol.45 No.-

다양한 디지털 매체의 실질적인 내용이 되어 줄 원천 소스로서 전통문화 콘텐츠가 주목을 받고 있다. 이에 따라 고전 대중화 사업의 필요성도 점점 커지고 있다. 고전 대중화 사업은 “고전이 대중 사이에 널리 퍼져 친숙해지게 하는 사업”이라 할 수 있다. 그런 의미에서 한국고전번역원의 주요 사업인 원전 정리 사업, 고전 번역사업, 인재 양성 사업, 고전 번역 연구 사업, 정보화 사업은 모두 궁극적으로 대중화라는 지향점을 가지고 있다고 볼 수 있다. 하지만 주요 사업 내용이 대중화를 지향하고 있다고 하더라도 고전이 대중 사이에 널리 퍼져 친숙해질 수 없다면 주요 사업의 의의 또한 약해질 수밖에 없다. 한국고전번역원은 전신인 민족문화추진회 시절부터 대중과의 소통을 위해 꾸준히 노력해 왔다. 1970년대 후반부터 고전 독서회 결성, 고전 교양 도서의 편찬, 우리고전 읽기 운동 등을 통해 사회 각층의 호응을 얻었고 민족 문화의 보급과 창달에도 크게 기여하였다. 2007년 한국고전번역원 출범 이후에는 대중화 사업으로 ‘고전번역서 출간’, ‘한문고전 자문서비스’, ‘고전산책’ 메일링서비스, 소식지 ‘고전사계’ 발행 등을 해왔고, 고전 문헌에 관한 국내외 교류 및 협력 사업도 진행해 왔다. 이 외에도 2012년부터는 교육부 수탁 ‘초·중등용 고전읽기 자료 개발 및 보급 사업’을 진행하고 있다. 이 사업의 목적은 고전에 대한 수요 증대에 맞춰 다양한 형태의 고전 콘텐츠를 개발하여 아동 · 청소년의 읽기 자료 폭을 확대하는 것이다. 고전 대중화 방향은 크게 고전 번역의 콘텐츠화와 고전 콘텐츠 이용의 활성화로 나누어 볼 수 있다. 고전 번역의 콘텐츠화를 위해서는 번역 서종의 다양화, 고전 번역 성과 재가공, 고전 이야기 자료집 구축, 영상 콘텐츠 생산 확대가 필요하다. 고전콘텐츠 이용의 활성화를 위해서는 고전 교육 프로그램 개발 및 독서 모임 활성화, 디지털 매체 활용 활성화, 고전 콘텐츠의 세계화가 필요하다. 한문으로 된 우리 고전을 대중화하는 일은 역사 문화 정보의 대중화이기도 하고, 공동체가 나아갈 방향에 대한 공감대의 확산 장치이기도 하다. 번역이 한 언어를 다른 언어로 바꾸는 것이라면, 대중화는 소수의 이용자를 다수의 이용자로 확대해 나가기 위해 원전 정리 방식, 번역 방식, 출판 방식, 대상 독자, 전달 매체 등을 바꾸는 과정이다. 따라서 대중화는 기획 단계부터 콘텐츠 개발을 공급자 중심에서 수요자 중심으로 방향을 바꾸어 진행해야 한다. 번역원의 모든 사업 부서에서 사업 성과의 대중화 방안을 모색하고, 대중화 사업에 대한 관심과 노력을 기울일 때, 대중화 사업이 튼튼한 뿌리를 내릴 수 있을 것이다. Korean Classics have received much attention over time, as they are a source of content for various digital media, and also in part because the need for popularization of cultural heritage seems to be continuously increasing. The popularization of Korean Classics serves as a means to spread Korean cultural heritage to the general public and provides an opportunity to familiarize the audience with those classics. In that sense, the organization of original texts, translation of classics, training of competent people, investigation of translated classics, and promotion of information are the main tasks of the Institute for the Translation of Korean Classics (hereafter ITKC)--which eventually build up to the idea of popularization. Even though the main efforts all targeted popularization, if ITKC failed to spread the Korean classics, along with the public who were unfamiliar with the Korean classics, then the project cannot avoid being weakened. ITKC has made great efforts to communicate with the public since the founding of the Korean Classics Research Institute (민족문화추진회), the precursor to the ITKC. In the late 1970’s, the ITKC received positive feedback from diverse societies through various actions such as making a classic reading club, publishing classic cultural books, and through the movement for reading Korean classics. ITKC also contributed not only to supplying a fair part of Korean culture--but progressing it as well. After its foundation in 2007, ITKC published classics in translation, served as consultant for classics in Chinese, mailed ‘Stroll with the Classics’, and published a newsletter named, ‘Four Seasons with the Classics,’ as a means to popularization. ITKC also promoted domestic and international interchanges for classic texts. Additionally, ITKC made further progress in 2012 by taking charge of developments, and spreading the practice of reading the classics amongst elementary and middle school students. Followed by the increasing demands, the aim of this service is to develop various classical materials and to expand the available texts for both children and adolescents. Classic popularization is divided into two categories: making translated contents and putting the translated contents to use. To make translations, we have to diversify the kind of books, reprocess the results of translation, and make a story bank and expansion of the visual contents. For the usual use of the contents, we need educational programs, book clubs, utilization of digital media, and globalization of the contents. The popularization of Korean Classics (originally in Chinese), is rooted in the popularization of history and culture. It is also a system for expanding sympathy for our very own community. The act of translation is simply changing one language into another, whereas popularization requires changing of methods for categories. This complicated process could include steps such as: collecting classical content, translation, publication, targeting readers and transporting media for a great number of users--not just for a select few. By design, the process should be centered around demand, not the content suppliers. The service of popularization could take root in depth when every department in ITKC works with like-minds, focused on the idea of popularization, and with the system for expansion in mind.

등기하 해석법을 이용한 형상 최적설계

하승현,조선호,Ha, Seung-Hyun,Cho, Seon-Ho 한국전산구조공학회 2008 한국전산구조공학회논문집 Vol.21 No.3

In this paper, a shape design optimization method for linearly elastic problems is developed using isogeometric approach. In many design optimization problems for practical engineering models, initial raw data usually come from a CAD modeler. Then, designers should convert the CAD data into finite element mesh data since most of conventional design optimization tools are based on finite element analysis. During this conversion, there are some numerical errors due to geometric approximation, which causes accuracy problems in response as well as design sensitivity analyses. As a remedy for this phenomenon, the isogeometric analysis method can be one of the promising approaches for the shape design optimization. The main idea of isogeometric approach is that the basis functions used in analysis is exactly the same as the ones representing the geometry. This geometrically exact model can be used in the shape sensitivity analysis and design optimization as well. Therefore the shape design sensitivity with high accuracy can be obtained, which is very essential for a gradient-based optimization. Through numerical examples, it is verified that the shape design optimization based on an isogeometic approach works well.

등기하 해석법을 이용한 설계 민감도 해석

하승현,조선호,Ha, Seung-Hyun,Cho, Seon-Ho 한국전산구조공학회 2007 한국전산구조공학회논문집 Vol.20 No.3

In this paper, a variational formulation for plane elasticity problems is derived based on an isogeometric approach. The isogeometric analysis is an emerging methodology such that the basis functions for response analysis are generated directly from NURBS (Non-Uniform Rational B-Splines) geometry. Furthermore, the solution space for the response analysis can be represented in terms of the same functions to represent the geometry, which enables to provide a precise construction method of finite element model to exactly represent geometry using B-spline base functions in CAD geometric modeling and analyze arbitrarily shaped structures without re-meshing. In this paper, a continuum-based adjoint sensitivity analysis method using the isogeometric approach is extensively derived for the plane elasticity problems. The conventional shape optimization using the finite element method has some difficulties in the parameterization of geometry In the isogeometric analysis, however, the geometric properties are already embedded in the B-spline basis functions and control points so that it has potential capability to overcome the aforementioned difficulties. Through some numerical examples, the developed isogeometric sensitivity analysis method is verified to show excellent agreement with finite difference sensitivity.

위상 최적 설계 - 프로젝션 기법과 적층 가공

하승현,Ha, Seung-Hyeon 한국전산구조공학회 2016 전산구조공학 Vol.29 No.3

설계 의존형 구조물에 대한 아이소-지오메트릭 형상 최적설계

하승현,Ha, Seung-Hyeon 한국전산구조공학회 2015 전산구조공학 Vol.28 No.1