• 제목/요약/키워드: 함수형 언어

검색결과 88건 처리시간 0.028초

관계형 데이타베이스에 기반한 그래프 알고리즘의 표현과 구현 (Representation and Implementation of Graph Algorithms based on Relational Database)

  • 박휴찬
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제29권5호
    • /
    • pp.347-357
    • /
    • 2002
  • 그래프는 실세계의 많은 문제를 효과적으로 모델링하여 해를 구할 수 있는 강력한 방법을 제공하기 때문에 그래프의 표현 방법과 알고리즘 개발에 다양한 연구가 진행되어 왔다. 하지만, 대부분의 연구가 메인 메모리에 수용 가능한 크기를 갖는 그래프만을 고려하였기 때문에 큰 문제에 적용하기 위해서는 아직도 많은 어려움이 존재한다. 이를 극복하기 위하여 본 논문에서는 관계형 데이타베이스 이론에 기반하여 그래프를 표현하고 그래프 알고리즘을 정의할 수 있는 방법을 제안한다. 이 방법에서 그래프는 릴레이션으로 표현되며 그래프의 각 정점과 간선은 이 릴레이션의 튜플로서 저장된다. 이렇게 저장된 그래프에 대한 알고리즘은 추출, 선택, 죠인과 같은 관계대수 연산을 이용하여 정의되며 SQL과 같은 데이타베이스 언어를 사용하여 구현될 수 있다. 또한, 본 논문은 그래프의 저장 및 관리뿐만 아니라 다양한 응용프로그램 개발에도 사용될 수 있는 기본적인 그래프 함수들을 라이브러리화 하였다. 이와 같은 데이터베이스에 기반한 방법은 메모리에 수용되지 않는 크기의 그래프를 효과적으로 처리할 수 있는 방법을 제공할 뿐만 아니라 다양한 응용프로그램 개발을 용이하게 할 것이다. 또한, 데이타베이스가 제공하는 기본적인 기능인 다중사용자에 의한 동시공용 등과 같은 많은 장점을 가진다.

R을 활용한 '대화형 통계학 입문 실습실' 개발과 활용 (Interactive Statistics Laboratory using R and Sage)

  • 이상구;이긍희;최용석;이재화;이지영
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제29권4호
    • /
    • pp.573-588
    • /
    • 2015
  • 본 연구에서는 최근 통계 분야에서 활용도가 급격히 높아지고 있는 중요한 컴퓨터 언어이자 오픈 소스 통계 프로그램인 R을 활용하는 '대화형(interactive) 통계학 입문 실습실'의 개발 과정과 내용 및 활용을 다룬다. 최근에 개발을 마치고 2014 서울 세계수학자대회에서 소개된 후, 통계 강좌 등에 실제 사용되는 웹상의 R을 활용한 본 대화형 통계학 입문 실습실의 특징은 웹상에서 본문과 예제의 설명 및 풀이과정과 함께 대응하는 R 명령어 코드들을 함께 박스안에 제공하여, 실습 때마다 일일이 컴퓨터 명령어 코드들을 입력해야하는 번거로움을 없앴다. 또한, 명령어의 실행을 위하여 프로그램을 설치하지 않고, 명령어 상자 아래 제공한 [클릭-실행] 버튼을 누르기만 하면, 클라우드 컴퓨팅으로 그 결과값과 그래픽을 동시에 바로 같은 화면에서 확인하면서, 시뮬레이션 및 실습을 할 수 있고, 더 나아가 그와 유사한 다른 문제에 함수와 조건만을 수정하여 바로 사용할 수 있는 편리함이 추가되었다. 그 결과 대화형 통계학 입문 실습실에서는 R 명령어를 이해하는 데 필요한 시간과 노력이 대폭 줄어들 뿐 아니라, 초보자에게 통계학 입문 과목을 지도하기에 적절하며, 그밖에 다양한 Java 시각화 도구와 이미지 및 통계 자료를 사용하여 사용자 맞춤형 강의실 개발이 가능하여 통계학입문 강의를 수강하는 학생들의 관심과 흥미를 유도할 수 있도록 하였다. 본 연구에서는 본 실습실을 통계입문 강좌의 효과적인 실습실 모델의 하나로 소개한다.

