• 한국수학교육학회지시리즈A:수학교육
• /
• 제63권3호
• /
• pp.549-571
• /
• 2024

디지털·AI 기반 교수·학습이 강조됨에 따라 생성형 AI의 교육적 활용에 대한 논의가 활발해지고 있다. 본 연구는 고등학교 1학년 수학 교과서 5종의 예제와 문제 풀이에 대한 ChatGPT 4, Claude 3 Opus, Gemini Advanced의 수학적 성능을 분석하였다. 총 1,317개 문항에 대해 전체 정답률과 기능별 특징을 살펴본 결과, ChatGPT 4의 전체 정답률이 0.85로 가장 높았고, Claude 3 Opus가 0.67, Gemini Advanced가 0.42 순으로 나타났다. 기능별로는 함수 구하기와 증명하기에서 세 모델 모두 높은 정답률을 보였으나, 설명하기와 그래프 그리기에서는 상대적으로 낮은 정답률을 보였다. 특히 경우의 수 세기에서 ChatGPT 4와 Claude 3 Opus가 1.00의 정답률을 보인 반면, Gemini Advanced는 0.56으로 낮았다. 또한 모든 모델이 벤 다이어그램을 이용한 설명하기와 이미지 생성이 필요한 문제에서 어려움을 겪었다. 연구 결과를 바탕으로 교사들은 각 AI 모델의 강점과 한계를 파악하고 이를 수업에 적절히 활용할 수 있을 것이다. 본 연구는 생성형 AI의 수학적 성능을 분석함으로써, 실제 수학 수업에서의 생성형 AI의 활용 가능성을 제시했다는 점에서 의의가 있다. 또한 인공지능시대의 수학 교육에서 교사의 역할을 재정립하는 데 중요한 시사점을 제공하였다. 향후 생성형 AI와 교사의 협력적 교육 모델 개발, AI를 활용한 개별화 학습 방안 연구 등이 필요할 것이다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1991년도 학술발표논문집
• /
• pp.58-71
• /
• 1991

본 논문에서는 RSA 암호시스팀의 안전한 암호화, 복호화키의 생성에 관하여 연구하였다. 공개키 암호시스팀인 RSA 암호시스팀은 일반적으로 암호화, 복호화에 요구되는 계산시간과, 안전한 키 생성문제가 중요한 해결과제이다. 안전한 키는 소인수분해 공격에 강한 조건을 만족하는 것이다. 따라서 본 논문에서는 (P$\pm$1) 소인수분해 공격에 강한 조건을 만족하면서, 키 생성시 필요한 $10^{75}$정도의 소수를 예비 소수판정과 소수판정 알고리듬을 사용하여 소수가 아닐 확률이 $10^{-8}$이하가 되도록 하였다. 그리고 생성된 키가 정확함을 입증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.439-441
• /
• 2000

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.181-183
• /
• 2002

데이터베이스 개발에 있어서 다른 도구에 의한 다양한 스키마의 생성은 데이터베이스간의 통합을 어렵게 만들고 있다. 이러한 이질적 문제를 해결하고자 메타데이터 레지스트리를 이용한 방안이 활발히 연구되고 있다. 메타데이터 레지스트리(Metadata Registry)는 공유와 전달 목적으로 한 메타데이터를 표준화시킨 것이다. 이는 정보 통합 측면에 대하여 로컬 스키마를 공유화된 메타데이터를 가지고 생성함으로써 글로벌 스키마로의 통합이 가능하다. 따라서 이러한 메타데이터를 기반으로 하여 공유할 수 있는 로컬스키마의 작성 기법이 필요하다. 본 논문에서 메타데이터 레지스트리를 이용하여 XML 스키마를 생성하는 방안을 제안한다. 메타데이터를 XML 스키마로 변환하는 규칙을 제시하고 이를 기반으로 한 XML 스키마 생성 시스템을 설계하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.996-998
• /
• 2009

접미사 트리는 주어진 하나의 문자열의 모든 접미사를 표현하는 트리로, 문자열 처리, 압축 등 다양한 분야에서 활용된다. 접미사 트리는 문자열 집합에 대한 자료구조로 확장될 수 있는데, 이를 일반화된 접미사 트리라 부른다. 본 논문에서는 일반화된 접미사 트리를 동반적이면서 온라인으로 생성하는 문제를 다룬다. 기존의 생성 알고리즘은 정방향의 문자열이 아닌 역방향의 문자열들에 대한 일반화된 접미사 트리를 생성하여, 부자연스럽다. 본 논문에서는 정방향 문자열들의 일반화된 접미사 트리를 동반적이면서 온라인으로 생성하는 알고리즘을 제시한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.43-49
• /
• 1995

대부분 자연 언어 이해 시스템이나 중간 언어 방식을 이용한 기계 번역 시스템에서 자연 언어 문장을 이해하고 번역하기 위해서는 대량의 지식을 이용한 의미 구조의 생성이 요구된다. 따라서 개념 그래프를 이용하여 한국어 문장의 내부 의미 구조를 생성하기 위해서는 각 단어에 해당하는 개념과 개념들 사이의 개념적 관계를 나타내는 지식들이 요구된다. 그러나 이를 위한 의미 구조 생성 방법과 요구되는 지식 베이스를 정확하게 구축하는 것은 어렵고 응용 도메인에 종속한다는 문제가 있다. 본 논문에서 우리는 문형 이론을 도입하여 문형을 중심으로 의미 구조 생성을 위한 변환 규칙을 설계하고 이를 이용하여 방대한 지식 베이스의 구축없이 의미 구조를 생성할 수 있는 방법에 논의한다. 또한 본 논문에서 문형을 이용하면 몇 가지 모호성 문제를 해결할 수 있음을 보이고 문형의 한계에 대해서도 살펴본다.

