http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
조창현(Chang-Hyun Jo),강신우(Shin-Woo Kang) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
프로그래밍 언어의 시맨틱을 정형적으로 명세하는 것은 언어 설계자, 컴파일러 구현자, 프로그래머 모두에게 유용하다. 정형적 시맨틱 명세 방법 중에서, 명시적 시맨틱(denotational semantics) 모델은 입력과 출력에 대한 함수로서 그 의미를 명세한다. 명시적 시맨틱은 해당 프로그램 구절이 어떻게 연산되는지를 나타내준다. 이러한 명시적 시맨틱은 그 프로그램 언어의 번역기를 만들 수 있는 기반이 된다. 프로그래밍 언어의 정형적 시맨틱으로부터, 컴파일러를 자동 생성하는 연구는 아직 실용성이 미흡하지만 최근 그것의 정확성과 효율성이 실험을 통해 증명되고 있다. 본 논문에서는 명시적 시맨틱을 이용한 언어-해석기 프로토타입의 실험적 구현을 통해, 시맨틱-구동 컴파일러 생성기의 구현 가능성을 살펴본다.
조창현(Chang Hyun Jo),이기창(Gi Chang Lee),최가애(Ga-Ae Choi),차창훈(Chang Hun Cha),최희서(Hee Seo Choi),김성진(Seong Jin Kim),윤주일(Ju il Yoon) 대한기계학회 2019 대한기계학회 논문집. Transactions of the KSME. C, 산업기술과 혁신 Vol.7 No.3
클라우드 기반 자동화 3D 프린팅 시스템은 클라우드 형태의 서버를 기반으로 하여 원격으로 프린팅할 수 있는 IoT 시스템을 구축해내고, 이에 맞는 프린터를 제작하여 연동시킨 3D 프린팅 시스템이다. 제작한 3D 프린터는 연속으로 프린팅이 가능한 컨베이어벨트 방식의 베드이며, 듀얼 노즐을 적용해 서포트와 서로 다른 소재로 출력할 수 있어 후처리 과정 또한 간편하다. 이러한 3D 프린터는 서버를 통해 프린팅 과정을 확인 및 관리할 수 있으며, 여러 개의 출력물을 예약하여 사람의 개입 없이 연속적으로 출력해낼 수 있다. Based: Cloud-based automated 3D printing system constructs IoT system which makes available for users to do the printing remotely based on a cloud-type server. Conveyor belt bed of 3D printer makes possible to print continuously and we applied dual nozzles to support and print two different types of filament which also helps post processing process easier. This 3D printer"s printing process can be identified and managed through servers. Additionally, by reserving multiple outputs, continuous output can be done without human intervention.
조창현(Chang-Hyun Jo),최완(Wan Choi),이동길(Dong-Gill Lee),이준경(JoonKyung Lee) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
이 논문은 통신 및 교환기용 프로그래밍 언어인 CHILL에 객체지향 개념의 접목을 위한 고려사항을 분석하여, 이에 따른 새로운 언어 구문의 설계를 소개한다. 이 연구 결과의 병행 객체지향 CHILL(COO-CHILL)은 국내에서 개발한 실험적인 언어로서 통신 및 교환기 프로그래밍을 위한 병행 분산 환경상의 프로그래밍에 적합하다. 이에 수반된 많은 개념은 ITU-T 국제 표준회의에 제안될 것이고, 이 결과에 따라 전자통신연구소에서 상용 컴파일러가 작성될 예정이다.
조창현(Chang-Hyun Jo),김필선(Phil-Sun Kim),이찬호(Chan-Ho Lee),이준열(Jun-Yeol Lee) 한국정보과학회 1998 정보과학회 컴퓨팅의 실제 논문지 Vol.4 No.1
본 논문은 "SPARC 코드 생성기"(컴파일러 후위-처리기)의 구현에 관한 경험을 소개한다. 개발된 SPARC 코드 생성기는 다양한 전위-처리기와 결합되어 시험되었으며, 성공적으로 작동되고 있다. SPARC 코드 생성기는 컴파일러 설계 도구인 ACK(Amsterdam Compiler Kit)의 코드-생성기-생성기 시스템(code-generator-generator)과 일부 C 프로그램으로 구현되었다. SPARC 코드 생성기는 중간코드로 생성된 EM(Encoding Machine) 코드를 입력으로 하여 SPARC 어셈블러 코드를 생성한 후, GNU 어셈블러와 링커에 의해 완벽한 실행 파일을 생성한다. 본 논문에서는 SPARC 코드 생성기 구현에 필요한, 기존의 여러 시스템의 스택 구조를 분석하였고, 다양한 스택 구조를 새로이 설계하여 비교 분석하였다. 또한 코드 생성 테이블을 작성하는 각 단계를 설명한다. SPARC 코드 생성기는 GNU 표준 라이브러리 및 GNU 디버거와 같은 보조 도구와도 사용이 가능하다. 그리고 개발된 SPARC 코드 생성기는 다양한 상용 프로그램 및 시험 프로그램으로 성공적으로 시험을 마쳤다. This paper reports our experience in code-generator implementation for a SPARC machine. The code-generator has been tested with various front -ends, and has been successfully working. The code-generator is built by using a compiler building system - Amsterdam Compiler Kit(ACK) and some C codes. The code-generator reads a stream of EM instructions(as intermediate codes) and generates a SPARC assembly code The generated code can be translated into an executable code by GNU assembler and ]inker. For this work, we have analyzed the exsisting stack frames on SPARC, and have newly designed various stack frames. In this paper, we have compared with various stack frames, and described the scheme of machine description table construction for code generator. The code produced from this code generator can be used with the GNU environments(standard library and debugger). The SPARC code-generator has been successfully tested and used in commercial level.