01Η δομή ως ερευνητικό ζητούμενο
Η μελέτη του Hanau ξεκινά από τη δική του οργάνωση: πλαίσιο, οδηγοί, σχέσεις επαφής, περιορισμοί και αλληλεπίδραση. Στη FBM η δομή αποτελεί την αφετηρία και το θεμελιακό ζητούμενο. Οι παράμετροι, οι γεωμετρικές περιγραφές και οι παρατηρήσεις μάς βοηθούν να εξετάσουμε αυτή την οργάνωση και τις πραγματώσεις της.
Το Hanau H as a Frame-Bound Mechanical System παραμένει εδώ ως αυτοτελές αρχικό έργο. Δηλώνει ένα συμβολικό σχήμα για την επιτρεπτότητα, την επιλογή ισορροπίας και την παρατήρηση. Η παρούσα σελίδα αναπτύσσει τη μαθηματική ανάγνωσή του, διατηρώντας διακριτά το κείμενο της πηγής, τις μεταγενέστερες αποσαφηνίσεις και όσα μένουν προς διερεύνηση.
Το ερώτημα είναι ποια γνώση για τη δηλωμένη δομή του Hanau μπορεί να στηρίξει μια παρατήρηση και με ποιες υποθέσεις.
Η ανάλυση που ακολουθεί προκύπτει από το ίδιο το συμβολικό σχήμα του paper. Δεν χρειάζεται να αποδοθεί στον Hanau μια διαφορετική μαθηματική κατασκευή για να εξεταστούν η ύπαρξη πραγματοποίησης, η παρατήρηση και η δυνατότητα ανάκτησης συγκεκριμένων χαρακτηριστικών.
02Η δήλωση του αρχικού έργου
Στο αρχικό έργο, η οπίσθια κονδυλική καθοδήγηση Γc, η πρόσθια επιφάνεια Σi και η πλευρική σχέση ψb συμμετέχουν στον ορισμό του επιτρεπτού συνόλου για Θ = (θc, θi, θb):
A(Θ) = {x ∈ X : x ∈ Γc(θc), x ∈ Σi(θi), ψb(x; θb) = 0}.
Το συναρτησιακό αλληλεπίδρασης και η σχέση ελαχιστοποίησης περιλαμβάνονται ήδη στο paper:
Φ(x; Θ, w) = wcΦc(x; θc) + wiΦi(x; θi) + wbΦb(x; θb),
wk ≥ 0, x∗ ∈ arg minx ∈ A(Θ) Φ(x; Θ, w), y = G(x∗).
Η γεωμετρική περιγραφή των οδηγών εκφράζει μέρος των δηλωμένων περιορισμών. Το A(Θ) περιγράφει τις επιτρεπτές διαμορφώσεις· το Φ και η ελαχιστοποίηση δηλώνουν το εξεταζόμενο πρόβλημα επιλογής. Επομένως μια μεταβολή γωνίας μπορεί να αλλάξει το A(Θ), τους όρους του Φ ή τα βάρη τους. Δεν ισοδυναμεί εκ των προτέρων με αλλαγή μόνο ενός αριθμητικού συντελεστή.
Η §6 γράφει D(Θ) = (wc, wi, wb) και συσχετίζει γωνίες και βάρη. Για υπολογιστική χρήση χρειάζεται ο συγκεκριμένος νόμος αυτής της αντιστοίχισης. Αν τη διατηρούμε ως δεσμευτική σχέση, τα Θ και w δεν επιλέγονται ανεξάρτητα. Αυτή η λεπτομέρεια καθορίζει ποιες συγκρίσεις μεταξύ μοντέλων είναι επιτρεπτές.
Αρχική πηγή: §§2–6, PDF 1–2. Το αρχείο δίνει τις συμβολικές σχέσεις· δεν προσδιορίζει εδώ τους συγκεκριμένους τύπους των Φc, Φi, Φb ή βαθμονομημένο νόμο γωνίας–βάρους.
03Από την επιτρεπτότητα στην πραγματοποίηση
Για να διαβάσουμε με ακρίβεια την ελαχιστοποίηση, δηλώνουμε ένα σύνολο συγκρινόμενων μοντέλων P, με p = (Θ, w), σε κοινό χώρο X. Το P περιλαμβάνει μόνο τους συνδυασμούς που επιτρέπει η εκάστοτε δήλωση· αν ισχύει w = D(Θ), ο περιορισμός αυτός ενσωματώνεται στο P.
Η παρακάτω συνολοτιμή γραφή είναι ανάπτυξη της παρούσας μελέτης:
M(p) = arg minx ∈ A(Θ) Φ(x; Θ, w),
P+ = {p ∈ P : M(p) ≠ ∅}, O(p) = {G(x) : x ∈ M(p)}.
Το M(p) συγκεντρώνει όλους τους ελαχιστοποιητές. Η γραφή δεν υπόσχεται ότι υπάρχει κάποιος ή ότι είναι μοναδικός. Ακόμη και μη κενό A(Θ) δεν αρκεί για να εξασφαλίσει ότι το Φ αποκτά ελάχιστο. Το O(p) είναι το σύνολο των δυνατών παρατηρήσεων των επιλεγμένων πραγματώσεων, υπό μία δηλωμένη G : X → Y.
Αν M(p) έχει ένα μόνο στοιχείο για κάθε p ∈ P+, μπορούμε να γράψουμε:
Q : P+ → X, M(p) = {Q(p)}, F = G ∘ Q.
Η μοναδική πραγματοποίηση δίνει μονοσήμαντη ευθεία πρόβλεψη F(p). Δεν καθορίζει από μόνη της αν διαφορετικά p έχουν διαφορετική εικόνα. Αντίστροφα, ένα μονοσύνολο O(p) δεν συνεπάγεται μονοσύνολο M(p): περισσότερες πραγματώσεις μπορεί να έχουν κοινή παρατήρηση. Σε πολυτιμή περίπτωση ένας πρόσθετος κανόνας επιλογής χρειάζεται δική του δήλωση και αιτιολόγηση.
Αφετηρία: §5 και §§8–9, PDF 2–3. Σχετική αποσαφήνιση: MRA-01-F013, 36–37· MRA-10 §2.4, 508, και §2.7, 509–510. Τα M, P+, O, Q και F είναι η σημερινή αναλυτική διατύπωση, όχι πρόσθετες αποδεδειγμένες ιδιότητες της συσκευής.
04Η ανάγνωση μετά το Re-audit
Το Re-audit συνδέεται με το έργο μέσα από συγκεκριμένα ζητήματα ορισμών και υποθέσεων. Η αρχική πηγή διατηρεί το περιεχόμενό της· οι ακόλουθες διακρίσεις καθοδηγούν τη μεταγενέστερη ανάγνωση.
Επιτρεπτότητα και πραγματοποίηση. Το A(Θ) απαντά ποιες διαμορφώσεις ικανοποιούν τους δηλωμένους περιορισμούς. Η σχέση ελαχιστοποίησης προσθέτει κριτήριο επιλογής. Η διάκριση των δύο εμποδίζει να αποδώσουμε στην επιτρεπτότητα μια μοναδική ισορροπία που δεν έχει ακόμη τεκμηριωθεί.
Βάρη και dominance. Στο paper τα wk σταθμίζουν συγκεκριμένους όρους του Φ. Η γενικότερη δομή dominance δεν εξαντλείται εξ ορισμού σε αυτό το διάνυσμα. Μια αλλαγή βάρους αποκτά δομικό νόημα όταν δηλωθεί ποια σχέση ή διάκριση εκφράζει.
Ισορροπία και regime. Η γραφή R(Θ, w) = x∗(Θ, w) στη §7 είναι τοπική σύμβαση του αρχικού έργου. Για να εξεταστεί μια πληρέστερη δομική ταυτότητα regime χρειάζεται να οριστεί ποια χαρακτηριστικά τη συγκροτούν. Η διαφορετική θέση ή η διαφορετική τιμή ενός βάρους δεν αποδεικνύει αυτομάτως διαφορετικό regime.
Παρατήρηση και αναγνωρισιμότητα. Ο ρόλος της G προσδιορίζεται από το πεδίο ορισμού της και το περιεχόμενο που διατηρεί. Το ότι ονομάζεται «projection» δεν αποδεικνύει μη ενέσιμη συμπεριφορά στη συγκεκριμένη οικογένεια. Η §9 του Hanau διατυπώνει μη αναγνωρισιμότητα, χωρίς υπολογισμένο ζεύγος που να την αποδεικνύει για μια πλήρως εξειδικευμένη δήλωση του οργάνου.
Πηγές: §§5–9 και MRA-01-F009–F010, 32–34· F013, 36–37· MRA-05 D7, 185· MRA-10 §§2.4, 2.6–2.7, 508–510. Η αντιπαραβολή αποτελεί παρούσα αναλυτική εργασία.
05Τι μπορεί να προσδιορίσει η παρατήρηση
Πριν αναζητήσουμε αντιστροφή, χρειάζεται να δηλώσουμε το ζητούμενο J : P+ → I. Μπορεί να είναι μια παράμετρος, μια σχέση μεταξύ συντελεστών ή μια ορισμένη δομική κατηγορία. Η ανάκτηση ολόκληρου του p είναι μία ειδική επιλογή. Δεν ταυτίζονται όλες αυτές οι απαιτήσεις.
Για ένα ακριβές παρατηρούμενο y ορίζουμε την οικογένεια συμβατών μοντέλων:
C(y) = {p ∈ P+ : y ∈ O(p)}.
Όταν C(y) ≠ ∅, η παρατήρηση προσδιορίζει το J ακριβώς όταν το J έχει την ίδια τιμή σε όλα τα μέλη του C(y). Η αιτιολόγηση είναι άμεση: αν υπάρχουν δύο συμβατά μέλη με διαφορετικό J, το y δεν επιλέγει ανάμεσά τους· αν όλα έχουν το ίδιο J, κάθε συμβατή περιγραφή αποδίδει την ίδια τιμή στον δηλωμένο στόχο. Το συμπέρασμα παραμένει σχετικό με την επιλεγμένη οικογένεια P και με το ακριβές μοντέλο παρατήρησης.
Στη μονοσήμαντη περίπτωση, η αντίστοιχη απαίτηση για όλες τις παρατηρήσεις γράφεται:
F(p1) = F(p2) ⇒ J(p1) = J(p2), p1, p2 ∈ P+.
Ένα επιμέρους, υπό όρους αποτέλεσμα προκύπτει απευθείας από το σταθμισμένο Φ του Hanau. Αν κρατήσουμε σταθερά τη Θ, το A(Θ) και τους όρους Φk, και η οικογένεια P επιτρέπει τόσο το w όσο και το cw για c > 0, τότε:
Φ(x; Θ, cw) = cΦ(x; Θ, w),
M(Θ, cw) = M(Θ, w), O(Θ, cw) = O(Θ, w).
Πράγματι, ο θετικός πολλαπλασιασμός διατηρεί όλες τις συγκρίσεις τιμών του συναρτησιακού στο ίδιο επιτρεπτό σύνολο, άρα διατηρεί τους ελαχιστοποιητές. Με την ίδια G διατηρεί και τις δυνατές παρατηρήσεις τους. Για μη μηδενικό w και c ≠ 1, όπου υπάρχει πραγματοποίηση, αυτή η παρατήρηση δεν διακρίνει τα δύο διαφορετικά διανύσματα. Δεν προκύπτει όμως ότι αλλάζει κάθε δομικό χαρακτηριστικό που θα μπορούσε να επιλεγεί ως J.
Η προϋπόθεση για το P είναι ουσιώδης: αν w = D(Θ) καθορίζει μοναδικά τα βάρη, τα δύο διανύσματα στην ίδια Θ ενδέχεται να μην είναι και τα δύο επιτρεπτά. Η παραπάνω συνεπαγωγή είναι μαθηματική ανάλυση της δηλωμένης μορφής του Φ, όχι απόδειξη ότι το πραγματικό Hanau διαθέτει αυτή την ελευθερία κλίμακας.
Η ομογένεια ως προς τα βάρη ακολουθεί εδώ από §5, PDF 2, με τις πρόσθετες υποθέσεις που δηλώθηκαν. Η διατύπωση στόχου και συμβατότητας αναπτύσσεται εδώ με βάση τη μεθοδολογική κατεύθυνση του Deepening & Expansion, PDF 53–55. Δεν εισάγεται αριθμητικό μοντέλο άλλης περίπτωσης.
06Η συνέχεια της μελέτης
Η αυτοτελής εμβάθυνση του Hanau μπορεί πλέον να προχωρήσει από σαφή σημεία: ποιο είναι το P, πώς ορίζονται οι επιμέρους όροι του Φ, ποιοι συνδυασμοί οδηγών και ρυθμίσεων είναι επιτρεπτοί, ποια πραγματοποίηση εξετάζεται και ποιο ακριβώς δομικό χαρακτηριστικό αναζητούμε.
Μια επόμενη εξειδίκευση χρειάζεται να συνδέσει αυτές τις δηλώσεις με τη μηχανική διάταξη. Η απλή συμμετοχή ενός σημείου σε επιφάνεια δεν δίνει από μόνη της νόμο αποχωρισμού, τριβής ή αντίδρασης. Αν μελετάται κίνηση, χρειάζεται και η αντίστοιχη σχέση εξέλιξης· η στατική ελαχιστοποίηση δεν την υποκαθιστά.
Η εμπειρική αντιστοίχιση με τις bench καταγραφές του Hanau/Atlas παραμένει υπό διερεύνηση για τα ερωτήματα αυτής της σελίδας. Θα απαιτήσει καθορισμό των συνθηκών, των παρατηρούμενων μεγεθών και της σχέσης τους με το μοντέλο. Το εκκρεμές αυτό βήμα αφορά τη συγκεκριμένη σύνδεση.
Το αρχικό paper, η παρούσα μαθηματική ανάγνωση και μια μελλοντική μηχανική ή εμπειρική εξειδίκευση αποτελούν διακριτές βαθμίδες μελέτης. Νέα αποτελέσματα θα προστίθενται με τις δικές τους υποθέσεις και τεκμήρια, διατηρώντας ορατή την προέλευση κάθε συμπεράσματος.
Στατική δήλωση και προτεινόμενες bench συνέπειες: §5 και §10, PDF 2–3. Διακριτός ρόλος πραγματοποίησης: MRA-03 §2.6, 84· MRA-10 §2.4, 508.
07Πηγές και διαδρομές
Hanau H as a Frame-Bound Mechanical System.
Χειρόγραφο 3 σελίδων, χωρίς εσωτερική ημερομηνία ή αριθμό έκδοσης. §§2–4, PDF 1–2: δομική δήλωση· §§5–6, PDF 2: ελαχιστοποίηση και βάρη· §§7–9, PDF 2–3: regime και παρατήρηση· §10, PDF 3: προτεινόμενες bench συνέπειες. Ο τίτλος και η περιγραφή αφορούν αυτό το συγκεκριμένο αρχείο.
Ανάγνωση του αρχικού χειρογράφου ↗Theory Formalization Re-Audit.
Έκδοση εργασίας 553 σελίδων. MRA-01-F009–F010: 32–34· F013: 36–37· MRA-03 §2.6: 84· MRA-05 D7: 185· MRA-10 §2.4: 508, §2.6: 509, §2.7: 509–510. Οι διακρίσεις της ανακατασκευής διαβάζονται ως μεταγενέστερος έλεγχος και αποσαφήνιση.
Από τη θεμελίωση στο Re-audit →Theory Formalization Deepening & Expansion.
Ερευνητικό κείμενο κατεύθυνσης 66 σελίδων. PDF 53–55: προκαθορισμένος στόχος και πρόσθετη πληροφορία· 62–66: τεκμηριωμένες αντιστοιχίσεις και διάκριση πηγής, σημερινής σύνθεσης και νέας ανάπτυξης. Χρησιμοποιείται εδώ η μεθοδολογική κατεύθυνση, όχι κάποια ειδική μαθηματική περίπτωση ως μοντέλο του Hanau.
Οι αριθμοί PDF ακολουθούν τη σειρά σελίδων του αρχείου. Για το Re-audit χρησιμοποιείται η σελιδαρίθμηση της συγκεκριμένης έκδοσης εργασίας. Το αρχικό χειρόγραφο παραμένει αμετάβλητο· οι συνολοτιμείς σχέσεις, το κριτήριο για το J και η υπό όρους συνεπαγωγή κλίμακας αποτελούν ανάπτυξη αυτής της σελίδας.