• Journal of KIISE:Software and Applications
• /
• 제32권4호
• /
• pp.327-334
• /
• 2005

Recently, ICT has emerged as an indispensable tool for teaching a variety of subjects in education systems. In this paper, we examine the effect of the instructional models for ICT on the practical ability in the application of information with relation to the levels of self-regulated learning strategies. Students were divided into 3 groups, according to the instructional model for ICT which were problem search learning, problem solution learning, and discussion learning. As an experimental tools, we did pretest using self-regulated learning strategies measurement questionnaire and did pretest and posttest using practical ability in the application of information measurement questionnaire. The results show that higher level of self-regulated teaming strategies group has high practical ability in the application of information than lower level group. Other interesting results are also provided.

• Journal of KIISE:Computer Systems and Theory
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• KIISE Transactions on Computing Practices
• /
• 제23권9호
• /
• pp.557-563
• /
• 2017

When large-scale gene expression data are analyzed using lasso regression, the estimation of regression coefficients may be unstable due to the highly correlated expression values between associated genes. This irregularity, in which the coefficients are reduced by L1 regularization, causes difficulty in variable selection. To address this problem, we propose a regression model which exploits the repetitive bootstrapping of gene expression values prior to lasso regression. The genes selected with high frequency were used to build each regression model. Our experimental results show that several genes were consistently selected in all regression models and we verified that these genes were not false positives. We also identified that the sign distribution of the regression coefficients of the selected genes from each model was correlated to the real dependent variables.

• 대한공업교육학회지
• /
• 제41권2호
• /
• pp.89-118
• /
• 2016

In this study, the model of Turtle Ship, which is evaluated as one of the world's first ironclad ship in battle as well as the traditional scientific and technological heritage in Korea, was combined with the Physical Computing Platform(Arduino and App Inventor) that enables students to learn the basic concepts of IT in an easy and fun way. Thus, this study contrived the Physical Computing Platform-based Turtle Ship model which will make the students of Industrial Specialized High School develop the technological literacy and humanities-based knowledge through flexible education out of stereotype and single subject as well as enhance the potential of creative convergence education. The following is a summary of the main results obtained through this study: First, Arduino-based Main-controller design and making is helpful to learn of the hardware and software knowledge about EEC(Electron Electronics Control) and to confirm the basic characteristics and performance of interaction of Arduino and actuators. Second, The fundamental Instructional environments of abilities such as implementing EEC systems, thinking logically, and problem-solving skills were provided by designing of pattern diagram, designing an actuator circuit and making, the creation of sketches as technical programming and developing of mobile app. Thirdly, This is physical computing platform based Turtle ship model that will enable students to bring up their technological literacy and interest in the cultural heritage.

• Therapeutic Science for Rehabilitation
• /
• 제12권3호
• /
• pp.45-59
• /
• 2023

Objective : This study aims to identify the status of education in cognitive rehabilitation (CR) in occupational therapy departments of Korean universities/colleges and to analyze the educational needs for professional competencies. Methods : This study was conducted by distributing a questionnaire to professors. The questionnaire extracted items related to professional competencies from the results of a previous Delphi study. A total of 39 respondents from 32 (51.6%) of 62 universities/colleges were analyzed. The questionnaire analysis was conducted using Excel 2010 and SPSS 18.0 to analyze the Borich requirements and the priority of education through the Locus for focus model. Results : The priority of competency in CR was followed by "clinical reasoning ability to explain cognitive problems from the occupational performance perspective", "ability to manage insurance billing for CR", "ability to establish a CR plan based on outcome evaluation", "ability to perform occupation-oriented CR", and "ability to solve problems that occur during CR evaluation and intervention". In the Locus for focus model, items such as occupation-based cognitive assessment, intervention, and skills for documentation were high priorities for education. Conclusion : This study is expected to reflect educational competencies for CR and establish a plan for CR specialists through continuing education.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• 제43권5호
• /
• pp.639-650
• /
• 2023

Economic development has resulted in the concentration of population and industry in the metropolitan area. Additionally, the Republic of Korea is experiencing this phenomenon, with more than half of the population living in the Seoul capital area. To alleviate this concentration of population, the Korean government implemented the new town development policy. Unfortunately, this has led to an increase in the commuting population, causing an imbalance in transportation services due to financial and policy differences in each region. This paper analyzes the level of user satisfaction with mega commuting in three aspects: mobility, accessibility, and connectivity. To objectively assess the level of user satisfaction, which is qualitative data, the Rasch Model is used to analyze the collinearity of user data. The results indicate that the level of user satisfaction differs by region, and service satisfaction with mobility is lower than that with accessibility and connectivity. Therefore, prior to the introduction of new town policies, it is necessary to develop metropolitan transportation infrastructure.

• Korean Journal of Social Welfare Studies
• /
• 제41권1호
• /
• pp.175-201
• /
• 2010

