• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.763-765
• /
• 2007

As a useful tool for embedded system codesign approach, it's necessary to make a custom-built interpreter for the system description verification. Usually, designers need to write their program to simulate the environment their system works in. Sometimes making the simulation environment consumes designers more time and energy than describing their embedded system. The interpreter saves the cost that is spent on making such an environment. In this paper, the necessity and motivation of the interpreter will be introduced first, and then the details about each part of it will be illuminated.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.519-522
• /
• 2004

자바는 현재 가장 널리 사용되는 범용 프로그래밍 언어중 하나로 컴파일러에 의해 중간언어인 바이트코드로 변환되며 JVM(Java Virtual Machine)에 의해 실행되는 플랫폼 독립적인 언어이다. SIL(Standard Intermediate Language)은 Microsoft사의 .NET 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 중간언어로 가상기계인 EVM(Embedded Virtual Machine)에서 실행된다. 본 논문에서는 자바 프로그램을 컴파일하여 생성된 클래스 파일에서 Oolong 코드를 추출하고 추출된 Oolong 코드를 EVM의 SIL 코드로 변환하여 자바로 구현된 프로그램이 EVM에서 실행되도록 하는 Bytecode-to-SIL 번역기 시스템을 구현하였다. 그리고 본 번역기 시스템을 다른 플랫폼에 용이하게 설치하기 위한 재목적성(retargetability)을 위해 단일패스(one-pass)을 사용하는 기존의 번역기들과 달리 AST를 이용한 컴파일러 기법을 사용하여 AST가 가지고 있는 정보에 대해 최적화 작업을 수행하여 보다 효과적인 코드 변환을 할 수 있도록 설계하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2022년도 제66차 하계학술대회논문집 30권2호
• /
• pp.719-721
• /
• 2022

본 논문은 비전공자의 프로그래밍 수업에서 발생하는 오류들을 수집하고 오류 유형을 분석하여 초보 프로그래머의 오류 문제 해결을 쉽게 접근할 수 있도록 하고 교수자가 하는 피드백을 인공지능을 통해 자동화하는 시스템을 개발하는 기초 연구가 되는 것을 목표로 하였다. 결과로는 분석한 오류 유형에는 컴파일 타임에러가 가장 많이 발생하였고 그중에서도 구문에러(syntax error), 그중 missing 에러가 가장 많이 나타났다. 비전공자 학습자는 에러메시지를 이해하는 것을 가장 어려워하였고, 교수자의 피드백을 가장 절실하게 필요로 하였다. 좋은 오류 메시지는 초보자 프로그래머를 위한 프로그램 사용성에 큰 차이를 만들 수 있어 오류 메시지 내용을 단순화시킬 필요가 있으며, 학습자와 교수자의 상호작용을 효율적으로 이루어지게 할 필요가 있고, 인공지능을 통한 피드백을 자동화할 필요가 있음을 제언하였다. 향후 과제로는 오류 유형 중 자주 발생하는 구문에러부터 해결할 수 있는 인공지능을 이용한 자동 피드백 프로그램을 만들어 학습자와 실시간 상호작용하여 온라인에서 프로그래밍 수업이 가능한 학습시스템을 구현하고자 한다.

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제21권3호
• /
• pp.25-35
• /
• 2015

Purpose: Signs that are installed at unnoticeable places or that disconnect before the destination can bring errors of location information delivery. Therefore, this study aims to find out the spatial relation between structure of space and signs in the perspective of visual exposure possibility, operating arrangement and assesment by applying spatial structure theory. Methods: Effectiveness of organization of guidance signs was evaluated after the four way-finding factors(Plan Configuration, Sign System, Perceptual Access, Architectural Difference) that G.D.Weisman suggested were interpreted by spatial structure theory(J-Graph analysis, Space Syntax, Visual Graph Analysis) under the premise that it is closely related to the structure of space. Results: 1) Because the south corridor that connects each department of outpatient division is located in the hierarchy center of the space, and walking density is expected to be high, guidance signs need to be organized at the place with high integration value. 2) The depth to the destination space can be estimated through J-Graph analysis. The depth means a switch of direction, and the guidance signs are needed according to the number. 3) According to visibility graph analysis, visual exposure can be different in the same hierarchy unit space according to the shape of the flat surface. Based on these data, location adjustment of signs is possible, and the improvement effect can be estimated quantitatively. Implications: Spatial structure theory can be utilized to design and evaluate sign systems, and it helps to clearly understand the improvement effect. It is desirable to specify design and estimation of sign systems in the order of J-Graph analysis${\rightarrow}$Space Syntax Theory${\rightarrow}$visibility graph analysis.

