• 제목/요약/키워드: and\

검색결과 1,278,503건 처리시간 1.096초

정형명세에 대한 실행코드 생성을 위한 정보 추출 (Extraction of Information for Executable Code Generation to Formal Specification)

  • 고현;이문근;이연식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (상)
    • /
    • pp.355-358
    • /
    • 2001
  • 본 논문은 순환공학 환경에서 실시간 시스템 개발 및 검증을 위한 실행코드 생성기 구현과정에서 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 정형명세와 명세분석을 통해 생성된 SRL(Software Representation Language) 코드로부터 실행코드로의 변환을 위해 필요한 정보들을 명세하고 이들의 추출 방법을 제시한다. ATM정형기법을 적용하여 실시간 시스템 개발 및 검증을 위해서는 시스템 명세도구나 명세분석을 위한 분석기, 코드 생성기, 검증기 등과 같은 자동화 도구의 개발이 요구된다. 따라서, 본 논문에서는 순환공학 환경에서의 실시간 시스템의 효율적 개발 및 검증을 위하여 사용될 실행코드 생성기 구현을 위하여, 특정 물리적 환경에서의 실시간 시스템을 명세한 DoME/ATM 스크립트 코드에 대한 SRL 코드로의 변환 시 필요한 정보들을 추출하고, 이를 기반으로 SRL 분석기와 SRL 파스트리 생성기를 이용한 Ada 실행코드로의 변환 시 필요한 실행코드 모듈구조 및 실행구문, 코드 실행 우선순위 결정 둥과 같은 관련된 정보들의 추출 방법을 제시한다.

  • PDF

SRL/ATM으로부터 Ada 실행코드 생성 (Generation of Ada Executable Code from SRL/ATM)

  • 고현;김광종;이연식;이문근
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (상)
    • /
    • pp.359-362
    • /
    • 2001
  • 본 논문은 순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 생성기 구현과정에서 실시간 시스템에 대한 ATM(Abstract Timed Machine) 명세로부터 생성된 SRL(Software Representation Language) 중간코드로부터 Ada 실행코드 생성방법을 제시한다. 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 기존의 정형기법과는 달리 순환공학 환경에서의 실시간 시스템이 갖는 정적 및 동적 속성은 물론 특정 환경에서의 동적행위도 표현이 가능하므로, DoME/ATM 그래픽 명세 표기와 중간코드로부터 실행코드를 자동 생성함으로써 순환공학 환경에서의 실시간 시스템 개발 및 검증을 가능하게 한다. 따라서, 실행코드 자동 생성기를 구현하기 위하여 본 논문에서는 선행연구에 의한 DoME/ATM으로부터 변환된 SRL/ATM 코드로부터 Ada 실행코드를 생성하기 위하여 SRL/ATM과 Ada의 관계를 분석하고 실행코드 생성을 위한 기본 규칙들을 정의하여, Ada 실행코드 생성기를 설계한다. 실행코드 생성기는 SRL 파스트리 생성기를 이용하여 구문분석을 통해 구문노드와 수식노드, 단말노드 둥과 같은 구문적 요소들을 추출하여 어휘분석을 통해 얻어진 정보들과 추출된 구문 정보들을 기반으로 실제 Ada 실행코드를 생성한다.

  • PDF

