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

본 연구의 목적은 RME를 적용한 수학화 교수 학습 프로그램을 구안하고 적용해봄으로써 측정 영역에서의 수학화 학습이 수학적 사고 능력에 어떤 효과가 있는지 알아보는 데 있다. 본 연구 문제를 해결하기 위하여 관련 이론을 분석하였으며 RME이론에 근거한 원리와 교수 학습 모형을 토대로 하여 수학화 교수 학습 프로그램을 구안하고 측정 영역의 지도를 위해 교육과정을 재구성하였다. 연구 대상은 대구광역시 S초등학교 5학년 학급 중 2개 반을 실험집단과 통제집단으로 선정하였다. 실험 처치 기간 동안 실험집단은 RME를 적용한 수학화 학습으로 수업을 실시하였고, 통제집단은 일반적인 교수 학습방법으로 수업을 실시하였다. 이상의 연구 결과를 종합해 보면, RME를 적용한 수학화 학습은 학생들에게 수학적 사고 능력 향상에 효과가 있으며 각 수학화 과정의 순환적인 반복 경험을 통해 학생들의 수학화가 더욱 활발히 이루어지도록 하는 데에 도움을 주는 것으로 나타났다.

• 한국통신학회논문지
• /
• 제23권8호
• /
• pp.2113-2119
• /
• 1998

BOD의 최적화 문제는 논리합성과 형식검증 영역에서 필수적인 것으로 인식되고 있다. 변수 순서화 문제는 BOD의 크기와 형태에 직접적인 영향을 미치므로, 적절한 변수 순서를 구하는 문제는 매우 중요한 문제이다, 본 논문에서 는 점진적 시프팅이라 부르는 새로운 변수 순서화 알고리듬을 소개한다. 제안된 알고리듬은 기존의 시프팅 알고리듬에서의 탐색공간을 절반이하로 줄이며, 성능의 저하없이 계산시간을 크게 감소시킬 수 있다. 더욱이 점진적 시프팅 알고리듬은 시프팅 알고리듬을 비롯한 다른 변수 순서화 알고리듬에 비해 매우 단순하다. 제안된 알고리듬은 많은 벤치마크 회로를 이용한 실험에서 그 효율성이 입증되었다.

• 대한조선학회논문집
• /
• 제29권4호
• /
• pp.114-131
• /
• 1992

본 논문은 2차원 자유표면파문제에서 시간영역해법을 이용하여 2차원 운동문제에 적용할 수 있는 수치해석을 하였다. 경계조건으로는 엄밀한 물체표면 경계조건과 비선형 자유표면경계 조건을 부과했다. 수치해를 구하는데는 코시이론을 이용하여 제2종 프레드흘름 경계적분방정식을 도출하고 이를 이산화시켜 처리하였다. 수치계산을 위해 전영역을 유한한 영역으로 제한하여야 한다. 제한된 영역에서 방사해의 부과를 위해 전영역을 수치해석영역과 외부영역으로 나누고, 외부영역의 해는 그린 제2정리를 이용하고, 선형자유표면조건을 만족하는 과도그린함수를 사용한다. 위의 그린 제2정리를 이용한 식으로 부터 초기조건, 선형 자유표면조건, 무한원방조건을 이용하여 단순화시킨 다음 포텐셜과 유동함수의 관계식으로 치환하면 비선형해와 정합할 수 있는 정합행렬을 구할 수 있다. 본 논문에서 개발한 정합방법을 이용하여 적용할 문제로서 첫째는 주상체가 상하동요, 수평동요하는 경우 계산이고 두번째로는 수면하에서 타원형실린더가 일정속도로 항진할 때 계산을 수행한 결과를 고차스펙트럴방법과 비교하였다.

• 대한디지털의료영상학회논문지
• /
• 제5권1호
• /
• pp.98-101
• /
• 2002

