http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 정세훈(Se hun Jeong) (검색결과 6 건)
- 무료
- 기관 내 무료
- 유료
-
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조의 개선
정세훈,김희진,박상수,차성덕,Jeong, Se-Hun,Kim, Hee-Jin,Park, Sang-Soo,Cha, Sung-Deok 한국정보처리학회 2011 정보처리학회논문지 A Vol.18 No.6
실시간 소프트웨어 설계 구조 중의 하나인 시간 구동 구조 (TTA: Time-Triggered Architecture)는 미리 정해진 시간에 따라 특정 태스크를 수행하기 때문에 소프트웨어의 동작을 예측하기 쉽지만 이의 적용을 위해서는 시스템의 시간 제약성을 만족시키는 설계 과정이 필수적이다. 반면 이벤트 구동 구조 (ETA: Event-Triggered Architecture)는 외부의 이벤트가 발생함에 따라 대응되는 태스크를 수행하는 방식으로 소프트웨어의 구조가 직관적이고 이벤트에 대한 반응 시간이 빠르며 확장이 용이하다. 그러나 이 구조는 다양한 이벤트 발생 상황에 대한 시스템 동작의 예측이 어려워서 높은 안전도가 필요한 시스템 구현에 많이 사용되고 있지 않다. 많은 관련 연구에서 높은 안전도가 필요한 안전 지향 시스템에 TTA를 적용 할 것을 권장되지만, 실제 구현에 있어서는 이의 적용에 필요한 실시간성 분석에 많은 노력이 소요되고, 소프트웨어 공학기술 적용에 대한 인식 부족으로 TTA의 적용이 많지 않은 실정이다. 본 논문은 인간의 생명과 직결되어 이에 따른 실시간성과 안전성이 요구되는 인공심장 제어 시스템에 내장된 소프트웨어 구조를 TTA 기반으로 개선한 연구를 기술한다. 본 연구에서는 인터럽트 측정 소프트웨어를 구현하여 기존에 내장된 실시간 소프트웨어가 가진 태스크의 시간적 속성을 파악하고 RMA (Rate-Monotonic Analysis) 실시간 분석 기법을 통해 시스템의 실시간성을 만족할 수 있도록 설계를 개선하였다. 또한, 이를 바탕으로 인공심장 제어 소프트웨어의 구현을 개선하여 다양한 실험을 통해 개선된 TTA 기반의 소프트웨어를 탑재한 인공심장 시스템은 시스템의 동작 예측도를 획기적으로 높여주면서 기존의 인공심장 시스템과 동일하게 동작함을 확인하였다. Time-Triggered Architecture (TTA), one of real-time software design paradigms which executes tasks in timely manner, has long been advocated as being better suited in fore-sighting system behavior than event-triggered architecture (ETA). To gain this valuable feature of TTA, however, precise task designing process is mandatory. Alternatively, ETA tries to execute tasks whenever paired events are occurred. It provides intuitive and flexible basement to add/remove tasks and, moreover, better response time performance. However ETA is difficult to analyze because system behavior might be different depending on the order of interrupts detected by the system. Many previous researches recommended TTA when developing safety-critical real-time systems, but cost problem of task designing process and insufficient consensus for applying rigorous software engineering practice are still challenging in practice. This paper describes software refactoring process which applying TTA approach into ETA based embedded software in artificial heart system. We implemented dedicated interrupt monitoring program to capture existing tasks' real-time characteristics. Based on the captured information, proper task designing process is done. Real-time analysis using RMA (Rate-Monotonic Analysis) verified that new design guarantees timeliness of the system. Empirical experiments revealed that revised design is as efficient, when measured in terms of system's external output, as the old design and enhances predictability of the system behavior as well.
-
-
항공관제시뮬레이터를 이용한 항공기간 회피 기동의 위험도 분석
정세훈(Se hun Jeong),오혜주(Hyeju Oh),최기영(Keeyoung Choi),이학태(Hak-Tae Lee) 한국항공우주학회 2015 韓國航空宇宙學會誌 Vol.43 No.8
무인항공기시스템 수요의 증가와 기술의 급격한 발전에 따라, 많은 국가들에서 기존의 공역 시스템에 무인항공기를 통합하려는 시도가 이루어지고 있다. 통합 운용을 위한 규정을 제정하기 위해서는 비행성능의 차이, 통제와 통신의 특징, 항공기간 분리 방법, 인간과 기계의 상호작용과 같은 무인항공기의 통합이 전체 시스템에 끼치는 영향에 대한 이해가 중요하다. 인하대학교에서는 공역 내에서의 무인항공기의 영향을 실제 운용 인력이 참여하는 Human-in-The-Loop(HiTL) 시뮬레이션을 통하여 연구할 수 있는 항공관제시뮬레이션 시스템을 개발하였다. 본 논문에서는 이를 이용하여 무인항공기와 유인기가 조우하는 3가지의 시나리오를 설정하고, 관제사의 관제명령을 통하여 위험 상황을 해결하는 시험을 진행하여 조종사와 관제사의 반응 속도와 각 기동에 대한 위험도를 분석한 과정과 결과를 제시한다. With rapid growth in the technologies and demand of Remotely Piloted Aircraft Systems (RPASs), integration of such systems into the existing airspace system is becoming an issue in many countries. RPAS have different flight performances, communication characteristics, separation assurance mechanisms, and human machine interfaces from manned aircraft. To establish rules and regulations for RPAS integration, it is important to understand the impacts of RPASs on the airspace system. A simulation system that integrates manned aircraft, air traffic control, and RPASs is developed in Inha University to investigate these impacts through Human-in-The-Loop (HiTL) simulations. Three conflict resolution scenarios between a manned aircraft and a Remotely Piloted Aircraft (RPA) were constructed and tested. Human factors such as the response times of pilots and controllers were measured and analyzed as well as the risk of each maneuver.
-
김한수(Kim Han-Soo),정세훈(Jeong Se-Hun),신승학(Shin Seung-Hak) 대한건축학회 2009 大韓建築學會論文集 : 構造系 Vol.25 No.6
An improved column shortening analysis method which can be used in design phase of horizontal members has been proposed. The proposed analysis method consists of two stages, construction sequence column analysis and completion phase frame analysis. It can consider all the factors that affect the column shortening by separating in the two analysis stages. Column shortenings of 70-story reinforced concrete building were investigated as a numerical example. It is shown that this analysis method gives shortenings quite similar to the results by the accurate but complicated method. If you use this analysis method with the effective elastic modulus by EMM or AEMM, you can get more accurate internal forces which are less close than deformations when the normal modulus was used. This analysis method is also evaluated with CEB model and ACI model and the method is shown to be valid regardless of the concrete models.
-
시간간격과 시공단계 간략화를 이용한 RC골조의 기둥축소 해석
김한수(Kim Han-Soo),정세훈(Jeong Se-Hun),신승학(Shin Seung-Hak) 대한건축학회 2010 大韓建築學會論文集 : 構造系 Vol.26 No.6
An analysis method with lumped construction sequences for the column shortening of tall buildings was proposed and was investigated regarding its efficiency. The lumped model showed the analysis results that were close to the results using the detailed model in post-installation shortening as well as total shortening. Different arrangement methods for the lumped model were also investigated. The size of the lumping was studied and 1/15 was recommended considering the efficiency of the lumped model. The saw-toothed distributions of the differential post-installation shortening and the bending moment can be modified by the proposed curve-fitting method. The proposed method can be used more effectively at the design stage of tall buildings.
-
김한수(Kim Han-Soo),조석희(Cho Suk-Hee),정세훈(Jeong Se-Hun),박재표(Pack Jae-Pyo),신승학(Shin Seung-Hak) 대한건축학회 2009 대한건축학회 학술발표대회 논문집 - 계획계/구조계 Vol.29 No.1(구조계)
In this study, the effects of simplifying the construction sequences for column shortening analysis is evaluated to save the cost for the analysis. If a construction sequence which consists of one story in 3-D model is used for the column shortening analysis, it takes a great deal of time. But if a construction sequence that consists of some stories is used, it would save so much time and give close approximates of column shortening. A 70-story 2-D model and 151-story 3-D model with outrigger and belt truss are used to analyze the effects of simplifying construction sequences. The longer target time is set, it gives more accurate results. A proposed method in this paper can be used effectively for predicting the column shortening in the design stage when its construction sequences and properties of materials are not fixed yet.
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
