• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.367-370
• /
• 2001

최근 다양한 어플리케이션과 전용 임베디드 시스템의 개발 필요성이 증가하고 있으며 이는 Smart Community를 추구하는 디지털 지식사회의 중요한 이슈가 되고 있다. 현재 상용화되고 있는 대부분의 실시간 임베디드 시스템들을 다양한 측면에서 자사의 제품 기준에 따르는 기술적 특징과 성능 지표를 제공하고 있으며 이를 통한 성능 품질 등의 판단 근거로 제시되고 있다. 그러나 각 자료들이 공인 기관에서 제공되지 않아 자료의 신뢰도가 낮으며 따라서 성능측정 및 품질척도로 비교하는데는 어려움이 있다 따라서 본 연구는 이러한 문제점을 착안하여 자바 카드 API의 품질 평가를 위해서 사전에 테스트를 거쳐 좀더 신뢰성과 안전성이 높은 자바 카드 애플릿을 개발하고자 한다. 이에 가장 중요한 부분 중에 하나인 에러체크를 통해 임의적으로 에러 처리 시나리오를 작성해서 그 시나리오를 거친 테스트 데이터를 생성한 후, 그 데이터를 가지고 API의 풀질 평가를 하고자 하는데 목적이 있다. 이에 본 논문에서는 테스트 데이터 생성 시나리오를 제안하였다. 단지 제안만 해 놓았기 때문에 향후 이 시나리오를 거친 테스트 데이터 생성을 연구하고자 한다. 또한, Verification을 위해 수학에 기초를 둔 정형 기법(Formal Method)을 이용하여 좀더 깊이 있고, 정확한 검증을 수행 하고자 한다.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.9 no.4
• /
• pp.111-118
• /
• 2013

Today, universities in Korea give a great effort to complement basic college scholastic ability of freshman. Maybe it could be unnecessary effort from university. However, we cannot just leave students who have poor academic performance about 10 to 30% in a university. Universities have to prepare to solve this problem. Thus government and universities investigate a lot of efforts but there is no guarantee. As a result, e-learning could be the best solution to complement poor academic performance of freshman and it also could be the best way to reduce financial burden of university. So, many universities introduce e-learning system and they also support professors to make e-learning content. We need to promote content usage and to improve overall operations. In this paper, we discuss poor academic performance problems under the current middle and high school education systems and review approaches to solve these problems. From this analysis, we propose the design of an effective e-learning system and a method of operation to complement students who achieve poor academic performance.

• Journal of Korean Society of Transportation
• /
• v.16 no.2
• /
• pp.133-144
• /
• 1998

양방향 2차로 도로는 우리나라 전체 포장도로 연자의 84%를 차지하고 있다. 양방향 2차로 도로의 효율성 및 교통류의 운영상태를 파악하기 위한 서비스 수준 척도로 지체시간의 백분율이 많이 사용되고 있다. 지체시간의 산정은 특정 도로 설계구간을 추원금지구간으로 설계할 것이지, 예산을 더 투자하여 선형을 개선함으로써 추원가능 구간으로 설계할 것인지에 대한 판단 기준을 제시할 수 있기 때문에 도로설계과정에 있어서 매우 중요하다. 본 연구에서는 저속차량의 확률적 분포를 고려하여 추원금지구간에서 발생하는 지체시간을 산정할 수 있는 모형을 제시하였다. 모형식이 기존에 확률적 분포를 고려하여 추월금지구간에서 발생하는 지체시간을 산정할 수 있는 모형을 제시하였다. 모형식이 기존에 개발된 거시적 수학적 모형에 비해 비교적 단순하고 입력변수도 수집이 용이한 점이 특징이라 할 수 있다. 모형의 신뢰성을 현장데이터를 이용하여 검증한 결과, 모혀으이 예측값이 근사적으로 츠덩한 실제 지체시간을 포함하는 긍정적인 결과를 도출하였다. 그러나 모형의 예측값 범위가 넓어 실용적인 MOE로 사용하기에 다소 무리가 있을 것으로 판단되므로, 개략적인 평가기준으로 모형이 예측한 값의 평균값을 보정하여 사용할 것을 제안한다. 모형의 신뢰성을 높이기 위해서는 본 연구에서 가정한 확률분포식에 대한 추가적인 검증이 필요할 것으로 판단된다. 본 연구는 실제 상황을 표현하는데 있어 확률적 개념의 도입과 이러한 새로운 접근방법의 기초를 마련한 측면에서 의미를 갖는다. 또한, 양방향 2차로 도로에서의 지체시간은 실제 소요시간과 자유운행시 즉 다른 차량의 영향을 받지 않았을 때의 속도 및 운영시간과의 차이로 정의한 바, 실제 지체시간을 현장자료를 통해 구하기란 현실적으로 불가능하므로, 본 연구에서는 이러한 제약점을 극복할 수 있는 근사적인 지체시간을 계산하는 방법을 제시한 점에서 의미를 갖을 수 있다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.5
• /
• pp.1044-1051
• /
• 1989

A numerical calculation is carried out for the analysis of 3-dimensional compressible flow field in axial-flow rotating blades by using finite element method. The calculation of flow in impellers plays a dominant role in the theoretical research and design of turbomachines. Three-dimensional flow fields can be obtained by the quasi-three-dimensional iterative calculation of the flows both on blade-to-blade stream surfaces and hub-to-shroud stream surfaces with the introduction of viscous loss model in order to consider a loss due to viscosity of fluid. In devising the loss model, four primary sources of losses were identified: (1) blade profile loss (2) end wall loss (3) secondary flow loss (4) tip-leakage loss. For the consideration of an axially parabolic distribution of loss, the results of present calcullation are well agreed with the results by experiment, thus the introduction of loss model is proved to be valid.

