simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) (02/22/90)
Volume: 14, Issue: 3, Thu Feb 22 09:56:06 EST 1990 +----------------+ | TODAY'S TOPICS | +----------------+ (1) Data Flow in System Design (2) Bond Graph Modeling (3) Ballistics Simulation Conference (4) Turing 1990 Colloquium (5) SIMSMART Software * Moderator: Paul Fishwick, Univ. of Florida * Send topical mail to: simulation@bikini.cis.ufl.edu OR post to comp.simulation via USENET * Archives available via FTP to bikini.cis.ufl.edu (128.227.224.1). Login as 'ftp', use your last name as the password, change directory to pub/simdigest. * Simulation Tools available by doing above and changing the directory to pub/simdigest/tools. ----------------------------------------------------------------------------- From: "Wolfgang Mueller" <cadlab!wolfgang@uunet.UU.NET> Subject: Data Flow in System Design To: simulation@bikini.cis.ufl.edu Date: Tue, 20 Feb 90 10:52:36 MET DST X-Mailer: Elm [version 2.1 PL1] I am looking forward to work on a document analyzing the 'Design Data Flow in High-Level Design'. It should cover the whole system design (HW+SW) process starting from the User Requirement Specification, transforming it into a formal specification, ...., ending in the HW+SW implementation. Has anybody some experience in this field of expertise? Do there already exist any papers, books, articles about this? What are the sources and the sinks in High-Level Design? What is actually 'High-Level'? It is not easy or simply impossible to get any useful information about company's data flow because there often only exist some internal confidential papers. Maybe I can get some more information by this request. If I will get some replies via E-MAIL, I will post a summary to the digests (without mentioning any company's name, if you like). -wolfgang -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | Wolfgang Mueller | Tel. : (+49) (+) 5251-284128 | | CADLAB | Fax : (+49) (+) 5251-284140 | | Bahnhofstr. 32 | E-Mail: wolfgang@cadlab.uucp | | D-4790 Paderborn | wolfgang@cadlab.cadlab.de | | FRG | ...!uunet!unido!cadlab!wolfgang | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ------------------------------ Date: Wed, 21 Feb 90 06:13 MST From: CELLIER%EVAX2@Arizona.EDU Subject: For your Newsletter To: Fishwick@Bikini.CIS.UFL.EDU X-Envelope-To: Fishwick@Bikini.CIS.UFL.EDU X-Vms-To: IN::"Fishwick@Bikini.CIS.UFL.Edu" This is in response to Nigel Hooke's request. I suggest that you study the literature on bond graph modeling. Bond graphs provide exactly the kind of methodology you were looking for. A good starting point is the book: D.C.Karnopp and R.C.Rosenberg (1974) "System Dynamics, A Unified Approach", McGraw-Hill. The modeling language is graphical. Although this feature has not been exploited frequently, you can take a subnet, design a new symbol for it and then use it in a network description at a higher hierarchical level. The new symbol can be a multi-port element. Bond graphs are particularly strong for representing heterogeneous networks. Bonds represent power flows through the system, and that is exactly what you want in order to connect different subsystems in a causally correct manner. Notice that the "modeling language" here means a modeling concept rather than a particular code. So far, you could use paper and pencil. The model manipulation tool is a code that takes your bond graph and translates it into a simulation program. It could contain also a graphical editor which then would support your entering the network into the computer in a possibly more convenient manner than through an ASCII file. There exist a number of tools for that purpose: (1) ENPORT-4 was a tool designed by Rosenberg. The input language is kind of old-fashioned by now. The strength of ENPORT-4 was its capability to handle algebraic loops and structurally singular problems. This is the major reason for having network simulators. Unless you have a tool which automatically takes care of algebraic loops and structural singularities, it may not be very useful for practical applications. To my knowledge, ENPORT-4 is dead by now -- at least, I have not seen any reports about this software lately. (2) THTSIM (or TUTSIM) has an input language similar to SPICE. Unfortunately, this software does not support hierarchical decomposition, it does not solve algebraic loops and/or sturctural singularities, and it does not even assign causalities automatically. See, if you connect a resistor to a voltage source, you need to solve the equation I = U/R, but if you connect the same resistor to a current source, you need the equation U = R*I, thus, your software should be able to handle this for you. Unfortunately, the simulator underneath THTSIM is not very powerful either. THTSIM originated at the Technical University Twente (the Netherlands) in the group of Prof. J. van Dixhoorn (now Prof. P. Breedveld). (3) CAMP is a preprocessor for ACSL developed by J.Granda at Cal.State Sacramento. CAMP is better than THTSIM in the sense that the underlying simulator (ACSL) is better. Unfortunately, the input language is rather clumsy. (4) DYMOLA is a program generator. Currently, it supports the simulation languages SIMNON and DESIRE. An interface to ACSL is planned. DYMOLA runs on PC/MS-DOS. The software solves the assignment problem, i.e., it generates causalities for you. It is completely hierarchical, i.e., you can create your own bond graph symbols and use them immediately. DYMOLA does currently not handle the algebraic loop/singularity problem yet. DYMOLA had originally been developed at the Lund Institute of Technology, Sweden in K.J.Astroms group, but it had not been designed as a bond graph tool. More details on using DYMOLA for bond graph modeling will be provided in a forthcoming textbook of mine on Continuous System Modeling and Simulation to be published by Springer in 1990. The book will give you also examples of distributed parameter system modeling, and boundary conditions are no problem. There exists a graphical preprocessor for DYMOLA, but it has not been designed to handle bond graphs. To my knowledge there does not exists a graphical preprocessor for bond graphs yet. As far as I know, the only bond graph software that was ever capable of handling arbitrarily connected systems (with algebraic loops and singularities) was ENPORT-4. You could compare ENPORT-4 to SPICE in this respect. The numerical techniques used depend partly on the way how causalities are handled. ENPORT-4, similar to SPICE, uses an implicit solution technique, and therefore, can handle singular problems. All other systems convert the network description into a state-space model, i.e., into a set of first order differential equations, and rely on the explicit numerical integration techniques available in CSSL type languages. ~ Francois E. Cellier, Ph.D. Associate Professor Dept. of Electrical & Computer Engr. University of Arizona Tucson, AZ 85721 Phone: (602)621-6192 EMail: Cellier@ECEVAX.ECE.Arizona.Edu (Internet) Cellier@Arizevax (Bitnet) Looney::Cellier (Span) FCellier (Nasamail) ------------------------------ Date: Wed, 21 Feb 90 9:12:24 EST From: "Michael J. Chinni, SMCAR-CCS-E" <mchinni@PICA.ARMY.MIL> To: simulation@ufl.edu Subject: conference announcement Planning is now underway for the 1990 Eastern Multi-Conference (EMC) on Computer Simulation sponsered by the Society for Computer Simulation, International (SCS). The 1990 EMC will be held April 23-27 in Nashville, Tennessee. As chairman of the conference on Ballistics Simulation I am soliciting ideas, suggestions, and contributions for session leaders and panels. I would like to invite you to participate as a session leader, or a session discussant. The 1990 EMC promises to be one of the best yet. The subject material runs the gamut of industrial, commercial, and government interests. As Ballistic Simulation Conference chairman I urge you to participate. I am interested in your ideas, your interests, and your active participation in what has come to be a premier event. Please, consider participating as a session leader, or a session discussant and if you have some good ideas, send them to me. Below is an overview of the subject areas that I am looking for participation in. If you are interested in any of these areas, please consider actively participating in the conference. If you know of others that may be interested in serving as a session leader or a session discussant, please pass this letter and enclosure on to them and let me know of their potential interest. Thank you again for your kind consideration. Sincerly, Michael J. Chinni Chair, Ballistics Simulation Conference for 1990 EMC CONFERENCE ON BALLISTICS SIMULATION ----------------------------------- Specific topics of interest include, but are not limited to: Interior Ballistics Emerging Technology Guns - Liquid Propellant Guns - Electro Magnetic Guns Gun Tube Heat Transfer and Gun Firing - Simulated Gun Firing - Near-Wall Turbulent Channel Flow - Gun Muffler Simulation Exterior Ballistics Ballistic Trajectory Computations - Ballistic Point Mass Equation - Matrix Operator Algorithm Solutions - Roll Characteristics Computations - Ballistic Fire Control Solutions Effects on Ballistic Trajectory - Variable Winds / High Altitude Weapon Release - Application of Lateral Thrusters - Base Bleed Projectile Computations REQUIREMENTS AND DEADLINES -------------------------- Send notification of your interest to participate as a session leader or session discussant to: Michael J. Chinni, Chair (Ballistics) ARDEC Attn: SMCAR-CCS-E, B. 350 Annex Picatinny Arsenal, New Jersey 07806-5000 Include full names, affiliations, addresses and phone numbers (office and home) for each participant. Attach, or copy business cards if available. Indicate on the page that this is for the 1990 EMC - Conference on Ballistics Simulation Participants are expected to register early, at a reduced rate and to attend the Conference at their own expense. FOR FURTHER INFORMATION ----------------------- Anyone wishing further information can contact: Michael J. Chinni, Chair (Ballistics) ARDEC Attn: SMCAR-CCS-E, B. 350 Annex Picatinny Arsenal, New Jersey 07806-5000 (201) 724-4140 (AV) 880-4140 <mchinni@pica.army.mil> ------------------------------ Via: ctcs.leeds.ac.uk (thrills.ARPA); Wed, 21 Feb 90 17:42:35 GMT From: Turing Conference <turing%ctcs.leeds.ac.uk@NSFNET-RELAY.AC.UK> Date: Wed, 21 Feb 90 16:44:31 GMT To: simulation%ufl.edu@NSFNET-RELAY.AC.UK Subject: Turing 1990 Programme ____________________________________________________________________________ TURING 1990 COLLOQUIUM At the University of Sussex, Brighton, England 3rd - 6th April 1990 PROGRAMME OF SPEAKERS AND REGISTRATION DOCUMENTS ____________________________________________________________________________ INVITED SPEAKERS Paul CHURCHLAND (Philosophy, University of California at San Diego) Title to be announced Joseph FORD (Physics, Georgia Institute of Technology) CHAOS : ITS PAST, ITS PRESENT, BUT MOSTLY ITS FUTURE Robin GANDY (Mathematical Institute, Oxford) HUMAN VERSUS MECHANICAL INTELLIGENCE Clark GLYMOUR (Philosophy, Carnegie-Mellon) COMPUTABILITY, CONCEPTUAL REVOLUTIONS AND THE LOGIC OF DISCOVERY Andrew HODGES (Oxford, author of "Alan Turing: the enigma of intelligence") BACK TO THE FUTURE : ALAN TURING IN 1950 Douglas HOFSTADTER (Computer Science, Indiana) Title to be announced J.R. LUCAS (Merton College, Oxford) MINDS, MACHINES AND GODEL : A RETROSPECT Donald MICHIE (Turing Institute, Glasgow) MACHINE INTELLIGENCE - TURING AND AFTER Christopher PEACOCKE (Magdalen College, Oxford) PHILOSOPHICAL AND PSYCHOLOGICAL THEORIES OF CONCEPTS Herbert SIMON (Computer Science and Psychology, Carnegie-Mellon) MACHINE AS MIND ____________________________________________________________________________ OTHER SPEAKERS Most of the papers to be given at the Colloquium are interdisciplinary, and should hold considerable interest for those working in any area of Cognitive Science or related disciplines. However the papers below will be presented in paired parallel sessions, which have been arranged as far as possible to minimise clashes of subject area, so that those who have predominantly formal interests, for example, will be able to attend all of the papers which are most relevant to their work, and a similar point applies for those with mainly philosophical, psychological, or purely computational interests. Jonathan Cohen (The Queen's College, Oxford) "Does Belief Exist?" Mario Compiani (ENIDATA, Bologna, Italy) "Remarks on the Paradigms of Connectionism" Martin Davies (Philosophy, Birkbeck College, London) "Facing up to Eliminativism" Chris Fields (Computing Research Laboratory, New Mexico) "Measurement and Computational Description" Robert French (Center for Research on Concepts and Cognition, Indiana) "Subcognition and the Limits of the Turing Test" Beatrice de Gelder (Psychology and Philosophy, Tilburg, Netherlands) "Cognitive Science is Philosophy of Science Writ Small" Peter Mott (Computer Studies and Philosophy, Leeds) "A Grammar Based Approach to Commonsense Reasoning" Aaron Sloman (Cognitive and Computing Sciences, Sussex) "Beyond Turing Equivalence" Antony Galton (Computer Science, Exeter) "The Church-Turing Thesis: its Nature and Status" Ajit Narayanan (Computer Science, Exeter) "The Intentional Stance and the Imitation Game" Jon Oberlander and Peter Dayan (Centre for Cognitive Science, Edinburgh) "Altered States and Virtual Beliefs" Philip Pettit and Frank Jackson (Social Sciences Research, ANU, Canberra) "Causation in the Philosophy of Mind" Ian Pratt (Computer Science, Manchester) "Encoding Psychological Knowledge" Joop Schopman and Aziz Shawky (Philosophy, Utrecht, Netherlands) "Remarks on the Impact of Connectionism on our Thinking about Concepts" Murray Shanahan (Computing, Imperial College London) "Folk Psychology and Naive Physics" Iain Stewart (Computing Laboratory, Newcastle) "The Demise of the Turing Machine in Complexity Theory" Chris Thornton (Artificial Intelligence, Edinburgh) "Why Concept Learning is a Good Idea" Blay Whitby (Cognitive and Computing Sciences, Sussex) "The Turing Test: AI's Biggest Blind Alley?" ____________________________________________________________________________ TURING 1990 COLLOQUIUM At the University of Sussex, Brighton, England 3rd - 6th April 1990 This Conference commemorates the 40th anniversary of the publication in Mind of Alan Turing's influential paper "Computing Machinery and Intelligence". It is hosted by the School of Cognitive and Computing Sciences at the University of Sussex and held under the auspices of the Mind Association. Additional support has been received from the Analysis Committee, the Aristotelian Society, The British Logic Colloquium, The International Union of History and Philosophy of Science, POPLOG, Philosophical Quarterly, and the SERC Logic for IT Initiative. The aim of the Conference is to draw together people working in Philosophy, Logic, Computer Science, Artificial Intelligence, Cognitive Science and related fields, in order to celebrate the intellectual and technological developments which owe so much to Turing's seminal thought. Papers will be presented on the following themes: Alan Turing and the emergence of Artificial Intelligence, Logic and the Theory of Computation, The Church- Turing Thesis, The Turing Test, Connectionism, Mind and Content, Philosophy and Methodology of Artificial Intelligence and Cognitive Science. Invited talks will be given by Paul Churchland, Joseph Ford, Robin Gandy, Clark Glymour, Andrew Hodges, Douglas Hofstadter, J.R. Lucas, Donald Michie, Christopher Peacocke and Herbert Simon, and there are many other prominent contributors, whose names and papers are listed above. Anyone wishing to attend this Conference should complete the form below and send it to Andy Clark, TURING 1990 Registrations, School of Cognitive and Computing Sciences, University of Sussex, Brighton, BN1 9QH, England, U.K., enclosing a STERLING cheque or money order for the total amount payable, made out to "Turing 1990". We regret that we cannot accept payment in other currencies. The form should be returned not later than Thursday 1st March 1990, after which an extra fee of #5.00 for late registration is payable and accommodation cannot be guaranteed. The conference will start after lunch on Tuesday 3rd April 1990, and it will end on Friday 6th April after tea. Final details will be sent to registered participants towards the end of February. Conference Organizing Committee Andy Clark (Cognitive and Computing Sciences, Sussex University) David Holdcroft (Philosophy, Leeds University) Peter Millican (Computer Studies and Philosophy, Leeds University) Steve Torrance (Information Systems, Middlesex Polytechnic) ___________________________________________________________________________ REGISTRATION DOCUMENT : TURING 1990 NAME AND TITLE : __________________________________________________________ INSTITUTION : _____________________________________________________________ STATUS : ________________________________________________________________ ADDRESS : ________________________________________________________________ ________________________________________________________________ POSTCODE : _________________ COUNTRY : ____________________________ Any special requirements (eg. diet, disability) : _________________________ I wish to register for the Turing 1990 Colloquium and enclose a Sterling cheque or money order, payable to "Turing 1990", for the total amount listed below : Please ENTER AMOUNTS as appropriate. 1. Registration Fee: Mind Association Members #30.00 .............. (Compulsory) Full-time students #30.00 .............. (enclose proof of status - e.g. letter from tutor) Academics (including retired academics) #50.00 .............. Non-Academics #80.00 .............. Late Registration Fee #5.00 .............. (payable after 1st March) 2. Full Board including all meals from Dinner #84.00 .............. on Tuesday 3rd April to Lunch on Friday 6th April, except for Thursday evening OR All meals from Dinner on Tuesday 3rd April #33.00 .............. to Lunch on Friday 6th April, except for Thursday evening 3. Conference banquet in the Royal Pavilion, #25.00 .............. Brighton on Thursday 5th April OR Dinner in the University on Thursday 5th April #6.00 .............. 4. Lunch on Tuesday 3rd April #6.00 .............. 5. Dinner on Friday 6th April #6.00 .............. ______________ TOTAL # ______________ Signed ________________________________ Date ______________________ Please return this form, with your cheque or money order (payable to "Turing 1990"), to: Dr Andy Clark, Turing 1990 Registrations, Cognitive and Computing Sciences, University of Sussex, Falmer, Brighton, BN1 9QH, England. Email responses to: turing@uk.ac.sussex.syma ( from BITNET: turing@syma.sussex.ac.uk -NM ) ____________________________________________________________________________ IMPORTANT NOTICE FOR STUDENTS AND SUPERVISORS: The Analysis Committee has kindly made a donation to subsidise students who would benefit from attending the Colloquium but who might otherwise be unable to do so. The amount of any such subsidy will depend on the overall demand and the quality of the candidates, but it would certainly cover the registration fee and probably a proportion of the accommodation expenses. Interested parties should write immediately to Andy Clark at the address above, enclosing a brief supporting comment from a tutor or supervisor. ____________________________________________________________________________ PLEASE SEND ON THIS NOTICE to any researchers, lecturers or students in the fields of Artificial Intelligence, Cognitive Science, Computer Science, Logic, Mathematics, Philosophy or Psychology, in Britain or abroad, and to ANY APPROPRIATE BULLETIN BOARDS which have not previously displayed it. ------------------------------ Date: Thu, 22 Feb 90 10:10 EET From: TJT%VTTKO1@ROUTER.FUNET.FI Subject: SIMSMART-software To: simulation@bikini.cis.ufl.edu X-Vms-To: OPMVAX::IN%"simulation@bikini.cis.ufl.edu" I am carrying out research on how to implementate training simulator for power plant. It means that simulation is continuous and dynamic, and at least real-time. I found from software catalog (of Simulation, Oct'88, Vol. 51, No. 4 - is there newer catalog?) a reference to simulator software called SIMSMART: "... faster-than-real-time dynamic simulator for continuous process industries". The contact information was: E.R. Siedlak Applied High Technol. Ltd., Charlemagne, Quebec, CANADA, phone (514)582-1461 The phone number was to some private person (NOT Applied Hi...) and our local "long distance phone number"-service didn't found any company called Applied High Technol. from Canada. So, does anybody know what is the current status of the SIMSMART-software and whether it is still available. Tapio Taipale, Technical Research Centre of Finland E-mail: tjt%vttko1@csc.fi OR tjt@stek2.oulu.fi ------------------------------ END OF SIMULATION DIGEST ************************