comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Should Inline be private in the private part of a package spec?
Date: Fri, 17 Aug 2012 20:41:10 +0200
Date: 2012-08-17T20:40:57+02:00	[thread overview]
Message-ID: <502e9039$0$6557$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <mhbnq53dwqt2.r7w4k1ptmxf1$.dlg@40tude.net>

On 16.08.12 21:58, Dmitry A. Kazakov wrote:

>>> 1. state the problem
>>
>> Heterogeneous sources of data. (E.g. Teletext there + XML there)
> 
> If sources of data is a problem, then the data format cannot be a solution.

OK, that's a different if.

> Problems with sources are solved by choosing other sources or other means
> applied to the sources.

"Problems with the distance Earth:Mars or problems with the temperature
on Mars are solved by choosing others planets or other means applied
to the planets."

No. Problems with sources are actually solved by the sources becoming
different from what they were before. It's a market effect. Customers
make suppliers make different sources.


>>> 2. present relevant criteria to evaluate a solution
>>
>> Situational, given, as mentioned, e.g. integration of data.
> 
> Sources are selected using criteria describing these sources, e.g.
> relevance, trustworthiness, independence, accuracy, extent, availability,
> QoS, etc.
> 
> [ Criteria of choice are always immanent to the thing in question ]

The thing in question is a situation. It is characterized by several
variables. One variable measures the qualities of the data sources.


>>> 3. present competing solutions > 1 (proving them solving the problem)
>>
>> Given. (E.g., what has been done a few times: move from Teletext
>> to CSV to XML)
> 
> No.

Yes. XML can be quite an enhancement when the problem is heterogeneity
of sources. This is how people *have* solved problems of integrating
data. If you cannot present a good reason to sell your data in some
standard form, as a result creating work for others, you're out.

> Sources of data in a car are sensors.

Yes. BTW, even though there are many types of sensors I'm sure,
they all are sensors; depending on distance, then, the observer will place
them on a scale between homogeneous ("Hey, everything is a sensor here!")
and heterogeneous ("Dude. This one works with gas and heat, but that one
uses pressure!")


>>> You seem to imply that fuzzy logic (in its scientific meaning) acts
>>> differently from crisp logic by allowing any sorts of non sequitur.
>>
>> No. There is a point when switching data formats to something
>> general like XML is considered by some programming projects.
>> This point is found in [0, 1] ⊂ R. A Yes (1) or No (0) is really
>> the consequence of a final preference and this preference's value
>> need not be 0 or 1.
> 
> It does not make any sense to me, but since it seems irrelevant anyway, be
> it so.

It is the important bit.  The situation (let me call it
"a programmers' situation", because it is observed from the point of view
of the programmers) is characterized by inputs and outcomes. An outcome
is a decision, in this case, viz whether or not time should be spent on XML.

Some inputs are technical:
- this device has an 8bit wide output port and it spits
13+1 octects and then 2, on request. It does nothing else.
Others are domain specific:
- "We must have something to send to the publisher. They want..."
Others are economical:
- The high speed RDMS style data collection will cost $$$$$$.
Others are "people driven":
- Pointy head boss speaking.
Etc.

These and other variable characteristics of a programmers' situation
all create inputs that find more or less appreciation during the
decision process.
Then, finally, the pointy head boss says "We shoud do XYZ."
Consequently, Choice(XYZ) = 1 as the outcome of the situation,
for everyone,
even when pointy head boss is not fully convinced. He may
privately value Choice(XYZ) at somewhere < 1.



> What is "heterogeneity of data" and why should it be tackled?

Data of different kinds, different along several axes as seen
by the respective "data processors". An algorithm computes results from
several inputs. If "processors" need to process many differences,
if higher order "processors" need many "processor hands" to get
compatible inputs, then this complicates the coordinated processing.
It also costs more time and money.


> Are you talking about "tackling" documents? What sort of documents? The
> time diagram of the ignition impulses at the degree angles of the driving
> shaft? GPS maps of the navigation system? Traffic rules and regulation?

More generally, if an algorithm needs to find information in "documents"
emitted from diverse sources, searching requires assigning meaning
to messages contained therein. The processes of isolating messages
may differ greatly, at several stages of processing.


>> Its bits and pieces were partially documented. This was enough
>> to write a crude scanner. With XML, I can at just read
>> the stuff and see some familiar vocabulary being used. Done.
> 
> Nothing is done.

Compare

....<D5><E9><F6>B.....

to

....<indicator-of-meaning>123.4567</indicator-of-meaning>....


> I gather the case for car electronics is closed now?

From my point of view, we didn't have a case since XML
would not be needed in any way I could imagine (other
that this small customer car info server thingy).


>>> B) methodic of its evaluation
>>
>> Multivariate analysis of those variables of the programming situation
>> that lead to a decision about data formats.
> 
> No, the methodic of evaluation a measure of similarity of the "motivating
> factors."

