• 한국정보과학회논문지:데이타베이스
• /
• 제30권2호
• /
• pp.109-124
• /
• 2003

대부분의 상용 관계 DBMS(Database Management System)에서는 사용자 편의성을 위하여 SQL과 함께 그래픽 질의어를 제공하고 있으나, 객체 DBMS의 경우에는 그래픽 질의어에 관한 연구와 개발이 미흡한 실정이다. 그래픽 질의어에서는 복잡한 질의 조건을 간결하고도 직관적인 방법으로 표현하는 것이 중요한 이슈이다. 특히, 객체 DBMS는 관계 DBMS 보다 복잡한 데이타 모델과 객체 질의어를 제공하므로 그래픽 객체 질의어를 설계하고 구현할 때 간결성과 직관성을 유지하는 것이 더욱 중요하다. 본 논문에서는 인터넷 환경에서 원격지 객체 데이타베이스에 접근하여 자료를 검색하고 관리하는 그래픽 객체 질의어인 GOQL(Graphical Object Query Language)을 제안한다. GOQL은 그래픽 관계 질의어에서 다루지 않은 집합값 속성과 한정어 및 메소드를 포함한 길이가 2 이상인 경로를 간단한 그래픽 요소들로 시각화함으로써 간결성과 직관성을 높인다. 그리고 대표적인 객체 질의어인 XSQL(1,2)에서 사용하는 경로는 GOQL에서 제공하는 간단한 시각적 도구로 표현할 수 있음을 보인다. 또한, 논문에서는 GOQL의 그래픽 질의어를 텍스트 객체 질의어로 변환하는 알고리즘을 제안하고, 실제로 인터넷 환경에서 동작하도록 구현한 결과를 소개한다.

• 한국산업정보학회논문지
• /
• 제8권1호
• /
• pp.112-120
• /
• 2003

본 논문에서는 웹 환경에서 객체 데이타베이스를 위한 그래픽 질의어인 OGQL(Odysseus Graphical Query language)의 설계 및 구현에 대하여 논하였다. OGQL은 객체 질의어에 포함된 객체 개념을 간단한 시각적 도구로 표현함으로써 사용자에게 편리한 질의 환경을 제공한다. 특히, OGQL에서는 클래스 계층구조(class composition hierarchy) 상에서 질의 조건을 표시하는데 널리 사용되는 순환(cycle)을 가진 경로식(path expression)을 그래프 형태의 직관적인 표현 방식으로 시각화하고 있다. 순환을 가진 질의의 시각적 표현은 복잡한 이유로 대부분의 그래픽 질의에서 다루지 않고 있다. 또한, 클래스 간의 상속(inheritance)과 같은 객체 질의어의 고유 특성도 시각적으로 표현하고 있다. OGQL은 JDBC를 이용한 자바응용 프로그램이므로 웹 환경에서 원격지 데이터베이스에 접근이 용이하고, 컴퓨터 시스템 플랫폼에 독립적이라는 장점도 가진다.

• 정보처리학회논문지D
• /
• 제10D권3호
• /
• pp.399-406
• /
• 2003

웹 상에서 XML 문서가 표준으로 자리잡아감에 따라 웹 질의 언어에 대한 연구가 활발히 진행 중이다. 그리고, UML은 객체지향 분석과 설계의 편과를 표현하기 위한 그래픽 언어이다 따라서, 본 연구에서는 UML을 기반으로 한 XML 문서를 위한 그래픽 질의 언어(Graphical Query Language)론 제안한다. 본 연구는 XML 문서의 내용이 복잡하더라도 시각적인 형태의 사용으로 XML 문서의 질의 문법과 의미를 직관적으로 표현 가능하도록 한다. 그리고, XML 문서의 내용과 질의의 문법과 의미를 동일한 시각화를 적용함으로써 XML 문서의 객체지향 DBMS에 저장, 검색의 모든 과정을 일치시킬 수 있다.

• 정보처리학회논문지D
• /
• 제11D권2호
• /
• pp.415-422
• /
• 2004

