• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.192-197
• /
• 1999

분산 프로그램을 작성하는 프로그래머들은 시스템 통신 코드를 작성할 때 딜레마에 빠지게 된다. 코드를 직접 흑은 부분적으로 직접 작성하면 응용 프로그램의 속도는 최대화될 수 있지만, 응용 프로그램을 구현하고 유지하는데 많은 노력이 필요하게 된다. 반면에 코드를 CORBA IDL 컴파일러를 사용하여 생성하는 경우 프로그래머의 노력은 감소되지만 응용 프로그램의 수행성은 나빠진다. 그래서 우리는 CORBA IDL 컴파일러에 의해 생성된 코드를 최적화할 필요가 있다. 우리는 전형적인 프로그래밍 언어에서 사용되고 있는 기법들을 IDL 컴파일을 하는데 도입한다 우리는 IDL 컴파일의 단계를 세단계로 분리한다. 첫 번째 단계는 전단계로 IDL의 파싱 및 스코프 관리와 AST 생성을 한다. 두 번째 단계는 최적화 단계를 구현한다. 세 번째는 이것을 타켓 언어의 코드로 생성하는 단계이다. 본 논문은 첫 번째 단계에 초점을 맞춘다. 우리는 이 단계에서 AST에서 인터페이스와 메시지 표현을 분리하여 표현한다. 이것은 최적화 단계에서 분리된 최적화를 지원한다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제25권3호
• /
• pp.296-306
• /
• 2006

본 연구의 목적은 미국 퍼듀대학의 하계 GERI 프로그램에 참가한 부산 영재고등학교 학생들의 창의성 개발 학습에 대한 효과를 분석하는데 있다. 연구자들은 12명의 학생들을 대상으로 과학관련 수업을 참관하여 교사와 학생간의 상호작용 및 창의성 개발을 위한 교수학습 전략을 분석하였다. 그리고 이중 6명의 학생들을 대상으로 구체적인 과학 학습과 창의성 개발 과정에 대해 심층 면담을 실시하였다. 연구 결과, 3단계의 심화 학습으로 이루어진 GERI 프로그램은 교사의 창의적인 교수 방식 및 그룹 토의와 개별 연구를 통한 학습으로 학생들에게 창의적인 사고 기능을 촉진하는데 매우 효과적인 것으로 나타났다. 또한 면담을 실시한 대부분의 학생들은 영어에 대한 부담에도 불구하고 GERI 프로그램이 재미있고 쉽게 학습할 수 있으면서도 창의적인 사고 기능 개발에 효과적인 것으로 인식하고 있었다. GERI 프로그램은 우리나라와 비교할 때, 과학 지식의 수준이 다소 떨어지고, 체계성이 부족한 경향이 있었으나 학생들에게 다양한 학습 방법을 활용하여 새로운 과학 세계에 접할 수 있도록 도와주는 것으로 나타났다. 본 연구의 결과는 우리나라 영재 학생들의 창의성 향상을 위한 교수학습 프로그램을 개발하는데 의미 있는 시사점을 제공해 줄 수 있을 것이다.

• 전자공학회논문지C
• /
• 제36C권11호
• /
• pp.64-74
• /
• 1999

본 논문에서는 연결 에지 추가 기법을 이용하여 주어진 클락 스큐를 만족시키면서 동시에 총 배선 길이를 증가시키지 않는 새로운 클락 배선 최적화 알고리즘을 제안한다. 고속의 동기식 집적 회로에서는 클락 스큐가 회로의 속도를 제한하는 주된 요소로 작용하므로 성능의 향상을 위해서는 클락 스큐를 최소화해야 한다. 일반적으로 클락 스큐를 최소화하면 총 배선 길이가 증가하므로 오동작하지 않는 클락 스큐 범위 내에서 클락 배선을 수행한다. 이를 이용하여 본 논문에서는 제로 스큐 트리에 연결 점 이동 방법을 적용하여 총 배선길이와 지연 시간을 감소시킨다. 제안하는 알고리즘은 클락 트리의 두 노드 사이에 연결 에지를 추가하여 일반적인 그래프 형태의 클락 토폴로지를 구성하여 주어진 클락 스큐 범위를 만족시키고 동시에 총 배선장의 증가를 억제한다. 연결 에지를 구성하는 두 노드를 선택하기 위한 새로운 비용 함수를 고안하였다. 클락 트리 상에서 지연 시간의 차이가 크면서 거리가 가까운 두 노드를 연결함으로서 싱크 사이의 지연 시간의 차를 감소시켜서 클락 스큐를 감소시킨다. 또한 클락 신호선의 지연 시간 최소화를 위하여 배선 토폴로지 설계 및 배선 폭 조절 알고리즘을 개발하였다. 본 논문에서 제안하는 알고리듬을 C 프로그램 언어로 구현하여 실험한 결과 주어진 스큐 범위를 만족시키면서 지연 시간을 감소시키는 효과를 얻을 수 있었다

