Before I am hung by my own anointed hanging judge, one final comment
The relevance to this community hinges on the fact that the ability to apply abstract concepts to concrete problems is one of the tenants of engineering across all disciplines including software; and more specifically Windows KM programming. Recently we have variously derided the approaches taken by some developers, but this is another case where I have gone too far the other way ? mea culpa
For the curious, a common application of geometry to software engineering is in the use of formal methods to prove the correctness of software. This is typically not done for software written for Windows (or any other general purpose OS) as the use of virtual memory and other non-deterministic effect can invalidate the results completely, but for DOS or various embed environments, it is possible to consider all variables of a program as orthogonal and possibly bounded dimensions and the valid states of that program as a figure (possibly a surface or a volume depending on how you look at it) and ensure that none of the code can possibly cause the program to exceed that valid figure. All static code analysis works on these lines, as well as optimizing compilers, and notwithstanding the horrible bugs in the current implementation of Microsoft?s SAL this is an important technique for breaking down large (whole program) analysis into small (single function) analysis of figures.
Another possibly more common way to express the same thing is to describe a state machine. That is another way to describe the figure of valid software state but capitulated from a different point of view
There are various other uses for abstractions mathematical and otherwise in software and I am sure I need not enumerate them all ? even if I could
To the OP: I am sorry. At this point I have no idea of what your problem was or how might remedy it. I do hope that some of this discussion has been useful to you in some way since as Peter points out we do volunteer our time to help others by participating here rather than with any other aim.
Sent from Mailhttps: for Windows 10
From: prokashmailto:xxxxx
Sent: February 15, 2016 10:21 AM
To: Windows System Software Devs Interest Listmailto:xxxxx
Subject: Re: [ntdev] Block Load/Start of a driver
Yep, modern non-euclidean geometry (particularly Algebraic ) is based on sphere
What I meant to say is that Algebraic geometry is one such non-euclidean ? There are other non-euclidean geometries ?
One fine point, IIRC is that there is only one branch of non-euclidean geometry that is called Algebraic geometry ( based on the basic axiomatics assumption).
When we talked about Projective geometry, we almost always talk about euclidean space.
When we talk about infinite dimensional space, we talk about cardinal infinite, so there is no need for FRACTIONAL dimensions, unless we consider non-recurring fractional part ( like pie ). So there is no need to think about FRACTIONAL dimensions, AFAIK.
Going to leave it here - it?s way too far out of this list?s main theme ?
-Pro
> On Feb 15, 2016, at 2:38 AM, Maxim S. Shatskih wrote:
>
>> BTW, the idea is mainly based on Axiomatic geometry. So lifting or introducing axioms
>
> Yes.
>
> Started from Lobachevsky mid-1800ies, who tried to prove the axiom of parallels by deducing it from the other axioms.
>
> For this, he tried to build a geometry where the axiom of parallels if wrong, in an attempt to step on a contradiction finally.
>
> He found NO contradictions.
>
> Later somebody (Riemann?) have proved that, if you draw lines on a “pseudosphere” (a surface similar in shape to a chess pawn or a leg of the snifter glass), and not on a plane, then you get Lobachevsky’s geometry, the first non-Euclidian one.
>
> “Projective plane” adds 1 imaginary point of “infinity”, where all parallels do intersect.
>
>> Algebraic geometry is one such,
>
> One??? he-he-he, there are lots of algebraic geometries
>
> –
> Maxim S. Shatskih
> Microsoft MVP on File System And Storage
> xxxxx@storagecraft.com
> http://www.storagecraft.com
>
>
> —
> NTDEV is sponsored by OSR
>
> Visit the list online at: http:
>
> MONTHLY seminars on crash dump analysis, WDF, Windows internals and software drivers!
> Details at http:
>
> To unsubscribe, visit the List Server section of OSR Online at http:
—
NTDEV is sponsored by OSR
Visit the list online at: http:
MONTHLY seminars on crash dump analysis, WDF, Windows internals and software drivers!
Details at http:
To unsubscribe, visit the List Server section of OSR Online at http:</http:></http:></http:></http:></http:></http:></mailto:xxxxx></mailto:xxxxx></https:>