Spatial XQuery2SQL Converter를 위한 알고리즘 (The Algorithm For Spatial XQuery2SQL Converter)

  • 최영운;서현호
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2004년도 추계 종합학술대회 논문집
    • /
    • pp.442-447
    • /
    • 2004
  • XML은 1996년 W3C(World Wide Web Consortium)에서 제안한 것으로서 웹상에서 구조화된 문서를 전송 가능하도록 설계된 표준화된 텍스트 형식이다. 이는 인터넷에서 기존에 사용하던 HTML의 한계를 극복하고 SGML의 복잡함을 해결하는 방안으로써 HTML에 사용자가 새로운 태그를 정의할 수 있는 기능이 추가되었다. 이러한 XML문서를 RDBMS에서 저장해서 사용하기 위한 많은 노력이 있으나 구조적으로 XML문서는 트리구조이어서 관계형 DB에 자료를 질의하기 위한 언어인 SQL과 완벽한 호환을 이루지 못한다 그래서 W3C의 XML 표준 질의인 XQuery가 등장하게 되었다. 이 논문에서는 공간 정보를 포함한 XML 정보들을 RDBMS에 저 장후 공간연산자, 공간함수를 통한 Sqatial XQuery2SQL이라는 변환기를 통해서 Spatial XQuery를 SQL로 변환한 후 RDBMS에 있는 정보를 추출하는 Sqatial XQuery2SQL 변환 알고리즘을 구현하고자 한다.

  • PDF

목적 코드에서 유사도 검출과 그 도구의 설계 (Similarity Detection in Object Codes and Design of Its Tool)

  • 유장희
    • 한국소프트웨어감정평가학회 논문지
    • /
    • 제16권2호
    • /
    • pp.1-8
    • /
    • 2020
  • 컴퓨터 프로그램의 표절 또는 복제에 대한 유사도 검출은 구현에 사용된 프로그래밍 언어, 분석 대상 코드의 종류에 따라 각기 다른 감정 방법과 도구가 필요하다. 최근 들어 증가하고 있는 내장형 시스템의 목적 코드에 대한 유사도 감정은 원시 코드와 비교해 더욱 복잡한 과정 및 고도의 기술과 함께 상당한 자원을 요구하고 있다. 본 연구에서는 목적 코드를 대상으로 역 어셈블리 기법의 적용과 같은 역공학 방법을 이용하여, 목적 코드의 어셈블리어 변환을 통한 어셈블리어 레벨에서의 함수 단위 유사도 감정 방법에 관하여 연구하였다. 그리고, 어셈블리어 레벨에서의 유사도 비교를 위해 코드의 구문분석을 통한 명령어 및 오퍼랜드 테이블을 생성하고, 이를 대상으로 유사도를 검출할 수 있는 도구의 설계에 관하여 기술하였다.

분할 정복법을 이용한 Haskell GC 조정 시간 개선 (Improving Haskell GC-Tuning Time Using Divide-and-Conquer)

  • 안형준;김화목;류샤오;김연어;변석우;우균
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제6권9호
    • /
    • pp.377-384
    • /
    • 2017
  • 발열 때문에 더이상 회로 집적도를 높일 수 없기 때문에 단일 코어 프로세서의 성능 향상은 한계에 달했다. 그래서 코어를 여러 개 사용하는 멀티 코어, 매니 코어 형태의 프로세서가 등장했으며 병렬 프로그래밍이 중요해졌다. 이러한 상황에서 병렬 프로그래밍에 여러 장점이 있는 순수 함수형 언어 Haskell이 주목받고 있다. Haskell은 식 계산 방식에서 이미 병렬성이 내재되어 있으며 병렬 구조를 지원하는 모나드 도구를 제공한다. 그런데 Haskell 병렬 프로그램의 성능은 메모리 재사용 시스템을 포함한 실행시간 시스템에 큰 영향을 받는다. 이미 Haskell이 제공하는 메모리 프로파일링 도구로 GC-tune이 있지만, GC-tune은 가능한 모든 GC 옵션에 대해 프로그램 실행 시간을 반복 측정하기 때문에 GC 조정 시간이 너무 오래 걸린다. 그래서 본 연구에서는 기본적인 분할 정복법을 이용해서 GC-tune의 탐색 영역을 매 단계마다 4분의 1로 줄이는 방법을 제안한다. 제안하는 방법을 두 가지 병렬 프로그램(극대 독립 집합 프로그램과 K-평균 프로그램)에 적용한 결과, 평균 98%의 정확도로 실행 시간을 평균 7.78배 단축시켰다.

