자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.
병렬 그래프 감축 모델에 있어서 투기적 연산(speculative evaluation)모델은 병렬성을 증가시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수있고 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF 로 감축할 대 발생할수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태 (DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행될 때 까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서 , 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산모델을 제안한다.
병렬 구문을 갖지 않는 함수 프로그램의 병렬 수행을 위해 람다 계산 해석법(λ- calculus encoding)이 도입되었고 이것은 함수 프로그램을 프로세스 계산(process calculus) 을 이용하여 프로세스망으로 구성하고 프로세스간의 통신 행위에 의해 결과를 얻는 새로운 계산 모델에서 사용될 수 있다. 그러나 람다 계산 해석 법은 상수식 조차도 너무 많은 통신 행위를 야기시키는 문제가 지적되어 왔다. 본 논문은병렬 구문을 갖지 않는 컴비네이터 프로그램을 위한 해석법을 제안한다. 또 이것은 프로세스망 리덕션을 결합할 수 있도록 계산 프로세스인 초어 프로세스(chore process ; chore)를 도입한다. 초어는 지역 그래프 리덕션이 가능한 상수식을 위한 그래프 리덕션 함수를 포함할 수 있으며 초어 프로세스의 생성은 주어진 컴비네이터 프로그램에 대한 표식과 변환에 의해 추출되는 컴비네이터 적용식을 포함하지 않는 G-감축가능한 (G-reducible) 부분식으로부터 이루어진다. 본 논문은 이러한 초어 프로세스를 포함하는 해석법으로 생성된 프로세스망이 초어를 갖지 않는 것보다 더 적은 통신 행위의 회수를 발생한다는 것을 보인다.
본 논문은 눈, 비, 안개 등 열악한 운용환경에도 강건한 표적검출 특성을 가지는 FMCW LiDAR에 대해서 기술하고 있다. 특히 FMCW LiDAR의 거리 해상도, 가간섭거리 및 최대측정거리 성능에 직접적으로 영향을 미치는 주파수변조레이저의 성능개선에 대해 기술하고 있다. 불평형 Mach-Zehnder 레이저간섭계를 활용하여, 레이저의 발진주파수의 변화율을 실시간 측정하고, 주파수변조 오차를 보정하는 광학식 위상동기루프 기술을 이용한 주파수변조 방법에 대해 기술하였다. 가간섭거리가 긴 레이저 광원을 발진하기 위해 확장공진기형 레이저다이오드를 적용하였으며, 레이저에서 발진되는 주파수 측정을 위해 광집적회로 구조의 레이저간섭계를 적용하였다. 개발된 FMCW LiDAR의 대역폭과 거리해상도는 각각 10.045GHz와 0.84mm로 측정되었다.
순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.
DARBS는 저널베어링 및 구름베어링에 지지되어 있는 회전체-베어링계에 대한 동력학적 해석을 수행하는 프로그램이다. 해석에는 유한요소법(finite element method)을 이용하며 선회속도(whirl speed), 모우드 형성(mode shape), 임계속도(ciritical speed) 그리고 비동기 가진응답(asynchronous response)등에 대한 해석결과를 제공한다. 본 프로그램의 주된 특징은 람다 행렬(lambda matrices)의 개념을 도입하여 비동기 가진응답의 해석에 적용하 고, 베어링 상수와 자이로 효과와 같은 회전속도 의존성에 대하여 체계적인 접근방법을 사용했다는 점이다. 본 프로그램은 IBM PC 및 호환 기종에 적 합하도록 개발되었으며 기본적인 출력장치를 지원하는 S/W가 포함되어 있 다. 또한 대화식 데이타 입력과 메뉴처리방식을 채택하여 사용하기 편리하게 하였으며, 오류발생시 메세지가 나타나 오류수정을 용이하게 하였다.
본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.
컴퓨터가 일상생활에 널리 사용됨에 따라 프로그래밍은 필수 기술로 떠오르고 있다. 프로그래밍 교육을 지원하기 위해서 우리나라는 2018년까지 프로그래밍 정규 과목을 개발할 계획을 추진하고 있다. 하지만 대부분의 프로그래밍 언어가 영어를 기반으로 하고 있기 때문에 우리나라의 프로그래밍 교육은 어려워지고 있으며 학생들도 집중력을 쉽게 잃을 수 있다. 이 논문에서는 우리나라 학생들의 프로그래밍 교육에 효과적인 한글 프로그래밍 언어 새싹을 제안하고 있다. 새싹은 Java를 바탕으로 개발하였으며, 객체지향 프로그래밍과 람다 식을 지원한다. 새싹의 교육 적합성을 평가하기 위해서 우리는 새싹을 다른 한글 프로그래밍 언어와 세 가지 측면에서, 즉 문법적 특성, IDE 지원, 한국어 오류 메시지 측면에서 비교하였다. 비교 결과, 새싹이 다른 한글 프로그래밍 언어보다 더 교육에 적합함을 알 수 있었다. 특히, IDE 기능과 한글로 출력되는 오류 메시지는 프로그래밍 초보자에게 도움이 많이 될 것으로 예상된다.
본 연구는 치면세균막 관리 프로그램에 의한 치면세균막 감소 효과 및 관리 난이도를 알아보기 위하여 충남지역에 위치한 N대학교 치위생학과에서 2006년부터 2011년까지 학생들이 제출한 임상치위생 증례보고서의 대상자 158명의 기록 가운데 가운데 본 연구에 적절하지 않은 기록을 제외하고 총 131부(82.9%)의 진료기록부를 최종분석에 사용하였다. 1. 치면세균막 관리 프로그램 수행 시 방문 차수에 따른 치면세균막 감소효과를 확인한 결과 2회 방문자(p=0.001), 3회, 4회, 5회, 6회 방문자(p<0.001)는 각각 방문 횟수가 많을수록 치면세균막 지수가 유의하게 감소하였다. 하지만 7회 방문한 대상자의 경우에는 감소된 정도가 통계적으로 유의하지 않았다(p=0.142). 2. 치면세균막 관리 프로그램의 최종방문 시 치아 부위별 치면세균막 지수 평균을 비교하기 위하여 치아 부위를 순/협면, 설/구개면, 인접면으로 분류했을 때에는 설면/구개면의 치면세균막 지수가 26.5%로 가장 높았다. 3. 상/하악의 치면세균막 지수를 측정한 결과 상악과 하악의 치면세균막 지수 간 유의한 차이가 나타났다(t=-2.501, p=0.014). 순/협면, 설/구개면, 인접면의 치면세균막 지수에 대한 분석 결과 순/협면, 설/구개면, 인접면의 치면세균막 지수는 유의한 차이를 보였다(Wilks의 람다=0.686, F=26.329, p<0.001). 육분악의 치면세균막 지수를 확인한 결과 각 부위별로 유의한 차이가 있는 것으로 나타났다(Pillai의 트레이스=0.166, F=4.443, p=0.001).
비판적 사고는 치위생 교육과 실무에서 요구되는 핵심역량으로 인식되고 있다. 본 연구는 비판적 사고 능력 중 비판적 사고 성향이 학업성적에 따라 차이가 나타나는지를 알기 위해 2개교의 치위생(학)과 재학생 252명을 대상으로 비판적 사고 성향과 학업성적을 조사하여 다변량 공분산분석에 의해 비교한 결과 다음과 같은 결론을 얻었다. 1. 조사대상자의 비판적 사고 성향 평균은 3.46이었으며, 학업성적 상위권 집단의 비판적 사고 성향 전체 평균은 3.63로서 중위권(3.46), 하위권(3.41) 집단에 비해 유의하게 높았다(p=009). Scheffe 방법에 의한 사후검정 결과 상위권과 하위권 집단 사이에 유의한 차이가 나타났다(p=0.009). 2. 비판적 사고 성향의 하위요인인 지적열정/호기심, 자신감, 객관성, 건전회의성, 지적공정성, 신중성 등 6개 요인을 종속변수로 선택하고, 연령을 공변량으로 입력한 다변량 공분산 분석 결과 다변량 검정 결과 학업성적 집단에 따라 다변량 통계량이 유의한 차이가 나타났으며(p=0.001), 지적열정/호기심에서 학업성적 상,중,하 집단 사이에 유의한 차이가 나타났다(p=0.036). 3. 학업성적 집단 사이의 지적 열정/호기심에 대한 차이를 Scheffe의 방법에 의해 사후검정한 결과 상위권집단과 중위권 집단 사이(p=0.027)와 상위권 집단과 하위권 집단 사이(p=0.002)에 유의한 차이가 나타났으나, 중위권 집단과 하위권 집단 사이에는 유의한 차이가 나타나지 않았다. 치위생(학)과 학생들의 학업성적에 따른 비판적 사고성향을 분석한 결과, 성적에 따라 비판적 사고능력에는 지적 열정/ 호기심에서 차이가 있었으나, 그 차이는 크지 않았다(Wilks의 람다=0.914, F(6, 24)=1.869, p=0.001, 부분 에타제곱=0.044). 치과위생사의 비판적 사고능력은 업무범위 안에서 해결해야 하는 대상자의 '문제'와 '원인'의 관계를 진술하는 '치위생진단문'과 치과위생사가 제공해야할 예방, 치료, 교육에 관한 '중재 계획'으로 비판적 사고 과정의 결과이다. 따라서 치위생(학)과 학생들의 임상적 판단과 의사결정을 위한 비판적 사고 능력이 증진할 수 있는 교육체계가 마련되어야 한다고 사료된다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.