• 디자인학연구
• /
• 제19권6호
• /
• pp.27-32
• /
• 2006

본 작품 TYME 은 프로그래밍 언어인 프로세싱(Processing)으로 디자인된 인터랙티브 타이포그래피 프로그램으로서, 순간적인 시간의 속성을 타이포그래피적 표현으로 형상화한 미디어 기반의 컴퓨터 아트 작품이다. 어두운 발표장 실내 공간에서 사용자가 컴퓨터 키보드로 문자를 타입하면, 스크린의 오선지 위에 흰 연기 형태의 알파벳들이 나타나 흐르고, 연기처럼 수 초내에 스크린 속으로 사라져간다. 또 각 키들의 알파벳에 연결된 사운드들로 인해 재즈와 같은 실시간 즉흥 연주를 만들어낸다. 관객들은 스크린을 통해 시간 속에 사라지는 텍스트들이 만들어내는 영상 시(詩) 연주를 감상한다. 현대 미디어 환경에서 예술과 기술이 통합 되어 실험되고 있는 컴퓨터 아트의 맥락을 타이포그래피에 도입하여, 디지털 미디어 환경 속에 구현될 수 있는 타이포그래피적 시간과 공간을 디자인하고자 하였다. 잡을 수 없는 순간적인 시간 속에 사라지는 것들에 대한 감성과 미적 경험을 타이포그래피의 유희적 특성에 연결시켜 표현 개발하였다. 시간 속에 고정 되어 있지 않고 변화하는(unfixed) 디지털 타이포그래피의 속성을 반영하는 작품으로서, 또한 프로그래밍 코드에 의한 인터랙티브 타이포그래피의 디자인 방법으로서, 한 모델이 될 수 있다고 보고 작품과 함께 그 디자인의 경향을 정리하였다.

• 전자공학회논문지
• /
• 제49권10호
• /
• pp.217-230
• /
• 2012

본 논문에서는 하드웨어 장비의 성능 및 기능을 검증하기 위한 방법으로 시험장비와 하드웨어 장비간의 연동시험을 하기 위한 점검 프로그램 설계 방법을 제안한다. 제안하는 점검 프로그램은 장비 스트레스를 최악의 조건에서 기능을 검증하여 사전에 고장 유무를 확인하고 수리함으로써, 비행체에 탑재하여 발생하는 고장률을 최소화하는 방안이다. 그리고 UML을 이용하여 객체 지향적으로 소프트웨어를 설계함으로써 다른 장비에 쉽게 적용할 수 있다. 점검 프로그램은 Architecture package와 Hardware package로 구성되어 있다. Architecture package는 시스템 관리, 로그분석, 메시지 수신 및 분석하는 역할을 한다. 시스템 관리에서 사용하는 메시지는 점검하기 위한 정보를 정의하고, 정의된 메시지는 이더넷으로 시험장비와 송수신한다. Hardware package는 점검해야 하는 하드웨어 및 시스템 관련 하드웨어를 관리하는 역할을 한다. 점검해야 하는 하드웨어는 내부 점검과 송수신 점검으로 구별되어 있다. 내부 점검은 하드웨어 자체적으로 점검하여 그 결과를 시험장비로 전송하는 방법이다. 송수신 점검은 통신디바이스 점검으로써 데이터를 전송하거나 수신하여 점검하는 방법이다. 모든 점검은 병렬적으로 점검함으로써 최악의 조건에서 장비의 고장유무를 확인한다. 시험한 결과는 약 1시간 동안에 디바이스들은 적게는 482번에서 많게는 15003번 점검하는 것을 확인하였다. 점검 프로그램은 하드웨어 장비의 신뢰성을 검증하는 환경/EMI 시험에 사용한다.

• 정보교육학회논문지
• /
• 제15권2호
• /
• pp.253-264
• /
• 2011

정보교과는 2007년 개정 교육과정을 통해 '정보'로 과목의 명칭을 통일하고, 교과의 특성을 반영한 문제해결 능력을 중시하는 교육으로 변화를 거듭하였다. 이에 본 연구는 '정보' 교과의 '문제 해결 방법과 절차' 영역이 학생들의 능력을 높이는 데 기여할 수 있을 정도의 탐구적 경향을 보이는 지 알아보았다. 검정 교과서 중 채택율이 높은 4종의 교과서를 Romey 분석법으로 분석한 결과, 본문 분석에서는 1개 교과서만이 탐구적 경향을 보인 반면, 교과서 활동 지수는 각 교과서마다 충분한 정도의 탐구적 경향을 나타내었다. 그러나 내용의 구성에 있어서 사용된 소프트웨어들이 상용이거나 특정 프로그래밍 언어에 귀속되는 문제가 발견되었다. 본 연구는 학교 교육에서 교과서의 선택만으로도 내재적 불평등의 가능성이 제기될 수 있으므로 교과서는 최대한 객관적으로 기술되어야 하고 특정 학습 환경에 종속되지 않도록 구성되어야 함을 시사점으로 발견할 수 있었다.

