• 정보교육학회논문지
• /
• 제26권4호
• /
• pp.285-293
• /
• 2022

예상보다 길어진 코로나19 사태는 학생들의 수학 교과 기초학력에 적지 않은 손상을 끼쳤다. 본 논문에서는 학생들의 기초 곱셈 연산 능력 개선에 도움을 줄 수 있는 곱셈구구 연습 애플리케이션을 클라우드에 기반하여 개발하였으며, 학생 개별 맞춤형 지도를 위해 데이터 시각화 기술을 접목시켜 교사의 피드백을 돕고자 하였다. 구글에서 개발한 Flutter framework, Google Cloud, Google Sheets를 통합적으로 활용하여 애플리케이션의 성능을 높였다. K광역시 소재 초등학교 6학년 72명의 학생들이 본 애플리케이션을 일주일간 곱셈구구 활동에 활용한 결과, 학생들의 곱셈구구 소요 시간이 초기에 비해 28%이상 감소한 가운데, 학생들의 학습 데이터가 오류없이 정교하게 수집된 것을 확인할 수 있었다. 본 연구에서 Flutter framework를 통해 진행한 개발 사례가 다른 교육용 학습 애플리케이션 개발로 이어질 수 있기를 희망한다.

• Nuclear Engineering and Technology
• /
• 제10권3호
• /
• pp.153-163
• /
• 1978

부지주변 환경과 관련한 방사성 고체 폐기물의 지중처분 문제는, 비록 안전하고 경제적이라 할지라도, 대단히 중요하다. 지중처분을 위한 방사성 핵중(Sr-90, Cs-137)의 이동과 물의 이동에 관한 연구가 실험실과 야외에서 수행되었다. 방사성 핵종에 대한 토양의 친화력은 알칼리성 용액에서 더 강하고, 흡착은 시간에 대한 함수관계가 있음을 나타내었다. 방사성스트론티움과 세시움의 이동율은 3.73$\times$$10^{-3}$-10.9$\times$$^{-3}$cm/day로서, 물의 이동 속도 보다 훨씬 낮은 값을 나타내었으며, 이것은 아마도 높은 이온이온교환능에 기인되는 것이다. 확산에 기초를 둔 수학적인 모형에 의거 얻은 값과 측정 트리티움의 분포가 비교되었다. 지하에서의 물의 이동 현상을 규명하는데 삼중수를 추적자료로 이용할 수 있음을 암시하고 있다.

• 정보교육학회논문지
• /
• 제26권5호
• /
• pp.307-315
• /
• 2022

본 연구의 목적은 예비 초등교사를 대상으로 확장현실(extended reality)의 기초 소양 강화를 위해 관련 기술들의 기본 개념을 이해시키고 교육용 콘텐츠를 제작하는 기본기를 갖출 수 있는 교육 프로그램을 설계하고 적용하는 것이며, 교육을 통해 습득한 지식을 실제 교육 현장에 적용해 볼 수 있는 기회를 제공하는 것이다. 이를 위해, 국내의 한 초등교원 양성대학에 재학 중인 다양한 전공의 학부생 12명을 연구대상자로 선정하고 6주에 걸쳐서 총 6회 동안 가상현실, 증강현실, 혼합현실의 기본적인 개념 및 콘텐츠의 제작 과정을 습득하기 위한 연수에 참여하도록 하였다. 연수 프로그램이 종료된 후에는 해당 교육을 통해 습득한 지식을 기반으로 초등 교육에 활용하기 위한 수업 콘텐츠를 직접 기획하고 제작하여 6학년 학생 22명을 대상으로 시범 수업을 시행하도록 하였으며 설문 조사를 실시하였다. 향후 연구의 개선을 위해서는 1) 교육 장비들의 확충 및 2) 단기간의 집중 연수 방식을 고려해야 하고, 3) 텍스트 프로그래밍의 선제 교육 및 4) 설문 조사 방식의 개선이 필요한 것으로 분석되었다.

• 산업경영시스템학회지
• /
• 제45권4호
• /
• pp.109-117
• /
• 2022

Most of real-world decision-making processes are used to optimize problems with many objectives of conflicting. Since the betterment of some objectives requires the sacrifice of other objectives, different objectives may not be optimized simultaneously. Consequently, Pareto solution can be considered as candidates of a solution with respect to a multi-objective optimization (MOP). Such problem involves two main procedures: finding Pareto solutions and choosing one solution among them. So-called multi-objective genetic algorithms have been proved to be effective for finding many Pareto solutions. In this study, we suggest a fitness evaluation method based on the achievement level up to the target value to improve the solution search performance by the multi-objective genetic algorithm. Using numerical examples and benchmark problems, we compare the proposed method, which considers the achievement level, with conventional Pareto ranking methods. Based on the comparison, it is verified that the proposed method can generate a highly convergent and diverse solution set. Most of the existing multi-objective genetic algorithms mainly focus on finding solutions, however the ultimate aim of MOP is not to find the entire set of Pareto solutions, but to choose one solution among many obtained solutions. We further propose an interactive decision-making process based on a visualized trade-off analysis that incorporates the satisfaction of the decision maker. The findings of the study will serve as a reference to build a multi-objective decision-making support system.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.211-222
• /
• 2023

