리더십 類型과 職務滿足度에 관한 硏究

임송현 建國大學校 1990 국내석사

임베디드 소프트웨어 개발 라이브러리 비교 : SmartX® Framework를 적용하며

임송현 서울시립대학교 일반대학원 2017 국내석사

An embedded system generally refers to a specific application system including hardware and software for performing a specific task. More specifically, it refers to a device embedded in a microprocessor and performing only functions designated by the original creator. In this situation, the market is fierce with the completion of software development, completion period, and learning difficulty to control hardware devices. Embedded operating system (OS) and various platforms have emerged, and various development methods and coding styles are emerging with specific processors. Therefore, in this paper, HNS 'SmartX Framework’ was used for the development of embedded device among integrated platform selected from the viewpoint of software engineering applied in the development of embedded software. Based on the results of the proceedings, we outlined the excellence and importance of the integrated platform product. In addition, a good framework condition is presented through comparison of embedded software library. 임베디드 시스템이란 일반적으로 특별한 업무를 수행하기 위한 하드웨어와 소프트웨어를 포함하는 특정한 응용 시스템이라고 할 수 있으며, 이는 보다 구체적으로 마이크로프로세서 내장(embedded)하여 원래 제작자가 지정한 기능만을 수행하는 장치를 말한다. 이 때 하드웨어 장치를 제어하기 위한 소프트웨어 개발의 완성도와 완성기간, 학습 난이도를 두고 시장의 각축전이 치열하다. 임베디드 운영체제(OS), 다양한 플랫폼들이 등장하면서 특정 프로세서를 두고 다양한 개발 방식과 그에 따른 코딩 스타일들이 등장하고 있다. 이에 따라 본 논문에서는 임베디드 소프트웨어 개발 시 적용되어지는 소프트웨어 공학적 관점을 통해 선정한 통합플랫폼 중 HNS사의 SmartX Framework를 사용하여 임베디드 기기 제작 프로젝트를 진행하였다. 진행결과를 토대로 통합 플랫폼 제품의 우수성과 중요성을 서술했다. 또한, 임베디드 소프트웨어 라이브러리 비교를 통해 좋은 프레임워크의 조건을 제시하였다.

조건부족 개방형 문제 해결과정에서 나타나는 수학 영재의 수학적 사고특성 분석

임송현 경인교육대학교 2014 국내석사

