• 산업진흥연구
• /
• 제5권1호
• /
• pp.73-87
• /
• 2020

본 논문의 목적은 명리학의 원서 번역에 있어서 직역과 의역에 편중을 두다가 해석의 무리를 범한 예를 찾아서 그에 대해 엄복의 신·달·아(信·達·雅)의 기준에 맞추어 명리학의 원서 번역의 기준을 새롭게 적용하여 보았다. 원서번역은 기본적으로 원 저자의 의도가 충실히 반영되어야 하기 때문에 신(信)에 해당하는 직역과 달(達)에 해당하는 의역 그리고 우아한 해석에 해당하는 아(雅)를 기준으로 그때그때 필요한 해석에 적용되어야 한다. 번역은 원 저자의 의도에 등가성 구현이 가장 큰 목적이므로 표현의 상이성 속에서도 출발언어와 도착언어의 등가성은 지켜져야 한다. 지금까지 명리학 번역에 관한 문제는 주로 언어 구조적 차이를 극복하려는데 치중을 하여 주로 문체론적 번역에 치중을 하였다. 이제는 번역은 문체론적 접근뿐만 아니라 의미적 등가성 구현이 필요하다. 본 연구자는 원서 번역에서 원 저자의 의도와 등가성을 잘 이룰 수 있는 엄복의 번역 기준을 제시함으로써 명리학의 고전 문헌 연구에 대한 새로운 지평을 열고자 한다.

• 실천공학교육논문지
• /
• 제14권1호
• /
• pp.1-10
• /
• 2022

전자공학교육에서 C 프로그래밍 언어 학습은 컴퓨터 프로그래밍을 이해하고, 임베디드 시스템에서 마이크로프로세서 활용 능력을 습득하기 위한 중요한 기초 교육 과정이다. 기초적 문법과 알고리즘 이해에 중점을 두기 위해, 콘솔 창에서 C 표준 라이브러리 함수에 기반한 프로그램을 작성하며 이론과 실습을 병행해 학습하는 것이 일반적인 교육방법이다. 그렇지만, C 언어의 기본 지식을 어느 정도 습득한 후 프로젝트 활동을 하거나 더 심화된 단계로 나아가고자 한다면, 콘솔창에서 C 표준 라이브러리 함수만을 사용하는 것은 C 프로그램으로 표현하거나 제어할 수 있는 대상을 한정시키게 된다. 학습자가 그래픽 또는 멀티미디어 리소스를 쉽게 활용해 교육적 가치를 높이기 위한 목적으로, 본 논문에서는 공개 소스 소프트웨어인 Simple DirectMedia Layer (SDL)을 활용하는 방안을 C 프로그래밍 언어 학습 과정에 적용한 사례를 연구한다. 콘솔 창에서 수행하는 기초적 프로그래밍 교육과정을 마친 후에 적용된 SDL활용 프로그래밍 교육 과정을 소개하고, 설문 조사를 통해 교육적 가치를 평가한다. 그 결과, 응답자의 56% 이상이 응용능력개선, 흥미유발, 전반적 유용성 측면에서 긍정적 의견을 표명했으며, 부정적 의견은 4% 이하였다.

• ETRI Journal
• /
• 제8권2호
• /
• pp.167-177
• /
• 1986

국설계가 수행된 후 이를 바탕으로 product ordering 을 하기 위해 물자 설계가 수행된다. TDX-1 시스팀의 물자 설계를 위한 TDX-1 dimensioning system 에서 수행되는 내용은 H/W device traffic dimensioning, cable dimensioning, parts calculation, system price estimation, power consumption calculation, spare parts calculation, system optimization 으로서 이들에 대한 구체적인 수행 방법과 절차를 제시하였다. 효율적인 물자산출을 위해 전산 패키지인 "DIMEX"를 개발하였다. DIMEX의 source program 은 C-language로 되어 있으며 UNIX operating system에서 수행된다. DBMS는 troll을 사용하고 있다. Memory size는 troll을 제외하고 약 10,000 block 정도이다. 현재에도 DIMEX 에 대한 기능 보완 및 추가가 VAX750(System5)에서 계속 진행 중에 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.1033-1036
• /
• 1998

