• Journal of Engineering Education Research
• /
• v.22 no.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.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• Journal of Practical Engineering Education
• /
• v.14 no.1
• /
• pp.49-59
• /
• 2022

This study was conducted to develop a teaching competency scales customized for teaching programs conducted by Center for Teaching & Learning at A University. To achieve this purpose, a preliminary study was set up, which consists of three competency groups (basic competency, practice competency, innovation competency) and 26 learning competency factors through a review of previous studies. In order to verify the reliability and validity of the provisional teaching competency scales, an online survey was conducted on A university teachers in September 2020, The collected questionnaire data were organized and exploratory factor analysis and confirmatory factor analysis were conducted. As a result of exploratory factor analysis, 26 teaching competency was reduced to 17. As a result of the confirmatory factor analysis, the model was found to be good, Also, as a result of analyzing the construct reliability and AVE of the confirmed teaching competency factors, all 17 factors showed a good level of .7 or more. The teaching competency scales developed through this study can be used as basic data for performance evaluation and development of new programs of CTL teaching program.

• Journal of Korea Entertainment Industry Association
• /
• v.15 no.8
• /
• pp.269-278
• /
• 2021

This study was conducted to develop a learning competency scales customized for learning programs conducted by Center for Teaching & Learning at A University. To achieve this purpose, a preliminary study was set up, which consists of three competency groups (basic competency, intensity competency, application competency) and 13 learning competency factors through a review of previous studies. In order to verify the reliability and validity of the provisional learning competency scales, an online survey was conducted on A university students in September 2020, The collected questionnaire data were organized and exploratory factor analysis and confirmatory factor analysis were conducted. As a result of exploratory factor analysis, 13 learning competency was reduced to 10 as the three competency groups were maintained. As a result of the confirmatory factor analysis, the model was found to be good, Also, as a result of analyzing the reliability of the confirmed learning competency factors, all 10 factors showed a good level of .7 or more. The learning competency scales developed through this study can be used as basic data for performance evaluation and development of new programs of CTL learning program.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.12
• /
• pp.6163-6172
• /
• 2013

This study examined the job competence of the staff at the center for teaching and learning(CTL) in university and to find out the level of job competence, which has been asked to the staff of the CTL. For that, the factor of the job competence, which is required of the staff of the CTL, was inquired through a literature review. Based on the job competence, this study examined the required job competence of the staff in Daejeon city and Chungnam province. The result suggests that the job competence required of staff are the basic job competence, planning-analysis job competence, management job competence for the project, and evaluation job competence. The first factor in basic job competence is the attitude to change and innovation. In the planning-analysis job competence, the first factor is an analysis and consultation of instruction. In managing the job competence for the project, the first factor is the management of human resources, and the first factor in evaluating the job competence is an evaluation of the effectiveness of the media. Therefore, to revitalize the CTL, there is a need to organize an expert pool, plan and support program that is suitable for professional development.

• IMMUNE NETWORK
• /
• v.11 no.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.

• Atmosphere
• /
• v.15 no.2
• /
• pp.75-90
• /
• 2005

This study examines the impacts of land cover changes on the East Asia summer monsoon with the National Center for Atmospheric Research Regional Climate Model (NCAR RegCM2), coupled with Biosphere Atmosphere Transfer Scheme (BATS). To assess the goals, two types of land cover maps were used in the simulation of summer climate. One type was NCAR land cover map (CTL) and the other was current land cover map derived from satellite data (land cover: LCV). Warm and cold surface temperature biases of $1-3^{\circ}C$ occurred over central China and Mongolia in CTL. The model produced excessive precipitation over northern land area but less over southern ocean of the model domain. Changes of biophysical parameters, such as albedo, minimum stomatal resistance and roughness length, due to the land cover changes resulted in the alteration of land-atmosphere interactions. Latent heat flux and wind speed in LCV increased noticeably over central China where deciduous broad leaf trees have been replaced by mixed farm and irrigated crop. As a result, the systematic warm biases over central China were greatly reduced in LCV. Strong cooling of central China decreased pressure gradient between East Asian continent and Pacific Ocean. The decreased pressure gradient suppressed the northward transport of moisture from south China and South China Sea. These changes reduced not only the excessive precipitation over north China and Mongolia but also less precipitation over south China. However, the land cover changes increased the precipitation over the Korean Peninsula and the Japan Islands, especially in July and August.

• Journal of the Korean earth science society
• /
• v.35 no.4
• /
• pp.215-224
• /
• 2014

Data assimilation effect of mobile rawinsonde observation was evaluated using Unified Model (UM) with a Three-Dimensional Variational (3DVAR) data assimilation system during the intensive observation program of 2013 summer season (rainy season: 20 June-7 July 2013, heavy rain period: 8 July-30 July 2013). The analysis was performed by two sets of simulation experiments: (1) ConTroL experiment (CTL) with observation data provided by Korea Meteorological Administration (KMA) and (2) Observing System Experiment (OSE) including both KMA and mobile rawinsonde observation data. In the model verification during the rainy season, there were no distinctive differences for 500 hPa geopotential height, 850 hPa air temperature, and 300 hPa wind speed between CTL and OSE simulation due to data limitation (0000 and 1200 UTC only) at stationary rawinsonde stations. In contrast, precipitation verification using the hourly accumulated precipitation data of Automatic Synoptic Observation System (ASOS) showed that Equivalent Threat Score (ETS) of the OSE was improved by about 2% compared with that of the CTL. For cases having a positive effect of the OSE simulation, ETS of the OSE showed a significantly higher improvement (up to 41%) than that of the CTL. This estimation thus suggests that the use of mobile rawinsonde observation data using UM 3DVAR could be reasonable enough to assess the improvement of prediction accuracy.

• Atmosphere
• /
• v.21 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

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