מהו פורמליזציה? שיטת הפורמליזציה. קונספט, מהות, שלבים, תוצאות, דוגמאות, סוגי פורמליזציה

כיום, לעתים קרובות מאוד ניתן לפגוש מונחים בלתי מובנים רבים "פורמליזציה", ובתחומים שונים של מדע וטכנולוגיה. מי שרוצה להרחיב את האופקים של הידע שלהם, רצוי להבין מה הוא פורמליזציה. המאמר ישקול את מהות המונח הזה ואת היישום המעשי של התהליך.

מהו פורמליזציה מנקודת מבט מדעית במובן הכללי?

אנו נוגעים בהיבט מדעי קטן. הבה נמשיך מן העובדה כי המילה פורמליזציה בא מן המילה "פורמליות", כלומר, הוא מושג מותנה, ולפעמים אפילו מופשט, אשר מאפשר להסביר את האופי של אובייקט או תופעה לא קיים ולחזות את תכונותיו בסביבה מסוימת בתנאי ראשוני נתון.

בלשנות של כל שפה מודרנית בהחלט אינו עולה בקנה אחד עם הביטוי של צורות לוגיות או את אופי החשיבה. לפיכך, ההיגיון עצמו נאלץ להשתמש במושגים מופשטים מסוימים כדי לתאר תופעה מסוימת. אז יש מושג יחסי של הפורמליים של מה שקורה.

כפי שכבר קל לנחש, המהות של הפורמליזציה מצטמצמת לתיאור או לקביעה מראש של כמה תכונות של אובייקט או תהליך (אפילו לא קיים כרגע) ולחזות את היישום שלו במקרה של הופעה בעולם האמיתי. אבל זה רעיון כללי. עצם הרעיון של פורמליזציה הוא רחב הרבה יותר. ראשית, בואו נתמקד בטכנולוגיית המחשב, נראה כיצד מושג זה מיושם בעולם האלקטרוניקה.

פורמליזציה של המחשב

אם אתה נוגע לנושא המחשבים, שיטת הפורמליזציה של סוג זה היא בעיבוד של תנאים ראשוניים המאפשרים לך לקבוע ברמת דיוק גבוהה את ההתנהגות הנוספת של אובייקט או תהליך.

כמעט כל שירותי מזג האוויר עובדים על עיקרון זה. לאחר מודל מחשב של ציקלון, ניתן לנבא מחזור שלה כוח על הקרקע או על פני המים.

זכרו את הסרט "היום שאחרי מחר", שבו חזה המדען את ההתחממות הגלובלית, והמשיך בדיוק מהטכניקה הזו. הוא פיתח מודל מחשב שאיפשר לנבא עם מידה מסוימת של הסתברות אירועים נוספים.

דוגמאות אלה זמינות כדי להסביר מה הוא פורמליזציה.

עקרונות של מודלים ותהליכים

השיטות העיקריות של פורמליזציה הן חיזוי ודוגמנות. טכנולוגיות אלה משמשות אך ורק כדי לקבל נתונים סופיים על אובייקטים או תהליכים שאינם ידועים, אבל הם יכולים להניח ולחשב בדייקנות גבוהה.

אם מסתכלים על סוגי הפורמליזציה, כמעט כולם מצטמצמים רק להסברים לוגיים ולחישובים. הקורא יכול בקלות לצייר הקבלה בין מודלים המחשב, הוכחה של משפטים, וכו 'מבוסס על axioms ו postulates.

תראו, כי אותה תיאוריה של תורת היחסות של אינשטיין יכולה להתייחס גם כאל שיטת פורמליזציה, כי בפועל לא ניתן לאמת את ההוכחה. בפרט, זה מתייחס קבוע האור הפצה, זמן עיכוב על סף ההישג שלה, עלייה במסה הכבידה של האובייקט, ואת העקמומיות של החלל. ידיים, כמו שאומרים, אתה לא תרגיש את זה ואתה לא תראה את העיניים.

פעם היו אלה רק מסקנות נועזות של המדען על בסיס הניסויים הפשוטים ביותר. היום, כל זה אושר על ידי המדע הרשמי מבוסס על סימולציה המחשב אותו.

שלבי פורמליזציה

אם ניקח בחשבון מערכות מחשב, אז השלב הראשון של הפורמליזציה הוא תיאור של התהליך. אבל כאן לא משתמשים בכלים של השפה הרגילה (אותיות, מילים, משפטים, משפטים). כדי ליצור מודל מתמטי מסוים , אתה יכול להשתמש רק באלגוריתם המבוסס על שפת התכנות שנבחרה, אבל רק לאחר הגדרת משימה משותפת.