대조도와 관용도사이의 손실 교환은 투사 방사선 촬영에 있어서 잘 알려져 있고 또한 오랫동안 지속되어온 영상의 질에 있어서의 제약이었다. 전자적인 영상획득의 도입으로 한 영상 내에 넓은 영역의 X-Tay 노출을 포획하는 것이 가능해 졌다. 그러나, 진단에 필요한 세부영역 들을 위해 적절한 대조도를 유지하는 반면, 일반적으로 기대되는 관용도 범위 이외의 정보가 시각화 되어지는 것과 같은 영상의 rendering과 displaying의 문제가 남아 있었다. 이 문서에 묘사되는 EVP(Enhanced Visualization Processing)는 이 문제를 중점적으로 다룬다. 방대한 진단용 CR 영상 데이터베이스로부터 선택된 14개의 검사유형 당 각각 5개의 영상들을 포함한, 총 70개의 영상들을 사용하여 임상 보고서가 제출되었다. 각 영상에 대해, control rendering은 현재 개발되어 있는 automatic tone scaling algorithm(자동 톤 스케일 알고리즘)에 의해 생성되었고, test rendering은 그 control of image에 EVP를 인가함에 의해 생성되었다. 10명의 radiologist들은 각자 개별적으로 140개의 이미지들(70개의 test renderings와 70개의 control renderings)을 9점의 진단 상의 품질 척도로 평가했다. EVP는 세부 대조도의 부당한 손실 없이 증가된 노출 관용도를 제공했다. 많은 영상에서 EVP는 과소 투과 영역에서의 정보의 손실을 줄여주고, 반면 과다 투과 영역의 밝게 빛나는 현상을 실제적으로 감소시켰다. 진단상의 품질 평가는 EVP image와 control image 모두 평균적으로 높았다. 그럼에도 EVP images의 평균 등위는 control image의 그것보다 1 단계 완전히 높은 범위에 있는 것으로 평가되었다. 쌍으로 그 영상들을 보면, EVP images의 76%가 일치하는 control images의 평가 단계보다 1 또는 그 이상 높은 범주인 것으로 평가되었고, 반면 control image의 6% 만이 일치하는 EVP 영상보다 우수한 것으로 평가되었다. 유사한 결과가 연구된 14개의 검사유형에 대해 획득되었다.

• 한국전자통신학회논문지
• /
• 제5권6호
• /
• pp.595-601
• /
• 2010

가상화 기술에서 데스크톱 가상화 기술은 로컬 컴퓨팅 시스템을 운영하는 과정에서 자원의 고갈이나 성능저하, 업그레이드 등과 같은 문제를 해결하고 시스템 관리 및 시스템의 중요한 정보가 보호될 수 있어야 한다. 또한, 가상화된 독립 환경을 구성하여 편리한 가상화된 사용자 영역 및 보안 인프라를 구축하며 외부로부터 공격이나 내부 결함으로 인해 문제가 발생하거나 서비스 장애가 발생하더라도 신속하게 대응하고 복구할 수 있도록 지원하여야 한다. 본 논문에서는 가상화 기술의 방대한 기술에서 데스크탑 기반의 응용프로그램 가상화에 필요한 기술 요소를 찾아내고 로컬 컴퓨팅 환경에서 보다 편리하고 안정된 새로운 가상화 기술을 제안하였다.

• 콘크리트학회논문집
• /
• 제14권6호
• /
• pp.1022-1031
• /
• 2002

본 연구에서는 분규ㆍ회귀목-적응 뉴고 퍼지추론 시스템을 사용하여 교량 구조물에 대한 유용한 모델을 제시하였다. 퍼지결정목은 데이터집합의 입력영역이 서로 다른 영역으로 분류되고 하나의 부호나 값으로 나타내지며 데이터 정점에서 특정화시키기 위한 활동영역으로 할당되기도 한다. 분류문제로 사용되는 결정목은 가끔 퍼지결정목이라고 불려지는데, 각 최종점은 주어진 특정백터의 예측등급을 나타낸다. 회귀문제에 사용되는 결정목을 가끔 퍼지회귀목이라고 하는데, 이 때 최종점 영역은 주어진 입력백터의 예측 출력 값을 상수나 방정식으로 나타낼 수 있다. 분류ㆍ회귀목은 관련된 입력값을 선택하여 입력구역에서 분류 할 수 있는 반면에 적응 뉴로 퍼지추론 시스템은 회귀문제를 수정하고 이틀의 회귀문제를 보다 연속적이면서 간략하게 만들 수 있음을 주목해야 한다. 따라서 분류ㆍ회귀목과 적응 뉴로 퍼지추론 시스템은 서로 상보적인 것이며, 이들의 조합은 퍼지모델링을 위해 실직적인 근사식으로 구성된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.85-87
• /
• 2022