4.7T 고자장 초전도 자석에서 Tailored RF를 이용한 고양이 뇌의 자화율 강조영상법에 의한 자기공명혈관 조영술 (Susceptibility-Contrast-Enhanced MR Venography of Cat Brain Using Tailored RF Pulse at High Magnetic Field of 4.7 Tesla Superconducting Magnet)

  • 문치웅;김상태;이대근;임태환;노용만;조장희;이윤
    • 한국의학물리학회지:의학물리
    • /
    • 제5권1호
    • /
    • pp.55-66
    • /
    • 1994
  • 4.7T의 고자장 자기공명 영상(Magnetic Resonance imaging : MRI) 장치에서 Tailored RF 경사자계반향(Tailored RF Gradient-Echo : TRGE)기법을 이용하여 phantom 영상과 고양이 뇌의 정맥혈관 영상을 얻었다. 증류수에 MgCl$_2$를 섞어 T1을 짧게한 지름 6cm의 원통형 phantom으로 TRGE기법에 대한 검증을 먼저 하였다. 이후 halothane으로 전신 마취된 몸무게 3.0~4.0kg의 고양이 뇌로부터 얻은 시단면(sagittal slice) 영상에서 Dorsal sagittal sinus, Straight sinus, Vein of corpus callosum과 Internal cerebral vein등의 혈관이 강조되어 나타남을 고양이 뇌의 해부학적 그림과 비교해 보였다. Tailored RF 파형은 ASPECT 3000 computer(스위스 BRUKER사 제품)의 PASCAL 언어를 이용하여 제작하였다. 사각형의 절편모양(slice profile)과 원하는 절편의 두께(slice thickness)에 선택절편내에서 절편방향으로 위상분포가 최대 2$\pi$가 되는 bi-linear ramp 모양을 갖는 절편함수를 공간상에서 Fourier 변환시켜 Tailored RF를 만들었다. TR/TE=205/10 msec, 절편두께 TH=7mm, 화소배열수(matrix size)=256$\times$256, 평면해상도(in-plane resolution)=0.62$\times$0.31mm$^2$, 관심영역 크기(field of view : FOV)=8cm의 영상조건으로 자기공명 TRGE 영상을 얻었다.

  • PDF

공개키를 이용한 SNMPv3 보안 모듈 설계 및 구현 (SNMPv3 Security Module Design and Implementation Using Public Key)

  • 한지훈;박경배;곽승욱;김정일;정근원;송인근;이광배;김현욱
    • 한국정보처리학회논문지
    • /
    • 제6권1호
    • /
    • pp.122-133
    • /
    • 1999
  • TCP/Ip 기반하의네트워크 사용으로 많은 사용자들은 서로 정보를 공유하고 자원을 효율적으로 이용할 수 있게 되었다. 그러나 복잡해진 망 구조를 효율적으로 관리할 수 있는 프로토콜이 필요하게 되었다. 1989년 분산된 네트워크의 망 관리를 위하여 SNMP(Simple Network Management Protocol)가 표준으로 채택되었고 그후 보안 기능이 추가된 SNMPv2에서 제공하는암호화 방식은 대칭형 암호화 방식인 DES(Data Encryption Standard)와 인증 (Authentication)을 위한 MD5(Message Digest 5) 해쉬 함수이다. 그러나 DES는 키 길이의 취약성과 암호화 및 인증 알고리즘이 분리되어 수행되는 단범을 가진다. 이를 해결할 수 있는 방안으로 본 논문의 보안모듈에서는 RSA 공개키 방식을 사용한다. 본 논문은 SNMP와 관련된 사항들에 대해 고찰한 후, 표준 SNMPv3에서 제안하는 암호화 알고리즘 DES와 인증을 위한 MD5방식과 더불어 암호화와 인증을 동시에 수행할 수 있는 공개키 방식인 RSA를 적용함으로써 보안성을 강화하였다. 제안한 SNMPv3의 보안 모듈은 JAVA 언어로 구현하였으며 Windows NT 환경에서 실험되고 분석되었다.

  • PDF

