Splash 프로그래밍 프레임워크를 위한 핵심 런타임 라이브러리의 설계와 구현

학위논문(석사)--서울대학교 대학원 :공과대학 전기·정보공학부,2019. 8. 홍성수.The paradigm of autonomous machines has shifted with the remarkable advancement in machine intelligence. To support machine intelligence, autonomous machines are now equipped with diverse sensors, heterogeneous multicore processors, and distributed computing nodes that require complex software architecture to utilize them properly. With the introduction of new sensors and computing powers, autonomous machines must now support applications that performs complex processing on unbounded sequences of stream data produced at real time. However, with the increase in software complexity it is becoming difficult for developers to coordinate the multiple streams of data and still meet the system requirements. To tackle such difficulty, we are currently developing a graphical programming framework we named Splash. Splash provides effective programming abstractions that allow the users to establish multiple stream processing applications effortlessly. Splash also gives users the ability to specify genuine end to end timing constraints required by their system. The timing constraints in turn are automatically monitored for their violations by the Splash framework. This thesis will introduce the components of the Splash graphical programming framework and focus on how Splash provides stream processing capabilities for its applications. The thesis will also introduce the internal workings of Splashs monitoring capability for end-to-end system timing constraints. Lastly the thesis will validate Splash applications functional correctness and tests its timing constraint monitoring capability by implementing ACC (Adaptive Cruise Control) and LKAS (Lane Keeping Assistance System) algorithm using Splash.1. Introduction 1 2. Background 5 3. Splash programming language 10 4. Splash runtime library 18 5. Validating Splash through experimentation 34 6. Related work 39 7. Conclusion 41 Figures [Figure 1] 11 [Figure 2] 12 [Figure 3] 21 [Figure 4] 29 [Figure 5] 32 [Figure 6] 33Maste

The effects of strengthening health insurance coverage policy

