• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.674-677
• /
• 2009

반도체 기술에 발달로 SoC, MPSoC와 같은 기술이 주목을 받고 있다. 이와 함께 soft error의 증가, 설계복잡도와 같은 문제점이 나타나고 있다. 본 논문은 FT_ARM(Fault Tolerant ARM)을 설계하여, soft error에 대응 하고자한다. 또한 오류주입 시뮬레이션을 통해 설계한 FT_ARM의 성능을 비교한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.147-147
• /
• 2022

본 연구의 목적은 소형 어선에서 항해사로 인해 발생하는 인적오류에 의해서 야기될 수 있는 선박 충돌사고를 예방하여 항행안전을 도모함에 있다. 이를 위해 2005년부터 2020년까지 총 16년의 해양사고재결서를 수집하여 주제어, 사고 관련 법규, 사고위치, 사고일시 등 사고 관련 내용을 분류하였다. 분류한 내용을 기반으로 원인판단 주제어와 사고 요인들과의 상관관계를 분석하였다. 그 결과 경계소흘은 충돌 원인의 대부분을 차지하였고, 경계소홀의 원인은 무리한 조업으로 인한 피로 누적과 졸음이 상당수를 차지하였다. 이는 소형 어선의 선박 충돌사고를 예방하기 위해서는 경계소흘에 대한 대응방안이 필요하다는 것이고, 기술 개발에 따른 자동화 등의 방법을 통해 소형 선박 충돌사고 예방 연구가 적용되어야 한다. 추후에는 소형 어선의 작업 특성을 분석하겠으며, 실제 충돌사고 예방에 기여할 수 있는 연구를 수행할 예정이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.801-802
• /
• 2023

시큐어 코딩은 해킹 등 사이버 공격의 원인인 보안 취약점을 제거해 안전한 소프트웨어를 개발하는 SW 개발 기법을 의미한다. 개발자의 실수나 논리적 오류로 인해 발생할 수 있는 문제점을 사전에 차단하여 대응하고자 하는 것이다. 그러나 현재 시큐어 코딩에는 오탐과 미탐의 문제가 발생한다는 단점이 있다. 따라서 본 논문에서는 오탐과 미탐이 발생하는 단점을 해결하고자 머신러닝 알고리즘을 활용하여 AI 기반으로 개발자의 실수나 논리적 오류를 탐지하는 시큐어 코딩 도구를 만들고자 한다. 다양한 모델을 사용하여 보안 취약점을 모아놓은 Juliet Test Suite를 전처리하여 학습시켰고, 정확도를 높이기 위한 과정 중에 있다. 향후 연구를 통해 정확도를 높여 정확한 시큐어 코딩 점검 도구를 개발할 수 있을 것이다.

• Journal of the Korean Chemical Society
• /
• v.55 no.3
• /
• pp.509-518
• /
• 2011

In this study, we investigated the effects of analogy-generating in small group in elementary science-gifted education upon the types and the mapping errors of student-generated analogies, and the perceptions of the instruction. Fifth graders (N=37) at two science-gifted classes in two elementary schools were selected and assigned to individualistic analogygenerating (IA, n=19) and pair analogy-generating (PA, n=18) groups. After the students of each group performed the experiment and were taught about 'saturated solution' concept in the first class, they administered the test on the self-generating analogies on the concept in the second class. The students in the PA group also administered the test on perceptions of analogy-generating in small group and some of them were interviewed deeply. The results revealed that the students in the PA group made more verbal/pictorial, structural/functional, enriched, and higher systematic analogies than those in the IA group. However, there were little difference between the two groups in the subcategories of artificiality (artificial and everyday) and abstraction (abstract and concrete). The students in the PA group fewer mapping errors than those in the IA group. Many students in PA group perceived the analogy-generating in small group positively upon various cognitive and motivational aspects. However, they also pointed a few disadvantages of the activity. Educational implications of these findings are discussed.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.1
• /
• pp.123-148
• /
• 2014

The purpose of this study is to figure out the perceptional characteristics of mathematically gifted elementary students by comparing the mathematical reasoning ability and errors between mathematically gifted elementary students and non-gifted students. This research has been targeted at 63 gifted students from 5 elementary schools and 63 non-gifted students from 4 elementary schools. The result of this research is as follows. First, mathematically gifted elementary students have higher inductive reasoning ability compared to non-gifted students. Mathematically gifted elementary students collected proper, accurate, systematic data. Second, mathematically gifted elementary students have higher inductive analogical ability compared to non-gifted students. Mathematically gifted elementary students figure out structural similarity and background better than non-gifted students. Third, mathematically gifted elementary students have higher deductive reasoning ability compared to non-gifted students. Zero error ratio was significantly low for both mathematically gifted elementary students and non-gifted students in deductive reasoning, however, mathematically gifted elementary students presented more general and appropriate data compared to non-gifted students and less reasoning step was achieved. Also, thinking process was well delivered compared to non-gifted students. Fourth, mathematically gifted elementary students committed fewer errors in comparison with non-gifted students. Both mathematically gifted elementary students and non-gifted students made the most mistakes in solving process, however, the number of the errors was less in mathematically gifted elementary students.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.178-181
• /
• 2002