Methods?
Here are two simple methods that do not always work:
- [all equals] Majority vote.
- [consultation among equals] For each pair (Pi, Pj) of people
who contribute to the decision, two things are of the same kind
if Pi and Pj find them to be of the same kind. If i,j ∈ {1, ..., N},
then let similarity of things be the proportion of agreements
in (N choose 2). The P could be experts from different fields.
(Note: for triples (Pi, Pj, Pk), science has found that
if Pi and Pj agree, but Pk does not, then in most cases Pk
will not uphold disagreement if pressured by Pi and Pj.)
Whether or not Pi and Pj agree might be influenced by unalterable
properties of the things in question if found.

Note in particular that---a priori---there is no way to say
that two things are equal, or similar, or of the same kind before
they have been shown to be, and in which way.
Are the balls of a bearing equal?
Are they homogeneous/heterogeneous? The answer to the latter
question may depend on the identities of the bearings involved,
if you ask a technician, I think, and possibly on who you ask.

For more, and for more realistic function procedures resulting in
decisions, see the description of the programmers' situation above.


>>> D) comparison to competing solutions
>>
>> See above, and everything said so far.
> 
> No, you should show that for XML "motivating factors" are more similar or
> dissimilar

I see. A misunderstanding, I think. Dissimilarity has motivated
preferring, and possibly choosing XML, in order to tackle dissimilarities.

Like heterogeneity has motivated establishing the HOWLG at least
in one way, I think.




  parent reply	other threads:[~2012-08-20 18:39 UTC|newest]