학위논문(석사) -- 서울대학교대학원 : 행정대학원 공기업정책학과, 2023. 8. 우지숙.우리나라는 전국민 건강보험 제도 도입 이후에도 건강보험 보장률을 높이고자 보장성 강화 정책을 계속 추진하고 있다. 그 결과 건강보험 보장률은 2005년 61.8%에서 2020년 65.3%로 점진적으로 상승하고 있다. 그러나 경상의료비 중 정부·의무가입제도 비중을 기준으로 우리나라는 2019년 기준 61%, OECD 평균은 74.1%로써 보장성 강화를 위한 정책을 계속 추진하고 있음에도 우리나라의 보장률은 OECD 평균에는 미치지 못하고 있다. 본 연구는 정책이 건강보험 보장률에 미치는 영향이 아닌 정책이 개별 가구의 의료비 지출로 인한 경제적 부담에 어떠한 영향을 미치는지 분석해 보고자 하였다. 건강보험 보장률의 상승이 정체된 상황에서 정책이 과도한 의료비와 의료비 지출로 인한 빈곤에서 가구를 보호하고 있는지 분석하였다. 이는 향후 건강보험 재정의 지속가능성과 보건의료의 형평성을 고려해볼 때 중요한 의의를 가진다고 볼 수 있다. 본 연구는 건강보험 보장성 강화 정책이 가구의 경제적 부담에 어떤 영향을 주는가의 연구문제를 중심으로 연구를 진행하였다. 한국복지패널 데이터(2010년∼2016년) 중 2010년부터 2016년까지 모두 응답한 4,629 가구를 대상으로 분석을 진행하였다. 정책이 가구의 재난적 의료비 지출과 의료비 지출로 인한 빈곤화 여부에 미치는지 확인하기 위해 패널로짓 확률효과 모형을 이용했다. 그리고 정책과 가구의 경제적 부담의 관계를 중증질환, 민간보험 조절하는지 확인하고자 성향점수매칭과 합동 로짓 분석을 실시하였다. 분석 결과, 정책이 가구의 재난적 의료비 발생률과 의료비 지출로 인한 빈곤율을 감소시키는 것으로 나타났다. 그러나 연구방법이 갖는 한계를 고려할 때 정책이 가구의 경제적 부담을 완화하는 데 효과적으로 작용했다고 결론 짓기는 어려웠고 향후 추가적인 연구를 통해 세밀하게 분석할 필요가 있다. 중증질환과 민간보험은 정책이 가구의 경제적 부담을 완화하는 관계를 더 강화하지 않는 것으로 나타났다. 본 연구는 건강보험 보장성 강화 정책의 시행이 가구의 경제적 부담에 미치는 영향을 비교적 긴 시점에 걸쳐 실증분석한 점에서 의의가 있다. 우리나라의 인구사회구조는 미래의 건강보험 재정에 부정적으로 작용할 가능성이 높다. 본 연구는 저출산 및 인구 고령화 등 국민 의료비는 증가하고 보험 재정은 줄어들 미래에 대비, 장기간 시점에 걸친 정책 효과분석을 향후 정책 설정에 고려할 필요가 있다는 정책적 시사점을 도출할 수 있었다.Korea continues to promote policies to strengthen coverage to increase the health insurance coverage rate. As a result, the health insurance coverage rate is gradually rising from 61.8% in 2005 to 65.3% in 2020. However, based on the proportion of medical expense spending by government schemes or compulsory insurance, Korea's coverage rate did not reach the OECD average. This study attempted to analyze how policies affect the economic burden of individual households' medical expenses, not the impact of policies on the health insurance coverage rate. With the rise in the health insurance coverage rate stagnant, it was confirmed that the policy protects households from poverty caused by excessive medical medical expense and catastrophic medical expenditures. This can be seen as having an important significance considering the sustainability of future health insurance finances and the equity of health care. This study focused on the research question of "how does the policy to strengthen health insurance coverage affect the economic burden of households?" Among the Korea Welfare Panel Study(2010-2016), an analysis was conducted on 4,629 households that all responded from 2010 to 2016. The panel logit random effect model was used to determine whether the policy affects households' catastrophic medical expenditures and whether they become impoverished due to medical expenditures. In addition, propensity score matching and pooled logit model were conducted to confirm whether the relationship between policy and household economic burden was controlled by severe diseases and private medical insurance. As a result of the analysis, it was found that the policy reduces the incidence of households' catastrophic medical expenses and the poverty rate caused by medical expenses. However, considering the limitations of research methods, it was difficult to conclude that policies worked effectively to alleviate the economic burden on households, and further research needs to be analyzed in detail in the future. It was found that policies for severe diseases and private insurance do not further strengthen the relationship that alleviates the economic burden on households. This study is meaningful in that it empirically analyzed the impact of the implementation of policies to strengthen health insurance coverage on households' economic burden over a relatively long period of time. Korea's demographic and social structure is likely to negatively affect future health insurance finances. This study was able to draw policy implications that it is necessary to consider analyzing policy effects over a long period of time in future policy settings in preparation for the future when national medical costs such as low birth rates and aging population increase and insurance finances decrease.제 1 장 서론 1 제 1 절 연구주제의 중요성 1 제 2 절 이 연구의 필요성 3 제 3 절 이 연구의 목적 4 제 4 절 이 연구의 의의 5 제 2 장 문헌검토 7 제 1 절 이론적 논의 7 1. 건강보장과 의료수요 7 2. 건강보험 보장성 강화 정책 개요 8 3. 중증질환 보장성 강화 정책 10 4. 보장성 강화 정책과 민간의료보험 11 5. 의료이용 요인 12 6. 재난적 의료비 지출 13 7. 의료비 지출로 인한 빈곤화 14 제 2 절 선행연구 검토 15 1. 건강보험 보장성 강화 정책 15 2. 건강보험 보장성 강화 정책과 민간의료보험 16 3. 재난적 의료비 지출 17 4. 의료비 지출로 인한 빈곤화 19 제 3 절 선행연구의 한계 및 연구의 진행방향 20 1. 선행연구의 한계 20 2. 연구의 진행방향 21 제 3 장 연구방법 23 제 1 절 연구의 분석틀 및 가설 23 1. 연구문제 23 2. 연구의 분석틀 23 3. 연구가설 24 제 2 절 변수 정의 25 1. 종속변수 25 2. 독립변수 26 3. 조절변수 26 4. 통제변수 26 제 3 절 자료원 28 제 4 절 분석방법 29 1. 기초통계분석 29 2. 패널데이터 분석 29 3. 성향점수매칭 32 제 4 장 연구결과 34 제 1 절 연구 대상의 일반적 특성 34 1. 인구사회학적 특성 34 2. 건강 특성 36 제 2 절 기술통계 분석 38 1. 기술통계량 38 2. 상관계수 39 3. 재난적 의료비 지출 추이 40 4. 의료비 지출로 인한 빈곤율 추이 40 제 3 절 연구모형 분석 41 1. 다중공선성 검토 41 2. 합동 로짓 분석 42 3. 패널로짓 고정효과 모형 분석 45 4. 패널 개체의 고정효과 검정 48 5. 패널 개체의 확률효과 검정 50 6. 연구모형 결정 52 7. 분석결과 53 8. 하위분석 55 9. 가설의 검정 71 제 5 장 결론 73 제 1 절 연구의 요약 및 고찰 73 제 2 절 연구의 한계 및 연구 방향 75 부록 77 참고문헌 81석

