Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group, the Hague, the Netherlands, 1991

The working conference dealt with recent developments in the field of modelling and optimization and with knowledge based decision support systems. This contributed to the realiza- tion of the aims of the working group 7.6 which are: - to promote theoretical research in the field of optimization including mathematical programming and optimal control; -to encourage the development of sophisticated knowledge based systems in which refined optimization models and algorithms are used; - to contribute to the exchange and dissemination of information and collective experience among the inter- ested groups and individuals; - to support the practical ap- plication of such systems in control, engineering, industry, economy etc. A selection of papers is included into this proceedings vo- lume since they reflect the current state of research in areas of interest to the field of (KB)DDS, and/or they are the value for the dissemination and exchange of information related to research topicsof interest, and/or they describe relevant practical experience related to designing, buil- ding, implementing and using (KB)DSS. A decision support system to determine bankhall concepts....Pages 1-8 Constraint logic programming as a modeling tool....Pages 9-19 A decision support system for packaging lines in food industry....Pages 20-27 Optimization-based decision support system for turbine power units modelling and design....Pages 28-37 Search based planning for decision support....Pages 38-47 User-oriented optimization system Op ti A for the solution of mathematical programming problems....Pages 48-55 Probabilistic analysis of algorithms for stuck-at test generation in PLAs....Pages 56-75 "Decision support on logistic networks" - needs and developments -....Pages 76-83 Towards better understanding of the model concept in the context of information systems development....Pages 84-95 GLOBAL-DETECTOR: Knowledge-based analysis and diagnosis of economical performance on dairy farms....Pages 96-115 An optimisation model for setting pressure controllers to minimise leakage in pipe networks....Pages 116-125 Optimal decisionmaking or optimal trouble-shooting?....Pages 126-138 SLP-IOR: A model management system for stochastic linear programming - system design -....Pages 139-157 Optimization problems of gnostics....Pages 158-167 A distributed knowledge-based system for implementation of manufacturing-programs on the shop floor....Pages 168-184 A discrete-event process analysis and modelling....Pages 185-189 Heuristic reasoning with the interactive mathematical programming system emp....Pages 190-210 Modelling systems with exspect....Pages 211-222 Experiences in decision support systems....Pages 223-252 The use of adaptivity and simulation in planning support systems....Pages 253-258 Scheduling with time windows and solution set restriction....Pages 259-270