comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Should Inline be private in the private part of a package spec?
Date: Sat, 18 Aug 2012 08:24:00 +0200
Date: 2012-08-18T08:24:00+02:00	[thread overview]
Message-ID: <40tmogy4d1b5.1kc2gm8qfrkdu.dlg@40tude.net> (raw)
In-Reply-To: 502e9039$0$6557$9b4e6d93@newsspool4.arcor-online.net

On Fri, 17 Aug 2012 20:41:10 +0200, Georg Bauhaus wrote:

> 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."

Yes, if you wanted to solve these problems, actually. Otherwise, you remind
me our politicians talking about the debt crisis...

> No. Problems with sources are actually solved by the sources becoming
> different from what they were before.

= by changing the source.

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

First it was heterogeneous sources, now it is a situation. Could you state
the problem?

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

No. I repeat, a problem with X is to be solved by doing something with X,
always.

That reminded me the Max Planck's solution:

"A new scientific truth does not triumph by convincing its opponents and
making them see the light, but rather because its opponents eventually die,
and a new generation grows up that is familiar with it."

> This is how people *have* solved problems of integrating
> data.

Data are not integrated. Data are processed. And, as always, you should
explain what does "integration of data" mean, what is the problem with
that, what are the measurable criteria of "integration" and how XML is
better than other "integrators" of data.

>> 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!")

No idea what the above might mean. Sensors of a car use different physical
principles, measure different characteristics of different physical
processes, deploy different materials, are integrated using different
software protocols etc.

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

Egh, what is the point?

>> 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".

Are you talking about datatypes? Yes, there are many. Typed programming
languages rely on the ADT.

XML is supposed to compete in the field of type systems? Seriously?

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

No. Document search does not require assigning meaning nor does it require
messages. What documents? How organized? Where stored? What has XML to do
with all that?

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

By which measure?

The first uses the letter 'a' 0 times. The second does it 4 times. Is the
objective to minimize usage of 'A's or to maximize it?

>> 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).

Finally! 

>>>> 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
[...]

No. What you wrote was a crude description of the multiple-criteria ranking
problem. Before that you need a methodic to measure single criteria
(features), e.g. a "motivating factor." These are done by physical
measurement instruments, expert polls, statistical procedures etc.

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

Dissimilarity is a *measure*. In a metric vector space the measure of
dissimilarity is the distance between two points. In non-metric spaces
there are various measures of different properties. You evaluate XML
against the commuter rail schedule by measuring the dissimilarity of the
"motivating factors" for both. That will give you, depending on the measure
but considering it in the most simple case numeric, two figures x and y.
You compare x with y and conclude that XML is better than the schedule.
BTW, the difference between the measures must have some "physical" meaning.
E.g. one point of dissimilarity would mean 100 voters, 0.5 kWh, 3.5
drachmas, +4 experience points etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2012-08-18  6:24 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
2012-08-18  6:24                                                                 ` Dmitry A. Kazakov [this message]
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