The purpose of this study was to analyze the characteristics of mathematically gifted and talented students when solving open-ended problems in deficient conditions. The subjects were fifth grade mathematically gifted students, the open-ended problems were derived from and does not exceed from the 5th grade curriculum. The students were provided with open-ended problems whereby, when students realized that there were deficiencies in the problem solving, other conditions were added. The research problems are as follows: A. What type of resolution strategies are evident when mathematically gifted students are solving open-ended problems under deficient conditions? B. How does a student’s cognitive thinking change during the process of discussion? For the study, the sample was 40 elementary school mathematically-gifted students and they were provided with 4 open-ended questions. The study was conducted twice. For the 1st experiment, 20 minutes were given to the subjects. The subjects investigated the solving strategies. For the second experiment, the teacher explained the open-ended problems under deficient conditions and gave the students 60 minutes to solve the question. The mathematically gifted and talented students explored into what possible alternatives and conditions they could add, and analyzed the process of their problem solving. After the 1st and 2nd experiment, 9 subjects who showed significant results were interviewed and analyzed for cognitive change. The results were as follows: First, within open-ended problem solving, problem strategies can largely be divided into 4 types. Second, mathematically gifted and talented students can differentiate between open-ended problems under deficient conditions and problems under non-deficient conditions. Third, mathematically gifted and talented students understand formal structures of open-ended problems under deficient conditions, have the cognitive ability to simplify mathematical reasoning. Fourth, mathematically gifted and talented students believe that adding conditions of interrelation to their problem solving is more meaningful than using fragmentary conditions through discussion. Mathematically gifted and talented students also believe that they can change their cognitive understanding through the results of their discussion. 제 7차 교육과정 개정의 방향을 인성교육과 창의성 교육에 초점을 맞춘 이래로 수학적 능력의 신장은 꾸준히 논의되고 있는 주제 중 하나이다. 교육과학기술부는 2009년 개정 교육과정에 따른 교과 교육과정에서 복잡하고 전문화되어가는 미래 사회에서 사회 구성원에게 필요한 수학과의 핵심 역량을 창의적 사고 능력, 문제 해결 능력, 정보 처리 능력, 의사소통 능력 등으로 보고 있으며 수학적 과정을 통해 길러진 핵심 역량은 타 교과의 성공적인 학습에 기반이 될 뿐 아니라 나아가 개인의 전문적 능력의 증진과 창의․인성 중심의 21세기 지식 기반 사회의 민주 시민에게 필요한 소양과 경쟁력을 갖추는 데에도 토대가 된다고 하였다. 이러한 수학적 능력의 신장을 위한 한 가지 방안으로서 제시된 것이 바로 개방형 문제이다. 이에 본 연구에서는 개방형 문제 중 조건부족 개방형 문제 해결과정에서 나타나는 초등 수학 영재의 수학적 사고특성을 분석하고자 한다. 이를 위해 연구 대상을 초등학교 5학년 수학 영재들로 선정하였고 초등학교 5학년 교육과정의 범위에서 벗어나지 않으며 주어진 문제의 구조를 파악하여 조건이 부족하다는 것을 인지하면 다양한 조건을 추가하여 문제를 해결할 수 있는 조건부족 개방형 문제를 과제로 제시하였다. 본 연구의 목적을 달성하기 위하여 다음과 같은 연구 문제를 설정하였다. 첫째, 초등 수학 영재들의 조건부족 개방형 문제 해결 과정에서 해결전략 유형은 어떻게 나타나는가? 둘째, 초등 수학 영재들은 조건부족 개방형 문제 해결과정에서 토의를 통해 어떤 사고 변화의 양상을 보이는가? 연구를 위해 인천광역시 S 초등학교 단위학교 영재학급, 인천광역시 H 초등학교 단위학교 영재학급, 경기도 P시의 J초등학교 지역공동 영재학급에서 영재교육을 받고 있는 수학 영재 40명에게 조건이 부족한 개방형 문제 4 문제를 제시하였다. 본 연구의 평가지 투입은 2차에 걸쳐 실시하였다. 1차 평가지 투입은 특별한 설명 없이 20분의 해결 시간을 주고 초등 수학 영재의 조건부족 개방형 문제 해결과정에서 나타나는 해결전략 유형을 살펴보았고, 2차 평가지 투입에서는 교사가 조건부족 문제에 대해서 설명을 한 후 문제를 다시 투입하여 60분의 해결 시간을 주고 초등 수학 영재들이 조건부족 개방형 문제에서 어떠한 다양한 조건을 추가할 수 있는지를 살펴보고 그 해결과정을 분석하였다. 1, 2차 평가지 분석 후, 유의미한 결과를 보여준 9명의 초등 수학 영재 학생을 선정하여 토의 및 면담을 실시한 후 사고 변화의 양상을 분석하였다. 초등학교 5학년 수학 영재들을 대상으로 조건부족 개방형 문제를 제시하고 해결과정에서 나타난 수학적 사고특성을 분석한 결과로 얻은 결론은 다음과 같다. 첫째, 초등 수학 영재의 조건부족 개방형 문제 해결과정에서 나타나는 해결전략 유형은 크게 네 가지로 구분할 수 있다. 주어진 조건을 연관 없는 자료로만 지각하면서 문제의 본질을 이루는 관계를 파악하지 못하기 때문에 누락된 조건이 있다는 것을 알지 못하고 해결하는 관계 미인식 유형, 문제의 본질을 이루는 관계를 파악하여 누락된 조건을 찾지만 그저 문제를 풀 수 없다고 단정하며 조건을 추가하여 문제를 해결하려는 시도를 하지 않는 조건 인식 유형, 문제의 본질을 이루는 관계를 파악하여 누락된 조건을 추가하나 수학적으로 의미 있는 구조를 지각하지 못하고 단지 단편적인 조건을 추가하여 문제를 해결하는 단편적 조건 추가 유형 그리고 문제의 본질을 이루는 관계를 파악하여 누락된 조건을 추가하며 수학적으로 의미 있는 구조를 지각하고 서로 관련성이 있는 조건을 추가하여 문제를 해결하는 관계적 조건 추가 유형이다. 둘째, 초등 수학 영재들은 조건부족 개방형 문제를 조건이 부족하지 않은 문제와 구분지어 생각한다. 조건이 부족한 개방형 문제를 접한 대부분의 수학 영재들은 문제에서 이상한 점이 있다는 것을 직관적으로 알았으며 문제를 해결하는 데 필요한 조건이 더 있다는 것도 인지한다. 또한 초등 수학 영재들은 조건 부족 문제에서 조건이 부족하다는 것을 인식하면 부족한 조건을 추가하여 문제를 해결하려는 성향을 보인다. 셋째, 초등 수학 영재들은 조건부족 개방형 문제의 형식적인 구조를 이해하고 있으며 수학적 추론의 간략화와 단축된 구조를 이용한 사고 능력을 가지고 있다. 초등 수학 영재들은 해를 명확하게 구하려고 하며 수학적 기호를 이용하려는 성향이 있으며 암산 과정에서 신속함과 유연성을 보인다. 넷째, 초등 수학 영재들은 토의를 통하여 조건부족 개방형 문제에서 단편적인 조건을 추가하는 것보다는 서로 관련성이 있는 조건을 추가하여 문제를 해결하는 것을 더욱 의미 있는 해결 방법이라고 생각하며 토의 결과에 따라 자신의 사고를 변화시킬 수 있다.