• 한국콘텐츠학회논문지
• /
• 제10권2호
• /
• pp.89-98
• /
• 2010

엔터프라이즈 시스템은 점점 복잡해지고 대형화되고 있다. 시대적 흐름에 따라 재사용에 초점을 맞춘 객체지향 프로그래밍 방법으로 시스템을 개발하고 있다. 하지만, 객체지향 방법에서는 core class에 중복되는 코드가 삽입되기 때문에, 생산성 저하, 새로운 요구사항을 적용하기 어려운 문제가 발생한다. 이 단점을 해결하기 위하여, 메타데이터와 크로스커팅 개념을 적용하는 위빙 메카니즘을 제안한다. 클래스 최적화와 다른 언어사이의 통합을 위하여 다음의 방법을 사용한다. 리플렉션을 이용한 메타데이타 생성, 추상구조트리로의 변환, 그리고 XML로 명세된 크로스커팅 정보를 통한 매핑을 이용한다. 제안하는 방법을 이용하여, 기능의 분산과 코드의 혼란을 해결함으로서 클래스를 최적화 할 수 있다.

• 대한전자공학회논문지SD
• /
• 제47권4호
• /
• pp.34-40
• /
• 2010

본 논문에서는 H.264/AVC에서 구문 요소의 저장 공간을 줄인 효율적인 CABAC 부호화기를 제안하였다. 제안하는 구조는 모든 블록을 하드웨어 기반으로 설계하여 프로세서에 의존하지 않고 빠른 처리가 가능하다. 또한 CABAC 부호화기의 문맥 모델러에서는 문맥 모델을 유도하기 위해 이웃 블록의 데이터가 필요한데 이웃 블록 데이터를 가공하지 않은 상태로 전부 저장하게 된다면 메모리 용량이 비효율적으로 커지게 된다. 따라서 본 논문에서는 이웃 블록 데이터를 효율적으로 저장하여 메모리 크기를 감소시키는 방법을 사용한다. 제안하는 CABAC 부호화기는 0.18um 표준 셀 라이브러리를 이용하여 합성한 결과 35,463 게이트의 면적을 사용하였으며, 최대 180MHz까지 동작이 가능하고 입력 심벌 당 소요되는 사이클 수는 약 1에 가깝다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제23권2호
• /
• pp.7-18
• /
• 2017

Purpose: The characteristics of site plan of dentistry through examining the schools of dentistry and dental hospitals in Korea and comparison between them are necessary for the development of planning of the dental healthcare system. This study has been started to provide basic information for the planning of education and hospital architecture in dentistry. Methods: Literature review of space analysis and investigation on current status of dentistry in Korea have been conducted. The site plans of eleven schools of dentistry and dental hospitals have been analyzed with S3 axial analyzer in space syntax. Results: The result of this study can be summarized in four points. The first one is that the site plan of school of dentistry and dental hospital is influenced on the location of main campus in the city. The second one is that the types of relationship between dentistry and main campus are diverse from school and hospital in the main campus to independent dental campus in the city center. The third one is that the integration, connectivity and ERAM(3) of dental hospital are greater than school of dentistry and it means that dental hospital is located in easy access area compared with school of dentistry. The fourth one is that school of dentistry roles the connection space between main campus and dental hospital. Implications: It is necessary to analyze the site plan and arrangement of school of dentistry and dental hospital in the campus to develop the dental healthcare system in the city.

• 방송공학회논문지
• /
• 제16권2호
• /
• pp.190-206
• /
• 2011

본 논문에서는 KTA 소프트웨어의 부호화 효율을 향상시키기 위하여 인트라 예측과 인터 예측을 적응적으로 혼합하여 사용하는 방법을 제안한다. 제안하는 알고리즘은 확장된 매크로 블록 내에서 인터 예측 블록들을 먼저 부호화 및 복호화한 후 그 복원값들을 인트라 예측 부호화 과정에서 이용한다. 기존의 인트라 예측 방법에서는 현재 블록의 우측과 하단에 위치한 화소들을 이용하지 못하였으나, 제안 알고리즘에서는 현재 부호화하려는 블록의 상단과 좌측뿐만 아니라 우측 또는 하단의 복호화가 완료된 화소를 이용하여 양방향 인트라 예측을 수행한다. 이를 위해서 양방향 예측 필터를 디자인하였고, 확장 매크로블록 내의 매크로블록들의 적응적인 코딩 순서 정보를 전달하기 위해서 신택스 구조를 수정하였다. 컴퓨터 실험 결과를 통하여 제안하는 방법이 기존 기술에 비해 압축효율을 향상시키는 것을 알 수 있었다.