• 정보보호학회지
• /
• 제16권4호
• /
• pp.15-24
• /
• 2006

Lenstra 등에 의하여 LLL 알고리즘이 처음 개발된 이래 최근까지 격자 이론은 공개키 암호의 분석 및 안전성 증명에 광범위하게 이용되어지고 있다. 초창기 Knapsack 계열 암호의 분석에 부분적으로 활용되었던 격자 이론은 1990년대에 인수분해, Diffie-Hellman, 격자 기반 공개키 암호로 그 분석 적용 분야가 확대되었고, RSA-OAEP를 비롯한 여러 암호 시스템들의 안전성 증명 등에도 중요한 도구로 활용되었다. 본 논문에서는 암호학의 도구로 활용되는 격자 이론의 개요를 살펴보고, 공개키 암호 분야의 분석에 있어 격자 이론이 활용된 사례들을 각 분야별로 결과 위주로 소개한다.

• 한국인터넷방송통신학회논문지
• /
• 제23권5호
• /
• pp.9-13
• /
• 2023

멀티미디어 스트리밍 데이터는 용량이 매우 크고 순차적으로 접근이 이루어지는 특성이 있어 전통적인 캐슁 환경에서 입출력의 성능을 개선하기 위해 널리 사용되고 있는 LRU 알고리즘이 효과적이지 못한 것으로 알려져 있다. 이에 대한 실험적인 분석은 인터벌 기반 캐슁의 LRU 대비 성능 상의 비교 우위를 통해 입증된 바 있으나, 이론적인 근거가 증명되지는 않았다. 본 논문에서는 멀티미디어 스트리밍 환경을 위한 캐슁의 최적성을 분석하기 위해 캐쉬 성능평가 모델을 설계하고, 이론적으로 최적인 캐슁 알고리즘을 인터벌 캐슁에 기반해서 설계한다. 그런 다음 설계된 알고리즘이 스트리밍 데이터의 캐쉬 미스를 최소화하는 교체 알고리즘임을 제안된 모델에 근거한 최적성 분석을 통해 입증한다.

• 대한지리학회지
• /
• 제34권5호
• /
• pp.449-472
• /
• 1999

본 논문은 맑스가 자본주의의 사회적 및 환경적 부정의를 비판하고 정의로운 사회 및 자연과의 관계를 위한 사회주의적 프로젝트를 제안했던 원칙들을 밝히고자 한다. 본 논문은 이러한 과정에서 비판적 생태학 일반 그리고 특히 환경정의 이론이 더욱 발전할 수 있는 기반을 도출하고자 한다. 본 논문은 제안된 몇 가지 중요한 점들은 다음과 같다. 첫째, 자본주의 사회 및 자연에 대한 맑스의 비판 그리고 사회주의 사회와 자연에 관한 그의 개념은 두가지 기본적인 정의 원리들, 즉 인간과 자연 간 관계에 관한 그의 생태적 개념화에서 도출될 수 있는‘필요’원칙과 ‘노동’원칙에 바탕을 두고 있다. 둘째, 도덕성의 이데올로기적 성격에 대한 그의 거부로 인해, 맑스는 자본주의 사회에 대한 비판으로 일관하면서 자본주의에서의 정의 이론을 발전시키지 않았지만, 반면 그는 사회주의 사회와 자연과의 관계에서 (환경)정의를 위한 이론적 기초를 제안했다. 그리고 끝으로 그의 환경정의에 관한 개념화는 단지 분배적 정의 패러다임으로만 이해되어서는 안되며, 그가 생산을 교환.분배 그리고 소비를 포함하는 유기적 전체로서 이해한 바와 같이 ‘생산적 정의’라고 부를 수 있는 것과 관련지어 이해되어야 한다.

• 디지털융복합연구
• /
• 제10권11호
• /
• pp.279-285
• /
• 2012

본 연구는 융합제품의 범주화과정을 규칙 기반의 범주화 과정과 외형적 유사성 기반의 범주화과정으로 분류하였다. 그리고 이러한 범주화 과정이 융합 전 두 가지 원형(prototype)의 구성요소에 대한 정보제공방식(시각적 정보 vs. 시각적 정보+언어적 정보)과 소비자의 사고방식(종합적 사고 vs. 분석적 사고)에 따라 어떻게 달라지는 지를 확인하였다. 연구결과 (1) 원형의 구성요소에 대한 정보를 달리 제공하는 경우, 시각적 정보만 제공하는 경우보다 언어적 정보를 추가적으로 제공하는 경우에 규칙 기반의 범주화 과정을 거치는 것으로 나타났다. 즉, 융합제품의 범주화과정에서 외형적 유사성보다는 공통적인 특성을 기반으로 유사성 및 범주를 판단하는 것으로 나타났다. (2) 사고방식의 경우에는 종합적 사고자보다 분석적 사고자의 경우에 규칙 기반의 범주화 과정을 거치는 것으로 나타났다. 이러한 연구결과는 융합제품이 널리 확산되고 있는 현재의 시장상황에서 소비자의 범주화과정 및 고려상표군 판단에 있어 이론적 실무적 시사점을 제공할 것으로 판단된다.