저고도 무인항공기 자동비행규칙 도입에 관한 고찰

임송현 한국항공대학교 일반대학원 2023 국내석사

무인항공기는 기존 전통적 항공기(Conventional Aircraft) 인증체계 내에 적용할 수 없는 설계 및 운용의 다양성이 존재한다. 무인항공기의 가장 두드러진 특성은 원격조종(Remotely Piloted) 및 자동화(Autonomous)이고, 이는 탑승 조종사가 따르는 기존 비행규칙(IFR, VFR)을 적용하기 어려운 측면이 있다. NASA는 자동분리(Automated Separation)와 비행경로관리(Flight Path Management)를 통해 비행 안전을 보장하는 디지털비행규칙(DFR, Digital Flight Rules)을 새로운 비행규칙으로 제안한다. 2022년 미국 항공법률제정위원회(ARC)에서는 자동비행규칙(AFR, Automated Flight Rules)을 UAS BVLOS 운용을 위한 새로운 비행규칙으로 제안하고, 14 CFR Part 91, 108 등 개정 권고안을 제시하였다. 본 논문에서는 NASA에서 새로운 비행규칙으로 제시한 DFR과 FAA ARC에서 저고도 UAS BVLOS 운용에 적용할 새로운 비행규칙으로 제시한 AFR의 개념, 요구되는 기술, 구현 방법, 관련 정책 등을 설명하였다. 또한, 국내·외 무인항공기 정책 동향과 우리나라와 미국의 UAM 운용개념을 검토하고, 새로운 비행규칙으로 제안된 AFR과 DFR의 특징을 비교·분석하여 K-UAM의 새로운 비행규칙으로 고려중인 DFR에 대한 4가지 시사점을 도출하였다. Unmanned aircraft have a variety of designs and operations that cannot be applied for regulations of the existing conventional aircraft. The typical features of unmanned aircraft are remote piloted and autonomous, so it is difficult to apply the existing flight rules(IFR, VFR) carried out by the pilot on board. NASA proposed Digital Flight Rules(DFR) as new flight rules that ensure traffic separation through Automated Separation and Flight Path Management. In 2022, the U.S. Aviation Rulemaking Committee(ARC) proposed Automated Flight Rules(AFR) as a new flight rule for UAS BVLOS operation and suggested some proposals related to operating rules(14 CFR Part 91 and Part 108). This paper describes the concept, required technology, implementation method, and related policies of DFR proposed by NASA and AFR proposed by ARC. In addition, it described a UA policy trends and UAM ConOps of ROK and U.S. In the result, 4 implications were presented for the new flight rules to be applied to K-UAM by comparing and analyzing the characteristics of AFR and DFR.

베이지안 토픽 모형 방법론의 이해 및 실증분석

임송현 고려대학교 대학원 2020 국내석사

방대한 양의 텍스트 데이터로부터 문서를 자동으로 구조화 및 분류하는 지표를 도출하기 위해 사용되는 다양한 알고리즘들이 존재하며, 이는 베이지안 프레임워크에서 혼합 모형, 네트워크 모형, 토픽 모형 등 다양하게 연구되어져 왔다. 그 중에서도 베이지안 토픽 모형은 가장 대표적인 Blei et al. (2003) 의 잠재 디리클레 할당(Latent Dirichlet Allocation)를 근간으로 다양한 목적에 따라 토픽 모형의 주된 이슈인 모형의 설명 범위, 토픽 개수의 선택, 추론 방법을 중점적으로 확장되었다. 하지만 다양한 관점에서 확장된 베이지안 토픽 모형들이 존재하기 때문에, 실제 데이터 분석을 할 때 어떤 알고리즘이 적합한지 선택하는데 어려움이 있다. 따라서 본 논문에서는 베이지안 토픽 모형 알고리즘 선택에 대한 도움을 주고자 혼합 모형, 네트워크 모형, 토픽 모형 각각을 대표하며 각기 다른 추론 방법을 사용하는 디리슈레 과정 혼합 모형 (Dirichlet Process Mixture Model), 계층적 확률적 블록 모형 (Hierarchical Stochastic Block Model), 잠재 디리클레 할당 시계열 모형 (Latent Dirichlet Allocation Time Series)을 비교했다. 분석 데이터로는 벤치마크 데이터인 미국 연합 통신 (Associate Press), 위키피디아 논문 초록 데이터, 설치류 데이터와 카카오 아레나의 실제 로그 데이터인 카카오 브런치 데이터를 사용했고 각 데이터에 대해 비교 모형을 적합했다. 각 데이터에 대한 세 모형들의 결과를 통해, 서로 다른 특징과 분석 목적에 따라서 어떤 모형이 적합한지에 대해 알아보았다. 따라서 본 논문은 토픽 구조를 찾기 위한 다양한 모형들을 실제 데이터에 적용한 결과를 비교해, 토픽 모형을 통해 인사이트를 얻고자 하는 사람들에게 도움을 주는데 의의가 있다.

