• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2001년도 추계학술대회 발표논문집:차세대 전상거래 시대의 비즈니스전략
• /
• pp.194-200
• /
• 2001

자기 주도적 문제해결 학습모형은 구성 주의적 학습원칙에 의거한 교수-학습모형으로서 학습자의 학습과정에 대한 적극적 참여(구체적 학습목표 설정, 학습내용과 방향 결정 및 평가에 참여)를 강조한다. 또한 자기 주도적 문제해결이라는 용어에서 알 수 있듯이, 기존의 교과서 중심의 강의전달식과 달리, 학습자의 실제 생활과 밀접하게 관련된 복잡하고 비구조적 '문제'와 PBL에서 제시하는 '문제해결도구'를 사용하여 학습을 진행한다. 결과적으로 본 PBL수업사례는 위의 질문에 대한 매우 긍정적인 결과를 제시함으로서, 요즘 학습자 주도적 학습모형으로 제기되는 여러 모형들과 더불어 기존 학습에 대한 하나의 대안적 접근으로서의 가능성을 보여주고 있다.

• 한국생물환경조절학회:학술대회논문집
• /
• 한국생물환경조절학회 1992년도 학술논문발표요지
• /
• pp.29-30
• /
• 1992

최근 근권의 산소부족 문제를 근본적으로 해결할 수 있는 수경능법으로서 분무경에 관한 관심은 매우 높으며 분무경의 우수성이 실증적으로 제시되고 있으나 분무경의 경우 고압을 필요로 하므로 장치가 복잡해지거나 엽체류의 경우 분무노즐과의 거리에 따라 생장이 균일하지 않는 문제점을 갖고 있으므로 분무경과 같이 근권산소 문제를 근본적으로 해결하는 효과를 가지면서도 취급 및 관리가 편리한 수경시스템의 개발이 절실히 요구되고 있다. (중략)

• 디지털융복합연구
• /
• 제14권6호
• /
• pp.253-261
• /
• 2016

PC 와 모바일 기기에 있는 다양한 프로그램을 이용하여 인터넷을 이용하는 사람들이 늘어날수록 프로그램에서 개인정보 등이 유출될 가능성은 매우 높아지고 있다. 따라서 인터넷을 사용하는 프로그램에서 정보흐름의 안전성 분석을 한 후에 개인정보의 유출이 없는 안전한 프로그램을 사용해야 한다. 정보흐름의 안전성 분석은 프로그램 내에서 정보의 흐름이 안전한지 분석하는 방법으로 정보흐름이 안전하면 개인정보 유출이 없고 안전하지 않으면 개인정보 유출이 발생할 수 있다. 본 논문에서는 SAT 해결기를 활용하여 정보흐름 분석을 수행하는 방법을 제시한다. 이 방법은 보안 수준이 설정된 변수를 포함하는 프로그램을 제어와 정보흐름을 나타내는 명제 논리식으로 변환하고, SAT 해결기를 이용해 명제 논리식으로부터 만족가능성 여부를 판단한다. 판단된 결과를 통해 프로그램에서 정보흐름이 안전한지 알 수 있으며, 안전하지 않은 경우 반례를 생성하여 어느 부분에서 안전하지 않은 지 알 수 있다.

• 정보보호학회논문지
• /
• 제23권3호
• /
• pp.395-404
• /
• 2013

패턴 정합 알고리듬은 침입 탐지 및 방지 시스템의 성능을 좌우하는 중요한 기능 요소로서 일반적으로 정규 표현식(Regualr Expressions)을 사용해 패턴을 표현한다. 공격 패턴이 복잡해지고 다양해짐에 따라, 정규 표현식 또한 복잡해지고 그 수가 증가하고 있으며 이로 인해, 패턴 매칭 알고리듬에서 정규 표현식을 인식하기 위해 사용된 결정적 유한 오토마타(Deterministic Finite Automata)를 구성하는 상태가 폭발적으로 증가(states blowup)하고 있다. 이러한 상태의 폭발적 증가 문제를 해결하고 메모리 효율적인 자료 구조를 구현하기 위해 많은 연구가 이루어졌다. 대부분의 연구 결과들에서는 하나의 정규 표현식을 변환한 결정적 유한 오토마톤(Automaton) 내 상태의 수를 감소시키기 위한 효과적인 방안들을 제안하였다. 하지만, 이들 연구 결과는 단일 패턴 내 상태의 수만을 감소시킬 뿐 패턴의 수에 따라 증가하는 상태의 수를 감소시키지 못하는 한계점을 가지고 있다. 본 논문에서는 이를 해결하기 위해 정규 표현식으로 구성된 유한 오토마타(Automata) 상의 상태 병합을 통한 상태 감소 방안을 제안한다. 이는 동일한 입력 문자를 가지는 상태를 병합함으로써 유한 오토마타 상의 상태의 수를 감소시켜, 기존 결정적 유한 오토마타에 비해 평균 40.0%의 메모리 감소 효과를 나타낸다.

• 조명전기설비학회논문지
• /
• 제14권4호
• /
• pp.1-7
• /
• 2000