본 논문에서는 서명의 동적 특징에 기반한 구간 분할과 3단계 정합을 특징으로 하는 온라인서명 인증 시스템을 제안한다. 온라인 서명 인증을 위해 구간 분할에 이은 구간별 정합이 널리 연구, 적용되어왔다. 그러나 기존의 구간 분할법은 정적 특징인 서명의 모양에 기반하므로 모조의 단서를 제공하는 위험이 있었다. 제안한 방법은 전자 펜의 속도나 가속도 등과 같은 동적 특징을 기반으로 구간 분할을 수행하므로써 모조가 어렵게 하였다. 분할된 구간들은 모델 서명의 구간들과 보강된 동적 프로그래밍(DP) 기법으로 대응 구간들을 찾도록 하였으며, 이 과정에서 정적 특징량을 제한 조건으로 사용하므로써 안정되게 대응 구간을 추출하였다. 또한 서명 특징들에 가중치를 부여하고, 정합 단계를 세 단계로 분리하므로써 상충 관계에 있는 Type Ⅰ과 Ⅱ오류를 최소화하였다. 실험은 온라인 서명 특징들간의 비교 분석을 통해 그들의 가중치를 결정하는 근거를 보이고, 동적 특징에 기반한 구간 분할의 유효성을 보였다.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.1
• /
• pp.177-182
• /
• 2004

In sonar sensor design impedance matching design to each sensor affects the whole weighting circuit characteristic very much. But there are many examples that it is made by hands or very simple modeling designs. So these design works make trial and error because it is the limitation of flexible correspondence to the many sensors and follows many errors. This study explains organizations and skills in the sensor modeling package design program with real sonar sensor characteristic measure as the first step in impedance matching design.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.341-344
• /
• 2000

소나 센서부 설계 시 개별 센서에 대한 정합회로의 선계는 전체 가중회로의 특성에 매우 큰 영향을 미친다. 피러나 많은 경우 정합회로를 설계하는데 있어서 경험에 의한 수작업으로 수행하거나 매우 간단한 모델을 설정하여 그것을 바탕으로 설계하는 예가 많다. 다양한 센서에 대해서 유연하게 대응하는데 한계를 갖고 있고 또 많은 오류를 동반하기 때문에 정합회로 설계에 많은 시행착오를 초래한다. 본 연구에서는 다양한 센서에 유연하게 대응하는 정합회로 설계 도구를 구성하는 첫 단계로써 실제 소나 센서의 특성 측정 및 그를 바탕으로 한 소자 모델링을 일괄 작업화 한 선계 프로그램을 구성하여, 그 구성과 기능에 대해서 선명하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.491-496
• /
• 2000

웹상의 자바 애플릿은 클라이언트의 웹 브라우저에 다운로드 되어서 브라우저 내부에 있는 자바가상기계(JVM : Java Virtual Machine)내에서 실행된다. 각 자바가상기계에는 실행 전에 바이트 코드 검증기와 바이트 코드 인터프리터를 통하여 오류문법을 점검한다. 애플릿을 이용한 잠재적인 공격형태는 시스템 수정, 개인정보의 침해, 서비스 거부공격, 강한 거부감을 느끼게 하는 공격이 있다. 이러한 유해한 애플릿의 공격에 대응하기 위한 방법으로 코드분석, 행위분석, 위치정보등을 이용한 보안기법이 제시되었지만 효율적인 대응을 하지 못하고 있다. 이 논문에서는 자바의 특성을 이용하여 자바클래스 내부의 바이트 코드 수정을 통한 애플릿 보안기술에 대해 기술한다. 유해한 행동이 예상되는 애플릿의 클래스에 대하여 바이트 코드 수정을 통하여 안전한 클래스로 대체함으로서 유해 애플릿 공격으로부터 시스템을 보호한다. 이를 수행하기 위해 프록시 서버를 두어서 웹브라우저의 요구를 수용하고, 이를 웹 서버에게 Safe클래스로 수정하여 요구하며, 그에 대한 응답도 처리한 후 애플릿에게 보여준다. 이는 런타임때 수행되며 웹브라우저, 서버, 클라이언트의 수정없이 프록시 서버의 개입으로 이루어진다.

• Review of KIISC
• /
• v.30 no.6
• /
• pp.67-81
• /
• 2020

CHES는 암호 알고리즘의 하드웨어/소프트웨어 구현의 설계 및 분석에 대한 다양한 성과가 발표되는 부채널 분석 분야 최대 규모의 보안 컨퍼런스이다. 본 기고는 CHES 컨퍼런스에 발표된 논문들에 대하여 부채널 공격 관점, 부채널 대응 및 구현 관점, CHES에서 주제로 다루는 암호 알고리즘의 추이 관점으로 구분하여 동향을 분석한다. 이를 위하여 오류주입 공격, 머신러닝 기반 부채널 공격, 캐시공격, 부채널 누출 검증 방법론과 부채널 역공학 기술 등 다양한 부채널 공격을 소개하고 최신 논문 주제의 흐름에 대하여 논의한다. 또한, 소프트웨어 고차 마스킹과 하드웨어 TI, PUF/난수 발생기 등의 부채널 대응기술 및 구현 동향을 분석하며, CHES에 발표된 논문들이 주제로 다루는 대칭키, 공개키 암호 및 화이트박스 암호 추이를 분석한다. 이러한 CHES 컨퍼런스의 주제별 연구 동향 분석 결과는 부채널 분석 연구자에게 유용한 정보를 제공하고 향후 연구 방향에 대한 중요한 지표가 될 수 있을 것이다.