CLOD 를 활용한 충돌검출과 옥트리 분할 기법 (A Collision Detection and Octree Partitioning Method using CLOD)

  • 이승욱;박경환
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (상)
    • /
    • pp.615-618
    • /
    • 2001
  • 본 논문은 기존의 3D 게임 엔진에 실시간으로 상호 작용이 가능하고 3D MMORPG(Massive Multi-play Online Role flaying Game) 게임에 적합한 가상 공간을 표현하기 위한 필요한 기술을 분석하고 이를 활용하려 한다. 기존의 머드 게임에 3 차원 기술을 적용하고, 3 차원 물체를 모델링 하는데 있어서 메쉬나 버텍스, 혹은 폴리곤으로 사실적인 지형 처리와 렌드링 속도 향상을 위하여 3 차원 개체의 폴리곤을 동적으로 생성시키고 가시성 판단이나 충돌 검출을 위한 방법으로 Height field 처리 기법과 거리에 변화에 따라 다르게 모델링 된 데이터를 선택적으로 사용하는 CLOD(Continuous Level of Detail) 처리 기법과 입체 컬링 방법으로 옥트리를 이용하여 가상공간을 분해하기 위한 자료 구조로 사용한다. 거리의 변화에 따라 지형을 표현하는 vertex 들을 병합 또는 삭제함으로써 그 표현의 정도를 동적으로 달리 할 수 있는 CLOD 를 이용하여 카메라의 위치와 방향에 따라 적절한 폴리곤을 생성해 낼 수 있다. 본 논문은 기존의 3 차원 공간을 표현하기 위하여 사용되고 있는 옥트리 구조를 이용하여 공간을 분할하고, 이를 세부 수준으로 나누어 처리하기 위한 LOD(Level of Detail)와 CLOD 개념을 이용하여 외부지형을 폴리곤으로 표현하는 방법에 대한 처리 기법과 가시성 판단이나 충돌 검출을 위한 방법을 제시하려 한다.

  • PDF

원격진료를 위한 인터넷 기반의 의료영상시스템 설계 및 구현 (Design and Implementation of A Web Based Medical Image System for Telemedicine)

  • 이수진;김문회
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 추계학술발표논문집 (상)
    • /
    • pp.813-816
    • /
    • 2002
  • 컴퓨터 보급의 급속한 발전과 멀티미디어의 등장으로 기존의 텍스트와 이미지, 음성, 오디오, 동영상 등의 정보를 디지털화하고, 컴퓨터를 이용하여 저장, 처리, 전송하게 되면서 의료 분야에서도 상당한 업무의 변화를 요구하게 되었다. 의료 분야에서의 이러한 급격한 개방과 더불어 초고속 정보 통신의 발달은 원격진료라는 또 다른 요구를 대두시키고 있다. 이를 위해서는, 멀티미디어 기술, 대용량의 정보를 저장하는 데이터베이스 기술, 초속의 광 대역 기술 등을 통합하여 종합적인 멀티미디어 의료 정보 시스템을 구축하는 것이 시급하다. 이러한 이유들로 본 논문에서는 병원/의원의 의료진들로 하여금 의료영상이나 자료를 상호 전송하여 환자의 진료 또는 검진결과를 확인하고 전문가의 조언 등을 구하는 원격 진료용 의료영상 시스템의 요구사항을 분석, 설계하고 구현하였다. 본 시스템은 클라이언트/서버 구조로써 영상 획득 및 출력, 의료영상 국제 표준 포맷인 DICOM 포맷으로의 영상 저장, MCA(Multi Channel Analyzer), ROI(Region Of Interest) 등의 영상 분석, 필터링 및 영상 확대/축소/회전 등의 각종 영상 처리의 주요 기능을 갖으며, 사용자가 편리하고 쉽게 사용할 수 있도록 아이콘(icon) 중심의 직관적인 인터페이스를 갖는다.

  • PDF

정면 얼굴 영상의 회전 포즈 변형을 위한 메쉬워프 알고리즘의 개선 (The Improvement of Meshwarp Algorithm for Rotational Pose Transformation of a Front Facial Image)

  • 김영원;판데흥;오승택;전병환
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 추계학술발표논문집 (상)
    • /
    • pp.425-428
    • /
    • 2002
  • 본 논문에서는 한 장의 정면 얼굴 영상만으로 회전 변형을 수행할 수 있는 새로운 영상기반렌더링(Image Based Rendering, IBR) 기법을 제안한다. 3차원 기하학적 모델을 대신하면서 수평 회전 변형을 연출하기 위해, 특정 인물의 정면, 좌우 반측면, 좌우 측면의 얼굴 영상에 대한 표준 메쉬 집합을 작성한다. 변형하고자 하는 임의의 인물에 대해서는 정면 영상에 대한 메쉬만을 작성하고, 나머지 측면 참조 메쉬들은 표준 메쉬 집합에 의해 자동으로 생성된다. 입체적인 회전 효과를 연출하기 위해, 회전 변형시 발생할 수 있는 제어점들간의 중첩 및 역전을 허용하도록 기존의 두 단계 메쉬워프 알고리즘을 개선한 역전가능 메쉬워프 알고리즘(invertible meshwarp algorithm)을 제안한다. 이 알고리즘을 이용하여 다양한 남녀노소의 정면 얼굴 영상에 대해 회전에 따른 포즈 변형을 수행하여 비교적 자연스러운 포즈 변형 결과를 얻었다.

  • PDF