본 논문에서 원전의 핵연료 다발의 중섬자속을 측정할 수 있는 노내중성지속 감시계통의 구동모터를 제어하기 위한 스위치의 오동작 원인 분석 및 이 문제를 해결하기 위한 방안을 제시하고자 한다. 노내중성자속 감시계동은 검출기 안내관을 통해 검출기가 노심으로 삽입되거나 인출될 경우 접점선호를 발생하는 기계식 스위치레버를 장착하고 있다. 그러나 기계적인 열화나 환경적인 요인에 의해 기계식 스위치레버의 특성이 점점 변화되어 마침내 잘못된 접점신호를 발생하게 된다. 그러므로 아들 문제 해결을 위해 기계식 스위지 대선 전자식 스위치를 검출기 안내관 밖에 배치하였고, 공진효과를 이용하여 점점신호를 발생하는 회로개선과 소음 및 전기적 방해를 방지하기 위한 콘데서를 전자회로 전원 입력측에 설치하였다. 이러한 개선을 완료한 후, 여러 조건하에서 이 향상된 스위치 제어회로를 반복적으로 시험하였는데, 결국 이를 통해 원하는 접점신호를 얻게되었을 뿐 아니라 발전소 정상운전 중에 관련시스템의 주기시험을 통해서도 검출기 접점 오동작 신호가 발생되지 않음울 확인할 수 있게 되었다.

• 한국초등수학교육학회지
• /
• 제19권3호
• /
• pp.435-455
• /
• 2015

본 연구는 초등 수학 수업에서 설명식 쓰기 활동이 수학적 의사소통에 미치는 영향을 수준 변화와 특징을 중점으로 분석하는데 목적이 있다. 이에 본 연구에서는 초등학교 5학년을 대상으로 설명식 쓰기 활동의 수학 수업을 14차시 실시하였으며, 각각의 설명식 쓰기에 대해 개념 및 원리 설명식 쓰기 유형과 문제해결 설명식 쓰기 유형을 적용하였다. 수학적 의사소통 분석을 위해 수학적 의사소통을 수학적 언어의 정확성, 과정과 결과의 논리성, 내용 전개의 구체성, 독자 지향의 전달성의 네가지 범주로 분류하였다. 그 결과 설명식 수업이 진행될수록 네 가지 의사소통 범주 각각에 대해 개념 및 원리 설명식 쓰기 유형에 대한 수학적 의사소통은 크게 향상된 반면에 문제해결 과정 설명식 쓰기에 대한 의사소통의 수준은 중기에 낮아졌다가 후기에 다시 높아지는 경향을 보였다. 또한 수학적 의사소통의 특징으로 수학적 언어를 통한 지식의 견고화, 쓰기에 근거한 논리의 정교화, 결과에 도달하는 사고 과정의 가치화, 자기 자신과 독자에게 전달하는 내용의 명료화를 나타내었다. 이에 본 연구 결과는 수학 수업에서 설명식 쓰기 활동이 수학적 의사소통 및 수학적 사고의 과정에 유의미한 지도 방안이 될 수 있음을 시사한다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2001년도 학술대회지
• /
• pp.329-332
• /
• 2001

우리나라 건설분쟁에 대한 해결은 재판을 통한 소송을 비롯하여 재판 외 분쟁해결제도인 협상, 중재, 조정을 통해 해결하고 있다. 하지만 건설 분쟁 제기 수가 발주자와 시공자의 인식 변화와 시장 개방, 기업 여건 악화 등으로 계속해서 증가하는 추세에 있다. 이에 본 연구에서는 그 동안의 건설 분쟁에 대한 해결방안이 사후적인 대책에 머물러 있음을 감안하여 사전에 예방하는 방법으로 파트너링 도입안을 제시해 보고자 한다. 미국에서 시작된 파트너링은 현재 분쟁감소와 공기절감, 참여자 상호교류의 증진 등의 효과를 가져왔다. 이에 본 연구에서는 분쟁 감소 방안으로 파트너링에 대한 모델안을 제시하고자 한다.

• 기계저널
• /
• 제31권6호
• /
• pp.533-539
• /
• 1991

화포란 효율이 30%정도인 열기관의 하나이다. 따라서 화포의 추진기구(propulsion mechanism)를 이해하고 예측하기 위해서는 추진제의 연소현상에 대한 이해가 필수적이다. 고체추진제의 연소 현상은 압력에 절대적 영향을 받고, 상수들은 운용압력범위에서 실험적으로 구한 값을 사용한다. 강내탄도해석은 해결하고자 하는 문제에 가장 적합한 모델설정, 그에 따른 전산코드의사용으로 이루어지는데, 일반적인 강내탄도프로그램에서 필요한 지배방정식은 에너지보존식, 고압에서의 상태방정식, 연소속도식, 탄체의 운동방정식 등이다.

• 기계저널
• /
• 제18권1호
• /
• pp.8-14
• /
• 1978

여기에선, M.F.Spotts가 사용한 생산비식을 써서, 현재 KIST 정밀기계기술센터에서 시작개발 하고있는 평면연삭기의 상기 문제점에 응용해 보기로 했다. 즉, 평면연삭기의 최종정밀도에 관련 된 문제를 제기하고 그에 필요한 식을 유도한 후, 그것의 각 부품치수가 어떻나 공차 범위내에 들면 최종정밀도를 만족시키고 또한 가공비를 감소시킬 수 있는가 하는 문제의 해결을 시도해 보았다.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1998년도 춘계 학술발표회 논문집
• /
• pp.229-234
• /
• 1998

우리나라는 현재 고유의 액체금속로 모델인 KALIMER(Korea Advanced Liquid Metal Reactor)의 개발을 통해 에너지 자원의 이용 효율 증대와 사용후 핵연료 및 초 장수명핵종 소멸처리 문제 등과 같은 에너지 안보와 환경 문제를 동시에 해결하려 하고 있다. 한편 KALIMER의 개바이 그 의미를 갖기 위해서는 고려중인 개념들이 기술적인 측면에서 기능성, 제작성, 안전성, 운용성, 독창성 등이 우수해야 할 뿐만 아니라 경제성이 확보되어야 한다. (중략)