무선 센서 노드를 위한 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.

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

하승현(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 ) 주택도시보증공사 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.

MQTT 기반 데이터 관리시스템

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

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

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

본 논문에서는 등기하 해석법을 이용하여 평면 탄성문제의 변분식을 유도하였다. 등기하 해석법은 새로이 부각되고 있는 해석법으로서 기저 함수가 NURBS(Non-Uniform Rational B-Splines) 로부터 직접 생성되므로 해 공간은 CAD 모델을 구성하는 함수로써 표현된다. 또한 CAD 모델의 B-Spline 기저 함수를 직접 사용하므로 기하학적으로 엄밀한 형상을 표현할 수 있고 요소망의 재구성 없이 해석모델을 정밀화(Refinement)할 수 있는 강점이 있다. 본 논문에서는 이를 확장하여 연속체 기반의 애드조인트 설계 민감도 해석법을 사용하는 등기하 설계민감도 해석법을 유도하였다. 기존의 유한요소 기반형상 최적설계는 형상의 매개화에 어려움을 겪었으나 등기하 기반 최적설계에서는 기하학적 정보가 이미 B-spline 기저함수와 조정점에 포함되어 있으므로 이러한 어려움을 피할 수 있는 잠재력을 가지고 있다. 몇몇 수치 예제를 통해서 등기하 해석법을 사용한 설계 민감도 해석을 수행하였으며 유한차분 민감도와 비교하여 정확성을 확인하였다. 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-Hyun,Cho, Seon-Ho 한국전산구조공학회 2008 한국전산구조공학회논문집 Vol.21 No.3

본 논문에서는 등기하 해석법을 이용하여 선형 탄성문제에 대한 형상 최적설계 기법을 개발하였다. 실용적인 공학문제에 대한 많은 최적설계 문제에서는 초기의 데이터가 CAD 모델로부터 주어지는 경우가 많다. 그러나 대부분의 설계 최적화 도구들은 유한요소법에 기초하고 있기 때문에 설계자는 이에 앞서 CAD 데이터를 유한요소 데이터로 변환해야 한다. 이 변환과정에서 기하 모델의 근사화에 따른 수치적 오류가 발생하게 되고, 이는 응답 해석뿐만 아니라 설계민감도 해석에 있어서도 정확도 문제를 발생시킨다. 이러한 점에서 등기하 해석법은 형상 최적설계에 있어서 유망한 방법론 중 하나가 될 수 있다. 등기하 해석법의 핵심은 해석에 사용되는 기저 함수와 기하 모델을 구성하는 함수가 정확히 일치한다는 것이다. 이러한 기하학적으로 정확한 모델은 설계민감도 해석 및 형상 최적설계에 있어서도 사용된다. 이로 인해 높은 정확도의 설계민감도를 얻을 수 있으며, 이는 설계구배 기반의 최적화에 있어서 매우 중요하게 작용한다. 수치 예제를 통하여 본 논문에서 제시된 등기하 해석 기반의 형상 최적설계 방법론이 타당함을 확인하였다. 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-Hyeon 한국전산구조공학회 2016 전산구조공학 Vol.29 No.3

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

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