این برنامه لینوکس به نام JBernstein است که آخرین نسخه آن را می توان با نام JBernstein_v_0_3r7.zip دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن به نام JBernstein را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. OnWorks Linux آنلاین یا شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MACOS را از این وب سایت راه اندازی کنید.
- 5. از سیستم عامل لینوکس OnWorks که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. اپلیکیشن را دانلود کرده، نصب و اجرا کنید.
عکس ها
Ad
جی برنشتاین
شرح
JBernstein ابزاری است که در جاوا پیاده‌سازی می‌شود و به شما امکان می‌دهد بررسی کنید که آیا یک محدودیت چند جمله‌ای برای همه متغیرهای درون دامنه آنها وجود دارد یا خیر. عمدتاً در تأیید یا سنتز سیستم‌های فیزیکی-سایبری که مدل سیستم غیرخطی است استفاده می‌شود. این ابزار همچنین از مشخصات به سبک فرض-گارانتی پشتیبانی می کند.
الگوریتم اساسی مبتنی بر ترجمه به چند جمله‌ای برنشتاین است و چندین تکنیک بهینه‌سازی برای اطمینان از کارایی پیاده‌سازی شده است. در مورد عملکرد، این ابزار امکان بررسی تمام نمونه‌های مجموعه آزمایشی PVS Bernstein را در عرض یک ثانیه فراهم می‌کند، که می‌تواند یک مرتبه بزرگتر از برخی ابزارهای دیگر مانند QEPCAD یا REDLOG باشد.
اگرچه JBernstein از double استفاده می‌کند، اما قابلیت‌های تخمین خطای خودکار (تجربی) را ارائه می‌کند تا نتیجه تولید شده درست باشد (حل‌کننده ممکن است زمانی که تخمین خطا خیلی بزرگ است ناشناخته برگردد)
مخاطبان
هوافضا، فناوری اطلاعات، علوم/تحقیقات، مهندسی
رابط کاربری
جاوا SWT
زبان برنامه نویسی
جاوه
دسته بندی ها
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/jbernstein/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.