금융의 세계화와 국가 정책 자율성 변화 : 스웨덴의 복지정책을 중심으로

학위논문(석사)--서울대학교 대학원 :외교학과,2000.Maste

Time synchronization for multi-hop communication in SHCS-MAC protocol based cognitive radio networks

학위논문(석사) - 한국과학기술원 : 전산학부, 2016.8 ,[iv, 32 p. :]무선 센서 네트워크, 사물인터넷 등등 라디오를 통해 통신하는 기기들이 증가함에 따라서 라디오 스펙트럼 효율성이 매우 중요한 이슈로 떠올랐다. 인지 라디오 기법을 사용하면 라디오 스펙트럼을 효율적으로 관리할 수 있다. 인지 라디오 네트워크의 장점을 이용한 MAC 프로토콜이 연구되어 왔으나 기존의 프로토콜에서는 공통 제어 채널(Common Control Channel, CCC)을 사용하거나 공통 제어 채널은 사용하지 않으나 두 개의 라디오를 사용하는 등 자원 효율성 측면에서 아쉬운 점이 있었다. 자원의 효율성을 극대화하기 위해 공통 제어 채널을 사용하지 않고 하나의 라디오만을 사용하는 프로토콜인 SHCS-MAC 프로토콜이 제안되었으나, 이 또한 다중 홉 통신을 지원하지 못하는 아쉬움이 있었다. 따라서 본 논문에서는 SHCS-MAC 기반 인지 라디오 네트워크에서 다중 홉 통신을 지원하기 위해 필요한 시각 동기화 기법을 연구하고 제안한다. 또한 개선된 SHCS-MAC 프로토콜을 802.15.4 Zigbee PHY 기반의 USRP SDR 디바이스에 GNU Radio를 이용하여 실제로 구현한다.한국과학기술원 :전산학부

An adult right-sided bochdalek hernia accompanied with hepatic hypoplasia and inguinal hernia

We herein report a very rare case of adult right-sided Bochdalek hernia accompanied with hepatic hypoplasia and inguinal hernia. A 29-year-old man was admitted with right-sided pneumothorax. A computed tomography was performed and revealed large right sided Bochdalek hernia with hepatic hypoplasia. Under thoracolaparotomy, the defect was closed with Gore-Tex soft tissue patch. After the operation, left-sided inguinal hernia was found. However, it turned out that it had been present during infancy and spontaneously resolved during adolescence. This is the first report of right-sided Bochdalek hernia with hepatic hypoplasia and inguinal hernia in an adult. © The Korean Society for Thoracic and Cardiovascular Surgery. 2012

Treatment of complete persistent sciatic artery with distal thromboembolism by thromboembolectomy only

A persistent sciatic artery (PSA) is very rare congenital vascular anomaly which is present in 0.025% to 0.04% of the population by an angiographic study. A PSA is usually combined with aneurismal disease or thromboembolic events because of its arteriosclerosis and vessel wall degeneration. The treatments of symptomatic PSA are comprised of exclusion of PSA from circulation and bypass surgery for the lower limb. However, surgical treatment should be tailored to its anatomy and presentation. We report a successful treatment of PSA with distal thromboembolism by thromboembolectomy without bypass surgery. ©The Korean Society for Thoracic and Cardiovascular Surgery. 2012

서비스 로봇의 작업 계획을 위한 부분 관측 하의 최적 관리 제어

학위논문(석사) - 한국과학기술원 : 전기 및 전자공학과, 2011.2, [ vii, 55 p. ]In this thesis, we deal with optimal supervisory control algorithm for the partial observation system. The objective is minimization of the total cost of the system. The cost is incurred when the supervisor control the event (control cost), or when the event occur(occurrence cost). To attain that objective, we can use the suggested algorithm to design the supervisor for the partial observation case. However, in previous algorithm, the total cost for optimal path could have a overestimation problem, that is, the total cost of the equivalent system is bigger than original system. To solve that overestimation problem, we propose the new optimal supervisory control algorithm and show that the total cost of that proposed algorithm is smaller than original algorithm. With that, by considering the time condition of the system, we propose a new optimal supervisory control algorithm for the system with the time penalty condition. Finally we present the example of the task planning of practical service robot which applying the proposed algorithm.한국과학기술원 : 전기 및 전자공학과