• 한국과학교육학회지
• /
• 제29권2호
• /
• pp.240-252
• /
• 2009

이 연구에서는 예비교사들의 수업 시연에 웹 기반 교육 체제를 도입하고, 구성주의 교사양성교육을 지원하는 방안으로서 웹 기반 교육 체제의 유용성을 확인하였다. 예비교사들은 수업 시연을 위하여 웹 기반 활동을 하였고, 수업 시연이 끝난 예비교사들을 대상으로 면담을 실시하였다. 예비교사들의 웹 기반 수업시연 과정을 분석한 결과를 토대로 웹 기반 교육 체제의 유용성을 세 가지 상황에서 살펴 볼 수 있었다. 첫째, 예비교사들은 수업 시연 전 구성주의 교수-학습이론에 관한 자료를 살펴보고 관련된 이론적 지식을 구성할 수 있었다. 이 때 웹 기반 교육 체제의 토론방은 예비교사들이 이론들에 대해 깊이 생각하고 탐색할 수 있는 환경을 지원해 줄 수 있었다. 둘째, 예비교사들은 수업 시연을 준비하는 과정에서 동료 예비교사들과 지도교수와의 상호작용을 경험할 수 있었다. 이와 같은 상호작용은 웹 기반 교육 체제의 토론방을 통해 지원되었으며, 예비교사들은 구성주의적 수업을 계획하고 구성하는 것과 관련된 실천적 지식을 형성 할 수 있었다. 셋째, 예비교사들은 수업 시연이 끝난 후 자신의 수업에 대한 평가를 하였다. 이 때 웹 기반 교육 체제가 제공하는 토론방은 예비교사들의 반성적 사고 과정을 위한 상호작용을 지원해 줄 수 있었다. 이 연구를 통해 웹 기반 교육 체제는 예비교사들이 구성주의적 교수-학습 방법들을 배울 수 있는 효과적인 환경을 제공해 줄 수 있음을 알 수 있었다.

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

낙동강 하구 환경/생태 복원을 위하여 "해수유입"으로 하구환경을 조성하는 사업이 추진되고 있으며, 해수 유입 규모와 빈도에 따른 생태환경변화를 예측하는 연구수요가 증가하고 있는 상황이다. 보다 구체적으로는 단기간의 해수유입에 의한 흐름 및 염분 확산범위 예측과 더불어 보다 장기간의 지형변화, 수질환경 변화, 생태환경 변화 등에 대한 예측이 필요한 상황이다. 그리고 그 예측의 대부분을 수치모델에 크게 의존하고 있는 상황이다. 그러나, 수치모형을 이용한 단기 예측은 가까운 미래에 대한 입력조건을 사용하여야 하기 때문에 입력조건에 대한 불확실성이 포함되고, 환경생태모형의 불확실성에 따른 예측 한계 등으로 인하여 오차가 누적되기 때문에 직접적인 활용에 크게 제한이 따를 수 있다. 또한 운영과정에서 어떤 분산, 편향 오차 등이 지속적으로 발생하는 경우, 모델 예측 결과에 대한 신뢰수준이 크게 감소하기 때문에 모델의 적절한 운영기법이 요구된다. 모델은 관심을 가지는 자연현상에 대한 근사(approximation)이고, 예상하지 못한 오차가 발생할 수 있기 때문에 관측 자료를 이용한 자료동화(data assimilation) 과정이 운영모델에서는 필수적인 부분이다. 이론적인 기반이 탄탄한 유체역학 기반 기상예측의 경우에도, 가용한 모든 지점의 관측 자료를 이용한 자료 동화과정을 통하여 모델 예측 결과를 개선하여 나가는 과정을 포함하여 운영하고 있다. 이 과정이 포함하는 중요한 개념은 수치모델이 가지고 있는 (예측 수준의) 한계를 인정하고, 수치모델에 전적으로 의존하는 것이 아니라 관측 자료를 이용하여 그 한계를 저감하여 나가는 과정이다. 모니터링은 모델의 한계를 알려주는 지표이다. 모델링과 모니터링의 불가피한 상호의존 관계를 의미하는 이 개념은 단기간의 흐름, 염분 확산 예측으로 한정되지 않고, 장기적인 변화가 예상되는 생태환경변화 모델에도 적용이 된다. 즉각적인 변화보다는 장기적인 관점에서 파악하여야 하는 생태학적인 변화는 보다 다양한 인자가 관여하기 때문에 어떤 측면에서는 모델보다는 적절한 빈도와 항목에 대한 관측계획 수립(monitoring design)이 더 중요하다고 할 수 있다. 이론적인 질량보존(mass conservation) 방정식을 기반으로 하는 모델은 다양한 현실적인 인자의 영향을 받기 때문에 모델의 한계를 인정하고, 모니터링 자료를 적극적으로 활용하여 불확실성을 저감하는 접근방식이 요구된다.

