{"title":"Automated generation and evaluation of control programs for discrete manufacturing processes","authors":"Bruce H. Krogh, R. Willson, D. Pathak","doi":"10.1109/CIM.1988.5396","DOIUrl":"https://doi.org/10.1109/CIM.1988.5396","url":null,"abstract":"A set of software tools is described for specifying the control and process dynamics for discrete manufacturing systems. Specifications are entered and modified in a relational database using a formalism that naturally reflects the functional components of a discrete control system. A Petri-net model of the control and process logic is extracted automatically from the database, and various analysis tools are provided to investigate the consistency and viability of the specifications. The control logic is then translated into source code for the online control computer. The specification formalism and generated control software are illustrated using a simple die-stamping example. A real-time process simulator for program verification is also described.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132932506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New methods for tolerance analysis in solid modeling","authors":"J. Turner","doi":"10.1109/CIM.1988.5423","DOIUrl":"https://doi.org/10.1109/CIM.1988.5423","url":null,"abstract":"Results are presented of research at IBM into the use of solid modeling technology for the automated solutions of tolerating problems. This work focuses on the tolerance analysis problem, and presents several methods for the automated solution of three-dimensional tolerance analysis problems, using solid modeling technology. A Monte Carlo method is presented for both worst-case and statistical tolerance analysis. Linear programming and sequential linear programming methods are presented for worst-case tolerance analysis. Example problems are solved using the experimental GEOTOL solid modeling system.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131116307","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FRAFES, a frame-based feature extraction system","authors":"X. Dong, M. Wozny","doi":"10.1109/CIM.1988.5422","DOIUrl":"https://doi.org/10.1109/CIM.1988.5422","url":null,"abstract":"A prototype feature extraction system based on frame representation of part data and features is presented. A feature description language (FDL), based on semantic nets, is described. The objective of this approach is to provide an intelligent and flexible link between design and manufacturing. Finally, the system implementation and sample results are discussed.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114494407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Animated sensitivity analysis for production planning","authors":"C. Jones","doi":"10.1109/CIM.1988.5407","DOIUrl":"https://doi.org/10.1109/CIM.1988.5407","url":null,"abstract":"The use of advanced computer graphics technology for animated sensitivity analysis is discussed in the context of production planning. Animated sensitivity analysis allows users to make continuous 'local' changes to the state of the system (e.g. the schedule) and simultaneously see appropriate (though not optimal) global changes. The concept is illustrated with two examples from production scheduling, though it is believed that the concept is more widely acceptable.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122572787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automated design of fixtures for FMS","authors":"A. de Sam Lazaro, D. Pham, F. J. Robinson","doi":"10.1109/CIM.1988.5410","DOIUrl":"https://doi.org/10.1109/CIM.1988.5410","url":null,"abstract":"A system for the automated design of fixtures is under development at the University of Minnesota at Duluth and at the University of Birmingham, UK. This system is being developed on a microVAX and a GPX workstation using solid modeling CAD (computer-aided design) and a Lisp-based inference engine. The CAD-rulebase interface languages being used are Fortran and C. A structured set of rules has been assembled and is discussed. The application of the design tool and a simple knowledge base to jigs and fixtures is presented.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122604398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Integration of knowledge-based and algorithmic techniques for production scheduling","authors":"P. Brandimarte, C. Greco","doi":"10.1109/CIM.1988.5392","DOIUrl":"https://doi.org/10.1109/CIM.1988.5392","url":null,"abstract":"The integration of algorithmic and heuristic methods has been investigated in different manufacturing environments. The algorithmic procedures developed for production scheduling results were limited in their ability to cope with the complexity of real-world manufacturing. The scheduling problem, seen as a constraints-satisfaction problem, can be approached with knowledge based techniques. However, algorithmic techniques are more efficient and better able to deal with aggregated data. The authors suggest that the integration of knowledge-based techniques with algorithmic ones can increase the efficiency of searching in the space of possible solutions.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125455132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An online supervisor for robotic tasks","authors":"M. C. Moed, R. Kelley","doi":"10.1109/CIM.1988.5419","DOIUrl":"https://doi.org/10.1109/CIM.1988.5419","url":null,"abstract":"To increase task flexibility in a robotic assembly environment, a hierarchical planning and execution system is being developed which will map user-specified three-dimensional part assembly tasks into various target robotic workcells, and execute these tasks efficiently using manipulators and sensors available in the workcell. One level of this hierarchy, the supervisor, is responsible for assigning subtasks of a system-generated task plan to a set of task specific specialists, and online coordination of the activity of these specialists to accomplish the user-specified assembly. The design is broken down into five major functional blocks: resource management; concurrency detection; task scheduling; error recovery; and interprocess communication. The overall function of the supervisor is examined in relation to the other levels of the hierarchical system. The theoretical design of each module of the supervisor is presented and a sample assembly is executed under the supervisor's control.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117298926","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
C. Charette, S. Park, R. Williams, B. Banhabib, K. smith
{"title":"Development and integration of a microcomputer based image analysis system for automatic PCB inspection","authors":"C. Charette, S. Park, R. Williams, B. Banhabib, K. smith","doi":"10.1109/CIM.1988.5402","DOIUrl":"https://doi.org/10.1109/CIM.1988.5402","url":null,"abstract":"Completely repeatable inspection of printed circuit boards (PCBs) requires that the inspection be automated. The cost of such inspection is beyond most medium to small PCB manufacturers. The authors address this problem with a microcomputer-based image-analysis system. Illumination, filtering, and flaw detection of the IBM-AT-based system are addressed. The authors conclude that when processing costs are reduced, the system will be viable and cost-effective.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"76 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120847251","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mathematical techniques in solid modeling","authors":"C. Bajaj","doi":"10.1109/CIM.1988.5421","DOIUrl":"https://doi.org/10.1109/CIM.1988.5421","url":null,"abstract":"Basic computational problems in mathematics for solid modeling are discussed. It is shown how merging results from algebras, geometry, and approximation theory into effect tools can lead to a higher level of performance in solid modeling. Effective mathematical techniques are shown, such as singularity analysis and resolution, parameterization and implicitization, residue computation and Chinese remaindering, evaluation and interpolation, power-series computations and localization, and membership within ideal (i.e. special sets of polynomials). Set techniques have had and shall have a significant impact on solid modelling.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129529177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simulation analysis applied to the design of a totally automated assembly system","authors":"C.S. Sellers, C. Mosier","doi":"10.1109/CIM.1988.5431","DOIUrl":"https://doi.org/10.1109/CIM.1988.5431","url":null,"abstract":"Partial results are presented of a research project, geared toward developing an automated assembly system design proposal. The assembly system is intended for production of small copiers and similar products composed primarily of plastic parts small motors, and externally supplied electronic and mechanical components. The candidate systems designed are developed and simulation analysis is used to verify and fine-tune the operational capabilities of each. This analysis enabled the design and testing of mechanisms for operationalization of a just-in-time inventory strategy with minimal disruption.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127192790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}