01Το συμπέρασμα χρειάζεται τη δική του βάση
Στα προηγούμενα κεφάλαια ξεχωρίσαμε το μηχανικό ίχνος από την ερμηνεία του, εξετάσαμε τις δηλωμένες συνθήκες και είδαμε γιατί η αναγνώριση μιας μετάβασης απαιτεί συγκεκριμένο κριτήριο. Το επόμενο βήμα είναι να συνδέσουμε κάθε συμπέρασμα με τα στοιχεία που το στηρίζουν.
Το Manifest διακρίνει τη συμβατότητα από την απόδοση δομής και την εσωτερική επικύρωση από τη συμφωνία με τη φυσική πραγματικότητα. Ζητά επίσης κάθε επέκταση ή ερμηνεία να διαθέτει το δικό της επιχείρημα, τεκμηρίωση και πεδίο ισχύος.
Ένας σωστός υπολογισμός δείχνει τι προκύπτει από τις δηλωμένες σχέσεις. Για να στηρίξει μια περιγραφή ενός πραγματικού μηχανισμού, χρειάζεται επιπλέον σύνδεση με τον τρόπο παρατήρησης, τις συνθήκες και τα σχετικά δεδομένα. Αυτή η σύνδεση είναι το αντικείμενο του κεφαλαίου.
Σύνδεση με το corpus: Corpus Manifest v1.0, §10, σ. 6 · §§12–13, σ. 7 ↗
02Μια καταγραφή χρειάζεται περιγραφή
Πριν συγκρίνουμε αποτελέσματα, χρειάζεται να ξέρουμε ποιο μέγεθος παρατηρήθηκε, πώς προέκυψε η τιμή του και υπό ποιες συνθήκες. Μια φωτογραφία, μια τροχιά και μια μέτρηση δύναμης παρέχουν διαφορετικά είδη πληροφορίας.
Η αβεβαιότητα μέτρησης χαρακτηρίζει τη διασπορά των τιμών που αποδίδονται στο μετρούμενο μέγεθος βάσει των διαθέσιμων πληροφοριών. Το σφάλμα αφορά τη μετρημένη τιμή μείον μια τιμή αναφοράς. Η επαναληψιμότητα αφορά τη συμφωνία επαναλαμβανόμενων μετρήσεων υπό συγκεκριμένες κοινές συνθήκες. Μικρή διασπορά στις επαναλήψεις δεν αρκεί για πλήρη εκτίμηση αβεβαιότητας, η οποία μπορεί να περιλαμβάνει συνιστώσες από συστηματικές επιδράσεις.
Στο παράδειγμα που ακολουθεί θα χρησιμοποιήσουμε ένα διάστημα ως δηλωμένο κριτήριο σύγκρισης. Οι αριθμοί του επιλέγονται για την άσκηση. Δεν προκύπτουν από μετρήσεις και δεν αποτελούν εκτίμηση αβεβαιότητας ή διάστημα εμπιστοσύνης.
Μετρολογική ορολογία: VIM3, 2.26 · αβεβαιότητα ↗ · 2.16 · σφάλμα ↗ · 2.21 · επαναληψιμότητα ↗ · 2.20 · συνθήκες επαναληψιμότητας ↗ · 2.15 · precision ↗
03Δύο περιγραφές και ένα ρητό κριτήριο
Επιστρέφουμε στις αδιάστατες γεωμετρικές περιγραφές του κεφαλαίου για το ίχνος. Στην A ισχύει y = 0 και στη B ισχύει y = x2, με 0 ≤ x ≤ 1. Τώρα επιλέγουμε να εξετάσουμε την y στην ακριβώς καθορισμένη θέση x* = 1/2.
yA = 0 · yB = 1/4 = 0,25
Δηλώνουμε τον εξής κανόνα: μια περιγραφή ικανοποιεί το κριτήριο όταν η τιμή που δίνει βρίσκεται μέσα στο επιλεγμένο κλειστό διάστημα I. Συγκρίνουμε τρία διαφορετικά κριτήρια, κρατώντας τις περιγραφές και τη θέση σταθερές.
| Διάστημα σύγκρισης I | A: y = 0 | B: y = 0,25 |
|---|---|---|
| [0,22; 0,28] | Εκτός | Εντός |
| [−0,02; 0,28] | Εντός | Εντός |
| [0,10; 0,15] | Εκτός | Εκτός |
Στην πρώτη γραμμή μόνο η B ικανοποιεί το κριτήριο μεταξύ των A και B. Στη δεύτερη δεν διακρίνονται με αυτό το κριτήριο. Στην τρίτη καμία δεν το ικανοποιεί. Το τελευταίο αποτέλεσμα αφορά τις συγκεκριμένες περιγραφές και τη συγκεκριμένη σύγκριση· δεν αποδεικνύει φυσική αδυναμία.
Το διάστημα της δεύτερης γραμμής είναι ευρύτερο. Η σύγκριση των δύο πρώτων γραμμών δείχνει πώς το εύρος του δηλωμένου κριτηρίου επηρεάζει τη διάκριση. Η άσκηση αφορά επιλεγμένα διαστήματα και δεν αποτελεί βελτίωση πραγματικής μέτρησης: εδώ δεν πραγματοποιήθηκε μέτρηση.
Η μαθηματική μορφή της σύγκρισης
Έστω F = {A, B} η δηλωμένη οικογένεια περιγραφών και vi η τιμή της y που δίνει η περιγραφή i στο x*. Ορίζουμε τοπικά:
KF(I) = { i ∈ F : vi ∈ I }
Για τις τρεις γραμμές του πίνακα παίρνουμε αντίστοιχα {B}, {A, B} και ∅. Αν I ⊆ J, τότε KF(I) ⊆ KF(J): η διεύρυνση του διαστήματος δεν αποκλείει μια περιγραφή που ήδη ικανοποιεί το κριτήριο.
Το x* θεωρείται ακριβές από υπόθεση. Δεν περιλαμβάνουμε αβεβαιότητα θέσης, εκτίμηση παραμέτρων ή πιθανότητες. Ο υπολογισμός ελέγχει μόνο τη συμμετοχή των δύο τιμών στο δηλωμένο διάστημα.
Πρωτότυπο αδιάστατο παράδειγμα, με επινοημένα διαστήματα σύγκρισης και τοπική σημειογραφία. Δεν παρουσιάζονται μετρημένα δεδομένα, διαστήματα εμπιστοσύνης ή κριτήρια επικύρωσης της FBM.
04Η μοναδική επιλογή εξαρτάται από τη λίστα
Ας προσθέσουμε μια τρίτη περιγραφή C, με y = x/2 στο ίδιο πεδίο 0 ≤ x ≤ 1. Στη θέση x* = 1/2 δίνει επίσης y = 1/4. Επομένως ικανοποιεί και αυτή το πρώτο κριτήριο.
Η B και η C είναι διαφορετικές καμπύλες, παρότι συμφωνούν στη συγκεκριμένη θέση. Η αρχική μοναδικότητα της B αφορούσε τη λίστα {A, B}. Με τη λίστα {A, B, C}, το ίδιο κριτήριο κρατά τις B και C.
Η φράση «μόνο αυτή η περιγραφή συμφωνεί» χρειάζεται να δηλώνει ποιες εναλλακτικές εξετάστηκαν και με ποιο κριτήριο.
Το παράδειγμα δίνει έναν συγκεκριμένο τρόπο να διαβάσουμε τη διάκριση συμβατότητας και απόδοσης. Ένα επιτυχές αποτέλεσμα σε μια περιορισμένη σύγκριση δεν αρκεί για γενικό ισχυρισμό μοναδικής δομής. Το επόμενο ερώτημα είναι ποια πρόσθετη παρατήρηση θα μπορούσε να διακρίνει τις εναλλακτικές που παραμένουν.
Η κατασκευή C είναι πρωτότυπη. Σύνδεση με τη διάκριση συμβατότητας / απόδοσης: Corpus Manifest v1.0, §10, σ. 6 ↗
05Ένα μικρό δελτίο ανάγνωσης περίπτωσης
Για να είναι μια περίπτωση κατανοητή και ελέγξιμη από άλλον αναγνώστη, μπορούμε να οργανώσουμε την παρουσίασή της γύρω από τις παρακάτω πληροφορίες. Ο πίνακας συμπληρώνεται με το παράδειγμά μας, ώστε να φαίνεται τι ακριβώς στηρίζει το αποτέλεσμα.
| Πεδίο | Στο παρόν παράδειγμα |
|---|---|
| Ερώτημα | Ποιες από τις A και B δίνουν τιμή y μέσα στο I στη θέση x* = 1/2; |
| Δηλωμένη περιγραφή | A: y = 0 και B: y = x², με αδιάστατες συντεταγμένες και 0 ≤ x ≤ 1. |
| Προέλευση των τιμών | Ακριβής υπολογισμός από τις εξισώσεις. Το I = [0,22; 0,28] επιλέχθηκε για την άσκηση. |
| Κριτήριο και αποτέλεσμα | Συμμετοχή στο κλειστό διάστημα I. Με F = {A, B}, προκύπτει KF(I) = {B}. |
| Όριο του συμπεράσματος | Η B είναι η μόνη που ικανοποιεί αυτό το κριτήριο μέσα στη συγκεκριμένη λίστα. Η C δείχνει ότι το αποτέλεσμα δεν εξασφαλίζει γενική μοναδικότητα. |
Σε μια εμπειρική περίπτωση, η προέλευση των τιμών θα χρειαστεί να συνδεθεί με τις πραγματικές καταγραφές, τη μέθοδο, τις ρυθμίσεις και την εκτίμηση αβεβαιότητας που διαθέτει η μελέτη. Οι παραπομπές πρέπει να οδηγούν στα στοιχεία από τα οποία προκύπτει το συμπέρασμα.
Αν λείπει ένα στοιχείο, το δηλώνουμε στη θέση του. Αυτό επιτρέπει στον αναγνώστη να ξεχωρίσει ένα ανοιχτό ερώτημα από ένα τεκμηριωμένο αποτέλεσμα. Το δελτίο είναι βοήθημα παρουσίασης, όχι καθολικό πρωτόκολλο επικύρωσης.
Σύνδεση με το corpus: Corpus Manifest v1.0, §§12–13, σ. 7 ↗
06Πώς προετοιμάζεται η ανάγνωση του Atlas
Η θεωρία προσδιορίζει το δομικό ερώτημα που θέτουμε. Τα μαθηματικά επιτρέπουν να δηλώσουμε με ακρίβεια τις σχέσεις, τη σύγκριση και την εμβέλεια του αποτελέσματος. Η εμπειρική μελέτη χρειάζεται να δείξει πώς αυτά συνδέονται με ένα συγκεκριμένο σύστημα.
Το Manifest παρουσιάζει το Atlas ως την εμπειρική βάση του corpus στους αρθρωτήρες και περιλαμβάνει στη θεματολογία του τα ίχνη, τη συνέχεια επαφής, την τριβή, την κατανομή κυριαρχίας και την επικύρωση. Για την ανάγνωση μιας τέτοιας περίπτωσης, αναζητούμε τη σύνδεση ανάμεσα στη δηλωμένη διάταξη, την παρατήρηση, την ερμηνεία και τα υποστηρικτικά στοιχεία.
Το παρόν κεφάλαιο προετοιμάζει αυτή την ανάγνωση. Το αριθμητικό παράδειγμα παραμένει εκπαιδευτική κατασκευή· μια πραγματική περίπτωση του Atlas χρειάζεται τη δική της πηγή και τα δικά της δεδομένα.
Σύνδεση με το corpus: Corpus Manifest v1.0, §3.3, σ. 3 · §10, σ. 6 · §§12–13, σ. 7 ↗
07Πηγές και συνέχεια της μελέτης
Το κεφάλαιο είναι νέα εισαγωγική σύνθεση. Οι ενότητες και οι σελίδες στις παραπομπές της FBM αφορούν το δημόσιο Corpus Manifest v1.0. Το VIM3 χρησιμοποιείται για τη μετρολογική ορολογία. Το αριθμητικό παράδειγμα, τα διαστήματα και το δελτίο ανάγνωσης δημιουργήθηκαν για αυτή τη σελίδα και δεν αποτελούν αποτελέσματα πειράματος. Οι πλήρεις ορισμοί και η ανάπτυξη της FBM παραμένουν στις αντίστοιχες μονογραφίες.