The purpose of this study was to examine the mechanism through which youth school-based mentoring program impacts mentees' psychological and school-related outcomes such as self-esteem, self-efficacy, and attitudes toward school. The hypothetical model was assumed that mentors could improve their mentees' developmental outcomes through positive relationships with mentors as good role models and enhancement of help-seeking orientation. To investigate the mediating effect of process-related outcomes, structural equation modeling was used. The 97 adolescents were recruited through referral and random selection from middle schools in Seoul. The result showed that the effects of program participation were mediated by proximal changes in connectedness to role models and development of help-seeking orientation that, in turn, led to facilitate more positive attitudes toward school and academic activity, and improve psychological outcomes. Practice and policy implications as well as further research topics were discussed to aid the search for highly effective mentoring programs.

• Journal of Digital Contents Society
• /
• 제17권1호
• /
• pp.51-57
• /
• 2016

Distributed Computing attempts to harness a massive computing power using a great numbers of idle PCs resource distributed linked to the internet and processes a variety of applications parallel way such as bio, climate, cryptology, and astronomy. In this paper, we develop internet-distributed computing environment, so that we can analyze High Resolution Rainfall Prediction application in meteorological field. For analyze the rainfall forecast in Korea peninsula, we used QPM(Quantitative Precipitation Model) that is a mesoscale forecasting model. It needs to a lot of time to construct model which consisted of 27KM grid spacing, also the efficiency is degraded. On the other hand, based on this model it is easy to understand the distribution of rainfall calculated in accordance with the detailed topography of the area represented by a small terrain model reflecting the effects 3km radius of detail and terrain can improve the computational efficiency. The model is broken down into detailed area greater the required parallelism and increases the number of compute nodes that efficiency is increased linearly.. This model is distributed divided in two sub-grid distributed units of work to be done in the domain of $20{\times}20$ is networked computing resources.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• 제30권6D호
• /
• pp.577-585
• /
• 2010

Traffic accidents are caused by several factors such as drivers, vehicles, and road environment. It is necessary to investigate and analyze them in advance to prevent similar and repetitive traffic accidents. Especially, the human factor is most significant element and traffic accidents by drinking-driving caused from human factor have become social problem to be paid attention to. The study analyzes traffic accidents resulting from drinking-driving and the effects of driver's attributes and environmental factors on them. The study is composed as two parts. First, the log-linear model is applied to analyze that accidents by drinking or non-drinking driving associate with road geometry, weather condition and personal characteristics. Probability is tested for drinking-driving accidents relative to non-drinking drive accidents. The study analyzes probability differences between genders, between ages, and between kinds of vehicles through odds multipliers. Second, traffic accidents related to drinking are classified into property damage, minor injury, heavy injury, and death according to their severity. Heavy injury is more serious than minor one and death is more serious than heavy injury. The ordinal regression models are established to find effecting factors on traffic accident severity.

• Journal of radiological science and technology
• /
• 제36권2호
• /
• pp.99-110
• /
• 2013

In the medical field, the necessity of education growth for the professional Radiation Technologists has been emphasized to become experts on radiation and the radiation field is important of the society. Also, in hospitals and companies, important on thesis is getting higher in order to active and cope with rapidly changing internal and external environment and a more in-depth expert training, the necessity of new teaching and learning model that can cope with changes in a more proactive has become. Thesis writing classes brought limits to the in-depth learning as to start a semester and rely on only specific programs besides, inevitable on passive participation. In addition, it does not have a variety opportunity to present, an actual opportunity that can be written and discussed does not provide much caused by instructor-led classes. As well as, it has had a direct impact on the quality of the thesis, furthermore, having the opportunity to participate in various conferences showed the limitations. In order to solve these problems, in this study, writing thesis has organized training operations as a consistent gradual deepening of learning, at the same time, the operational idea was proposed based on the connectivity integrated operating and effective training program & instructional tool for improving the ability to perform the written actual thesis. The development of teaching and learning model consisted of 4 system modeling, scaffolding, articulation, exploration. Depending on the nature of the course, consisting team following the personal interest and the topic allow for connection subject, based on this, promote research capacity through a step-by-step evaluation and feedback and, fundamentally strengthen problem-solving skills through the journal studies, help not only solving the real-time problem by taking wiki-space but also efficient use of time, increase the quality of the thesis by activating cooperation through mentoring, as a result, it was to promote a positive partnership with the academic. Support system in three stages planning subject, progress & writing, writing thesis & presentation and based on cognitive apprenticeship. The ongoing Coaching and Reflection of professor and expert was applied in order to maintain these activities smoothly. The results of this study will introduce actively, voluntarily and substantially join to learners, by doing so, culture the enhancement of creativity, originality and the ability to co-work and by enhance the expertise of based-knowledge, it is considered to be help to improve the comprehensive ability.