본 논문은 FLEX 디코더에서 필요한 심볼 클럭을 생성하기 위한 심볼 동기 알고리즘을 제안하고, 제안한 알고리즘을 기본으로 한 심볼을 동기회로의 설계에 관한 것이다. 제안한 알고리즘은 조-만 게이트 동기 (ELGS:Early-Late Gate Synchronization)기법을 이용하고 있다. VHDL(VHSIC Hardware Description Language)로 설계된 심볼 동기회로는 Synopsys 툴을 이용하여 기능레벨의 시뮬레이션을 수행하였고, Altera MAX+plus II를 이용하여 타이밍 분석을 수행하였다. 실험 결과로부터 Source unit와 FLEX 디스코더와의 시스템 동기가 정확히 이루어짐을 확인하였다.

• 경영과학
• /
• 제10권2호
• /
• pp.61-77
• /
• 1993

This paper involves a study of developing the production scheduling system in a general job shop type mechanical factory. We consider realistic situations in the job-shop environments, such as alternative machines for operation, the new kinds of processes, the machining center with the plural pallet, the operational situation of each machine during the scheduling period, occurings of urgent orders and machine breakdowns. We also propose the methodology of re-schedule. It is very fast and acceptable for real time production control system. These all functions are implemented on IBM PC and program source is written in PASCAL language.

• 한국컴퓨터정보학회논문지
• /
• 제3권3호
• /
• pp.63-71
• /
• 1998

원시 코드로부터 이 언어들을 충분히 다시 표현할 수 있는 공통의 언어 즉 메타 언어를 설계하여 역공학 시스템의 내부 표현으로 사용하였다. 이것을 입력으로 하여 변수와함수 사이의 관계에 기반한 유사도 공식을 사용하여 가장 적절한 클래스를 추출하고, 추출된 클래스의 가시성을 자동적으로 분류한다.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 2007년도 한국음성과학회 공동학술대회 발표논문집
• /
• pp.39-40
• /
• 2007

For efficient interaction between human and robots, speech interface is a core problem especially in noisy and reverberant conditions. This paper analyzes main issues of spoken language interface for humanoid robots, such as sound source localization, voice activity detection, and speaker recognition.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.102-110
• /
• 2001

대부분의 해킹 공격은 공격 대상 프로그램의 소스코드 보안취약점에 의해서 발생하지만 프로그램 개발시에 소스코드 보안성에 대해서는 고려되지 않았다. 이러한 문제점으로 인하여 해킹 공격의 근본적인 원인을 해결할 수 없었다. 본 논문에서는 취약점의 원인이 되는 코드를 컴파일시 생성된 어셈블리 코드 수준에서 탐지하는 방법을 제시하고자 한다. 취약한 코드를 컴파일러 수준에서 점검하는 것보다 어셈블리 코드 수준에서 점검하는 것은 어느 정도의 메모리 영역까지 점검할 수 있어 더 정확하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.850-852
• /
• 2004

고급 언어 (high-level language)로 프로그램을 쓰고 그것이 맞다고 증명 했을때, 프로그램과 증명을 동시에 "컴파일"해주는 방법을 찾으려고 한다. 이러한 방법은 "증명 보내기"(Proof Carrying Code)라는 제안을 실용화할 때 요긴하게 사용할 수 있는 기술이다. 지면관계상 "반복문에서 명령어 끄집어내기"(Loop Invariant Code Motion)라는 최적화 과정에 맞게 Hoare 증명을 변환하는 방법에 대해서만 알아보겠다.

• 자연과학논문집
• /
• 제5권2호
• /
• pp.39-43
• /
• 1992

사용자의 관점에서 볼때는 compiler가 parallelism을 발견할 수 있게 하는것이 매우 요구되지만, 아무리 잘 만들어진 compiler 라 할지라도 conditional, functional 또는 I/O statement 등 프로그램내에 존재하는 많은 parallelism을 인식 하기가 결코 쉬운 일이 아니다. 경우에 따라서는 compiler의 parallelism 결정이 곤란할경우 사용자에게 feedback 시키는 경우가 종종 있다. 이런 입장에서 프로그래머는 parallelism을 바로 전달하기 위해서 프로그램의 일부를 재구성 시킬 필요가 자주 발생한다. 그러한 관점에서 Functional, Declarative 언어의 잇점이 있다고 할 수 있고, 그러기 위해서는 paralled machine에 적합한 Algorithm 이 필요하다. 그러나, 이미 사용중인 Algorithm이 Parallel Machine에 부적절 하다는 것을 의미 하는것은 아니다. 본 연구에서는, Fortran을 이용하여 Parallel Algorithm을 구현 시키기위한 Declarative 언어에 있어서 Array 및 Matrix 를 다루기위한 Abstraction 방법을 제시 하고자 한다.