• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제12권5호
• /
• pp.157-164
• /
• 2023

자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권1호
• /
• pp.9-23
• /
• 1999

병렬 그래프 감축 모델에 있어서 투기적 연산(speculative evaluation)모델은 병렬성을 증가시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수있고 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF 로 감축할 대 발생할수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태 (DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행될 때 까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서 , 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산모델을 제안한다.

• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.478-492
• /
• 1996

병렬 구문을 갖지 않는 함수 프로그램의 병렬 수행을 위해 람다 계산 해석법(λ- calculus encoding)이 도입되었고 이것은 함수 프로그램을 프로세스 계산(process calculus) 을 이용하여 프로세스망으로 구성하고 프로세스간의 통신 행위에 의해 결과를 얻는 새로운 계산 모델에서 사용될 수 있다. 그러나 람다 계산 해석 법은 상수식 조차도 너무 많은 통신 행위를 야기시키는 문제가 지적되어 왔다. 본 논문은병렬 구문을 갖지 않는 컴비네이터 프로그램을 위한 해석법을 제안한다. 또 이것은 프로세스망 리덕션을 결합할 수 있도록 계산 프로세스인 초어 프로세스(chore process ; chore)를 도입한다. 초어는 지역 그래프 리덕션이 가능한 상수식을 위한 그래프 리덕션 함수를 포함할 수 있으며 초어 프로세스의 생성은 주어진 컴비네이터 프로그램에 대한 표식과 변환에 의해 추출되는 컴비네이터 적용식을 포함하지 않는 G-감축가능한 (G-reducible) 부분식으로부터 이루어진다. 본 논문은 이러한 초어 프로세스를 포함하는 해석법으로 생성된 프로세스망이 초어를 갖지 않는 것보다 더 적은 통신 행위의 회수를 발생한다는 것을 보인다.

• 한국전자통신학회논문지
• /
• 제18권6호
• /
• pp.1023-1030
• /
• 2023

본 논문은 눈, 비, 안개 등 열악한 운용환경에도 강건한 표적검출 특성을 가지는 FMCW LiDAR에 대해서 기술하고 있다. 특히 FMCW LiDAR의 거리 해상도, 가간섭거리 및 최대측정거리 성능에 직접적으로 영향을 미치는 주파수변조레이저의 성능개선에 대해 기술하고 있다. 불평형 Mach-Zehnder 레이저간섭계를 활용하여, 레이저의 발진주파수의 변화율을 실시간 측정하고, 주파수변조 오차를 보정하는 광학식 위상동기루프 기술을 이용한 주파수변조 방법에 대해 기술하였다. 가간섭거리가 긴 레이저 광원을 발진하기 위해 확장공진기형 레이저다이오드를 적용하였으며, 레이저에서 발진되는 주파수 측정을 위해 광집적회로 구조의 레이저간섭계를 적용하였다. 개발된 FMCW LiDAR의 대역폭과 거리해상도는 각각 10.045GHz와 0.84mm로 측정되었다.

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.45-56
• /
• 2010

순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1991년도 춘계학술대회논문집; 한국해사기술연구소, 대전; 1 Jun. 1991
• /
• pp.91-93
• /
• 1991

DARBS는 저널베어링 및 구름베어링에 지지되어 있는 회전체-베어링계에 대한 동력학적 해석을 수행하는 프로그램이다. 해석에는 유한요소법(finite element method)을 이용하며 선회속도(whirl speed), 모우드 형성(mode shape), 임계속도(ciritical speed) 그리고 비동기 가진응답(asynchronous response)등에 대한 해석결과를 제공한다. 본 프로그램의 주된 특징은 람다 행렬(lambda matrices)의 개념을 도입하여 비동기 가진응답의 해석에 적용하 고, 베어링 상수와 자이로 효과와 같은 회전속도 의존성에 대하여 체계적인 접근방법을 사용했다는 점이다. 본 프로그램은 IBM PC 및 호환 기종에 적 합하도록 개발되었으며 기본적인 출력장치를 지원하는 S/W가 포함되어 있 다. 또한 대화식 데이타 입력과 메뉴처리방식을 채택하여 사용하기 편리하게 하였으며, 오류발생시 메세지가 나타나 오류수정을 용이하게 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.111-119
• /
• 2023

본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.

• 한국콘텐츠학회논문지
• /
• 제16권3호
• /
• pp.288-295
• /
• 2016

컴퓨터가 일상생활에 널리 사용됨에 따라 프로그래밍은 필수 기술로 떠오르고 있다. 프로그래밍 교육을 지원하기 위해서 우리나라는 2018년까지 프로그래밍 정규 과목을 개발할 계획을 추진하고 있다. 하지만 대부분의 프로그래밍 언어가 영어를 기반으로 하고 있기 때문에 우리나라의 프로그래밍 교육은 어려워지고 있으며 학생들도 집중력을 쉽게 잃을 수 있다. 이 논문에서는 우리나라 학생들의 프로그래밍 교육에 효과적인 한글 프로그래밍 언어 새싹을 제안하고 있다. 새싹은 Java를 바탕으로 개발하였으며, 객체지향 프로그래밍과 람다 식을 지원한다. 새싹의 교육 적합성을 평가하기 위해서 우리는 새싹을 다른 한글 프로그래밍 언어와 세 가지 측면에서, 즉 문법적 특성, IDE 지원, 한국어 오류 메시지 측면에서 비교하였다. 비교 결과, 새싹이 다른 한글 프로그래밍 언어보다 더 교육에 적합함을 알 수 있었다. 특히, IDE 기능과 한글로 출력되는 오류 메시지는 프로그래밍 초보자에게 도움이 많이 될 것으로 예상된다.

• 치위생과학회지
• /
• 제12권1호
• /
• pp.39-44
• /
• 2012

본 연구는 치면세균막 관리 프로그램에 의한 치면세균막 감소 효과 및 관리 난이도를 알아보기 위하여 충남지역에 위치한 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).

• 치위생과학회지
• /
• 제12권1호
• /
• pp.7-13
• /
• 2012

비판적 사고는 치위생 교육과 실무에서 요구되는 핵심역량으로 인식되고 있다. 본 연구는 비판적 사고 능력 중 비판적 사고 성향이 학업성적에 따라 차이가 나타나는지를 알기 위해 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). 치과위생사의 비판적 사고능력은 업무범위 안에서 해결해야 하는 대상자의 '문제'와 '원인'의 관계를 진술하는 '치위생진단문'과 치과위생사가 제공해야할 예방, 치료, 교육에 관한 '중재 계획'으로 비판적 사고 과정의 결과이다. 따라서 치위생(학)과 학생들의 임상적 판단과 의사결정을 위한 비판적 사고 능력이 증진할 수 있는 교육체계가 마련되어야 한다고 사료된다.