• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• 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.

• The Pure and Applied Mathematics
• /
• v.5 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.6B
• /
• pp.369-376
• /
• 2005

While XML is employed in a variety of fields, editing XML document is still hard for the beginners and ordinary individuals. In this paper, we present a syntax-directed editor which is designed to provide unprofessional XML users with easy guides of using XML document. Along with the definition, abstract syntax (data structure of syntax-directed editor) would be explicitly defined. Components of the editor will be projected according to the projected definition of the abstract syntax rule of this paper. Moreover we show that the automatic generation of the abstract syntax rules coming from DTD would enhance the use of XML syntax-directed editor in faster and more precise ways. It could be easier to generate XML syntax-directed editor through a structure of abstract syntax and standard procedure of manufacturing syntax-directed editor.

• Proceedings of the Zoological Society Korea Conference
• /
• 1994.10a
• /
• pp.239.1-239
• /
• 1994

No Abstract, See Full Text

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• 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.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2434-2444
• /
• 1997

As software industry progresses, the necessity of visual information have increased more than text-oriented information. So, automatic tools are required to satisfy a user's desire for visual design representation of various source information in the real-world. In this paper, we discuss the methodology and tools for parsing abstract information through semantic analysis and extracting visual information through visual mapping. Namely, as to abstract informations are represented as relational structure and then mapped into visual structure using regular rule, user can obtain visual information. We suggest VOLS(Visual Object Layout System) to transform a abstract information to visual information. It can improve user understandability and assist a maintenance for existing source code.

• Proceedings of the Zoological Society Korea Conference
• /
• 1998.10b
• /
• pp.271.2-271
• /
• 1998

No Abstract, See Full Text

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.268-277
• /
• 2003

A document type definition(DTD) which defines tags for a document is a XML document grammar that defines syntactic structure of a document. An XML document keeps the rules and must be parsed to check validation. To parse XML document, the deterministic parsing method of programming language is irrelevant because it does not satisfy the definition of deterministic content model in element declaration. In this paper, we consider editing of a valid XML document in syntax-directed editing environment, and we suggest the internal storage representations of syntax in DTD and theirs algorithms. The consequence is that a syntactic structure of textual DTD is transformed into graph and table structures. The table structure of DTD is interpreted the context free grammar which has attribute values and is used in syntax-directed editor for XML. We called this the XML abstract grammar and showed generated results and examples.

• Proceedings of the Korean Society of Sericultural Science Conference
• /
• 2001.10a
• /
• pp.24-29
• /
• 2001

no Abstract, See Full Text

• Bulletin of the Korean Space Science Society
• /
• 1994.04a
• /
• pp.25-25
• /
• 1994

No Abstract. See Full-text