• Journal of Advanced Navigation Technology
• /
• v.17 no.6
• /
• pp.652-657
• /
• 2013

In this paper the design methode of a separated composition state machine based on the compositive map with two chaotic maps together and the result of that is proposed. The digital circuits of chaotic composition map for the use of chaotic binary stream generator are designed in this work. The discretized truth table of chaotic composition function which is composed of two chaotic functions - the saw tooth function and skewed logistic function - is made out, and also simplefied Boolean algebras of digital circuits are obtained as a mathematical model. Consequently, the digital circuits of the map for chaotic composition function are presented in this paper.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2008.11a
• /
• pp.199-202
• /
• 2008

This paper presents a mathematical-physical model to predict the performance of a gas pusher used as a separation system powered by a gas generator. The empirical coefficients of heat loss and friction were determined from experiments. Based on the grain configuration of the gas generator, the analytical approach of combustion, flow and movement of a piston inside the chamber of a gas generator and a gas pusher was simulated by numerical method. The prediction method developed can be usefully applied to the design of separation mechanism systems.

• Journal of Practical Engineering Education
• /
• v.10 no.1
• /
• pp.35-39
• /
• 2018

More and more universities are enforcing SW education for non-major undergraduates. However, they are experiencing difficulties in educating non-major students to understand computational thinking processes. In this paper, we did not use the mathematical operation problem to solve this problem. And we proposed a basic problem-solving process teaching method based on computational thinking using simple physical devices. In the proposed educational method, we teach a LED circuit using an Arduino board as an example. And it explains the problem-solving process with computational thinking. Through this, students learn core computational thinking processes such as abstraction, problem decomposition, pattern recognition and algorithms. By applying the proposed methodology, students can gain the concept and necessity of computational thinking processes without difficulty in understanding and analyzing the given problem.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.207-208
• /
• 2019

제3차 영재교육진흥종합계획을 통하여 소외계층을 대상으로 한 영재교육의 활성화가 진행되었다. 이에 따라 전체 학생 중에서 영재교육의 대상자 수의 비율도 증가하였으며, 영재교육 대상자 중 소외계층의 비율도 증가하였다. 일반 영재학생과 다르게 소외계층 영재 학생은 경제적, 문화적, 지리적 어려움을 겪고 있으므로 다각적인 지원이 필요하다. 하지만 선행 연구에서는 소외계층의 중학생을 대상으로 한 교육 프로그램 개발연구가 부족한 것으로 나타났다. 따라서 본 연구에서는 소외계층 중학생을 위한 온라인 교육 프로그램을 개발하였다. 교육 프로그램은 총 20차시이며, 2015 개정 교육과정의 과학, 수학, 정보 교과의 교육 내용을 기반으로 주제를 추출하였다. 추출한 주제를 기반으로 기초-심화로 이루어진 온라인 교육 콘텐츠를 개발하였으며, 교과별 역량 개발을 위하여 탐구 과제를 구성하였다. 향후 연구에서는 본 연구에서 개발한 교육 프로그램을 소외계층 학생을 대상으로 운영하고, 프로그램의 만족도와 개선 방향을 도출하고자 한다. 또한, 교육 프로그램의 교육적 효과를 알아보기 위하여 사전, 사후 검사를 통하여 학생들의 변화를 관찰하고자 한다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.12 no.3
• /
• pp.257-264
• /
• 2019

Recently, ITU-T recommends that FlexE, which allows the flexible configuration of Ethernet signals, be received by OTN for transparent transmission through OTN. To compensate for the difference in bit rate that can occur when mapping FlexE signals to OTN payload, an idle codeword is removed or inserted. However, the detailed functional blocks required to implement this method are not yet available. In this paper, based on the recent ITU-T requirements, a detailed functional block for OTN mapping of FlexE signals is proposed based on 400G class. In addition, based on the detailed functional blocks, mathematical analysis was performed to obtain the characteristics of removing and inserting idle code words, and the simulation results are shown.

• KEPCO Journal on Electric Power and Energy
• /
• v.4 no.2
• /
• pp.55-61
• /
• 2018

본 연구는 시각 동기 위상 측정 정보를 이용하여 전력계통에 나타나는 여러 가지 동요 현상을 검출하기 위한 기초 연구로써, 시계열 데이터 분석 분야로 분류된다. 제시한 방법은 비선형 동특성에 해석 기반으로 접근하여 전력계통에 나타날 수 있는 여러 동요 현상을 범용적으로 검출해 낼 수 있다. 비선형 동요 현상의 신호적 패턴을 수학적으로 기본 순시치 파형으로부터 피크치 샘플링을 통해 전개하여 계통 요소간 간섭으로 인한 원하지 않는 진동 모드를 검출하고자 한다. 계통의 변화로 진동 모드가 나타날 때, 2차원 평면에 실효치로 환산한 시계열 전압 데이터와 선형화된 플로퀘트 상수(Floquet multiplier)를 맵핑하여 도시하고, 정상상태 지점으로부터 거리를 계산하여 최대 리아프노프 지수 계산을 통해 계통이 불안정하게 되는 시간을 시계열 데이터 분석으로 추정하는 것이 본 방법의 핵심이다. 이러한 접근으로 제시한 비선형 동요 검출 알고리즘을 적용하여 디지털 필터 적용 또는 주파수 영역 해석과 같은 오프라인 Study와 달리 온라인으로 신속하게 계통의 현재 상태를 알 수 있게 된다.