במילים אחרות, כאשר מתווים את ההתנהגות של אובייקט או תהליך, יש לתאר את מהות האירוע על ידי סמלים מתמטיים בלבד, תוך שימוש באלגוריתם מתמטי.

תוצאה של פורמליזציה היא להשיג ניתוח של האירוע צפוי מראש כי אחרי הטכנולוגיה נחקרת מוחל בפועל או תהליך טבעי מסוים נכנס לשלב של ביטוי אמיתי.

ההמשגה של המשימה הבאה. קיימות שתי אופציות: במקרה הראשון, הגדרה זו של הגישה בצורה של שימוש בתכונות ומאפיינים; האפשרות השנייה כוללת שימוש בניתוח קוגניטיבי, שלא לדבר על ניסוח המשימה, איסוף נתונים ראשוניים, תנאים וכדומה.

לאחר הגדרת המושגים והתנאים ההתחלתיים, נלמדים היחסים הקיימים בין אובייקטים לתהליכים, וכן את מה שמכונה יחסים סמנטיים שמשמעותם שימוש בטכניקה המצגת המקומית.

לאחר מכן, עיבוד הנתונים הראשוניים עוקב אחר האלגוריתם הנבחר, ולאחר מכן התוצאה ניתנת עם אינדיקציה של אחוז השגיאה. ככלל, היא אינה עולה על 5%, וברוב המקרים תוצאת ההסתברות מגיעה ל -99%. כל אדם או מכונה עדיין משאירים "שולי בטיחות" לנסיבות בלתי צפויות, כי בהחלט הכל לא יכול לקחת בחשבון.

למה כל זה נחוץ?

אם אתה מבין, עקרונות אלה מאפשרים לך לנתח את ההתנהגות של אובייקטים ותהליכים. במילים אחרות, ניתן לחזות כיצד יתפתח תהליך זה או אחר.

עכשיו ברור מה הוא פורמליזציה. בואו נסתכל על הדוגמה הפשוטה ביותר.

היישום של פורמליזציה בפועל, את הדוגמאות הפשוטות ביותר

נניח מומחה פיתחה עיצוב חדש של המטוס. אם ניקח בחשבון את העלות הגבוהה של הפרויקט, אין זה סביר לחלוטין לבנות מודל מקורי ללא חיזוי ראשוני של התנהגותו באוויר. יתר על כן, ביצוע בדיקות באותה מנהרה רוח של מטוס בגודל של בואינג היא משימה לא מציאותית לחלוטין.

הפורמליזציה מאפשרת הדמיה של טיסה ללא בניית מודל מטוס במאפיינים קבועים מראש של המטוס העתידי (התנגדות אוויר, רוח צדדית, גובה ופרמטרים של מנהרת הרוח עצמה ומאפיינים אחרים).

דוגמה נוספת היא בדיקה של מכונות חדשות על ידי חששות הרכב. השיטה העיקרית של פורמליזציה במקרה זה היא כי קודם כל הם עוברים בדיקה וירטואלית, ולאחר קבלת תוצאות חיוביות, טיפוסים הם השיקה לתוך הייצור לבדיקה בתנאים אמיתיים.

תוצאות עיקריות

תוצאה של מודלים מתמטיים במובנים רבים (אם לא 100%, אז עם הסתברות של עד 95%) יכול להפוך טיעון כבד לטובת שחרור של הטכנולוגיה המודרנית, לעזור לחזות מזג האוויר, אפילו לחזות התנהגות חברתית כתגובה לאירועים בעולם.

כן, כן! היווצרות דעת הקהל בעולם כפופה גם לחוקים שלה. זה מספיק כדי לעבוד על זה בכיוון הנכון. כיום, הרבה תוכניות כבר נוצרו המאפשרים לחזות את התגובה של החברה לאירוע זה או אחר. וזה לא כל דוגמאות של פורמליזציה. אם נחפור עמוק יותר, אנחנו עומדים בזה כל יום.

אחת הדוגמאות הבולטות ביותר לפורמליזציה היא גילויו של בוזון היגס בהתנגשות של חלקיקים בסיסיים במולקולת ההדרון הגדולה. אבל למעשה זה היה אמור להאמין כי קיומו של חלקיק זה הוא תיאוריה טהורה, בהחלט לא להוכיח על ידי ניסויים אמיתיים.

מסקנה

כפי שאנו רואים, במושג הפורמליזציה, למרות המורכבות המדעית של המהות של התהליך, קל להבין את הדוגמאות. ברוב המקרים, הוא מפחית את השימוש של רשתות לוגיות מסוימות שקבעו מראש את התוצאה הסופית.