🚀 go-pugleaf

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
************************