• Communications of Mathematical Education
• /
• v.19 no.1 s.21
• /
• pp.271-290
• /
• 2005

오래 전부터 수학과의 연구는 학생들의 문제 해결력에 관하여 집중되어 온 것이 사실이다. 그럴 때마다 수학적 사고력에 관한 연구도 상당히 많은 부분이 있어 왔다. 본고에서는 학생들의 수학적 사고를 돕기 위한 방법으로 메타 인지를 강조함으로써 보다 까다로운 (비정형) 문제들의 문제 해결을 돕고자 하였다. 따라서 메타 인지를 유발하는 수업(소수 학습)을 통하여 학생들의 문제 해결력(정형 - 비정형)에서 유의미한 차이가 있는지를 알아보고, 궁극적으로는 메타 인지적 사고가 비정형 문제들을 해결하는 데 미치는 영향을 밝혀 수학 학습의 발전 방안을 찾고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.823-825
• /
• 2003

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.691-693
• /
• 2003

고 등급의 침입 탐지 시스템 평가를 받기 위해서는 반드시 정형적인 방법론을 적용하여 시스템을 설계하고 검증해야 한다. 그러나 침입 탐지 시스템의 설계에 적합한 정형기법을 선정하기는 매우 어렵다. 본 논문에서는 정형 기법의 일종인 모델 체킹 방법론을 침입 탐지 메커니즘의 설계에 적용하는 방법을 제안하고. 고 등급 침입 탐지 시스템의 개발에 사용할 수 있는 방향을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1078-1079
• /
• 2015

본 논문에서는 신호 시제 논리 명세를 통하여 민방위 경보음을 정형적으로 명세한다. 논리를 기반으로 한 정형 명세는 비정형 명세에 비하여 분명하고, 간결하며, 기계처리가 가능한 이점을 제공한다. 민방위 경보음에 대한 시간의 흐름에 따른 주파수의 변화를 그래프로 그린 후에 이를 신호시제 논리로 명세하고자 한다.

• Journal of Korean Foot and Ankle Society
• /
• v.23 no.1
• /
• pp.24-30
• /
• 2019

Purpose: To evaluate the efficiency of the electronic foot function index (eFFI) through a prospective, random based, multi-institutional study. Materials and Methods: The study included 227 patients ranging in age from 20 to 79 years, visited for surgery in different 15 institutes, and agreed to volunteer. The patients were assigned randomly into a paper-based evaluated group (n=113) and tablet-based evaluated group (n=114). The evaluation was done on the day of hospital admission and the method was changed on the second day of surgery and re-evaluated. PADAS 2.0 (https://www.proscore.kr) was used as an electronic evaluation program. Results: There were no differences in age and sex in both groups. The intraclass correlation coefficient (ICC) evaluation revealed an eFFI ICC of 0.924, showing that both results were similar. The evaluation time was shorter in the tablet-based group than the paper-based group (paper vs tablet, $3.7{\pm}3.8$ vs $2.3{\pm}1.3minutes$). Thirty-nine patients (17.2%) preferred to use paper and 131 patients (57.7%) preferred the tablet. Fifty-seven patients (25.1%) found both ways to be acceptable. Conclusion: eFFI through tablet devices appears to be more constant than the paper-based program. In addition, it required a shorter amount of time and the patients tended to prefer the tablet-based program. Overall, tablet and cloud system can be beneficial to a clinical study.

• Korea Science and Art Forum
• /
• v.37 no.2
• /
• pp.275-292
• /
• 2019

This study was initiated with the attention of demanding new and diverse approaches, we're talking familiar with imitations in the design process like a way to draw a image. So I studied a convergence of humanities and visual arts with the understanding and conceptual approach of the formless. The purpose of this study is to develop formless languages and to organize practical courses which are to enable deeper research and design expression on theoretical approaches and explanations of outcomes required before and after the process when we practice in connection with the formless. The method of this study is to draw detailed items from selected words through advanced researches, work and author researches and practice teaching. The results of the study I proposed the formless language that is related to the horizontality in spatial positioning system, and pulse in the separation of space and time, and entropy in structural orders of the system, and base materialism in the limitation of matter as the operating mechanism and parent item of formless. And those elements are related with shape, size, shading, color, texture, space, structure as visual elements of formative elements and those have various adjectival meanings as the subordinate concept. So I presented an education materials of basic design which is to enable understanding and expressing the formless language in the overall process of formless visual art(theoretical approach, practice course, presentation, etc.). Based on these study results, I hope that this educational materials will be used as educational contents that makes them express and understand different new beauties, and a role that reveals social identity, and a reference for research on a formless visual arts.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.2
• /
• pp.103-116
• /
• 2021

The use of 3-dimensional (3D) printing is becoming more common, and its use is increasing in the orthopedic surgery. Currently, there are four major methods of using 3D printing technology in orthopedic surgery. First, surgical planning simulation using 3D printing model; second, patient-specific surgical instruments; third, production of customized prosthesis using 3D printing technique; fourth, patient-specific prosthesis produced by 3D printing. The areas of orthopedic surgery where 3D printing technology can be used are shoulder joint, spine, hip and pelvis, knee joints, ankle joint, and tumors. Since the diseases and characteristics handled by each area are different, the method of using 3D printing technology is also slightly different in each area. However, using 3D printing technology in all areas can increase the efficiency of surgery, shorten the surgery time, and reduce radiation exposure intraoperatively. 3D printing technology can be of great help in treating patients with particularly complex and difficult orthopedic diseases or fractures. Therefore, the orthopedic surgeon should make the most of the benefits of the 3D printing technology so that patient can be treated effectively.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.42 no.1
• /
• pp.127-134
• /
• 2022

Recently, policies and research to prevent increasing construction accidents have been actively conducted in the domestic construction industry. In previous studies, the prediction model developed to prevent construction accidents mainly used only structured data, so various characteristics of construction sites are not sufficiently considered. Therefore, in this study, we developed a machine learning-based construction accident prediction model that enables the characteristics of construction sites to be considered sufficiently by using both structured and text-type unstructured data. In this study, 6,826 cases of construction accident data were collected from the Construction Safety Management Integrated Information (CSI) for machine learning. The Decision forest algorithm and the BERT language model were used to train structured and unstructured data respectively. As a result of analysis using both types of data, it was confirmed that the prediction accuracy was 95.41 %, which is improved by about 20 % compared to the case of using only structured data. Conclusively, the performance of the predictive model was effectively improved by using the unstructured data together, and construction accidents can be expected to be reduced through more accurate prediction.

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2001.11a
• /
• pp.63-64
• /
• 2001

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2001.11a
• /
• pp.65-75
• /
• 2001