Units of Measure (was: Re: Disallowing Pre-Defined Operations)

Units of Measure (was: Re: Disallowing Pre-Defined Operations)

[Christoph Grein]

[I think this should become a new discussion thread.]

Although this has already been discussed to death and there are a plethora of 
ways how to deal with dimensions, this is a vivid point of interest.

I also strongly feel that such a feature in the language is necessary. (Would 
this have prevented the latest NASA Mars mission form failing?)

[Just a side note: There are engineers with a queer inclination to dimensions.
In our project, one of our system engineers on the implementing side complained 
at an engineer on the requirements side about a formula that from a units point 
of view could not be correct - the answer: "This is not a school test..." and 
refusal 
to reconsider the equation.]

Re: Units of Measure (was: Re: Disallowing Pre-Defined Operations)

[Robert Dewar]

In article <200003160642.HAA27776@bulgaria.otn.eurocopter.de>,
  comp.lang.ada@ada.eu.org wrote:
> [I think this should become a new discussion thread.]
>
> Although this has already been discussed to death and there
are a plethora of
> ways how to deal with dimensions, this is a vivid point of
interest.

Why? if it has indeed already been discussed to death. Aren't
you trying to beat a dead horse here.


> I also strongly feel that such a feature in the language is
necessary. (Would
> this have prevented the latest NASA Mars mission form
failing?)

No (at least that's the conclusion of the extensive thread
on this subject in this forum, Q.V.).


Sent via Deja.com http://www.deja.com/
Before you buy.

Re: Units of Measure (was: Re: Disallowing Pre-Defined Operations)

[Ken Garlington]

Just out of curiosity: Do any of the following standards define a units
package?

ISO/IEC 11430:1994 Information technology -- Programming languages --
Generic package of elementary functions for ADA (available in English only)
ISO/IEC 11729:1994 Information technology -- Programming languages --
Generic package of primitive functions for Ada (available in English only)
ISO/IEC 12227:1995 Information technology -- Programming languages --
SQL/Ada Module Description Language (SAMeDL) (available in English only)
ISO/IEC 13813:1998 Information technology -- Programming languages --
Generic packages of real and complex type declarations and basic operations
for Ada (including vector and matrix types) (available in English only)
ISO/IEC 13814:1998 Information technology -- Programming languages --
Generic package of complex elementary functions for Ada (available in
English only)

RE: Units of Measure (was: Re: Disallowing Pre-Defined Operations)

[Robert C. Leif, Ph.D.]

From: Bob Leif
To: Christop Grein et al.
I listed the two documents covering ABBET. I believe that I have copies of
Bill Whitaker's Ada sources from a slightly later version. I have played
with the sources and made the fundamental data type tagged. I believe that I
added the optimize_part

type Unit_W_optimize_type is tagged record
          Value_Part : real := 0.0;
          M   : Unit_Power;
          Kg  : Unit_Power;
          S   : Unit_Power;
          A   : Unit_Power;
          K   : Unit_Power;
          Mol : Unit_Power;
          Cd  : Unit_Power;
          Optimize_Part : Boolean := False;
          end record;
From: www.IEEE.ORG

1226.1-1993 IEEE ABBET� Trial-Use Standard for Common Ada Packages for A
Broad-Based Environment for Test (ABBET�) 1993
Ada packages that specify general purpose test support data types and
services for A Broad-Based Environment for Test (ABBET) are defined. They
are to be used to support the specification, implementation, and use of the
other IEEE ABBET component standards. ABBET uses the features of Ada to
specify a comprehensive environment for integrating product design data,
test requirements/strategies, and test results management in the
implementation of automated test systems and test control programs.
1993/ /104pp
  List Price: $76.00
  IEEE Member Price: $61.00
  ISBN 1-5593-7360-1
  IEEE Product No. SH16709-TBR
  IEEE Standard No.:1226.1-1993
  Availability: Available to Ship
-----------------------------------------------------
1226.2-1993 IEEE ABBET� Trial-Use Standard for Ada-Based ATLAS-Level Test
Procedure Interface for A Broad-Based Environment for Test (ABBET�) 1993
Ada packages that specify data types and services for the Ada-based
ATLAS-level test procedure interface for a broad-based environment for test
(ABBET) are defined. They are to be used to support the development of
Ada-based, UUT-directed, signal-oriented test programs. IEEE ABBET uses the
features of Ada to specify a comprehensive environment for integrating
product design data, test requirements/strategies, and test results
management in the implementation of automated test systems and test control
programs.

1993/ /448pp
  List Price: $89.00
  IEEE Member Price: $71.00
  ISBN 1-5593-7386-5
  IEEE Product No. SH16949-TBR
  IEEE Standard No.:1226.2-1993
  Availability: Available to Ship



--------------------------------------------------------------

-----Original Message-----
From: Christoph Grein [mailto:christoph.grein@eurocopter.de]
Sent: Wednesday, March 15, 2000 10:43 PM
To: comp.lang.ada@ada.eu.org
Subject: Units of Measure (was: Re: Disallowing Pre-Defined Operations)


[I think this should become a new discussion thread.]

Although this has already been discussed to death and there are a plethora
of
ways how to deal with dimensions, this is a vivid point of interest.

I also strongly feel that such a feature in the language is necessary.
(Would
this have prevented the latest NASA Mars mission form failing?)

[Just a side note: There are engineers with a queer inclination to
dimensions.
In our project, one of our system engineers on the implementing side
complained
at an engineer on the requirements side about a formula that from a units
point
of view could not be correct - the answer: "This is not a school test..."
and
refusal
to reconsider the equation.]