Senolytic Therapy for Intervertebral Disc Degeneration and Cerebral Ischemia-Reperfusion Injury

임송현 서울대학교 대학원 2022 국내박사

Cellular senescence is a process in response to various cellular stresses and is characterized by cell cycle arrest and the expression of proinflammatory cytokines known as the senescence-associated secretory phenotype (SASP). Cellular senescence contributes to various age-related and degenerative diseases by accumulating senescent cells and SASP-mediated inflammation and tissue damage. Senolytic therapy, which selectively eliminates senescent cells by senolytic drugs has been reported as an effective treatment for various diseases in animal models. In this study, I investigated whether senolytic therapy that eliminates senescent cells could be an effective treatment for intervertebral disc (IVD) degeneration (IVDD) and cerebral ischemia-reperfusion (IR) injury in ischemic stroke. To prevent potential systemic toxicity caused by systemic administration and morbidity caused by repetitive injections, ABT263, a senolytic drug, was loaded in poly(lactic-co-glycolic acid) nanoparticles and intradiscally administered into injury-induced IVDD rat models. The selective elimination of senescent cells in degenerative IVD lead to reduced expressions of pro-inflammatory cytokines in the IVD, inhibited progression of IVDD and even restoration of the IVD structure. By intravenous injections of free ABT263 in IR-injured rats, senescent cells were eliminated, the infarct volume was reduced, and neurological function was improved. Overall, this study demonstrates for the first time that delivery of senolytic drug can effectively treat senescence-associated IVDD and cerebral IR injury. This approach could be extended to treat other types of senescence-associated age-related and degenerative diseases. 세포 노화는 세포가 세포 내외부의 스트레스에 반응하는 과정으로 세포 주기 억제, 전염성 사이토카인을 포함하는 노화 연관 분비표현형의 발현 등의 특징을 가진다. 세포 노화가 발생하면 노화 세포가 축적되며 세포에서 분비되는 노화 연관 분비 표현형 매개 염증과 그에 따른 조직 손상이 일어난다. 따라서 세포 노화에 따른 일련의 반응은 다양한 노화 및 퇴행성 질환에 기여한다고 알려져 있다. 이에 따라 노화 세포 선택적 제거 약물을 사용한 노화 세포 제거 요법이 다양한 질병의 동물 모델에서 치료 효과가 있음이 보고되고 있다. 본 연구에서는 노화 세포 제거 요법이 추간판 변성 및 뇌졸중에서의 허혈 후 재관류 시의 손상에 효과적인 치료법이 될 수 있는지를 확인하고자 노화 세포 제거 약물로 ABT263을 사용하여 연구를 진행하였다. 추간판 변성 질환에서는 약물의 전신 투여로 인한 부작용의 위험성과 추간판 조직에서 발생할 수 있는 반복 주사로 인한 염증을 방지하고자 ABT263을 PLGA 나노입자에 담지하여 추간판 변성 랫드 모델에 투여하였다. 약물이 담지 된 나노입자를 추간판 조직 내 국소적인 부위에 주입한 결과 노화 세포가 제거되었으며 염증성 사이토카인의 발현이 감소하였다. 이는 추간판 변성의 악화를 방지하는 것뿐만 아니라 추간판 조직의 재생으로까지 이어졌다. 허혈 후 재관류 손상 랫드 모델에서는 ABT263을 정맥 주사하는 방법을 사용했으며 그 결과 노화 세포가 제거되고 뇌경색 부피가 감소하였으며 신경학적 기능이 향상되었다. 이 연구는 노화 세포 제거 약물을 주입하는 치료법이 노화 관련 질환 중 추간판 변성과 뇌졸중 후 허혈-재관류 손상을 효과적으로 치료할 수 있다는 것을 처음으로 입증하였다. 노화 세포 제거 약물을 사용한 노화 세포 제거 치료는 노화 관련 퇴행성 질병을 효과적으로 치료하기 위해 적용될 수 있을 것이다.