eo1.ini

来自「一个非常好的人工智能开发工具开源软件」· INI 代码 · 共 129 行

<?xml version="1.0"?>
<!-- See the file "L2_RTI_EO1/disclaimers-and-notices-L2.txt" for -->
<!-- information on usage and redistribution of this file, -->
<!-- and for a DISCLAIMER OF ALL WARRANTIES. -->

<!DOCTYPE  xmpl[

<!-- An XMPL file may have a harness, zero or more component  -->
<!-- instances, and an initialization. All items are optional -->
<!-- but if present they must appear in the order specified.  -->


<!ELEMENT xmpl ( mplHarness? , componentInstance*, mplInit? ) > 
<!ATTLIST xmpl
    name NMTOKEN #IMPLIED
    version CDATA  #IMPLIED
    doc  CDATA #IMPLIED>

<!-- An MPL harness specifies the external data interface to the -->
<!-- model.  That is, what is a command and what is a monitor -->

<!ELEMENT mplHarness ((obs | cmd)*) >
<!ATTLIST mplHarness
    name NMTOKEN #REQUIRED
    version CDATA  #REQUIRED
    doc  CDATA #IMPLIED>

<!ELEMENT obs EMPTY>
<!ATTLIST obs
    name CDATA #REQUIRED
    doc CDATA #IMPLIED>

<!ELEMENT cmd EMPTY>
<!ATTLIST cmd
    name CDATA #REQUIRED
    doc CDATA #IMPLIED>


<!-- An MPL initialization is simply a set of assignments that must -->
<!-- be asserted at startup.  We may want to expand it to include -->
<!-- any clause, but for the moment using only assignments make the -->
<!-- structure of the code somewhat cleaner.  -->

<!ELEMENT mplInit (assign*) >
<!ATTLIST mplInit
    name NMTOKEN #IMPLIED
    version CDATA  #IMPLIED
    doc  CDATA #IMPLIED>

<!ELEMENT assign EMPTY>
<!ATTLIST assign
    eq CDATA #REQUIRED
    datum CDATA #IMPLIED>

<!ELEMENT constant EMPTY>
<!ATTLIST constant
    eq CDATA #REQUIRED
    datum CDATA #IMPLIED>

<!-- An componentInstance is a set of variable types (enums) -->
<!-- and a set of instantiated components -->

<!ELEMENT componentInstance ((type | component)*) >
<!ATTLIST componentInstance
    name NMTOKEN #REQUIRED
    version CDATA  #REQUIRED
    doc  CDATA #IMPLIED>

<!ELEMENT type EMPTY>
<!ATTLIST type
   name ID #REQUIRED
   members NMTOKENS  #REQUIRED
   doc  CDATA #IMPLIED>

<!ELEMENT component (struct*, statevector?, attribute*, clause*, transition*)>
<!ATTLIST component
    name ID #REQUIRED
    type NMTOKEN #REQUIRED
    doc  CDATA #IMPLIED>

<!ELEMENT struct EMPTY>
<!ATTLIST struct
    name NMTOKEN #REQUIRED
    type NMTOKEN  #REQUIRED
    value IDREF #REQUIRED
    doc  CDATA #IMPLIED>

<!ELEMENT statevector EMPTY>
<!ATTLIST statevector 
    vars CDATA #REQUIRED>

<!ELEMENT attribute EMPTY>
<!ATTLIST attribute 
    name NMTOKEN #REQUIRED
    type IDREF  #REQUIRED
    doc  CDATA #IMPLIED>

<!ELEMENT transition (clause*)>
<!ATTLIST transition
    var NMTOKEN  #REQUIRED
    name NMTOKEN #REQUIRED
    from CDATA #REQUIRED
    to NMTOKEN #REQUIRED
    prob  CDATA #IMPLIED>

<!ELEMENT clause EMPTY>
<!ATTLIST clause
    disj CDATA #REQUIRED
    datum CDATA #IMPLIED>


]>


<xmpl><mplInit name="test" version="1.00">
  <assign eq="test.ali.apertureCover.mode=closed"/>
  <assign eq="test.ali.dataGate.mode=disabled"/>
  <assign eq="test.ali.fpePower.mode=disabled"/>
  <assign eq="test.ali.led08.mode=nominal"/>
  <assign eq="test.ali.led09.mode=nominal"/>
  <assign eq="test.ali.mechanismPower.mode=disabled"/>
  <assign eq="test.ali.mechanismPowerSensor.mode=nominal"/>
  <assign eq="test.hyperion.apertureCover.mode=closed"/>
  <assign eq="test.hyperion.apertureCoverSensor.mode=nominal"/>
  <assign eq="test.hyperion.electronicsAssembly.mode=idle"/>
  <assign eq="test.warp.hardware.mode=stdOps"/>
  <assign eq="test.warp.software.mode=standby"/>
</mplInit></xmpl>