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.Lin, Chang-Pin

Search Results

Now showing 1 - 10 of 12
  • Thumbnail Image
    Item
    Design, Verification and Implementation of Rule Based Information Systems for Integrated Manufacturing (INSIM)
    (1992) Lin, Chang-Pin; Harhalakis, G.; ISR
    Full control and management of information flow in an automated factory 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 concentrated on the computerization of individual functions of manufacturing, 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 much needed mechanism to manage and control the information flow among all of the manufacturing application systems 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 system for Integrated Manufacturing (INSIM) reflects a design methodology to build a knowledge base to serve as the information control mechanism. The methodology includes the collection of rules (knowledge acquisition), their graphical modeling, systematic model validation and automated implementation to an operating production system. 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 knowledge based system written in Update Dependencies Language (UDL) - a special rule specification language - was implemented as a result of direct and automatic translation of UPN.
  • Thumbnail Image
    Item
    A Class of Conflict Free Petri Nets Used for Controlling Manufacturing Systems
    (1992) Harhalakis, George; Levantopoulos, Marios M.; Lin, Chang-Pin; Nagi, R.; Proth, J.M.; ISR
    This paper is devoted to the behavior, evaluation and management of non-cyclic discrete systems in general and manufacturing systems in particular. We introduce a special type of Petri nets called CFIOs (Conflict-Free nets with Input and Output transitions). It is shown that CFIOs are live, reversible if consistent, and can be kept bounded under certain conditions. We also develop reduction rules which facilitate the computation of the t-invariants of CFIOs. We then take advantage of the qualitative properties of CFIOs to perform planning in manufacturing systems. Numerical examples illustrate these approaches
  • Thumbnail Image
    Item
    UPN: A Petri Net Based Graphical Representation of Company Policy Specifications in CIM
    (1992) Harhalakis, George; Lin, Chang-Pin; ISR
    A graphical representation schema - Updated Petri Nets (UPN) - has been developed to model rule based company policy specifications, in the context of computer integrated manufacturing systems. UPN facilitates the modeling of relationships between operations of various related application systems and the database updates and retrievals among various CIM databases. Based on this representation, a hierarchical modeling technique which includes refining and aggregating rules has also been developed. Application of the UPN is demonstrated in designing rule based systems for controlling and integrating the information between manufacturing applications, including Computer Aided Design, Computer Aided Process Planning, Manufacturing Resources Planning, and Shop Floor Control.
  • 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.
  • Thumbnail Image
    Item
    Formal Representation, Verification and Implementation of Rule Based Information Systems for Integrated Manufacturing
    (1991) Harhalakis, George; Lin, Chang-Pin; Mark, Leo; Muro, P.R.; ISR
    Full control and management of information flow 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 of manufacturing, 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 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. The methodology includes knowledge acquisition, graphical modeling, systematic validation and automated implementation. 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 software package based on the INSIM methodology was developed and a prototype rule based system in Update Dependencies language - a special rule specification language - is being implemented. It assimilates the functionality of information flow between Computer Aided Design, Process Planning, Manufacturing Resource Planning and Shop Floor Control.
  • Thumbnail Image
    Item
    Integration of Product and Process Design with Manufacting Resources Management.
    (1989) Lin, Chang-Pin; ISR
    There is critical need for establishing CIM at the factory level, to complement the research done in manufacturing integration, which has concentrated so far on flexible manufacturing cells, robotics and other fabrication and material handling devicea This paper identifies the application modules that clearly lend themselves to an integrated information flow in a controlled manner computer aided design and computer aided process planning constitute the product and process design centers of the proposed system respectively. Manufacturing resource planning undertakes the management of production plans to satisfy the market demand. The functional design of the system was derived from expertix in manufacturing management. The modeling and analysis are formalized with the ux of generalized Petri-Nets. The implementation strategy recognizes the existence of application tools whox characteristics must be retained and subjected to synergism. Hence, a prolog-based database interoperability language enabled us to construct the knowledge-base that controls the system. Extensions of this work include the incorporation of a shop floor control module, to interface with the factory level.
  • Thumbnail Image
    Item
    A Knowledge-based Prototype of a Factory Level CIM Systems.
    (1988) Harhalakis, George; Lin, Chang-Pin; Mark, Leo; ISR
    There is a critical need for establishing CIM at the factory level, to complement the research done in manufacturing integration, which has concentrated so far on flexible manufacturing cells, robotics and other fabrication and material handling devices. This paper identifies the application modules that clearly lend themselves to an integrated information flow in a controlled manner: Computer aided design and computer aided process planning constitute the product and process design centers of the proposed system respectively. Manufacturing resource planning undertakes the management of production plans to satisfy the market demand. The functional design of the system was derived from expertise in manufacturing management. The modeling and analysis are formalized with the use of generalized Petri-Nets. The implementation strategy recognizes the existence of application tools whose characteristics must be retained and subjected to synergism. Hence, a prolog-based database interoperability language enabled us to construct the knowledge- base that controls the system. Extensions of this work include the incorporation of a shop floor control module, to interface with the factory level.
  • Thumbnail Image
    Item
    Functional Design, Modeling and Analysis of a Facility-Level CIM System.
    (1988) Harhalakis, George; Hillion, H.; Lin, Chang-Pin; Moy, K.Y.; ISR
    There is a critical need for establishing CIM at the facility level, to complement the research done in manufacturing integration, which has concentrated so far on flexible manufacturing cells, robotics and other material handling devices. This paper identifies the application modules that clearly lend themselves to an integrated information flow in a controlled manner: Computer aided design and computer aided process planning consist the product and process design centers of the proposed system respectively. Manufacturing resource planning undertakes the management of production plans to satisfy the market demand. The functional design of the system is derived from expertise in manufacturing management. The modeling and analysis are now formalized with the use of generalized Petri- Nets. The implementation strategy recognizes the existence of application tools that must be retained and subjected to synergism. Hence, a database interoperability language is in its final development stage, to enable the construction of the knowledge-base that will control the system. Extensions of this work include the incorporation of a shop floor control-module, to interface with the factory level.