프로그래밍언어논문지 제20권 제1호 (2006년 9월)

목차: [.PDF 302KB] 편집사: [.PDF 201KB] 연구논문 완비부분순서집합에서의 정의된 단조함수의 최소고정점을 구하는 방법 박대준, 이광근 (서울대학교) 원전 제어봉구동장치제어계통 시험설비의 임베디드 제어 프로그래밍 실제 장귀숙, 금종룡, 박희윤 (한국원자력연구소); 김영국 (충남대학교) 새로운 프로그래밍 패러다임 - 관점지향 프로그래밍 금영욱 (성결대학교) 바이오펄을 이용한 폐쇄성 수면 무호흡 검출 김홍윤, 이재용 (한서대학교) 튜토리얼 힙 메모리 분석 및 검증의 연구 동향 이욱세 (한양대학교)

본문

완비부분순서집합에서의 정의된 단조함수의 최소고정점을 구하는 방법 [.PDF 389KB]

• 저자: 박대준, 이광근 (서울대학교)
• 쪽: 1-7
• 요약:
  이 글은 완비부분순서집합(CPO)에서 정의된 단조함수(monotone)의 최소고정점을 구하는 방법을 제시한다. 지금까지 최소고정점을 구하는 방법에 따른 조건들은 이보다 제약이 더 많았다. 그것은 완비부분순서집합에서 정의된 연속함수(continuous)이거나 완비격자(complete lattice)에서 정의된 단조함수(monotone)라는 조건이다. 이 글에서는 지금까지 제시된 방법 중 가장 적은 제약조건하에서의 최소고정점을 다룬다.

원전 제어봉구동장치제어계통 시험설비의 임베디드 제어 프로그래밍 실제 [.PDF 704KB]

• 저자: 장귀숙, 금종룡, 박희윤 (한국원자력연구소); 김영국 (충남대학교)
• 쪽: 9-21
• 요약:
  원전 제어봉구동장치 성능시험을 위한 제어봉구동장치제어계통 시험설비(CEDMCSTF, Control Element Drive Mechanism Control System Test Facility)는 CEDM 성능시험에 필요한 모든 변수에 대해 디지털 신호분석 및 처리를 통해 CRT로 운전원에게 제공하고, 운전원의 제어행위도 소프트제어방식을 통해 CRT 화면상에서 이루어지도록 하여 기존 CEDMCS의 문제점을 디지털 기술 적용으로 해결하는데 그 목적이 있다. 본 논문에서는 CEDM 운전 및 감시 유니트의 제어봉 삽입, 인출 및 낙하 명령과 CEDM 전력제어유니트에서 검출된 각 CEDM코일의 전류상태를 분석하여, 제어논리신호를 CEDM 전력제어유니트에 출력하는 기능을 수행하는 제어 유니트의 임베디드 제어 프로그램의 실제를 소개한다. 또한 시험을 통해 발견된 논리적인 결함을 수정하여 임베디드 프로그램 수행의 최적화한 결과를 소개한다.

새로운 프로그래밍 패러다임 - 관점지향 프로그래밍 [.PDF 522KB]

• 저자: 금영욱 (성결대학교)
• 쪽: 23-32
• 요약:
  기존의 프로그래밍 방법론으로 여러 모듈에 속성상 걸치게 되는 횡단 관심사(cross-cutting)를 모듈화할 수 없다. 횡단 관심사의 비모듈화로 인하여 코드 혼합과 코드 산재의 문제가 제기되어 소프트웨어 개발에 어려움이 가중되었다. 횡단 관심사의 모듈화를 해결하기 위한 많은 연구가 진행되었으며 여러 해결책이 제시되었다. 그 중에 가장 주목을 받는 것이 관점지향 프로그래밍이며 프로그래밍 발전사에서 객체지향의 다음 단계를 이어가는 새로운 방법론으로 부각되었다. 관점지향 프로그래밍은 새로운 모듈화 단위인 애스펙트(aspect)를 도입하여 독립적으로 횡단 관심사를 모듈화하며 나중에 직조(weaving) 과정을 통하여 다른 관심사들과 횡단 관심사를 통합하여 완성된 소프트웨어를 제작한다. 이 논문에서 관점지향에서 도입한 새로운 개념과 구체적으로 이를 구현한 언어인 AspectJ에 관해 논의한다. 또한 동적인 직조를 함으로 프로그램 수행 중에 애스펙트가 적용되게 하는 JAsCo에 관하여 소개한다.

바이오펄을 이용한 폐쇄성 수면 무호흡 검출 [.PDF 638KB]

• 저자: 김홍윤, 이재용 (한서대학교)
• 쪽: 33-38
• 요약:
  수면 중 호흡을 멈추는 폐쇄성 수면 무호흡증 환자를 진단하는 수면다원검사는 검사 비용이 고액이고, 계측장비가 설치된 수면실에서 검사해야하는 장소의 제약성, 시간의 한계 등으로 능률적으로 환자를 찾아내기 쉽지 않다. 이를 대체하기 위한 CCD 카메라 방식과 심전도 신호 방식들이 있으나 사용자의 접근이 쉽지 않고 검출율이 떨어진다. 본 논문에서는 의료정보처리에 많이 쓰이는 바이오펄(BioPerl) 스크립트 언어를 이용한 폐쇄성 수면 무호흡 검출 시스템을 제안하여 사용자가 손쉽게 가정에서 검사하는 환경을 제공할 뿐만 아니라, 수면 의료 관계자가 바이오펄 스크립트를 손쉽게 수정할 수 있도록 함으로써 검출율을 높이도록 한다.

힙 메모리 분석 및 검증의 연구 동향 [.PDF 502KB]

• 저자: 이욱세 (한양대학교)
• 쪽: 39-48
• 요약:
  힙 메모리에 대한 프로그램 분석은 그 난해성으로 인해 오랫동안 뚜렷한 연구 성과가 없다가 최근 독보적인 연구들로 다시 관심이 집중되기 시작했다. 본 동향 분석은 현존하는 힙 메모리 분석들을 메모리 객체들을 요약하는 방법들로 분류하여 설명한다. 특히, 출생지 기반 분석, 접근경로 기반 분석, 모양분석, 분리논리의 루프불변식 유추 엔진 등을 설명한다. 본 조사를 통하여 연구자들이 새로이 힙 메모리 연구를 시작하는데 도움이 되고자 한다.