• 한국항공우주학회지
• /
• 제38권12호
• /
• pp.1184-1194
• /
• 2010

달 착륙과 이륙은 착륙선의 자세 및 고도에 따라서 몇 가지 단계로 나누어져 있다. 따라서 최적의 착륙선 궤적을 생성하기 위해서는 각 단계에 맞는 구속 조건과 제어 값이 필요하다. 착륙과 이륙의 최적궤적생성은 연료소모 및 자세변화율을 최소화 하는 가격함수를 이용하여 최적화를 수행하였다. 본 논문에서는 궤적을 생성하는 최적제어 문제의 풀이 방법을 직접적인 접근방식중의 하나인 Gauss pseudo-spectral을 사용하였고, 이 문제로 착륙선의 기준 궤적과 상태 및 제어 값을 생성하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2016년도 추계학술대회
• /
• pp.47-50
• /
• 2016

객체를 추적하는 기술은 컴퓨터 비전 분야에서 활발히 연구되고 있는 분야 중 하나이다. 그 중 고정된 단일 카메라를 이용한 객체 추적 기술은 비디오 감시(Surveillance) 등에서 활용되고 있다. 고정된 카메라 환경에서 객체를 추적하는 방법 중 배경 모델링(Background Modeling)을 이용한 방법은 간단하면서도 널리 사용되는 방법 중 하나이다. 객체의 움직임이나 특징을 분석하여 배경 모델을 생성한 후 배경 정보를 이용하여 전경을 분리하면 쉽게 객체를 추출할 수 있다. 그러나 객체의 움직임이 적은 경우 해당 영역에서의 배경 모델은 정확하게 생성될 수 없다. 배경 모델을 학습하는 동안 객체가 충분이 움직이면 이런 문제를 해결할 수 있으나 객체가 움직이기 전까지는 오류가 지속된다. 이런 문제를 해결하기 위해 본 논문에서는 인페인팅(Inpainting)을 이용하여 움직임이 적은 영역을 보정하여 정확한 배경 모델을 생성하는 방법을 제안한다. 배경 모델을 생성한 후 객체로 식별할 수 있는 후보 영역을 식별한다. 선정된 영역들 중 사용자가 객체로 판단되는 영역을 선택하여 해당 영역에 대해 인페인팅으로 화소값 및 가중치들을 보정한다. 보정된 영상으로 배경 모델링을 수행하면 움직임이 적은 영역에 대해서도 효과적으로 배경 모델을 생성 할 수 있다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2010년도 학술발표회
• /
• pp.1044-1048
• /
• 2010

해수를 이용한 세계최초의 해수수로인 송도 신도시 중앙공원 해수수로는 서해안에서 집수된 해수를 $5{\mu}m$의 공극 크기를 가지는 해수처리시설 (STF, seawater treatment facility)에 의해 여과된 뒤 2곳의 해수공급 지점에서 해수수로로 공급된다. 여과된 해수는 수로로 155L/sec의 유량으로 1.8km를 흐른 뒤 서해로 방류된다. 이러한 인공 해수수로에서는 흐름정체에 따른 수질 문제와 영양염에 의한 적조를 유발하는 조류 성장이 문제가 된다. 따라서 본 연구에서는 3차원 수치모형을 이용한 인공 해수수로내의 흐름특성 모의와 수질 모니터링의 통한 조류 생성 특성 및 장소를 비교하여 그 상관성을 분석하고자 한다. 수치모의 실험은 3차원 수치모형인 FLOW-3D를 이용하였으며, 격자망 형태는 직사각형 직각 격자가 사용되었다. 현장 모니터링을 통하여 획득한 수질 데이터와 비교 분석을 통하여 해수수로 내 해수 흐름 특성변화(유속, 와도 등)와 조류생성에 미치는 영향을 비교 분석하였다. 해수 수로내의 평균 유속은 0.01m/s 이었으며, 수로의 형상에 따라서 정체수역이 발생하였다. 이러한 정체수역은 현장 모니터링을 통하여 예측된 조류 발생 지역과 일치하였다. 이러한 흐름 특성과 조류생성과의 상관성 규명을 통하여 인공수로의 물순환 시스템 설계시 조류 생성을 억제할 수 있는 최적 관리를 위한 설계의 기초 자료를 제공할 수 있을 것으로 판단된다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권4호
• /
• pp.185-191
• /
• 2002

본 연구에서는, 거리 영상에서 mesh를 만들고 그것에서 다양한 LOD(Level of Detail)의 mesh를 생성하는 3차원 물체 LOD 모델링 시스템을 제안하였다. Initial mesh 생성은 마칭 큐브 알고리즘을 사용하였다. 종래의 알고리즘을 다수의 거리 영상에서 효과적으로 mesh를 생성하도록 개선하였다. Base mesh 생성에는 topology를 유지하면서 mesh를 간략화하는 decimation 알고리즘을 사용하였다. 마지막으로 Initial mash와 유사한 새로운 mesh를 생성할 때는 웨이블릿 변환을 적용하여 웨이블릿 개수를 개산하였다. 본 연구에서는 Base mesh를 생성할 때 mesh 간략화 방법을 사용함으로써 웨이블릿 기반의 치명적인 문제인 surface crease 문제를 해결하였다.