Το επιστημονικό πεδίο της θεωρητικής και υπολογιστικής μελέτης φαινομένων μεταφοράς αερίων υπό αραιοποιημένες συνθήκες, προσελκύει σταθερά σημαντική προσοχή. Αυτά τα φαινόμενα απέχουν από την τοπική ισορροπία και η βασική ερμηνεία και μοντελοποίηση τους βασίζονται στην κινητική θεωρία, όπως περιγράφεται από την εξίσωση Boltzmann (BE). Τα εν λόγω φαινόμενα είναι μείζονος σημασίας σε πολλές βιομηχανικές διεργασίες και τεχνολογικές εφαρμογές, συμπεριλαμβανομένων των μικροηλεκτρομηχανικών συστημάτων (MEMS), των ημιαγωγών, των ροών αερολυμάτων και της τεχνολογίας κενού (π.χ. επιταχυντές σωματιδίων και αντιδραστήρες πυρηνικής σύντηξης).Στην παρούσα εργασία, αναπτύσσεται εξελιγμένο και προηγμένο λογισμικό ντετερμινιστικής και στοχαστικής κινητικής μοντελοποίησης βάσει της μεθόδου Discrete Velocity (DVM) και της μεθόδου Direct Simulation Monte Carlo (DSMC), αντίστοιχα. Το ανεπτυγμένο λογισμικό επιβεβαιώνεται βάσει αρκετών προβλημάτων αναφοράς και εφαρμόζεται για την αντιμετώπιση ποικίλων θεμάτων που σχετίζονται με φαινόμενα μεταφοράς αερίων υπό αραιοποιημένες συνθήκες.Η προηγμένη ντετερμινιστική κινητική μοντελοποίηση περιλαμβάνει τη λύση της γραμμικοποιημένης εξίσωσης Boltzmann σε γεωμετρία παράλληλων πλακών, τη διερεύνηση αραιοποιημένων ροών που περιλαμβάνουν έγχυση και αναρρόφηση αερίου και την εξέλιξη ενός κώδικα δικτύων αερίου για την προσομοίωση συστημάτων διανομής αερίου αυθαίρετης πολυπλοκότητας που λειτουργούν υπό οποιεσδήποτε συνθήκες κενού.Η επίλυση της γραμμικοποιημένης εξίσωσης Boltzmann με ενδομοριακό δυναμικό σκληρών σφαιρών επαληθεύεται βάσει του υπολογισμού της θερμικής αγωγιμότητας και του ιξώδους των αερίων, καθώς και βάσει της επίλυσης της πλήρους ανεπτυγμένης ροής μεταξύ παράλληλων πλακών λόγω βαθμίδων πίεσης και θερμοκρασίας. Στην συνέχεια, η εξίσωση Boltzmann χρησιμοποιείται για την μοντελοποίηση της πλήρους ανεπτυγμένης ροής μεταξύ παράλληλων πλακών λόγω αρμονικά ταλαντωτικής βαθμίδας πίεσης σε όλο το εύρος αραιοποίησης και συχνότητας ταλάντωσης. Τα εξαγόμενα αποτελέσματα περιέχουν τα πλάτη και τις φάσεις όλων των μακροσκοπικών ποσοτήτων (π.χ. κατανομή ταχύτητας, μαζική παροχή). Τα αποτελέσματα συγκρίνονται με τα αντίστοιχα αποτελέσματα της βιβλιογραφίας, βάσει του μοντέλου BGK, επαληθεύοντας το εύρος εφαρμογής του μοντέλου BGK.Μελετώνται αρκετές αραιοποιημένες ροές που περιλαμβάνουν έγχυση και αναρρόφηση αερίου. Οι ροές αυτές περιλάμβαναν την μελέτη της πλήρους ανεπτυγμένης ροής μεταξύ παράλληλων διαπερατών πλακών λόγω βαθμίδων πίεσης και θερμοκρασίας, με έγχυση και αναρρόφηση αερίου από την κάτω και πάνω πλακά, καθώς και την μελέτη της πλήρους ανεπτυγμένης ροής πάνω από διαπερατή πλάκα που αναρροφά αέριο. Οι συγκεκριμένες ροές έχουν θεωρητικό και πρακτικό ενδιαφέρον σε εφαρμογές με πορώδη υλικά και προσρόφηση/εκρόφηση και ενώ έχουν μελετηθεί εκτενώς στο υδροδυναμικό όριο, δεν έχουν μελετηθεί ποτέ υπό αραιοποιημένες συνθήκες. Η κινητική μοντελοποίηση βασίζεται στο κινητικό μοντέλο Shakhov (S) και στην εξίσωση Boltzmann. Παρουσιάζονται νέα αποτελέσματα για την μαζική παροχή και την θερμοροή στην ροή δια μέσου διαπερατού καναλιού λόγω βαθμίδας πίεσης και θερμοκρασίας, καθώς και για το πάχος του οριακού στρώματος στην ροή πάνω από διαπερατή πλάκα. Τα αποτελέσματα του μοντέλου S είναι σε πλήρη συμφωνία με τα αντίστοιχα της εξίσωσης Boltzmann, αιτιολογώντας την χρήση κινητικών μοντέλων σε αραιοποιημένες ροές με έγχυση και αναρρόφηση αερίου.Ο κώδικας δικτύων αερίου σταθερών συνθηκών ARIADNE, εξελίσσεται μέσω αλγορίθμων για την εύρεση των βρόχων και ψευδοβρόχων του δικτύου και την προσομοίωση αυθαίρετου αριθμού αντλιών. Επιπλέον, με την ανάπτυξη ενός υβριδικού χρονομεταβαλλόμενου κώδικα δικτύων αερίου, ο οποίος εφαρμόζει τον κώδικα ARIADNE σε κάθε χρονικό βήμα, είναι εφικτή η μοντελοποίηση και προσομοίωσης της χρονομεταβαλλόμενης συμπεριφοράς δικτύων διανομής αερίου αυθαίρετης πολυπλοκότητας σε ολόκληρο το εύρος του αριθμού Knudsen. Ο χρονομεταβαλλόμενος κώδικας έχει επαληθευτεί βάσει δύο προβλημάτων αναφοράς. Οι δυνατότητες των ανεπτυγμένων κωδίκων αποδεικνύονται με την προσομοίωση του συστήματος άντλησης του αντιδραστήρα σύντηξης ITER, ένα από τα πιο πολύπλοκα, παγκοσμίως, κατά τη διάρκεια των φάσεων καύσης και εκκένωσης. Και στις δύο περιπτώσεις, διερευνώνται διάφορα σενάρια άντλησης και παρουσιάζονται χρήσιμα αποτελέσματα για την αντλούμενη παροχή και τη χρονική εξέλιξη της πίεσης του τόρου. Συμπεραίνεται ότι, και στις δύο φάσεις, η αντλούμενη παροχή εξαρτάται σχεδόν γραμμικά από τον αριθμό των αντλιών που λειτουργούν. Επιπλέον, στη φάση εκκένωσης, η επιθυμητή πίεση του τόρου επιτυγχάνεται σε ολόκληρο το εύρος του δείκτη απόσβεσης της εκρόφησης μόνο όταν χρησιμοποιούνται και οι έξι διαθέσιμες αντλίες. Η προηγμένη στοχαστική κινητική μοντελοποίηση περιλαμβάνει την εφαρμογή της μεθόδου ανάλυσης αβεβαιότητας Monte Carlo σε δίκτυα αερίων και την εξέλιξη του τρισδιάστατου κώδικα DSMC PROGRESS για την προσομοίωση της μεταφοράς σφαιρικών στερεών σωματιδίων δια μέσου αραιοποιημένου αερίου. Ο κώδικας δικτύων σταθερών συνθηκών χρησιμοποιείται για την εφαρμογή της μεθοδολογίας ανάλυσης αβεβαιοτήτων Monte Carlo σε δίκτυα διανομής αερίου. Βάσει των παραπάνω, προσδιορίζεται η αβεβαιότητα των ποσοτήτων εξόδου, όπως η αντλούμενη παροχή λόγω της αβεβαιότητας των ποσοτήτων εισόδου, όπως η ακτίνα των σωλήνων, το μήκος των σωλήνων, οι μετρήσεις πίεσης και η ταχύτητα άντλησης. Ο τρισδιάστατος κώδικας DSMC PROGRESS τροποποιείται κατάλληλα για να προσομοιώσει τη μεταφορά ενός σφαιρικού στερεού σωματιδίου δια μέσου αραιοποιημένου αερίου για αυθαίρετες σύνθετες γεωμετρίες. Τα σωματίδια του αερίου και το στερεό σωματίδιο αλληλεπιδρούν και τόσο η μεταφορά του στερεού σωματιδίου όσο και η ροή του περιβάλλοντος αερίου διέπονται από τις συγκρούσεις στερεού-αερίου. Οι δυνατότητες του ανεπτυγμένου κώδικα αποδεικνύονται και επαληθεύονται βάσει τριών προβλημάτων αναφοράς, που περιλαμβάνουν τη θερμοφόρηση, καθώς και τη μεταφορική και περιστροφική κίνηση Brown. Στο πρόβλημα της θερμοφόρησης εξετάζεται η θερμοφορητική δύναμη που ασκείται σε ένα στερεό σφαιρικό σωματίδιο αιωρούμενο σε ένα αραιοποιημένο αέριο μεταξύ δύο παράλληλων πλακών ελαφρά διαφορετικών θερμοκρασιών. Στη μεταφορική και περιστροφική κίνηση Brown, μελετάται η τυχαία μετατόπιση και περιστροφή, αντίστοιχα, ενός στερεού σωματιδίου που αιωρείται σε αέριο στην ελεύθερη μοριακή περιοχή. Σε όλες τις περιπτώσεις, ο ανεπτυγμένος κωδικός αεροζόλ είναι σε εξαιρετική συμφωνία με τα διαθέσιμα υπολογιστικά και θεωρητικά αποτελέσματα.Η παρούσα εργασία δύναται να είναι χρήσιμη στην επιστημονική κοινότητα δυναμικής αραιοποιημένων αερίων και να υποστηρίξει το σχεδιασμό και τη βελτιστοποίηση εφαρμογών, συσκευών και συστημάτων στους τομείς τεχνολογίας κενού και σύντηξης.