Thread overview: 183+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-03 13:30 Should Inline be private in the private part of a package spec? Georg Bauhaus
2012-08-03 14:34 ` Martin Krischik
2012-08-03 15:51 ` Adam Beneschan
2012-08-03 18:07   ` Robert A Duff
2012-08-06  3:09     ` Randy Brukardt
2012-08-06 14:33       ` Robert A Duff
2012-08-06 15:50         ` Vasiliy Molostov
2012-08-06 17:58           ` Georg Bauhaus
2012-08-06 21:01             ` Vasiliy Molostov
2012-08-06 21:52               ` Georg Bauhaus
2012-08-06 22:10                 ` Georg Bauhaus
2012-08-06 23:12                   ` Vasiliy Molostov
2012-08-07  8:29                     ` Georg Bauhaus
2012-08-09 21:44                       ` Randy Brukardt
2012-08-08  1:48                   ` Shark8
2012-08-08  7:38                     ` Simon Wright
2012-08-08  8:10                     ` Georg Bauhaus
2012-08-09 21:39                   ` Randy Brukardt
2012-08-10  1:49                     ` Britt
2012-08-10  3:10                       ` Shark8
2012-08-10  6:00                         ` Vasiliy Molostov
2012-08-10 16:34                           ` Shark8
2012-08-10 22:37                             ` Vasiliy Molostov
2012-08-11  3:44                               ` Shark8
2012-08-11  4:42                                 ` Vasiliy Molostov
2012-08-13 11:53                                 ` Jacob Sparre Andersen
2012-08-10  7:37                         ` Dmitry A. Kazakov
2012-08-10 16:45                           ` Shark8
2012-08-10 17:03                             ` Dmitry A. Kazakov
2012-08-10 21:35                               ` Shark8
2012-08-10 22:10                                 ` Dmitry A. Kazakov
2012-08-11  3:27                                   ` Shark8
2012-08-11  5:25                                     ` Dmitry A. Kazakov
2012-08-11  4:48                             ` Vasiliy Molostov
2012-08-11  5:12                               ` Shark8
2012-08-10 17:06                         ` Simon Wright
2012-08-11  0:46                       ` Randy Brukardt
2012-08-11  1:57                         ` Vasiliy Molostov
2012-08-13 22:16                           ` Randy Brukardt
2012-08-14  2:52                             ` Vasiliy Molostov
2012-08-14 14:44                               ` Shark8
2012-08-14 15:09                                 ` Dmitry A. Kazakov
2012-08-14 22:04                                   ` Randy Brukardt
2012-08-15  7:51                                     ` Dmitry A. Kazakov
2012-08-15 11:08                                       ` Georg Bauhaus
2012-08-15 11:55                                         ` Dmitry A. Kazakov
2012-08-15 15:49                                           ` Georg Bauhaus
2012-08-15 16:24                                             ` Dmitry A. Kazakov
2012-08-15 16:53                                               ` Georg Bauhaus
2012-08-15 18:53                                                 ` Dmitry A. Kazakov
2012-08-15 20:39                                                   ` Georg Bauhaus
2012-08-21 22:46                                                     ` Randy Brukardt
2012-08-22 12:49                                                       ` Georg Bauhaus
2012-08-22 13:10                                                         ` Vasiliy Molostov
2012-08-22 21:55                                                         ` Randy Brukardt
2012-08-23  7:56                                                           ` Georg Bauhaus
2012-08-23  9:00                                                             ` Georg Bauhaus
2012-08-24  4:22                                                             ` Randy Brukardt
2012-08-24 10:17                                                               ` Georg Bauhaus
2012-08-24 15:07                                                                 ` Vasiliy Molostov
2012-08-24 22:09                                                                 ` Randy Brukardt
2012-08-15 21:29                                                   ` Georg Bauhaus
2012-08-16  7:30                                                     ` Dmitry A. Kazakov
2012-08-16 11:18                                                       ` Georg Bauhaus
2012-08-16 12:13                                                         ` Vasiliy Molostov
2012-08-16 12:56                                                         ` Dmitry A. Kazakov
2012-08-16 18:31                                                           ` Georg Bauhaus
2012-08-16 19:58                                                             ` Dmitry A. Kazakov
2012-08-16 22:00                                                               ` Vasiliy Molostov
2012-08-17 18:41                                                               ` Georg Bauhaus [this message]
2012-08-18  6:24                                                                 ` Dmitry A. Kazakov
2012-08-18  8:05                                                                   ` Vasiliy Molostov
2012-08-18 21:02                                                                     ` Shark8
2012-08-18 21:52                                                                       ` Simon Wright
2012-08-19  1:34                                                                         ` Shark8
2012-08-19 13:03                                                                           ` Simon Wright
2012-08-18 23:33                                                                       ` Vasiliy Molostov
2012-08-20 13:51                                                                   ` Georg Bauhaus
2012-08-20 14:15                                                                     ` Dmitry A. Kazakov
2012-08-20 16:22                                                                       ` Georg Bauhaus
2012-08-20 18:42                                                                         ` Vasiliy Molostov
2012-08-20 19:28                                                                         ` Dmitry A. Kazakov
2012-08-20 20:27                                                                           ` Vasiliy Molostov
2012-08-21 11:49                                                                           ` Georg Bauhaus
2012-08-21 13:12                                                                             ` Dmitry A. Kazakov
2012-08-21 14:17                                                                               ` Georg Bauhaus
2012-08-21 15:06                                                                                 ` Dmitry A. Kazakov
2012-08-21 15:29                                                                                   ` Pascal Obry
2012-08-21 19:12                                                                                     ` Dmitry A. Kazakov
2012-08-21 16:18                                                                                   ` Georg Bauhaus
2012-08-21 19:18                                                                                     ` Dmitry A. Kazakov
2012-08-21 21:35                                                                                       ` Pascal Obry
2012-08-21 23:11                                                                                         ` Randy Brukardt
2012-08-21 23:37                                                                                           ` Vasiliy Molostov
2012-08-22 21:40                                                                                             ` Randy Brukardt
2012-08-21 23:54                                                                                         ` Shark8
2012-08-22  6:14                                                                                           ` Pascal Obry
2012-08-23  2:29                                                                                             ` Shark8
2012-08-22  7:32                                                                                         ` Dmitry A. Kazakov
2012-08-22 13:12                                                                                           ` Georg Bauhaus
2012-08-22 14:30                                                                                             ` Dmitry A. Kazakov
2012-08-22 16:48                                                                                               ` Georg Bauhaus
2012-08-22 17:44                                                                                                 ` Dmitry A. Kazakov
2012-08-22 19:59                                                                                                   ` Georg Bauhaus
2012-08-22 20:08                                                                                                     ` Dmitry A. Kazakov
2012-08-22 20:29                                                                                                       ` Georg Bauhaus
2012-08-23  7:06                                                                                                         ` Dmitry A. Kazakov
2012-08-23  8:08                                                                                                           ` Georg Bauhaus
2012-08-23  8:38                                                                                                             ` Dmitry A. Kazakov
2012-08-23  9:58                                                                                                               ` Georg Bauhaus
2012-08-23 10:27                                                                                                                 ` Dmitry A. Kazakov
2012-08-23 11:30                                                                                                                   ` Georg Bauhaus
2012-08-23 12:28                                                                                                                     ` Dmitry A. Kazakov
2012-08-23  0:12                                                                                                       ` Vasiliy Molostov
2012-08-24  4:40                                                                                                         ` Randy Brukardt
2012-08-24  7:37                                                                                                           ` Vasiliy Molostov
2012-08-24 10:03                                                                                                           ` Georg Bauhaus
2012-08-24 22:06                                                                                                             ` Randy Brukardt
2012-08-22 21:18                                                                                                   ` Georg Bauhaus
2012-08-23  7:23                                                                                                     ` Dmitry A. Kazakov
2012-08-23  8:56                                                                                                       ` Georg Bauhaus
2012-08-23 10:13                                                                                                         ` Dmitry A. Kazakov
2012-08-23 11:33                                                                                                           ` Georg Bauhaus
2012-08-23 12:45                                                                                                             ` Dmitry A. Kazakov
2012-08-23 13:31                                                                                                               ` Vasiliy Molostov
2012-08-23 17:42                                                                                                                 ` Georg Bauhaus
2012-08-23 17:41                                                                                                               ` Georg Bauhaus
2012-08-23 11:35                                                                                                           ` Georg Bauhaus
2012-08-23 11:39                                                                                                           ` Georg Bauhaus
2012-08-23 12:33                                                                                                             ` Dmitry A. Kazakov
2012-08-23 17:33                                                                                                               ` Georg Bauhaus
2012-08-24  4:48                                                                                                             ` Randy Brukardt
2012-08-24  9:56                                                                                                               ` Georg Bauhaus
2012-08-21 16:25                                                                                   ` Georg Bauhaus
2012-08-21 22:40                                             ` Randy Brukardt
2012-08-14 15:11                                 ` Georg Bauhaus
2012-08-14 20:30                                   ` Shark8
2012-08-15 11:47                                     ` Georg Bauhaus
2012-08-15 17:18                                       ` Shark8
2012-08-14 15:19                                 ` Vasiliy Molostov
2012-08-14 20:41                                   ` Shark8
2012-08-14 23:59                                     ` Vasiliy Molostov
2012-08-15  0:50                                       ` Shark8
2012-08-15  3:02                                         ` Vasiliy Molostov
2012-08-14 22:16                               ` Randy Brukardt
2012-08-14 23:55                                 ` Vasiliy Molostov
2012-08-15  6:35                                   ` Simon Wright
2012-08-21 22:31                                   ` Randy Brukardt
2012-08-22  0:15                                     ` Vasiliy Molostov
2012-08-22 22:08                                       ` Randy Brukardt
2012-08-23  0:00                                         ` Vasiliy Molostov
2012-08-23  7:02                                         ` Niklas Holsti
2012-08-24  4:37                                           ` Randy Brukardt
2012-08-13 12:03                         ` Project files (Was: Should Inline be private in the private part of a package spec?) Jacob Sparre Andersen
2012-08-13 22:12                           ` Randy Brukardt
2012-08-10  8:12                     ` Should Inline be private in the private part of a package spec? Georg Bauhaus
2012-08-06 23:09                 ` Vasiliy Molostov
2012-08-07  9:33                   ` Georg Bauhaus
2012-08-07 13:09                     ` Vasiliy Molostov
2012-08-07 13:41                       ` Georg Bauhaus
2012-08-07 14:06                         ` Vasiliy Molostov
2012-08-09 22:32                         ` Randy Brukardt
2012-08-07 13:45                     ` Vasiliy Molostov
2012-08-07 13:55                       ` Georg Bauhaus
2012-08-07 14:12                         ` Vasiliy Molostov
2012-08-09 21:56                     ` Randy Brukardt
2012-08-07  0:25                 ` Vasiliy Molostov
2012-08-07 10:01                 ` Simon Wright
2012-08-07 13:21                   ` Vasiliy Molostov
2012-08-07 17:28                     ` Simon Wright
2012-08-07 19:26                       ` Vasiliy Molostov
2012-08-07 13:34                   ` Vasiliy Molostov
2012-08-07 17:31                     ` Simon Wright
2012-08-07 13:48                   ` Georg Bauhaus
2012-08-07 17:47                     ` Simon Wright
2012-08-09 22:34                   ` Randy Brukardt
2012-08-10 14:26                     ` Simon Wright
2012-08-09 21:33                 ` Randy Brukardt
2012-08-09 22:18         ` Randy Brukardt
2012-08-09 22:29           ` Shark8
2012-08-10  0:12             ` Randy Brukardt
2012-08-12 21:35           ` Robert A Duff
2012-08-03 16:15 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox