Software Evolver · فناوری در انتظار ثبت اختراع
برنامه‌های فشرده، به‌طور خودکار یافته‌شده.
برای Software Evolver ما که در انتظار ثبت اختراع است مجوز بگیرید. شما هدف را با موارد آزمون و یک امتیاز تعریف می‌کنید؛ Software Evolver میلیون‌ها برنامه نامزد را با نرخی تا 26.8 میلیارد ارزیابی در ثانیه جست‌وجو می‌کند و برنامه‌های فشرده و دقیق برای SFA Non-Von-Neumann Architecture برمی‌گرداند.
هدف را توصیف کنید. برنامه را دریافت کنید.
هدف را به‌صورت موارد آزمون و یک امتیاز تعریف کنید. Software Evolver برنامه‌های اجرایی کوچکی را جست‌وجو می‌کند که آن را برآورده کنند و بهترین برنامه‌های یافته‌شده را برمی‌گرداند.
تا 26.8 میلیارد ارزیابی در ثانیه
اندازه‌گیری روی یک هدف بنچمارک مستند و بر یک پردازنده AMD EPYC 9455 انجام شده است. هر ارزیابی یعنی اجرای یک برنامه نامزد روی یک مورد آزمون؛ این رقم حاصل‌ضرب نسل‌ها در ثانیه، نامزدها در هر نسل و موارد آزمون در هر هدف است. Software Evolver روی GPUهای NVIDIA نیز اجرا می‌شود.
بازتولیدپذیر و تأییدشده
هر اجرا بازتولیدپذیر است و هر برنامه بازگردانده‌شده دقیقاً در برابر هدف خود بررسی می‌شود.
برنامه‌ها، نه وزن‌های مبهم
نتایج، برنامه‌های فشرده‌ای هستند که می‌توان آن‌ها را مانند هر کد دیگری خواند، ساده کرد، آزمود و مستقر کرد.
ریاضیات دقیق نیز
همین جست‌وجو ریاضیات دقیق و قوانین فشرده را نیز می‌یابد: فرمول‌ها در داده‌های اندازه‌گیری‌شده، اتحادها، توابع مولد، توابع بولی، و ساخت‌های هندسی و ترکیبیاتی، هر جا که بتوان یک نامزد را دقیقاً بررسی کرد. ما از Software Evolver در پژوهش‌هایی استفاده کرده‌ایم که مقاله‌های ریاضی منتشرشده ما در Zenodo بر آن‌ها استوارند.
صدور مجوز بنا به درخواست
Software Evolver در انتظار ثبت اختراع است و به‌عنوان محصولی برای SFA Non-Von-Neumann Architecture، بنا به درخواست برای صدور مجوز در دسترس است. مطالب فنی و اطلاعات ثبت درخواست تحت قرارداد NDA ارائه می‌شوند.
گفت‌وگو درباره مجوز Software Evolver
رقم توان عملیاتی، نتیجه مستند یک بنچمارک برای هدفی تعریف‌شده روی یک پردازنده AMD EPYC 9455 است؛ توان عملیاتی به اندازه برنامه و موارد آزمون بستگی دارد. جزئیات فنی و اطلاعات ثبت درخواست تحت قرارداد NDA ارائه می‌شوند.