• 공학교육연구
• /
• 제22권3호
• /
• pp.59-67
• /
• 2019

The purpose of this study is to analyze that hours for participating in CTL program and whether or not make of CQI have a effect on the student evaluation about teaching of engineering professor. This inquiry have done a multiple regression analysis that student evaluation grade of teaching on 2018-1st semester of 240 engineering subjects of N University in Chungcheongnam-do as dependent variable, and background factors and work factors as independent variable. Research results is follows. First, employment type haven't a effect on teaching evaluation scores. And subject type, student' concentration of class, teaching evaluation pre-scores have a positive effect on teaching evaluation rating, but student number have a negative effect. Second, hours for participating in CTL program haven't a effect on teaching evaluation scores, but to make of CQI report have a positive effect on teaching evaluation scores. And I suggested to make CQI for improve teaching evaluation scores and manage the quality of education.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.

• 실천공학교육논문지
• /
• 제14권1호
• /
• pp.49-59
• /
• 2022

본 연구는 A대학 교수학습센터(Center for Teaching & Learning)의 교수지원 프로그램 특성에 부합하는 교수역량 진단도구를 개발하고자 수행되었다. 이러한 연구목적을 달성하기 위해 선행연구 검토를 통해 3개 역량군(기본역량, 실천역량, 혁신역량)과 13개 교수역량, 26개 하위역량 요인으로 구성된 잠정적 교수역량 진단도구를 설정하였다. 잠정적 교수역량 진단도구의 신뢰도 및 타당도 검증을 위해 2020년 11월에 A대학교 교수자를 대상으로 온라인 설문조사를 실시하였으며, 설문 데이터를 정리하여 탐색적 요인분석과 확인적 요인분석을 수행하였다. 탐색적 요인분석 결과, 기본역량, 실천역량, 혁신역량 3개 역량군에 포함되는 26개 하위역량이 17개로 축소되었다. 확인적 요인분석을 실시한 결과, 모형의 적합도가 양호한 것으로 나타나 CTL 맞춤형 교수역량(하위역량) 17개 영역, 79개 문항을 최종 확정하였다. 또한 확정된 교수역량 요인의 개념신뢰도와 분산추출지수, 판별타당도를 분석한 결과 양호한 수준을 보였다. 본 연구를 통해 개발된 교수역량 진단도구는 CTL 교수지원 프로그램의 효과성 평가와 신규 프로그램 개발의 근거자료로 활용될 수 있다.

• 한국엔터테인먼트산업학회논문지
• /
• 제15권8호
• /
• pp.269-278
• /
• 2021

