• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1311-1314
• /
• 2001

PC, Notebook, PDA, Cellular telephone, Smart phone 등 많은 형식의 인터넷 단말기가 사용되고 있지만, 인터넷 상에 존재하는 많은 그래픽 요소들은 이러한 단말기의 형식에 많은 제약을 받고 있다. 또한 사용자가 원하는 형태로 직접 변형하는 것이 어렵고, 그래픽 부분 요소의 재사용이 불가능하다. 본 논문에서는 차세대 마크업 언어로 각광받고 있는 XML(Extensible Markup Language)의 그래픽 표준인 SVG(Scalable Vector Graphic)를 이용하여 어떤 단말기에서도 같은 형식으로 디스플레이 되고 사용자가 원하는 형태로 이미지의 수정 및 부분 요소의 재사용성을 놀인 웹 캐릭터 빌더(Builder)를 설계 및 구현하였다. 연구 결과를 이용하면 에이전트 상의 웹 캐릭터 혹은 웹 상에서 일어날 수 있는 어떠한 컨텐츠에도 사용할 수 있는 기술을 구현한 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.115-117
• /
• 2002

본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러만 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.265-271
• /
• 1999

수학을 교육하다 보면 느끼는 것 중의 하나가 학생의 이해를 돕기 위하여 수학 내용을 시각적으로 알려주되 그 방법이 쉬운 것을 찾는 것이다. 컴퓨터의 발달과 보급으로 인하여 조그만 노력하면 이것이 가능하다는 것을 보여준다. Visual Basic은 윈도우 컴퓨터 언어로서 배우기가 쉬울 뿐 아니라, 이 언어를 이용하여 윈도우용 실행화일을 쉽게 만들 수 있다. 이번 발표는 수치해석학에서 비선형방정식의 해를 구하는 과정을 그래픽을 이용하여 보여주는 프로그램 작성에 관한 것이다. 이것은 모든 수학의 주제에 이용할 수 있다는 가능성을 보여준다. 또한 이것의 종합적인 개발로 수학 교육에 관한 프로그램을 개발할 수 있다.

• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.28-35
• /
• 1991

본 연구는 한국어 천자사전에 알맞은 하이퍼텍스트의 네트워크 구조와 전자사전의 구조에 관한 것으로 인간의 연관적 사고과정을 이용하여 사전을 구성하고자 하였다. 사용하는 사람을 계층적으로 선별하여 그에 알맞는 정보검색의 실마리를 제공하였으며 필요한 즉시 원하는 항목으로의 전환이 가능하도록 하였다. 특히 그래픽 브라우저(Graphics Browser)에 중점을 두어 사용자가 보다 편리하게 정보를 얻을 수 있도록 설계하였다.

• Cartoon and Animation Studies
• /
• s.32
• /
• pp.121-140
• /
• 2013

This study takes a look at diverse artistic strategies is taking as a graphic novel of participation. Pascal Croci has used and combined the forms to convey the message he want as a writer of an inclusive graphic novel, image-text. It is linked with an intrinsic to the graphic novel as well as tradition of realism in a wide variety of genres. This study takes a brief look at the realism art in each genre and confirms in relation to the artistic characteristics of intrinsic to the graphic novel is taking as a graphic novel of participation. is consists of the process of covering a case and the form of a broadcasting report and a fictional format emphasizes the objectivity in contents to highlight the journalistic characteristics of the general narrative. uses various artistic languages of realism. The audience feels a realistic case through the experience and writer's message is convey effectively. shows the generic openness of the graphic novel.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1260-1268
• /
• 2005

Ladder Diagram(LD) is the most extensively used among PLC standard language for the design of control system. But LD has the disadvantages for data processing and maintenance. On the other hand, the Sequential Function Chart(SFC) graphic language is very powerful for describing the sequential logic control algorithm. SFC is based on flow chart, so control flow understanding is very easy and divergence can possible improving its ability. In this paper, we propose the efficient management elevator system using the action qualifiers and choice divergence. From the result, we confirm the SFC language reduced program memory capacity and processing time is faster than LD language.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.9
• /
• pp.94-102
• /
• 2003

This paper describes the development and implementation for the SYMBOLGEN(SYMBOL GENerator) software. The SYMBOL-GEN software is for improving graphic processing speed and decreasing data communication load in ASC by genera ting and downloading off-line symbol file for HUD and MFD , which are the main display equipments in military aircraft. The SYMBOL-GEN is developed on PC using C++ language and MS Visual Studio 6.0 development tool. It is also designed to be modified and extended easily by introducing object-oriented software development technique.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.2
• /
• pp.181-189
• /
• 2002

In this paper, we designed and implemented Avata construction system using XML(extensible Markup Language) and SVG(Scalable Vector Graphic). The Web character created with Avata(or Web character) construction system are displayed in same (on without damage of image, regardless terminal type and user can modify and change image easily in form that want. Compare with existing Web character system, the Reusability of web character part element Is increased greatly with Avata construction system of this paper. Because SVG is described by text, graphic retrieval is convenient, and applications can use easily SVG document. Also, SVG can create web graphic document dynamically with database because can access easily in all graphic primitives of line, Polygon, text, image etc. As well as web character using study finding, we may develop usable technology to some contents on World Wide Web.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1665-1668
• /
• 2003

기존 프로세스 모델링 언어들은 엄격한 의미론과 사용의 용이성이라는 프로세스 언어가 갖추어야 할 중요한 두 가지 측면을 동시에 만족시키지 못함으로써 그 동안의 다양한 연구에도 불구하고 실제 소프트웨어 산업계에서 널리 사용되지 못하고 있다. 본 논문에서는 이러한 단점을 제거한 프로세스 모델링 언어 RAiSE 를 정의하고 이를 예제 소프트웨어 프로세스에 적용한 예를 설명한다. RAiSE 는 쉽게 이해할 수 있는 그래픽 표기법을 기반으로 하여 다양한 모델링 패러다임들의 필수적인 요소들을 결합시킴으로써 이해하기 쉬우면서도 엄격하고 풍부한 의미론을 제공한다.