זוהי אפליקציית Windows בשם Cpt Kirk להפעלה מקוונת ב-Windows מעל לינוקס, שאת הגרסה האחרונה שלה ניתן להוריד כ-kirk.jar. ניתן להפעיל אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם Cpt Kirk כדי להריץ אותה ב-Windows באופן מקוון דרך לינוקס באופן מקוון עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.
- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה והתקן אותה.
- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.
Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.
קפטן קירק יפעל ב-Windows Online מעל Linux Online
Ad
תיאור
מאחר והשיטה המוצעת ב https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubמבוסס על מטא-תכנות, ניתן להשתמש במערכות תוכנה קיימות ומתקדמות
שתומכים בסמנטיקה מבוססת היטב ומבוססת על תשובות, שאפשרו לנו להתחיל לפתח את הכלי החדש הזה על ידי הרחבת הכלי הקיים הקשור לגישת ניפוי שגיאות: ספוק, ומכאן השם קפטן קירק.
יתר על כן, וחשוב מכך, כיוון אחד לבחון הוא להשתמש בטכניקת הרייפיקציה כמתואר ב-"metaASP" כדי להשיג את המשמעויות באמצעות טכניקת רוויה, ולהשיג את המשמעויות העיקריות של נוסחאות המקור באמצעות אופטימיזציה וכך הצדקות מינימליות נכונות.
תכונות
- חשב מודלים של מקור 'למה-לא' עבור תוכניות מערכי תשובות.
- מיפוי מודלים של WnP באמצעות מודלים של ניפוי שגיאות (spock).
קהל
מדע/מחקר
שפת תכנות
Java
זוהי אפליקציה שניתן להוריד גם מ-https://sourceforge.net/projects/cptkirk/. היא אוחסנה ב-OnWorks על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.