수술중 전자선치료에 있어서 선량분포에 관한 연구 (A Study on Electron Dose Distribution of Cones for Intraoperative Radiation Therapy)

  • Kang, Wee-Saing;Ha, Sung-Whan;Yun, Hyong-Geun
    • 한국의학물리학회지:의학물리
    • /
    • 제3권2호
    • /
    • pp.1-12
    • /
    • 1992
  • 전자선을 이용한 수술중 방사선치료를 위해서는 수술중에 드러내 놓은 종양에 고선량의 방사선을 조사하되 주변 정상 조직을 보존하기 위하여 cone 장치를 개발할 필요가 있으며, 임상에 필요한 자료를 얻는 것 뿐만아니라 콜리메이터에 의한 적정 X-선 창 크기도 정할 필요가 있다. holder와 cone으로 이루어진 알루미늄제 결합형 cone장치를 개발하였다. 광자선의 SSD 100cm에서 조사면 크기가 직경 4~9cm이면서 lcm씩 차이가 있는 28cm 길이의 원통형 cone을 만들였으며, holder는 cone의 직경이 7cm이상인 것과 미만인을 것을 접속시키기 위해 따로 두 개를 만들었다. holder의 측면에는 조사부위를 관찰하기 위한 거울과 조명등을 삽입할 수 있는 개구부를 두었다. cone에 의한 조사면 크기와 콜리메이터에 의한 X선 창의 크기의 여러 가지 결합에 대하여 수중의 전자선의 깊이선량분포독선 및 측방선량분포곡선, 선량분포를 1차원 물팬톰 장치로 조종하는 p-형 실리콘 검출기로 측정하였다. 출력계수도 p-형 실리콘 검출기로 수중에서 측정하였다. 전자선의 에너지와 cone의 크기의 결합이 일정할지라도 콜리메이터에 의한 X-선 창의 크기는 표면선량 및 최대신량점의 깊이, 80% 선량점의 깊이, 측방선량분포, 출력계수에 영향을 미쳤다. 그중, 출력계수의 변화가 가장 현저하였다. 예로서 9 MeV 전자선의 출력계수는 0.637과 1.549의 범위에 있었다. 콜리메이터에 의한 X-선 창의 크기는 수술중 전자선치료용 cone 장치의 벽으로 향하는 산란 전자의 양에 영향을 미치고, cone장치에서 다시 산란된 전자는 출력계수 뿐만 아니라 선량분포도 바꿀 것으로 생각된다. 따라서 수술중 전자선치료용 cone장치에 대한 선량분포 측정은 임상에서 선량의 불확정도를 최소화하기 위해 필수적이다.능적으로 평가되어야 하므로 앞으로 이에 대한 연구가 요구된다.수 있었다. 즉, $a^{*}$ / $b^{*}$ 의 비값이 1이상 흑은 1에 가까울 때는 미숙기, 0.8 부근 일때는 적숙기, 0.8보다 작아 질수록 적숙기에서 과숙기로 점차 옮아감을 알 수 있었다.지해줄 수 있는 문헌들이 충분히 고찰되지 못하였고, 이론적배경 또한 횡문화 이론과의 관련성이 적었다. 또한 횡 문화 연구에 기초가 되는 연구대상자의 사회 인구학적 특성과 역사적 배경은 잘 나타났으나, 이론적 연구와 경험적 연구 간에 괴리가 있었다. 3. 표본추출방법은 문화에 기반을 둔 대상자를 선정한다는 점에서 한계성 이 있었다. 4. 방법론적 이유로는 대상자와의 면담시간이 구체적으로 기술되지 않았으며, 고유한 언어를 통역하는 과정에서 의미론적 문제에 대한 고려가 부족하였다. 면접과 기록과정에서 보면 자료의 기록과정과 분류 및 분석과정이 명시되어 있지 않았다. 참여관찰과 면접방법을 사용시 이에 대한 자세한 기술이 되어 있지 않았다. 5. 연구결과의 적용 및 이에 대한 논의는 상당히 제한되어 있었는데, 수편의 연구만이 방법론 문제점과 앞으로의 연구분야에 대한 전망을 제시하였으며, 특이한 것은 어 떤 연구자도 이른 개발을 위한 적용 및 임상실무적 차원에서 간호에 대한 제언을 하지 않았다.유모델변수들은 유입-유출 자료들로부터 평가할 수 있으며, 이를 위해서 본 논문에서는 Gauss-Newton 방법을 이용한 Bard 알고리즘을 사용하였다. 서울 구로구 시흥동 산사태 발생 지역의 산사면에 대하여 개발된 모델을 적용하여 예제 해석을 수행함으로써, 지하수 흐름 모델이 산사태 발생 예측을 위하여 이용할 수 있음을 입증하였다. 또한, 매개변수분석 연구를 통하여, 변수 a값은 작은 변화에 대하여 목적함수값에 큰 변화를

  • PDF