본 연구는 A대학 교수학습센터(Center for Teaching & Learning)에서 수행하고 있는 학습지원프로그램 맞춤형 학습역량 진단도구를 개발하고자 수행되었다. 이러한 연구목적을 달성하기 위해 선행연구 검토를 통해 3개 역량군(기초역량, 심화역량, 활용역량)과 13개 학습역량 요인으로 구성된 잠정적 학습역량 진단도구를 설정하였다. 잠정적 학습역량 진단도구의 신뢰도 및 타당도 검증을 위해 2020년 9월에 A대학교 재학생을 대상으로 온라인 설문조사를 실시하였다. 수집된 설문자료를 정리하여 탐색적 요인분석과 확인적 요인분석을 실시하였다. 탐색적 요인분석 결과, 기본역량, 심화 역량, 활용역량 3개 역량군은 유지되면서 13개 학습역량이 10개로 축소되었다. 확인적 요인분석을 실시한 결과, 모형의 적합도가 양호한 것으로 나타나 CTL 맞춤형 학습역량 진단도구 10개 영역, 44개 문항을 최종 확정하였다. 또한 확정된 학습역량 요인의 신뢰도(Cronbach' α)를 분석한 결과, 10개 요인 모두 .7이상으로 양호한 수준을 보였다. 본 연구를 통해 개발된 학습역량 진단도구는 CTL 학습지원프로그램의 성과평가와 신규 프로그램 개발의 기초자료로 활용될 수 있다.

• 한국산학기술학회논문지
• /
• 제14권12호
• /
• pp.6163-6172
• /
• 2013

본 논문은 대학의 교수학습지원센터에서 근무하고 있는 실무자에게 요구되는 직무역량이 무엇인가를 밝히고, 현업에 종사하고 있는 실무자들이 바라는 요구사항을 알아보고자 수행되었다. 이를 위해 실무자의 직무수행 역량 요인은 관련 문헌 검토를 통해 규명하였다. 이들 직무역량을 기초로 하여 대전 충남지역의 교수학습지원센터 실무자들을 대상으로 직무수행 역량 요구도를 조사하였다. 이 연구 결과에 의하면, 실무자에 요구되는 직무역량은 기초역량, 기획 분석역량, 프로젝트 운영관리역량, 평가역량 등으로 나타났다. 각각의 직무 역량에서 실무자가 지각하는 가장 높은 요인은 다음과 같다. 기초역량에서는 변화와 혁신의 태도 요인이 가장 높았으며, 기획 분석 역량에서는 수업분석 및 컨설팅, 운영관리역량에서는 인력관리 그리고 평가역량에서는 매체효과성평가 요인이 가장 높은 것으로 나타났다. 그러므로 교수학습지원센터의 활성화를 위해서는 교수학습지원센터 프로그램 운영을 지원할 수 있는 전문가 풀을 구성하고, 교수학습지원센터 실무자의 전문성 향상을 위한 역량 교육 프로그램을 기획하고 지원할 필요가 있다.

• IMMUNE NETWORK
• /
• 제11권2호
• /
• pp.100-106
• /
• 2011

Background: Disparities of Minor H antigens can induce graft rejection after MHC-matched transplantation. H60 has been characterized as a dominant antigen expressed on hematopoietic cells and considered to be an ideal model antigen for study on graft-versus-leukemia effect. Methods: Splenocytes from C57BL/6 mice immunized with H60 congenic splenocytes were used for establishment of H60-specific CTL clones. Then the clones were characterized for proliferation capacity and cytotoxicity after stimulation with H60. Clone #14, #15, and #23 were tested for the TCR binding avidity to H60-peptide/$H-2K^b$ and analyzed for TCR sequences. Results: H60-specific CTL clones showed different levels of proliferation capacity and cytotoxic activity to H60-stimulation. Clones #14, #15, and #23 showed high proliferation activity, high cytotoxicity, and low activities on both aspects, respectively, and have TCRs with different binding avidities to H60-peptide/$H-2K^b$ with $t_{1/2}$ values of 4.87, 6.92, and 13.03 minutes, respectively. The TCR usages were $V{\alpha}12D-3-01+J{\alpha}11-01$ and $V{\beta}12-1-01+D{\beta}1-01+J2-7-01$ for clone #14, $V{\alpha}13D-1-02+J{\alpha}34-02$ and $V{\beta}13-1-02+D{\beta}2-01+J{\beta}2-7-01$ for clone #15, and $V{\alpha}16D+J{\alpha}45-01$ and $V{\beta}12-1-01+D{\beta}1-01+J{\beta}2-5-01$ for clone #23. Conclusion: The results will be useful for modeling GVL and generation TCR transgenic mouse.

• 대기
• /
• 제15권2호
• /
• pp.75-90
• /
• 2005

이 연구에서는 지면-대기 모수화 방안 (BATS1e)이 접합된 미국 국립기상연구센터 (NCAR)에서 개발한 지역기후모델(RegCM2)을 이용하여 지면피복의 변화가 동아시아 여름몬순에 미치는 영향에 대해서 조사하였다. 지면피복 변화의 영향을 분석하기 위하여 두 종류의 지면피복 자료를 이용하였다. 하나는 NCAR에서 제공하는 지면피복 자료 (CTL 실험)이고 다른 하나는 최근의 기상위성자료로부터 직접 분류한 고해상도 지면피복분류 자료(LCV 실험)이다. CTL 실험에서는 중국 중부지역과 몽고지역의 지면온도가 각각 약 $1-3^{\circ}C$ 높고 낮게 모의되었다. 또한 모의 영역 북부지역에서는 강수가 과다하게 모의된 반면 모의영역 남부 바다지역의 강수는 과소하게 모의되었다. 지면피복 변화에 의한 알베도, 거칠기 길이 및 최소기공저항계수와 같은 지면의 생물리적 요소들의 변화는 지면-대기 상호작용을 변경시켰다. 즉, 지면피복이 낙엽활엽수림에서 농지와 관계농지로 변경된 LCV 실험의 중국 중부지역에서는 잠열 속과 풍속이 현저하게 증가되었다. 그 결과 CTL 실험에서 나타났던 중국 중부지역에서의 온난편차가 LCV 실험에서는 대부분 완화되었다. 중국 중부지역에서의 강한 기온 하강은 태평양과 대륙사이의 기압 차를 약화시키고 있다. 남동에서 북서방향으로의 기압경도력이 약화됨에 따라 중국 남부와 남중국해로부터 북동쪽으로의 수증기 수송도 약화되었다. 이러한 수증기 수송의 변화는 모의 영역 북부지역에서의 과다한 강수 모의와 남중국해에서의 과소한 강수모의를 동시에 크게 완화시켰다. 그러나 지면피복의 변화는 특히 7월과 8월에 한반도와 일본 열도 지역에서의 강수를 크게 증기시키고 있다.

• 한국지구과학회지
• /
• 제35권4호
• /
• pp.215-224
• /
• 2014

2013년 여름철 집중관측기간(장마기간: 2013년 6월 20일-7월 7일, 집중호우기간: 2013년 7월 8일-30일) 동안 이동식 기상관측시스템의 레윈존데 관측 자료를 전 지구 통합예측시스템 3차원 자료동화에 이용하여 그 효과를 살펴보았다. 효과 분석을 위한 2가지 모의실험 중 규준실험은 기존 기상청 관측 자료만 사용한 것이고 관측시스템실험은 기상청 관측 자료에 이동식 기상관측시스템의 레윈존데 자료를 추가한 것이다. 장마기간 동안 두 실험의 500 hPa 지위고도, 850 hPa 기온, 300 hPa 풍속의 관측 및 분석검증 비교 결과 큰 차이를 보이지 않았는데, 이는 고정관측소의 레윈존데 자료(0000 UTC 및 1200 UTC)만을 기준으로 검증이 이루어졌기 때문이다. 하지만, 종관기상관측시스템의 시간별 누적 강수량 자료를 이용한 강수검증에 있어서 관측시스템실험의 평균 공정임계지수가 규준실험에 비해 2% 수준으로 개선된 결과를 보였다. 특히 강수검증에서 긍정적인 효과가 나타난 사례만 비교한 경우, 관측시스템실험의 평균 공정임계지수가 규준실험에 비해 41%까지 개선된 결과를 보여 이동식 기상관측시스템 레윈존데 관측 자료가 수치모델의 예측정확도 향상에 유용함을 알 수 있었다.

• 대기
• /
• 제21권1호
• /
• pp.1-16
• /
• 2011

Numerical prediction capability has been improved over the decades, but progress of prediction for high-impact weather (HIW) was unsatisfactory. One reason of low predictability for HIW is lack of observation data. The National Institute of Meteorological Research (NIMR) has been performed observation program for improvement of predictability, and reduction in social and economical cost for HIW. As part of this observation program, summer intensive observation program (ProbeX-2009) was performed at the observation-gap areas from 25 August to 6 September 2009. Sounding observations using radiosonde were conducted in the Gisang2000 research vessel (R/V) from the Korea Meteorological Administration (KMA) over the West Sea and the Eardo R/V from the Korea Ocean Research and Development Institute (KORDI) over the South Sea. Observation System Experiment (OSE) is carried out to examine the effect of ProbeX-2009 data. OSEs using Korea Local Analysis and Prediction System (KLAPS) and Weather Research and Forecasting (WRF) Model are conducted to investigate the predictability for a short time forecast. And, OSEs using WRF/3DVAR system and WRF forecast model are conducted to study the predictability for an extended time. Control experiment (K_CTL and CNTL) used only GTS observation and experiment (K_EXP and SWEXP) used ProbeX-2009 data from two system are performed. ETS for 3hr accumulated rainfall simulated by KLAPS-WRF shows that K_EXP is higher than K_CTL. Also, ETS for 12hr accumulated rainfall of SWEXP from 3DVAR-WRF is higher than CNTL. The results indicate that observation over the ocean has positive impact on HIW prediction.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.