산업분야에서 자동화 시스템은 제품의 설계, 생산 공정의 제어, 장애 처리, 품질검사 등과 관련된 처리 과정을 자동으로 수행할 수 있도록 하여 생산성을 향상시킨다. 이러한 자동화 시스템에서 감시 및 제어에 대한 처리 과정을 기술하는 언어를 흐름 제어 언어라 한다. 현재 사용되고 있는 흐름 제어 언어는 문자 기반의 IL, ST와 그래픽 기반의 FBD, SFC, LD가 있다. 일반적으로 감시 제어 시스템에서 사용되는 소프트웨어는 사용할 수 있는 흐름 제어 언어를 2종류 이하로 제한하고 있고, 동일한 시스템 환경에서는 언어의 혼용을 통한 통합 시뮬레이션이 불가능하다. 본 논문에서는 흐름 제어 언어의 특성을 분석하고 기존 시스템 환경에서 언어 작성 및 처리 과정에 대하여 분석하고, 언어의 통합 처리를 위하여 고급언어 형태의 ST를 확장한 EST 언어를 제안하였다. 이러한 연구를 기초로 그래픽 언어인 FBD, LD, SFC를 통합 처리하여 EST로 변환하는 그래픽 언어 편집기와 EST를 저급언어인 교로 변환하는 EST-IL변환기를 구현하였다. 이러한 편집기 및 변환기를 통한 교 기반의 시스템 구현 및 실험 결과는 흐름 제어 언어의 통합 처리 방안을 제시한 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.

• 대한전기학회논문지
• /
• 제45권1호
• /
• pp.100-112
• /
• 1996

This paper presents a design experience of a control language for coordination of a multi-robot system. To effectively program job commands, a Petrinet-type Graphical Robot Language(PGRL) is proposed, where some functions, such as concurrency and synchronization, for coordination among tasks can be easily programmed.In our system, the proposed task commands of PGRL are implemented by employing formal model languages, which are composed of three modules, sensory, data handling, and action module. It is expected that by using our proposed PGRL and formal languages, one can easily describe a job or task, and hence can effectively operate a complex real-time and concurrent system. The control system is being implemented by using VME-based 32-bit microprocessor boards for supervisory, each module controller(arm, hand, leg, sensor data processing module) and a real time multi-tasking operating system(VxWorks). (author). 17 refs., 16 figs., 2 tabs.

• 조명전기설비학회논문지
• /
• 제14권1호
• /
• pp.59-66
• /
• 2000

최근 산업공정 시스댐이 복잡해지고 고도의 성능을 요구함에 따라 PLC의 하드혜어와 소프트웨어의 성능이 향상되었다. SFC 그래픽 언어는 순차 논리 알고리즘을 기술뿐만 아니라 인터록 제어 알고리즘과 같은 에러 관리 알고리즘을 기술하는 데에도 적합하다. 본 논문에서는 산업 공정 제어 시스템을 기술하는데 있어서 효과적으로 에러를 관리하기 위해 제한자를 이용 한 에러 관리 방법올 제안하였으며, 제안된 방법으로 필름 코탱기 제어 시스템을 구현한 결과 에러 관리가 용이하고 프로그랩 메모리의 용량을 줄일 수 있었음을 확인하였다.

• 정보처리학회논문지B
• /
• 제9B권3호
• /
• pp.383-388
• /
• 2002

본 논문에서는 GUI(Graphical User Interface)를 사용하여 사용자가 상호 작용적으로 도형 언어(visual language)의 CMG(Constraint Multiset Grammars) 문법을 기술함으로서 자동으로 공간 파서를 생성하는 공간 파서 생성기 SPG(Spatial Parser Generator)의 구현에 대하여 논한다. 본 시스템의 장점은 다음과 같다. (1) 사용자가 도형 언어의 문법을 정의하고 실제로 파싱하고 싶은 도형 언어를 입력하는데 사용되는 도형 에디터를 가지고 있다. (2) 사용자가 도형을 이용하여 대략적인 CMG 문법을 자동으로 생성한 뒤, 수정하여 최종적인 CMG 문법을 정의하도록 한다. (3) 제약 해소기(Constraint solver)를 가지고 있어서 파싱된 도형 언어들이 그 생성 규칙에 쓰여져 있는 제약을 유지한다.

• 응용통계연구
• /
• 제6권1호
• /
• pp.1-11
• /
• 1993

통계자료분석에서 그래픽에 의한 분석방법은 컴퓨터의 급속한 발전과 더불어 많은 기법이 개발되어 왔으며, 이는 자료에 내포된 정보 및 통계적인 모형선택방법에 유용하게 이용될 수 있다. 개인용 컴퓨터에서 그래픽 자료 분석방법에 다양하게 응용될 수 있는 소프트웨어로서 S-PLUS(version 2.0)를 소개하고, 그래픽기능의 관점에서 SAS/GRAPH(version 6.04)와 비교, 논의하고자 한다.

• 전자공학회논문지A
• /
• 제28A권9호
• /
• pp.692-699
• /
• 1991

In this paper, graphical representations of parameter variations affected by series or parallel feedback in the load plane were studied. As a result of transformations, all parameters of 2-port was converted to circles, and the step of noise circles and gain circles was 0.1 dB and 1dB, respectively. Compared with conventional commercial CAD softwares, the circuit design procedures could be verified much more systemically. This CAD was programmed in C-language and executed in IBM-PC with VGA graphic adaptor.