Institute for Systems Research Technical Reports

Permanent URI for this collectionhttp://hdl.handle.net/1903/4376

This archive contains a collection of reports generated by the faculty and students of the Institute for Systems Research (ISR), a permanent, interdisciplinary research unit in the A. James Clark School of Engineering at the University of Maryland. ISR-based projects are conducted through partnerships with industry and government, bringing together faculty and students from multiple academic departments and colleges across the university.

Browse

Author: search.filters.author.Mark, LeoSubject: search.filters.subject.graph theory

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    INformation Systems for Integrated Manufacturing (INSIM)
    (1992) Harhalakis, George; Lin, Chang-Pin; Mark, Leo; ISR
    A mechanism with the potential to control the information flow among all of the manufacturing application systems, in order to streamline factory activities, based on company-specific and company-wide policies and procedures is proposed here. The goal is to achieve a fully integrated manufacturing management system. The INformation Systems for Integrated Manufacturing (INSIM) reflects a design methodology to build a knowledge base to serve as the control mechanism.
  • Thumbnail Image
    Item
    Implementation of Rule Based Information Systems for Integrated Manufacturing
    (1992) Harhalakis, George; Lin, Chang-Pin; Mark, Leo; Muro-Medrano, P.R.; ISR
    This paper focuses on the development of a methodology within a software environment for automating the rule based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a natural language and subsequently representted in terms of a graphical representation by the system designer. A new graphical representation tool is based on Updated Petri Nets (UPN) which we have developed as a specialized version of Colored Petri Nets (CPN). The rule based implementation approach utilize the similarity of features between UPN and the general rule specification language used in the implementation. The automation of the translation of UPN to the rule specification language reduces considerably the life cycle for design and implementation of the system. The application presented here deals with the control and management of information flow between Computer Aided Design, Process Planning, Manufacturing Resource Planning and Shop Floor Control databases. This provides an integrated information framework for Computer Integrated Manufacturing (CIM) systems.

    Index Terms - Rule base, information system, computer integrated manufacturing, system modeling, knowledge verification, Petri nets, rule specification language, reasoning, language translation.

  • Thumbnail Image
    Item
    INformation Systems for Integrated Manufacturing (INSIM) - A Design Methodology
    (1991) Harhalakis, George; Lin, Chang-Pin; Mark, Leo; Muro, P.R.; ISR
    Full control and management of information flow in manufacturing has not yet been achieved, mainly because of the data inconsistencies and lack of established functional relationships among different manufacturing application systems. Research toward CIM has been concentrating on the computerization of individual functions, such as computer aided design and shop floor control, and the integration of data relations, such as global database frameworks and distributed database management systems. A mechanism to control the information flow among all of the manufacturing application systems, in order to streamline factory activities based on company-specific and company-wide policies and procedures is proposed here. The goal is to achieve a fully integrated manufacturing management system. The INformation Systems for Integrated Manufacturing (INSIM) reflects a design methodology to build a knowledge base to serve as the control mechanism. This design methodology features an enhanced graphic modeling tool - Updated Petri Nets (UPN) - which is capable of modeling database updates and retrievals, under specific constraints and conditions, and uses a hierarchical modeling approach. Finally, a prototype rule based system, using the INSIM methodology, is being implemented. It assimilates the functionality and assertains the control of information flow between Computer Aided Design, Process Planning, Manufacturing Resource Planning and Shop Floor Control.