움직임과 색상정보에서 객체 분할 추적 기법을 적용한 실시간 얼굴 추적 시스템 (Real-Time Face Tracking System Of Object Segmentation Tracking Method Applied To Motion and Color Information)

  • 최영관;조성민;최철;황훈;박장춘
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 추계학술발표논문집 (상)
    • /
    • pp.669-672
    • /
    • 2002
  • 최근 멀티미디어 기술의 급속한 발달로 인해 개인의 신원 확인, 보안 시스템 등의 영역에서 얼굴과 관련된 연구가 활발히 진행 되고 있다. 기존의 연구에서는 원거리 추적이 어려우며, 연산시간, 잡음(noise), 배경과 조명등에 따라 추적 효율이 낮은 단점을 가지고 있다. 본 논문에서는 빠르고 정확한 얼굴 추적을 위한 차 영상 기법(differential image method)을 이용한 분할영역(segmentation region)에서 움직임(motion)과 피부색(skin color) 특성 기반의 객체분할추적(Tracking Of Object segmentation) 방법을 이용하였다. 객체분할추적은 얼굴을 하나의 객체(object)로 인식하고 제안한 방법으로 얼굴 부분만 분할하는 단계와 얼굴특징추출 단계를 적용하여 피부색 기반의 연구에서 나타난 입력영상(Current Frame)에서의 유동적인 피부색의 노출 대한 얼굴 추적 연구의 문제점을 해결했다. 시스템은 현재 컴퓨터에 일반적으로 사용되는 카메라를 이용하여 구현 하였고, 실시간(real-time) 영상에서 비교적 성공적인 얼굴 추적을 하였다[4].

  • PDF

인터넷 게시판에서 정보통신윤리 교육을 위한 유해단어 필터링 시스템의 설계와 구현 (Design and Implementation of Harmful Word Filtering System for Education of Information Communication Ethics on Web Board)

  • 김치민;김응곤
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 추계학술발표논문집 (상)
    • /
    • pp.273-276
    • /
    • 2002
  • 사이버 공간은 개방성, 익명성, 탈중심성의 특성을 갖는다. 이러한 특성으로 인하여 긍정적인 측면과 부정적 측면이 동시에 나타나고 있다. 청소년들의 사이버 공간에서의 활동은 제공되는 정보를 단순하게 탐색하는 수동적 역할에 그치지 않는다. 청소년들은 자신의 의견을 제시하거나 정보를 제공하는 역할도 동시에 하고 있다. 이 과정에서 스스로 유해한 정보를 생산하거나 게시판에서 타인에게 해를 끼치는 행위가 발생하고 있다. 본 논문은 청소년들의 적극적인 정보제공 활동 시점에 발생하고 있는 정보화 역기능 현상을 해결하는 방안으로 인터넷 게시판에서 유해단어 필터링에 의한 정보윤리 교육 기법을 제안한다. 인터넷 게시판에서 유해단어 필터링 기법은 초 중등학교 홈페이지 게시판에서 나타나는 부적절한 행동과 상대방에 대한 성적 모욕, 욕설의 사용, 상대방 비하 등에 관련된 유해단어를 추출하여 유해단어 사전을 구축하고 필터링하는 방법이다. 필터링 된 결과에 따라 글 쓰는 시점에서 정보윤리 컨텐츠를 제공한다. 이 기법을 학교 홈페이지 게시판에 적용한 결과 그렇지 않은 경우에 비하여 학생들의 글쓰기 자세와 글 내용이 바른 것으로 나타났다.

  • PDF

