זוהי אפליקציית לינוקס בשם JBernstein שאת הגרסה האחרונה שלה ניתן להוריד בתור JBernstein_v_0_3r7.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם JBernstein עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
ג'יי ברנשטיין
תיאור
JBernstein הוא כלי המיושם ב-Java המאפשר לבדוק האם מגבלה פולינומית מתקיימת עבור כל המשתנים בתחום שלהם. הוא משמש בעיקר לאימות או סינתזה של מערכות סייבר-פיזיות שבהן מודל המערכת אינו ליניארי. הכלי תומך גם במפרטים בסגנון הנחה-אחריות.
האלגוריתם הבסיסי מבוסס על תרגום לפולינומים של ברנשטיין, ומספר טכניקות אופטימיזציה מיושמות כדי להבטיח יעילות. לגבי ביצועים, הכלי מאפשר לבדוק את כל הדוגמאות בחבילת הבדיקות של PVS Bernstein תוך שנייה, שיכולה להיות מהירה בסדר גודל מאשר כלים אחרים כמו QEPCAD או REDLOG.
למרות ש-JBernstein משתמש כפול, הוא מציע יכולות אוטומטיות של אומדן שגיאות (ניסיוני) כך שהתוצאה שנוצרה נכונה (הפותר עשוי לחזור לא ידוע כאשר אומדן השגיאה גדול מדי)
קהל
תעופה וחלל, טכנולוגיית מידע, מדע/מחקר, הנדסה
ממשק משתמש
Java SWT
שפת תכנות
Java
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מאתר https://sourceforge.net/projects/jbernstein/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
