zimpl - מקוון בענן

תָכְנִית:

שֵׁם

zimpl - שפת תכנות מתמטית של מכון Zuse

תַקצִיר

zimpl [ -b ] [ -D שם = ערך ] [ -f ] [ -F לסנן ] [ -h ] [ -m ] [ -l אורך [ -n
cm|cn|cf ] [ -o אוסף ] [ -O ] [ -P לסנן [ -r ] [ -t lp|mps|hum|rlp|pip ] [ -s זרע ]
[ -v 0-5 ] [ -V ] פילה ...

תיאור

זימפל היא שפה קטנה לתרגום מודל מתמטי של בעיה ללינארית
או תוכנית מתמטית (מעורבת) שלמה המבוטאת בפורמט קובץ LPF או MPS שיכול להיות
נקרא על ידי פותר LP או MIP.

אף אחת מהאפשרויות אינה הכרחית. כל קבצי הקלט ב zpl פורמט שניתנו הם
משורשרים ומעובדים כאילו הם קובץ אחד גדול. זה מאפשר לשלב
חלקים שונים של דגם בשורת הפקודה. במקרה זה שם הקובץ הראשון שניתן יהיה
לשמש כשם בסיס עבור קבצי הפלט בהיעדר an -o אוֹפְּצִיָה.

השמיים -t האפשרות היא לבחור את פורמט הפלט. mps ניתן לקרוא על ידי כל פותר. lpf הוא
פורמט CPLEX, אבל יכול לקרוא גם על ידי מספר פותרים. שימו לב, למשל Range-rows
לא יכול להתבטא ב lpf . אם אתה רוצה לבדוק את הפלט בעצמך, זמזום פורמט הוא
גרסה של lpf בלי שום ניהול שם, אבל למרבה הצער זה מפר כמה
מגבלות פורמט, כך שאף פותר לא יקרא את זה. אם Rlp מצוין שהפלט נמצא ב
lpf בפורמט, אך שורות ועמודות משתנות באופן אקראי.

אפשרויות

-ב הפעל בִּיזוֹן(1) פלט ניפוי באגים.

-D שם=ערך
קובע את הפרמטר שם לערך שצוין. זה שווה ערך לזה שיש את זה
שורה בתוכנית Zimpl: param name:=val .

-f הפעל להגמיש(1) פלט ניפוי באגים.

מסנן F
הפלט מועבר דרך מסנן. %s במחרוזת מוחלף בפלט
שם קובץ. לדוגמה: -F "gzip -c >%s.gz" ידחוס את כל קבצי הפלט.

-h הצג עזרה בתוכנית.

-l אורך
מגדיר את האורך המרבי עבור שמות משתנים בקובצי פלט LPF.

-m כתוב קובץ CPLEX .mst Mip STart.

-n cm|cn|cf
בחר את הפורמט ליצירת שמות אילוצים. יכול להיות גם cm אשר
ימספר אותם 1 ... n עם 'c' מלפנים. cn ישתמש בשם המסופק ב-
משפט משנה ומספר אותם 1 ... n בתוך ההצהרה. cf ישתמש בשם
ניתן עם subto, ואז מספר 1 .. n כמו ב cm ואז לצרף את כל המקומיים
משתנים מההצהרות הכלליות.

-o outfil
מגדיר את שם הבסיס עבור קבצי הפלט. ברירת המחדל היא שם קובץ הקלט
ללא הרחבה.

-O ייעל את ה-LP שנוצר על ידי ביצוע ניתוח מוקדם (ניסיוני).

מסנן P
הקלט מועבר דרך מסנן. %s במחרוזת מוחלף בקלט
שם קובץ. לדוגמה: -F "cpp -DWITH_C1 %s" יעביר את קובץ הקלט דרך ה-
C-Preprocessor.

-r כתוב קובץ סדר מסתעף CPLEX .ord.

זרע
הגדר את זרע מחולל המספרים האקראיים.

-t lp|mps|hum|rlp|pip
בוחר את פורמט הפלט. יכול להיות גם lp שהוא ברירת מחדל, או mps , או זמזום ,
שהוא (רק) קריא לאדם, או Rlp , אשר משתנה באופן אקראי, או פְּעִים , אשר
פירושו IP פולנימיאלי.

-v 0-5 הגדר את רמת המילוליות. 0 הוא שקט, 1 הוא ברירת מחדל, 2 הוא מילולי, 3 הוא פטפוט, ו
5 הוא ניפוי באגים.

-V מדפיס את מספר הגרסה.

דיאגנוסטיקה

ניתן להנפיק את האבחון הבא ב-stderr:

101 שם קובץ גרוע
השם שניתן עם ה -o אוֹפְּצִיָה חסר, שם ספרייה, או מתחיל
עם נקודה.
175 תחביר לא חוקי עבור הגדרת שורת הפקודה -- התעלמו
הפרמטר של א -D האפשרות לא הייתה מהצורה שם = ערך או שהשם היה
לא מזהה חוקי.
יש עוד כמאה הודעות שגיאה אפשריות, אבל אלה הן על
הטענה של קובץ הקלט, או הודעות המערכת.

השתמש ב-zimpl באינטרנט באמצעות שירותי onworks.net