교육용 컨텐츠 저작 시스템의 설계 및 구현 (Design and Implementation of the Education Content Producing System)

  • 류경숙;이혜정;정석태;정성태;이용주
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
    • /
    • pp.219-222
    • /
    • 2003
  • SMIL을 이용하여 텍스트, 이미지, 음성, 영상, 애니메이션 등의 다양한 멀티미디어 클립들을 시간적/공간적으로 자유롭게 배치하고, 다양한 멀티미디어 프리젠테이션을 구성할 수 있는 교육용 컨텐츠를 구현할 수 있다. 하지만, SMIL은 HTML이나 XML과 같이 태그를 사용하므로 이를 구현하기 위해서는 텍스트 입력이 가능한 메모장이나 워드프로세서 등을 사용하여 문서를 작성해야하기 때문에 그에 따른 각각의 태그와 속성을 모두 암기해야만 효율적인 컨텐츠를 제작할 수 있다. 그러므로 사용자 입장에서는 시간적인 면에서, 또는 비용면에서 비효율적인 방식이다. 본 논문에서는 멀티미디어 동기화 언어인 SMIL을 기반으로 한 교육용 멀티미디어 컨텐츠 및 멀티미디어 데이터를 누구나 손쉽게 제작하고 처리할 수 있도록 SMIL을 기반으로 하는 교육용 컨텐츠 저작 시스템을 개발하여 컨텐츠를 제작하는 사용자들의 번거로움과 불편함을 없애고 효율성을 높일 수 있게 하였다.

  • PDF

한국전자책문서표준의 적합성 조항 및 전자책 표준 스키마의 정의 (Definition of Conformance Clause and Schema for Electronic Book Standard of Korea)

  • 김재경;손원성;임순범;최윤철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
    • /
    • pp.741-744
    • /
    • 2003
  • 지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자처 표준문서형 정의 규격번호 $KS{\times}6100$으로 제정되었다. 따라서 $KS{\times}6100$을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반 한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 전자책 표준 스키마를 정의하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책 문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 표준 스키마를 사용하여 효율적인 적합성 검사가 가능하다.

  • PDF

SyncML을 이용한 무선인터넷상에서의 SFA 시스템의 구현 (Design and Implementation of A mobile SFA system using SyncML.)

  • 최이권;강신상;이상범
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
    • /
    • pp.165-168
    • /
    • 2003
  • 본 논문에서는 무선 인터넷에 관한 관련 기술을 이용하여 분산 데이터 동기화 표준인 SyncML을 통해 무선 인터터넷 환경에서의 실제적으로 응용 가능한 영업 사원의 업무 자동화 (SPA : Sails Force Automation) 솔루션을 무선디바이스인 PHOPNE 과 PDA 에서 운영할 수 있는 최적 동기화 모듈의 설계와 구현에 목적이 있다. 본고에서는 무선 인터넷 기술, 동기화 기술, 영업사원의 업무 자동화 기술에 언급하고 세 가지 기술을 이용하여 실질적으로 물류, 유통 업무에 사용 할 수 있게 객체 지향 설계 방법과 소스를 분석하여 최적화된 시스템을 도출하고 그것을 통해 무선단에서 경량화된 동기화 최적의 시스템을 설계, 구현하였다. 무선단에서 여러 제약 사항 특히 데이터의 관리에 있어서의 문제점을 동기화 기술을 통해 많은 데이터를 효과적으로 관리함으로써 대용량의 데이터베이스와 디바이스에 상관없이 분산 데이터 일관성과 통합관리 기능을 유지하고 무선단에서 지연성(disconnection)에 대한 신뢰성을 유지 할 수 있는 시스템을 분석과 설계를 통해 객체지향적인 방법으로 고려해서 시스템을 구축하였다.

  • PDF