다변수 이차식 기반 암호알고리즘은 양자컴퓨터에 안전하다고 믿어지는 수학적 난제에 기반을 둔 공개키 암호알고리즘 중의 하나로 현재 사용하고 있는 공개키 암호를 대체할 수 있는 양자내성암호 중의 하나이다. NIST 양자내성암호 공모 3라운드 최종 후보 알고리즘으로 선정되었던 다변수 이차식 기반 전자서명 알고리즘 Rainbow의 다중레이어를 사용하는 구조에 대한 진화된 공격이 대두된 후에 단일 레이어를 이용하는 UOV의 구조에 관심이 집중되고 있다. 본 논문에서는 단일 레이어를 갖는 UOV 구조를 유지하면서 일차식의 특별한 구조, 희소다항식, 랜덤다항식의 다양한 조합을 통해 비밀키의 길이를 대폭 줄이고, 블록 부분 행렬의 역행렬을 이용하여 선형 시스템의 해를 구하는 방법을 적용한 효율적인 다변수 이차식 기반 전자서명 알고리즘을 제안한다. 제안한 전자서명의 안전성 분석을 통해 안전한 파라미터를 설정하고 각 파라미터에서의 키길이와 서명 길이를 비교 분석한다. 제안한 다변수 이차식 기반 전자서명 알고리즘은 서명의 길이가 양자내성 전자서명 중 가장 짧고, 기존 다변수 이차식 기반 전자서명에 비해 비밀키 길이가 최대 97%의 축소 효과를 가진다.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.183-191
• /
• 2023

암호 알고리즘은 많은 연산 자원을 요구하며 복잡한 수학적 원리를 통해 보안성을 가진다. 하지만 대부분의 사물인터넷 기기는 가용 자원이 한정적이며 그에 따라 연산 성능이 부족하다. 따라서 연산량을 적게 사용하는 경량암호가 등장하였다. 미국 국립표준기술연구소는 경량암호 표준화 공모전을 개최하여 경량암호의 원활한 보급을 꾀했다. 공모전의 알고리즘 중 하나인 TinyJAMBU는 순열 기반의 알고리즘이다. TinyJAMBU는 키 스케줄을 거치지 않는 대신 많은 순열 연산을 반복하며, 이때 시프트 연산이 주로 사용된다. 본 논문에서는 8-bit AVR 프로세서상에서 경량암호 TinyJAMBU를 고속 최적 구현하였다. 제안 기법은 시프트 연산을 반대 방향으로 하여 시프트 횟수를 최소화한 리버스 시프트 기법과 키와 논스가 고정인 환경에서 일부 연산을 사전 연산한 기법이다. 제안 기법은 순열연산에서 최대 7.03배, TinyJAMBU 알고리즘에 적용 시 최대 5.87배 성능 향상을 보였다. 키와 논스가 고정인 환경에서는 TinyJAMBU의 알고리즘이 최대 9.19배만큼 성능이 향상되었다.

• 디지털융복합연구
• /
• 제20권1호
• /
• pp.1-13
• /
• 2022

본 연구에서는 미세먼지에 대한 신문 기사의 시대별, 신문사별 특징을 살펴보고 있다. 이를 위하여 빅카인즈에서 1995년 이후 주요 신문사들의 관련 기사를 추출하였고 텍스트마이닝, 감성분석, 회귀분석을 활용하였다. 그 결과, 2010년 이전에는 대기오염도 측정 단어나 국내 오염원 관련 단어가 많이 등장했으나 2010년대에 들어서면서 "중국"이 큰 빈도로 나타났으며 정책적 대응, 미세먼지가 건강에 미치는 영향, 관련 제품에 대한 광고·홍보, 국내 오염원에 관한 기사까지 다양한 주제의 기사가 등장했다. 중앙일보, 한겨레, 경향신문은 상대적으로 정부의 정책이나 규제와 관련된 기사가 많은 반면, 대부분의 지역지에서는 지역 자체의 배출원 및 저감대책에 관한 기사가 많았다. 본 연구 결과는 미세먼지 관련 언론보도의 추이를 살필 수 있는 기초 자료로 활용될 수 있으리라 기대한다. 향후 포스트코로나 시대의 국내 미세먼지의 상황과 관련 기사의 트렌드를 추가적으로 비교, 검토할 수 있을 것이다.

• 천문학회보
• /
• 제46권1호
• /
• pp.39.2-40
• /
• 2021

