paul c wrote:
> Bob Badour wrote:
>
>> Neo's recent troll started me down a meandering path leading to these
>> two separate but somewhat related (engineering) concerns.
>>
>> An operating range describes the conditions under which one of our
>> devices will operate without failure. Failure modes are what happens
>> when one tries to operate a device beyond that range.
>>
>> The sci.logic sort of folks grapple with the problems one encounters
>> when one tries to have an infinite range of operation. And yet one can
>> never fully escape the failure mode problem because division by zero
>> generally fails.
>>
>> Failure mode analysis is very important in engineering. I wonder
>> whether it has any supporting theory? Certainly, one can think of
>> general principles. Likewise, beyond statistical analysis and
>> empirical measurement, does any theory exist regarding ranges of
>> operation?
>>
>> Any thoughts?
>
> Sorry, no theory here, just wondering if this question is the same as
> asking whether relational closure is impossible when domains that aren't
> closed under operators such division, are present?
I assume you are suggesting that failures in extend expressions and
restrict expressions cause extend and restrict to fail. Is that correct?
Received on Sat Feb 03 2007 - 10:36:03 CST
