• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제5권2호
• /
• pp.95-100
• /
• 1998

In this note we consider some basic facts concerning abstract M spaces and investigate extremal structure of the unit ball of bounded linear functionals on $\sigma$-complete abstract M spaces.

• 한국통신학회논문지
• /
• 제30권6B호
• /
• pp.369-376
• /
• 2005

XML은 다양한 분야에서 널리 사용되고 있지만, 일반 사용자가 XML 문서를 작성하기란 아직 많은 어려움이 있다. 본 논문에서는 일반 사용자도 손쉽게 XML 문서를 작성할 수 있는 XML 구문지향 편집기를 소개하고, 구문지향 편집기의 내부 자료구조인 추상구문을 정의하고, 정의된 추상구문 규칙으로 문서를 편집하기 위한 편집기의 구성요소를 설명한다. 또한 DTD로부터 추상구문 규칙을 자동 생성하는 방법을 제시함으로써 더욱 빠르고 정확하게 XML 구문지향 편집기를 생성하는 방안을 제안한다. 추상구문의 구조와 구문지향 편집기의 작성 절차를 통하여 더욱 용이하게 XML 구문지향 편집기 생성이 가능하다.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1994년도 한국생물과학협회 학술발표대회
• /
• pp.239.1-239
• /
• 1994

No Abstract, See Full Text

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 추계학술대회 논문집
• /
• pp.450-455
• /
• 1996

Emotional intelligence is investigated in terms of a composing machine as a modern abstract art form. Music has the longest tradition of being an art form which has an explicit formal foundation. Formal aspects of traditional and modern music theory are explained in terms of simple numerical relationship and illustrated with examples. The exploration of art in the view of intelligence, information and structure will restore the balanced sense of art and science which seeks happiness in life.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2434-2444
• /
• 1997

소프트웨어 산업이 발달됨에 따라, 텍스트 위주의 정보보다는 시각적 정보의 요구가 점차적으로 증가하게 되었다. 이로 인해, 실세계에 존재하는 다양한 원시 정보를 사용자가 원하는 시각적인 설계 표현으로 나타내기 위해 자동화된 툴이 필요하게 되었다. 본 논문에서는 추상 정보를 의미 분석을 통해 파싱을 하고, 시각화 구조의 매핑을 통해 시각적 언어를 추출하는 방법론 및 툴에 대해 논한다. 이 툴은 정규 규칙을 사용하여 관계적 구조로 표현하고, 이를 시각화 구조로 매핑하여 시각 정보를 제공한다. 원시코드의 추상 정보를 시각 정보로 변환하는 제안 툴인 VOLS(Visual Object Layout System)는 문서를 시각화하여 사용자에게 이해성을 향상시키며, 기존 원시코드의 유지보스 측면에서 사용자에게 도움을 제공한다.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1998년도 한국생물과학협회 학술발표대회
• /
• pp.271.2-271
• /
• 1998

No Abstract, See Full Text

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.268-277
• /
• 2003

문서내의 태그를 정의하는 문서타입정의(DTD)는 구문구조를 정의하는 XML 문서문법으로 이문법에 따라 작성되는 XML 문서는 파싱처리로 적합성을 확인해야 한다. XML 문서의 적합성을 확인하기 위한 파싱 방법으로서 프로그래밍 언어의 결정적 파싱은 표준에서 언급한 모든 엘리먼트선언에 대한 결정적 내용 모델에 대한 정의를 만족할 수 없다. 이에 본 논문에서는 적합한 XML 문서 처리를 위하여 구문 편집환경에 초점을 맞추고 구문편집에 기본이 되는 DTD의 내부표현과 그에 따른 알고리즘에 대하여 기술한다. 문자열로 표현되는 DTD의 엘리먼트선언과 어트리뷰트선언의 문서 논리구조는 본 논문에서 제시하는 알고리즘에 의해 그래프구조와 데이블구조로 변환되고, 특히 테이블구조의 구문정보는 속성값을 갖는 문맥자유문법형태로 구문지향적 편집기에 이용되는 문법이 된다. 이 문법을 XML 추상문법이라고 하고 문법생성결과 및 구문편집 예를 보인다.

• 한국잠사학회:학술대회논문집
• /
• 한국잠사학회 2001년도 제44회 추계 학술연구 발표회
• /
• pp.24-29
• /
• 2001

no Abstract, See Full Text

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1994년도 한국우주과학회보 제3권1호
• /
• pp.25-25
• /
• 1994

No Abstract. See Full-text