No abstract

Παράρτημα Α -Η Σύνταξη της Γλώσσας Δηλωτικών Κανόνων vili ΠΑΡΑΛΛΗΛΗ ΔΙΑΧΕΙΡΙΣΗ ΒΑΣΕΩΝ ΓΝΩΣΗΣ Παράρτημα Β -Ο Αλγόριθμος Μετάφρασης Δηλωτικών Κανόνων 274 Παράρτημα Γ -Η Συμπεριφορά των Γεγονότων κατά το Στάδιο της Εκτέλεσης 280 Γλωσσάρι 287 Απόδοση Αγγλικών Όρων στα Ελληνικά 287 Απόδοση Ελληνικών Όρων στα Αγγλικά 295 Κατάλογος Εικόνων και Πινάκων Εικόνα 1. Δημιουργία αντικειμένων στο σύστημα ADAM Εικόνα 2. Η ιεραρχία των μετα-κλάσεων στο σύστημα ADAM Εικόνα 3. Το φάσμα των κανόνων και οι διάφορες προσπάθειες ενοποίησης τους Εικόνα 4. Δείγμα γράφου αλληλεξάρτησης Εικόνα 5. Άμεσα αναδρομικό πρόγραμμα Εικόνα 6. Παράδειγμα γράφου Εικόνα 7. Η αρχιτεκτονική του συστήματος DEVICE Εικόνα 8. Παράδειγμα δικτύου διάκρισης Εικόνα 9. Η ιεραρχία των κλάσεων των γεγονότων Εικόνα 10. Η δομή του αλγορίθμου μετάφρασης Εικόνα 11. Παράδειγμα αρνητικού γεγονότος 75 Εικόνα 12. Απλοποιημένη μετάφραση κανόνα συγκεντρωτικών χαρακτηριστικών για τη συνάρτηση sum Εικόνα 13. Γενική μορφή μετάφρασης κανόνα συγκεντρωτικών χαρακτηριστικών Εικόνα 14. Ιεραρχία διαχειριστών κανόνων Εικόνα 15. Η ιεραρχία των διαχειριστών κανόνων και των μετα-κλάσεών τους Εικόνα 16. Σύνδεση σύνθετου γεγονότος με τον εαυτό του Εικόνα 17. Επέκταση σύνδεσης και μιας εισόδου σύνθετου γεγονότος Εικόνα 18. Παράδειγμα υβριδικών μνημών Εικόνα 19. Κανόνας ECA για εξομοίωση κανόνα παραγωγής (ενεργός OODB πυρήνας) Εικόνα 20. Το σχήμα των κλάσεων των πειραμάτων (OODB πυρήνας) Εικόνα 21. Κανόνες ECA για εξομοίωση συνεπαγωγικού κανόνα (ενεργός OODB πυρήνας) 112 Εικόνα 22. Αρχιτεκτονική διαμοιραζόμενων πόρων Εικόνα 23. Αρχιτεκτονική μη-διαμοιραζόμενων πόρων Εικόνα 24. Παράδειγμα οριζόντιου διαμερισμού 132 Εικόνα 25. Παράδειγμα κατακόρυφου διαμερισμού Εικόνα 26. Αρχιτεκτονική επεξεργαστών κυρίου-εργάτη Εικόνα 27. Χρονική συμπεριφορά παράλληλης εκτέλεσης Εικόνα 28. Δείγμα γράφου αλληλεξάρτησης κανόνων παραγωγής Εικόνα 29. Κυκλική αλληλεπίδραση RW Εικόνα 30. Διπλή αλληλεπίδραση WW Εικόνα 31. Ιεραρχία μετα-κλάσεων του συστήματος PRACTIC 168 ix χ ΠΑΡΑΛΛΗΛΗ ΔΙΑΧΕΙΡΙΣΗ ΒΑΣΕΩΝ ΓΝΩΣΗΣ Εικόνα 32. Παράδειγμα σκιώδους κλάσης Εικόνα 33. Η αρχιτεκτονική του συστήματος PRACTIC Εικόνα 34. Οριζόντιος διαμερισμός μιας ενεργής κλάσης 185 Εικόνα 35. Οριζόντιος διαμερισμός και ιεραρχία Εικόνα 36. Η χρονική συμπεριφορά της ιεραρχικής εκτέλεσης Εικόνα 37. Ιεραρχική εκτέλεση με αλληλοεπικάλυψη γειτονικών κλάσεων 202 Εικόνα 38. Αλληλοεπικάλυψη γειτονικών κόμβων .'. Εικόνα 39. Η αρχιτεκτονική της προσομοίωσης: α) αφηρημένη, β) πραγματική Εικόνα 40. Σύγκριση προσομοίωσης και θεωρίας για την ιεραρχική εκτέλεση Εικόνα 41. Μη-ομοιόμορφη κατανομή δεδομένων Εικόνα 42. Χρόνοι απόκρισης ομοιόμορφης και μη-ομοιόμορφης κατανομής 212 Εικόνα 43. Βέλτιστη περίπτωση μη-ομοιόμορφης κατανομής Εικόνα 44. Αξιοποίηση επεξεργαστών Εικόνα 45. Επιτάχυνση Εικόνα 46. Κλιμάκωση ομοιόμορφης κατανομής Εικόνα 47. Κλιμάκωση μη-ομοιόμορφης κατανομής Εικόνα 48. Κλιμάκωση Εικόνα 49. Σύγκριση προσομοίωσης-θεωρίας (για 1000-2000-5000 αντικείμενα) 221 Εικόνα 50. Διαφορά χρόνου απόκρισης για τις δύο μεθόδους 222 Εικόνα 51. Ιεραρχία μετα-κλάσεω...