고품질 코드를 위한 정적 분석은 아직도 매우 필요한 영역이며, 또한 코드의 가시화는 개발자들에게 코드의 복잡한 모듈에 대한 가이드에 필요하다. 기존의 코드 가시화는 정적 분석의 코드 내부 정보들을 DB 테이블화 및 품질 지표(CK Metrics, Coupling, # function Calls, Bed smell) 질의어화, 그리고 추출된 정보를 가시화하는 것에만 초점을 두었다. 문제는 코드 내부 정보(Class, method, parameters, etc) 테이블들에 대한 join 연산 시 엄청난 시간과 리소스가 소모된다. 이 문제를 해결하기 위해, 우리는 테이블 설계의 정규화를 제안한다. 또한 필요한 품질 지표의 질의를 통해 코드 내부 정보 추출하여 데이터 및 제어 복잡 모듈을 식별하여 refactoring 를 가이드 한다. 앞으로는 이 부분의 AI learning 을 통해 bad/good program 을 식별을 기대한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.854-858
• /
• 2001

본 논문에서는 평면 형상에 대한 꼬임(self-intersection)의 발생을 배제한 계층적 표현을 제안하였다. 기존의 계층적 표현들에서는 실제 활용에 많은 문제를 초래하는 꼬인 형상의 발생을 피할 수 없으며, 이는 반드시 제거될 필요가 있다. 그러나 n개의 점으로 구성된 형상의 고임 문제를 해결하는 데는 O(n$^2$)의 계산량이 요구되므로, 본 논문에서는 계층적 지역화의 경계 영역간 교차 상태를 나타내는 cross-link 개념을 도입하여 효율적으로 해결할 수 있는 꼬임 해결 알고리즘을 제안하고 실험을 통해 그 효율성을 확인하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 추계학술발표논문집
• /
• pp.412-416
• /
• 2002

멀티 에이전트 시스템은 여러 개의 에이전트들이 상호 협동해서 효율적으로 하나의 문제를 해결하는 것을 말한다. 우리는 멀티 에이전트 개발도구인 DECAF 에이전트 프레임워크를 사용하여 분산 모바일 환경을 고려한 멀티 에이전트 시스템을 개발하였다. 본 논문의 시스템은 현재 보편화된 모바일 환경에 적용시킬 수 일도록 크게 클라이언트 측과 프레임워크 군으로 분리시켜 개발하였고. 해당 시스템을 여행 스케쥴링 문제 영역에 적용시켜서 구현해 보았다.

• TTA 저널
• /
• 통권59호
• /
• pp.74-80
• /
• 1998

통신사업의 경쟁 체제 도입과 사업영역의 철폐로 인하여 번호자원에 대한 개방화가 선진국을 중심으로 진행되고 있다. 이로 인하여 통신 사업에 신규로 진입하고자 하는 사업자는 사업자간 번호이동성을 보장하는 것이 기본적인 사업 참여요건이 되고 있으며, 기존 사업자 입장에서도 사업자간 번호이동성에 대한 적절한 대처 방안이 정립되어야 한다. 본 고에서는 사업자간 번호이동성 문제를 통신사업자 관점에서의 대처 방안과 실현 방안을 수립하기 위하여 번호이동성 문제를 정의하고 이의 실현 기술, 운용 관리, 경제성, 국제 표준 동향, 국내 통신사업 현황 측면에서 분석한다. 본 연구 결과는 국내 번호이동성 도입을 위한 사전 검토 자료로 활용할 수 있다.