본 연구는 《숭전역서》 혹은 《서양신법역서》 이후, 하국종(何國宗, ? -1767)과 매각성(梅殼成, 1681-1764) 등에 의해 기술된 《역상고성》 상하편에 실린 <일전역리>, <일전역법>, <일전표>를 바탕으로 태양의 운동을 자세히 살펴보았다. 《숭전역서》 <일전역리>에서는 티코브라헤의 혼합모형을 기반에 두었지만 태양의 운동은 톨레미(Ptolemy)의 이심모델(Eccentric model)과 차이가 없다. 그러나 <일전표>에 수록된 가감차의 값은 이퀀트모델(Equant model)을 기초로 한 것이었다. 《신법산서》 <일전표>에는 이 모델에 의한 계산법을 소개하고 있으나 계산의 오류를 범하였다. 태양 실측과의 어긋남, 태양의 운동을 기술하는 여러 상수들이 다시 얻어짐에 따라 《역상고성》 상하편의 <일전역리>에서는 코페르니쿠스 모델을 기초로 한 본륜-균륜 모델을 채택하고 있다. 이 모델을 기초로 한 가감차 계산 과정에 조금의 수학적 오류가 있지만 계산 결과에는 영향을 미치지 않았다. 그리고 <일전표>에 제시된 가감차값은 바로 이 모델을 기반으로 한 값들이다. <일전역법>에 제시된 동지 이후 태양의 실제 경도를 구하는 방법이 매우 구체적이다. 이 방법은 이후 《역상고성후편》의 <일전역법>도 그대로 따르고 있는데 다만 《역상고성후편》의 <일전역리>는 케플러의 타원모델을 채택하고 있다. 태양의 황경을 구하는 현재의 방법과 비교해보면 《역상고성》 <일전역법>에서는 그 기준이 동지이고 현재의 방법은 춘분점이라는 것만 다를 뿐이고, 방법은 동일하다. 다만 필요한 상수 값들이 시간에 따라 아주 느리게 변하기에 이 값들의 보정이 필요할 뿐이다. 이 방법은 조선에서 집필된 《세초류휘》, 《시헌기요》, 《추보속해》, 《추보첩례》에도 사용한 모델과 상수들은 다르지만 동일한 방법을 요약하고 있다.

• Korean Chemical Engineering Research
• /
• 제61권3호
• /
• pp.446-455
• /
• 2023

공기부양반응기(airlift reactor) 내의 액체순환속도(liquid circulation velocity)를 예측하기 위한 수학적 모형이 유체순환고리(fluid circulation loop)에 대한 기계적 에너지 수지를 기초로 개발되었다. 그 모형은 90° 방향전환으로 인한 에너지 손실과 반응기의 각 부위에서의 마찰로 인한 에너지 손실 그리고 단면적의 변화로 인한 에너지 손실을 모두 고려하였다. 마찰과 방향전환 그리고 단면적 변화에 의한 손실계수를 각각 고려한 모형이 집중매개변수(lumped parameter)를 사용한 기존의 모형보다 액체순환속도를 더 잘 예측할 수 있었다. 순환액체속도는 추적자펄스방법(tracer pulse method)으로 측정하였다. 개발된 모형은 상하부에 연결관(connecting pipe)을 갖는 외부순환 공기부양반응기에서 얻은 본 연구의 실험 결과의 대부분은 물론이고 다양한 형태의 공기부양반응기에서 얻어진 다른 연구자들의 결과도 ±20%이내의 오차로 잘 예측할 수 있었다. 외부 및 내부순환 공기부양반응기에서 순환유체의 90° 방향전환과 관련된 손실계수에 대한 유용한 실험식을 구하여 액체순환속도를 예측하는 데 사용하였다.

• Composites Research
• /
• 제36권3호
• /
• pp.141-153
• /
• 2023

본 리뷰 논문에서는 일반 접촉 역학 이론과 더불어 유기탄성체 마찰에 관한 이론 및 배경을 소개한다. 특히 Greenwood & Williamson 접촉 역학 이론을 확장하여 거친 표면을 자기-아핀(self-affine) 특성으로 고려한 접촉 역학 및 마찰의 수학적 모델을 제시한 Klüppel & Heinrich 이론을 중심으로 유기탄성체 복합재료의 마찰 거동에 대해 살펴본다. 자기-아핀 특성에 의한 노면의 멀티스케일 거칠기로 인해 미끄러짐 마찰 시 유기탄성체 복합재료는 다양한 주파수에 따른 동적 변형이 가해지며 이때 재료가 나타내는 점탄성이 마찰 거동에 주요한 영향을 미친다. 따라서 유기탄성체 복합재료의 비선형 점탄성을 고려하여 광범위한 주파수 영역에서의 점탄성 거동인 마스터커브를 구축하는 원리 및 방법을 제시하였다. 마지막으로 유기탄성체 복합재료 마찰 이론을 타이어 트레드 컴파운드와 노면 간의 마찰에 응용한 실험적 결과와 그 물리적 의미를 이론과 접목하여 설명하였다.