Αντικείμενο της διατριβής είναι το μοντέλο παραπομπής του κατηγορουμένου με αμετάκλητο βούλευμα του συμβουλίου εφετών. Με την παρούσα μελέτη επιχειρείται η διεξοδική διερεύνηση και η συνολική ανάλυση και καταγραφή όλων των αναφυομένων προβλημάτων του συγκεκριμένου μοντέλου παραπομπής, που σήμερα ισχύει για τα εγκλήματα του άρθρου 1 του νόμου 1608/1950 και αυτά που εμπίπτουν στο πεδίο εφαρμογής του νόμου 4022/2011. Στο πλαίσιο αυτό γίνεται μια συνολική καταγραφή της παραπομπής του κατηγορουμένου στο ακροατήριο όπως ίσχυε και όπως ισχύει σήμερα στην Ελλάδα και σε άλλες Χώρες, εκθέτοντας και αναλύοντας και το σύνολο των θεωρητικών συζητήσεων γύρω από τον χώρο αυτό. Ακολουθεί η μελέτη του αμετακλήτου βουλεύματος του συμβουλίου εφετών υπό το πρίσμα της διαπλοκής του με άλλα μοντέλα παραπομπής του κατηγορουμένου, χώρος ιδιαίτερα δυσχερής στην προσέγγισή του. Εκτίθενται επίσης και αναλύονται τα ακόλουθα θέματα: Η συμπληρωματική ανάκριση στον χώρο του αμετακλήτου βουλεύματος του συμβουλίου εφετών, τα ζητήματα που έχουν να κάνουν με το αμετάκλητο του σχετικού βουλεύματος και την έκτασή του, τα μέτρα δικονομικού καταναγκασμού στον χώρο αυτό και η συμβατότητα του συγκεκριμένου μοντέλου με τους κανόνες αυξημένης τυπικής ισχύος.