Software Evolver · Τεχνολογία υπό κατοχύρωση
Συμπαγή προγράμματα, εντοπισμένα αυτόματα.
Αδειοδοτήστε το υπό κατοχύρωση Software Evolver μας. Εσείς ορίζετε τον στόχο με περιπτώσεις δοκιμής και μια βαθμολογία· το Software Evolver εξετάζει εκατομμύρια υποψήφια προγράμματα με έως και 26.8 δισεκατομμύρια αξιολογήσεις ανά δευτερόλεπτο και επιστρέφει συμπαγή, ακριβή προγράμματα για την SFA Non-Von-Neumann Architecture.
Περιγράψτε τον στόχο. Λάβετε το πρόγραμμα.
Ορίστε τον στόχο ως περιπτώσεις δοκιμής και μια βαθμολογία. Το Software Evolver αναζητά μικρά εκτελέσιμα προγράμματα που τον ικανοποιούν και επιστρέφει τα καλύτερα προγράμματα που βρέθηκαν.
Έως και 26.8 δισεκατομμύρια αξιολογήσεις ανά δευτερόλεπτο
Μετρήθηκε σε τεκμηριωμένο στόχο μέτρησης αναφοράς σε έναν επεξεργαστή AMD EPYC 9455. Μία αξιολόγηση είναι η εκτέλεση ενός υποψήφιου προγράμματος σε μία περίπτωση δοκιμής· η τιμή είναι το γινόμενο των γενεών ανά δευτερόλεπτο, των υποψηφίων ανά γενιά και των περιπτώσεων δοκιμής ανά στόχο. Το Software Evolver εκτελείται επίσης σε GPU της NVIDIA.
Αναπαραγώγιμο και επαληθευμένο
Κάθε εκτέλεση είναι αναπαραγώγιμη και κάθε πρόγραμμα που επιστρέφεται ελέγχεται επακριβώς έναντι του στόχου του.
Προγράμματα, όχι αδιαφανή βάρη
Τα αποτελέσματα είναι συμπαγή προγράμματα που μπορούν να διαβαστούν, να απλοποιηθούν, να δοκιμαστούν και να αναπτυχθούν όπως οποιοσδήποτε άλλος κώδικας.
Και ακριβή μαθηματικά
Η ίδια αναζήτηση βρίσκει επίσης ακριβή μαθηματικά και συμπαγείς νόμους: τύπους σε δεδομένα μετρήσεων, ταυτότητες, γεννήτριες συναρτήσεις, συναρτήσεις Boole, καθώς και γεωμετρικές και συνδυαστικές κατασκευές, οπουδήποτε ένας υποψήφιος μπορεί να ελεγχθεί επακριβώς. Χρησιμοποιήσαμε το Software Evolver στην έρευνα στην οποία βασίζονται οι μαθηματικές μας εργασίες που έχουν δημοσιευθεί στο Zenodo.
Αδειοδότηση κατόπιν αιτήματος
Το Software Evolver βρίσκεται υπό κατοχύρωση και διατίθεται για αδειοδότηση κατόπιν αιτήματος, ως προϊόν για την SFA Non-Von-Neumann Architecture. Το τεχνικό υλικό και οι πληροφορίες κατάθεσης παρέχονται βάσει NDA.
Συζητήστε την αδειοδότηση Software Evolver
Η τιμή ρυθμαπόδοσης είναι τεκμηριωμένο αποτέλεσμα μέτρησης αναφοράς για καθορισμένο στόχο σε έναν επεξεργαστή AMD EPYC 9455· η ρυθμαπόδοση εξαρτάται από το μέγεθος του προγράμματος και τις περιπτώσεις δοκιμής. Οι τεχνικές λεπτομέρειες και οι πληροφορίες κατάθεσης παρέχονται βάσει NDA.