DAVE ML Examples

[Giovanni A. Cignoni]

Hi there,

We are working on a open source project about code generation for
simulators of dynamic systems (http://genesim.sourceforge.net/).
As part of the project we are trying to translate DAVE-ML in the XML
format from which our generator is able to produce code.

Working with the examples available at the DAVE-ML web site, we
encountered several problems. In short:
- seems that examples are not updated to the last DTD;
- old DTD's sometimes work but have bad references to the MathML DTD.

Following there is a detailed report, from Giovanni Mirri, the student
that is working on the DAVE-ML to GeneSim translator for his BSc thesis.

We are looking for more DAVE-ML examples, from little to large, possibly
updated to the last version of the DTD.

Any help is appreciated.

Thanks for your attention and best regards,
Giovanni A. Cignoni.


-

Problem: examples do not pass validation

Source file: f16_aero.xml

DAVE-ML DTD version: 1.5b3

Description: validation fails

Using Altova XMLSpy results in the following message:
File C:\Documents and Settings\Gio\Documenti\TESI\f16_areo.xml could not be
validated because of an error in XML Schema/DTD (see below)
File http://www.w3.org/TR/MathML2/dtd/isonum.ent is not valid.
Pre-defined entity 'amp' should be declared as '&'.
  Error location: amp
  Details
Predefined entity redefinition: Pre-defined entity 'amp' should be
declared as '&'.

Using Xerces Parser results in the following message:
Fatal error at file c:\ \DAVEfunc.xml, line 270, char 9:
Could not open file http://www.w3.org/TR/MathML2/dtd/mathml2.dtd

Solution, replace:

http://www.w3.org/TR/MathML2/dtd/mathml2.dtd";>

with:

http://www.w3.org/Math/DTD/mathml2/mathml2.dtd";>

which is another valid link for the MathML2 DTD file.
With this modification the example is correctly valided with both
XMLSpy and Xerces.


-

Problem: another validation problem

Source: HL20_aero.xml

DAVE_ML DTD version: 1.5b3

Description: validation fails

Using Altova XMLSpy results in the following messages:

File C:\Documents and Settings\Gio\Documenti\TESI\HL20_aero.xml is not
valid Element 'reference' must not have any content.
 Error location: DAVEfunc / fileHeader / reference / @date
 Details
   VC: Element Valid: Element 'reference' must not have any content.

and:

Content model of element 'DAVEfunc' disallows element 'checkData' at this
position.
Error location: DAVEfunc / checkData
Details
 VC: Element Valid: Content model of element 'DAVEfunc' disallows element
checkData' at this position.


-

Problem: examples are not compliant with newer version of the DTD

Source: f16_aero.xml

DAVE-ML DTD version: 1.6b1 and later

Description: validation fails

Using Altova XMLSpy results in the following message:
File C:\Documents and Settings\Gio\Documenti\TESI\f16_aero.xml is not valid.
Content model of element 'calculation' disallows element 'math' at this
position.
 Error location: DAVEfunc / variableDef / calculation / math
 Details
  VC: Element Valid: Content model of element 'calculation' disallows
  element 'math' at this position.

Xerces and others parsers return a very similar error message.

Re: DAVE-ML Examples

[Bruce Jackson]

At 2:59 PM +0200 6/15/06, Giovanni A. Cignoni wrote:
>Hi,
>
>I'm working on a open source project about code generation for
>simulators of dynamic systems. The project is still very experimental
>but few results are achieved and we are now looking for case studies to 
>challenge our tool. More info are at: http://genesim.sourceforge.net/
>
>We will like to try to translate DAVE-ML in the XML which our code generator 
>is able to process and to verify if translation can
>be automated. Is it possible to have some more examples of DAVE-ML 
>specifications? Maybe something in the middle between the first two very 
>simple examples and the huge F-16 and HL-20 ones.
>
>Thanks in advance and best regards,
>Giovanni A. Cignoni.

Professor Cignoni,

I'm sorry that I don't have many simpler examples - the F-16 is actually a very 
simple model, for a full six-degree-of-freedom aero model. Most of the models I 
deal with, and which DAVE-ML is aimed at, are much more complex than even the 
HL-20 (which is more representative of what we use in our piloted simulations).

The only thing that might be simpler are launch vehicle models; these are 
usually axi-symmetric and thus have lower degrees of freedom. Unfortunately, 
they're regarded as 'munitions' and I can't share them.

Sorry to not be of much help, but I'm delighted to hear of your efforts. I'll 
visit the genesim website for more information about your project.

-- Bruce Jackson
-- 
Bruce Jackson <[EMAIL PROTECTED]> Dynamic Systems & Control Branch
8 Langley Boulevard, MS 308 Research & Technology Directorate
NASA Langley Research Center  Hampton, Virginia 23681
More info about DAVE-ML: 
Simulation standards discussion listserv mailto:simstds@larc.nasa.gov