• 정보와 통신
• /
• 제26권3호
• /
• pp.9-15
• /
• 2009

전쟁양상이 네트워크 중심 전으로 발전되기 위해서는 기동중에도 멀티미디어 등 대용량의 정보를 실시간으로 소통할 수 있는 정보통신기반체계가 필수적으로 요구된다. 이러한 기반을 구축하기 위해 개발 중인 전술정보통신체계(TICN: Tactical Information and Communication Network)의 부체계 중 하나인 전술이동통신체계는 이동하는 전장가입자에게 음성서비스이외 전장상황 공유를 위한 대용량의 데이터 서비스를 제공해야 하므로, 주파수 효율성이 좋은 Mobile WiMAX 기술을 기반으로 구현되었다. 구현된 장비는 전장 환경과 비슷한 산악지형의 테스트베드에 설치되어서 운용 가능성을 검증하였다. 본고에서는 Mobile WiMAX기반의 전술이동통신체계의 가용성을 확인하기 위해 수행한 이론적인 분석과 테스트베드에서 확인한 성능에 대해 소개한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.657-660
• /
• 2000

최근 재사용성에 근간을 둔 컴포넌트 기반 소프트웨어(Component-Based Software : CBS) 기술의 실현에 따라 이와 관련된 유지보수 의사결정의 내용도 변화하여 새로운 연구 과제로 등장하고 있다. 이에 본 연구는 컴포넌트 기반 소프트웨어 유지보수와 관련된 의사결정의 이론적 근거를 탐색하고 컴포넌트 평가 및 선택을 위한 모형 개발을 목적으로 한다. 모형 설계에는 평가 기준의 체계를 수립하고 적절한 평가 기법의 선택 및 적용이 포함된다. 평가 기준 구성을 위하여 CBS 유지보수의 특성을 고려한 다차원적 접근법에 의한 계층적 체계화를 시도하였으며, 일부 상호 종속적 관계를 나타내는 요소들에 대하여는 네트워크 관계를 나타내는 모듈로 포함시켰다. 체계화된 평가 기준에 따른 의사결정 대안의 평가 기법으로 주관적 판단의 계량화에 적절하다고 판단되는 계층분석과정(Analytic Hierarchy Process) 기법 및 네트워크분석과정(Analytic Network Process) 기법을 선정하고 적절한 예를 들어 모형 적용의 이해를 돕고자 하였다.

• 한국컴퓨터교육학회 학술대회
• /
• 한국컴퓨터교육학회 2018년도 동계학술대회
• /
• pp.157-160
• /
• 2018

인공지능 기술의 발달과 함께, 4차 산업 혁명에 관한 사회적 논의가 이슈화됨에 따라 교육 학계도 변화의 목소리를 높이고 있다. 지식기반 사회에서 컴퓨터 활용 역량이 강조되면서, 코딩/소프트웨어 교육 등 테크놀로지 기반 교수학습이 교과목과 관계없이 주목받고 있다. 최근에는 오픈소스를 만드는 사람들에 대한 긍정적 인식이 생겨나면서부터, 그들을 메이커라 지칭하고 메이커를 양성하기 위한 운동이 확산되기 시작하였다. 학계에서도 이 운동을 수용하려고 시도하였으나, 관련 연구에서는 기존 테크놀로지 기반 교수학습과 구분되는 특성을 명백하게 보여주지 못했다. 본 연구는 메이커 교육의 시론적 연구로서, 이재호와 장준형(2017)이 제안한 메이킹 역량을 중심으로 이를 키워줄 수 있는 피지컬 컴퓨팅 교구를 조사하였고, 동시에 활용 가능성을 제안하였다. 초기에 제안된 교구의 활용방안은 현장 교사 3인의 전문가 검토를 받았으며, 그들이 제공한 조언을 참고하여 수정하였다. 보완된 활용방안은 메이킹 역량을 구성하는 분석역량, 설계역량, 구현역량으로 구분하여 제시하였다. 이를 통해 메이커 교육의 이론적 발전과 확산에 기여하고자 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.71-74
• /
• 2002

본 논문에서는 관계형 데이터베이스를 위한 시각 질의어 VRQL 을 소개하고 이를 구현한 프로토타입 시스템 VRQPS(Visual Relational Query Processor System)를 소개한다. VRQL(Visual Relational Qurey Language)은 기존의 객체지향 데이터베이스를 위한 시각질의어 VOQL 을 수정, 보완하여 설계된 시각질의어로 벤 다이어그램과 그래프를 기반으로 하여 직관적이며 관계적으로 완전하다는 특성이 있다. 한편 투플 관계 해석 기반의 형식 시맨틱을 가지고 있어 이론적 기반이 확실한 시각질의어이다. VRQPS 는 VRQL로 정의된 질의문을 SQL로 변환하고 이를 실행하여 그 결과를 화면에 보여 주어 사용에 편리하고 직관적이다.