• 정보처리학회논문지B
• /
• 제10B권6호
• /
• pp.599-610
• /
• 2003

웹은 정보 제공원으로서 중요한 역할을 하며 대부분의 웹 응용프로그램은 문서 중심이다. 문서는 문서설계자의 의도를 함축하고 있으며 이는 업무처리 과정의 자동화에 적극적으로 활용될 수 있다. 이러한 문서기능의 본질 파악을 통해 본 논문에서는 특별한 경우, 문서를 실행 가능한 컴퓨터 프로그램으로 보는 시각으로 접근하였다. 이를 위해 서식, 지식베이스, 규칙 그리고, 질의로 구성되는 능동문서 모델을 제안하였다. 이 모델의 각 요소는 문서의 재사용과 상호 운용성을 위해 XML로 일관되게 표현된다. 소개한 능동문서는 사용자 인터페이스를 제공하는 수동적인 역할뿐만 아니라 문서설계자가 의도하는 문서처리 절차와 업무규칙을 기계가 읽고 추론하여 처리할 수 있게 하는 문서이다. 이를 통해 문서와 기계가 상호작용을 할 수 있으며 다른 응용 프로그램과 협력할 수도 있다. 이러한 능동문서의 적용 가능함을 보이기 위해 기업 간 거래(B2B) 시스템에서 구매주문 처리의 예를 보였다. 서식문서를 컴퓨터 프로그램의 시각으로 바라보는 본 논문의 접근법을 통해 본 연구는 문서중심의 지능적인 응용프로그램 개발을 가속화하는 발판을 마련할 수 있을 것이다. 요컨대 본 논문에서 제시한 능동문서는 지식표현 및 처리기능이 내장되어 있는 바, 시맨틱 웹(Semantic Web)이 추구하는 문서의 역할을 담당할 수 있을 것으로 기대한다.

• 한국콘텐츠학회논문지
• /
• 제8권11호
• /
• pp.412-425
• /
• 2008

이-러닝을 통한 교육에 있어 학습자의 학업 성취도를 향상시킬 수 있는 중요한 요인 중의 하나는 다양한 평가문항을 제공하여 학습자가 원하는 주제의 문제들을 용이하게 검색하여 학습할 수 있도록 지원하는 것이다. 그러나 평가문항을 위한 시스템은 주로 구문해석에 기반 한 키워드 검색과 영역별 단원 중심의 계층적인 분류체계에만 의존하고 있어 영역별 연관 관계에 의한 통합된 유형의 문항 검색에는 어려움을 지닌다. 본 논문에서는 C언어 프로그래밍 학습을 위한 문항을 웹상에서 쉽게 관리하고 유지할 수 있는 더불어 관리된 문항들을 효과적으로 검색하여 활용할 수 있는 문항관리 및 검색 시스템을 설계하고 구현 하였다. 제안된 문항 검색 시스템은 사용자 질의가 가지는 의미로부터 문항간의 개념적 연관 관계에 의한 검색을 가능하게 함으로써 단일 주제의 문항뿐만 아니라 영역별 연관 관계에 의한 통합된 유형의 문항들을 편리하게 검색하여 학습에 활용할 수 있도록 하였다. 따라서 제안된 시스템은 교과의 기본적인 원리, 개념의 이해뿐만 아니라 종합적인 지식 활용 및 문제 해결 능력 향상을 지원하는 시스템으로 기대된다.

• Radiation Oncology Journal
• /
• 제11권1호
• /
• pp.175-181
• /
• 1993

방사선수술을 시행하기 위해서는 종양의 위치결정, 흡수선량 계산, 그리고 치료를 위한 특수제작된 기구와 컴퓨터 프로그램이 요구된다. 본 연구의 목적은 선형가속기의 전반적인 기계적 정밀도를 확인하고 선형가속기를 이용한 방사선수술에 있어서의 선량계산 알고리즘을 개발하는 것이다. 치료기계의 정렬과 전반적인 치료체계의 성과에 대한 점검을 행하였고 백분율 심부선량, 중심축외 선량비, 그리고 출력인자와 같은 기본 계산자료를 측정하였다. 또한, 입체방사선수술을 위한 3차원적 치료계획 체계를 개발하였다. 선량분포를 계산하기 위하여 C-언어를 이용한 컴퓨터 프로그램을 작성하였고 하드웨어로는 IBM PS/2 (Intel 80386 SX, 24 MHz)를 사용하였다. 그 결과, 주 병원이 보유한 선형가속기의 겐트리와 테이블 회전에 따른 중심점에 대한 오차는 2 mm 이내로 방사선수술을 시행하기에 충분하였다. 팬톰실험에 따르면, 컴퓨터 단층촬영을 이용한 위치결정을 포함한 표적에의 빔의 일치도는 역시 2mm 이내였다. 끝으로, 본원에서 개발한 3차원적 치료계획의 정확도는 필름을 이용한 선량측정을 통하여 입증되었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.