$$\rightleftharpoonup{xx}$$
$$\longleftharp{xx}$$,
$$\longrightharp{xx}$$,
מחקר זה לא כלל נבדקים אנושיים או בעלי חוליות או דגימת רקמות. כל הניסויים בוצעו בהתאם להנחיות מחקר חישוביות מוסדיות באוניברסיטת J. C. Bose למדע וטכנולוגיה, YMCA, פארידבאד.
איסוף והערכה אונטולוגית
אונטולוגיות ציבוריות רלוונטיות לשירותי בריאות, בתים חכמים וניטור תעשייתי התקבלו ממאגרים מבוססים, כולל אוצר מילים פתוח מקושר (LOV) ופורטלים ספציפיים לתחום, בפורמטים של RDF/OWL 1,2,3. כל אונטולוגיה נבדקה בעורך אונטולוגיה (לדוגמה, Protégé) ונותחה באופן פרוגרמטי כדי לחלץ היררכיות מחלקות, מאפייני אובייקטים ונתונים, ומטא-נתונים משויכים בהתאם למפרטי RDF/OWL 1,2.
עבור השוואות זוגיות, הדמיון הלקסיקלי בין תוויות המחלקה חושב באמצעות דמיון מחרוזת מנורמל המבוסס על מרחק עריכה4. הדמיון המבני נגזר על ידי חציית יחסי תת-מחלקה וסופר-מעמד וחישוב יחסי חפיפה של שכונות מקומיות. דמיון המופע הוערך על ידי זיהוי מופעים משותפים או תואמים בין אונטולוגיות ואימות תאימות סוגי נתונים. ציון משולב הוגדר כמשוואה (1):
סה"כ S=w1Sלקסיקלי+w2Sמבני+w3Sמופע משוואה (1)
עם משקלים התחלתיים W1 = 0.5, W2 = 0.3, W3 = 0.2 וסף שנבחר מתוך תת-קבוצה של אימות מוחזק. התכתבויות מועמדים עם ציונים משולבים בסף או מעל נרשמו במרשם CSV עם מזהים אונטולוגיים, IRI של ישויות, ציוני רכיבים ותוצאת ההחלטה עבור יישור במורד הזרם.
מידול סמנטי ושילוב נתונים
כדי להמיר זרמי IoT גולמיים לייצוגים תואמי אונטולוגיה, נבנתה אונטולוגיה מאוחדת המכסה מטא נתונים סטטיים (למשל סטודנט, קורס, מכשיר) ותצפיות דינמיות (למשל חיישן, תצפית, חותמת זמן), בהתאם לשיטות העבודה המומלצות של RDF/OWL10 ו-IoT סמנטימבוסס 5,6,13. טרנספורמציה סמנטית הוגדרה על ידי פונקציית המיפוי:
Dסמנטי = fמפת (Draw, O) משוואה (2)
כאשר O מציין את האונטולוגיה המיושמת ו-f_map מתממש פי שלושה עם IRI יציב. נתונים שעברו טרנספורמציה אוחסנו כ-RDF ואומתו לעקביות באמצעות שאילתות SPARQL; נקודת קצה של SPARQL הוגדרה לתמוך בשאילתות סמנטיות במקורות19. תוצר ה-RDF שנוצר אוחסן בארכיון כ-semantic_data.rdf, וייצוא טבלאי מסונכרן (טבלה רחבה מנורמלת) הופק עבור משימות למידה, כולל עמודת מקור נתונים המציינת את מקור התכונה וכל חישוב או שינוי קנה מידה שהוחל.
יישור אונטולוגי באמצעות למידת מכונה
גישה היברידית שילבה אותות דמיון מבוססי כללים עם למידה מפוקחת כדי לבחור התכתבויות בביטחון גבוה14,15. ערכת ההדרכה כללה 2,500 זוגות אלמנטים אונטולוגיים עם הערות ידניות (התאמה או אי התאמה) ליצירת מערך נתונים מאוזן. התכונות כללו את שלושת מרכיבי הדמיון יחד עם סטטיסטיקות עזר כגון הבדל אורך תווית. אנסמבל עצי החלטה (יער אקראי) עם 100 עצים, עומק מקסימלי 10, class_weight = "מאוזן", וזרע אקראי קבוע (42) הוכשר בעקבות תרגול מבוסס14. מטרת הלמידה נוסחה כמשוואה (3):
משוואה (3)
כאשר yi היא תווית האמת הקרקעית, yi^ היא התווית החזויה, ו-λ מייצג את פרמטר הרגולציה.
לאחר כיול ההסתברות, זוגות עם הסתברות חזויה ≥ 0.50 נשמרו, ואילוצים של אחד לאחד נאכפו כדי להימנע ממיפויים של רבים לאחד. קובץ המיפוי הסופי, כולל IRI מקור ויעד, ציוני ביטחון ותרומות תכונות, סודר כ-alignment_results.json; חפץ המודל המאומן נשמר כ-alignment_model.pkl. איכות המודל דווחה על מערך בדיקות מוחזק באמצעות דיוק, דיוק, זיכרון, ציון F1 ומטריצת בלבול עם רווחי סמך של 95% המחושבים על ידי אימות צולב פיחמישה 14,15.
פריסה והערכה בעולם האמיתי
סביבה מדומה המייצגת 1,000 מכשירים הטרוגניים נוצרה כדי לבחון את הבליעה וההתאמה, ואחריה זרמים מהעולם האמיתי ממסגרות בית חכם ושירותי בריאות 5,11. נתונים מיושרים אונטולוגיה שולבו בשכבת תווכת ענן לקליטה ושאילתות בזמן אמת11,12. מכשירים חדשים נקלטו אוטומטית על ידי בדיקת כותרות נתונים נכנסות והחלת סיווג סמנטי דינמי באמצעות מודל היישור המאומן14,15.
ביצועי המערכת הוערכו בארבעה צירים: (i) איכות היישור (מדדי הסיווג לעיל), (ii) שיעור יכולת פעולה הדדית (אינטראקציות מוצלחות בין מקורות כאחוז מהניסיונות לאינטראקציות), (iii) חביון מקצה לקצה המוגדר כמשוואה (4), ו-(iv) ניצול משאבים (CPU וזיכרון).
L=תגובת T−T משוואה (4)
קבצי תצורה, יומנים ופלטים אוחסנו בארכיון עם שמות קבצים יציבים ו-README כדי להקל על שכפול עצמאי19. המסגרת שהושלמה אפשרה באופן עקבי יכולת פעולה הדדית סמנטית בהגדרות IoT הטרוגניות; פלטי נתונים, יומני ביצועים ותצורות מאוגדים כדי לתמוך בשחזור ובאימות חיצוני 11,12,19.
פרטי יישום לשכפול
הצינור יושם ב-Python (גרסה 3.10 ואילך) באמצעות rdflib ו-owlready2 לטיפול ב-RDF/OWL, scikit-learn להדרכה והערכה של מודלים, וספריות נתונים סטנדרטיות לעיבוד מקדים 8,14,15. זרעים אקראיים תוקנו, גרסאות ספרייה הוצמדו לקובץ requirements.txt, ונעשה שימוש במבנה ספריות קנוני: אונטולוגיות/, נתונים/גולמי/, נתונים/מעובד/, מודלים/ותוצאות/. שמות הקבצים המוזכרים בטקסט הם מדויקים: semantic_data.rdf, alignment_results.json ו- alignment_model.pkl19.
עיצוב המחקר
מחקר חישובי מעורב זה משלב מודלים סמנטיים עם מודול יישור אונטולוגיה מפוקח כדי לשפר את יכולת הפעולה ההדדית בין מקורות IoT הטרוגניים. הפרוטוקול ממשיך כדלקמן בקצרה: אונטולוגיות ציבוריות נאספות ומנותחות; טבלאות IoT גולמיות ממופות לסכימת RDF/OWL מאוחדת10; התכתבויות מועמדות נוצרות מאותות לקסיקליים, מבניים ומופע 15,16; אנסמבל עץ החלטות קומפקטי מאומן על קבוצה מתויגת ידנית כדי לקבל התאמות אחד לאחד בסף קבוע 14,15; גרפים/טבלאות מיושרים מתמזגים; והביצועים מוערכים על ידי מדדים ברמת ההתאמה (דיוק, דיוק, זיכרון, F1, מטריצת בלבול) והתנהגות המערכת (קצב יכולת פעולה הדדית, חביון מקצה לקצה, מעבד/זיכרון)14,15. שיטת דמיון משוקלל של כללים בלבד משמשת כקו הבסיס16. זרעים אקראיים וגרסאות ספרייה קבועים, וחפצים משתמשים בשמות יציבים (semantic_data.rdf, alignment_results.json, alignment_model.pkl) כדי לתמוך בשכפול. איור 2 ממחיש את המסגרת הכוללת לעיצוב אונטולוגיה מאוחד בסביבות IoT.

איור 2: תכנון אונטולוגיה מאוחד בסביבות IoT. האיור ממחיש את שכבות הליבה הארכיטקטוניות של האונטולוגיה המאוחדת, ומציג מודלים סמנטיים, שילוב בינה מלאכותית והפשטת ידע בתחום ליכולת פעולה הדדית חלקה של נתוני IoT. המסגרת תומכת במבנים אונטולוגיים חוצי תחומים וספציפיים לתחום. אנא לחץ כאן לצפייה בגרסה גדולה יותר של איור זה.
איסוף נתונים
איסוף הנתונים בוצע בשני שלבים נפרדים.
הערכה אונטולוגית: ניתוח ביקורתי של אונטולוגיות IoT קיימות ומודלים סמנטיים נערך כדי לזהות פערים באסטרטגיות האינטגרציה הנוכחיות. מערכי נתונים של IoT זמינים לציבור ואונטולוגיות ספציפיות לתחום נבדקו כדי להעריך מגבלות יישור מבניות וסמנטיות 5,6,10,11.
אישור לניסיון: מערכות IoT בעולם האמיתי (למשל, בתים חכמים, יישומי בריאות, אוטומציה תעשייתית) שימשו לאיסוף נתונים לאימות המסגרת. בנוסף, נוצרו מערכי נתונים מדומים כדי להעריך את ביצועי המערכת בתנאים מבוקרים וניתנים לחזרה 8,9,11,12.
ניתוח נתונים
שלב הניתוח השתמש בשילוב של טכניקות סמנטיות, סטטיסטיות ומבוססות בינה מלאכותית כדי לאמת את המסגרת המוצעת.
קשתיות יישור מעשיות כוללות מתאמי מחרוזות לקסיקליים המשתמשים במרחק לבנשטיין מנורמל (NLD) עבור תוויות/מילים נרדפות16; שיטות מבוססות גרפים מבניים המפיצות או מצטברות דמיון הצפה המפיצות דמיון על פני שכונות תת-מחלקה/סופר-מחלקה12,15; טכניקות מודעות להיגיון/שימור קוהרנטיות המשלבות התאמה עם הנמקה כדי לשמור על עקביות המיפויים15,19; גישות מבוססות מופע/הסתברותיות הממנפות ראיות ממקרים משותפים או תואמים17; והתאמה היברידית/אנסמבל הממזגת מספר אותות וכללים 12,14,15. גרסאות עצביות אחרונות משתמשות בהטמעות משפטים הקשריות כדי לדרג קווי דמיון של מועמדים12,14.
יישור אונטולוגי: אלגוריתמי יישור ברמה גבוהה שימשו כדי לפתור פערים סמנטיים בין אונטולוגיות IoT הטרוגניות. אלגוריתמים אלה השתמשו בכללים היוריסטיים ובשיטות למידת מכונה (ML) כדי לחשב מיפויים מדויקים ולשמור על אילוצי עקביות15,17. איור 3 מציג את תהליך היישור האונטולוגי להשגת יכולת פעולה הדדית בין התקני IoT.

איור 3: תהליך יישור אונטולוגי עבור יכולת פעולה הדדית של התקני IoT. תרשים זה מדגים את תהליך היישור הפותר אי-התאמות תחביריות וסמנטיות בין מכשירים במערכת אקולוגית הטרוגנית של IoT. הוא מדגיש את תפקידם של מדדי דמיון לקסיקליים, מבניים ומבוססי מופע המשמשים באלגוריתם היישור. אנא לחץ כאן לצפייה בגרסה גדולה יותר של איור זה.
מידול סמנטי: אסטרטגיית מידול סמנטי מונעת בינה מלאכותית יושמה כדי לפתח אונטולוגיה מאוחדת הלוכדת סמנטיקה ספציפית לתחום וחוצה תחומים. מודל זה משלב זרמי נתונים סטטיים ודינמיים של IoT ותואם לשיטות עבודה מומלצות של RDF/OWL וסמנטיקה מבוססת של IoT 5,6,10,13, התומכת ביישומים בזמן אמת.
הערכת ביצועים: ההגדרה הניסיונית העריכה מדדי ביצועים מרכזיים, כולל קצב יכולת פעולה הדדית, חביון, יעילות מערכת ומדרגיות 11,12. ניתוח השוואתי נערך מול טכניקות אינטגרציה בסיסיות כדי להדגים את הגמישות והעמידות של הפתרון המוצע 12,14,15,16. איור 4 מציג את הזרימה החישובית והמרכיבים הקריטיים של היישור האונטולוגי ותהליכי המודלים הסמנטיים.

איור 4: מודל סמנטי עבור יישומי IoT בזמן-אמת. איור זה מדגיש את אסטרטגיית המידול הסמנטי המשלבת תצורות מכשירים סטטיים וזרמי נתוני חיישנים דינמיים לתוך האונטולוגיה המאוחדת. הארכיטקטורה תומכת בהעשרה סמנטית בזמן אמת לקבלת החלטות מודעת הקשר. אנא לחץ כאן לצפייה בגרסה גדולה יותר של איור זה.
משוואות מפתח
משוואה ליישור אונטולוגי באמצעות מדדי דמיון: כדי ליישר אונטולוגיות IoT הטרוגניות, הדמיון המצטבר מחושב כתערובת משוקללת של אותות לקסיקליים, מבניים ומבוססי מופע לפי משוואה 1 לעיל, כאשר Stotal הוא הדמיון המצטבר בין שני אלמנטים אונטולוגיה, Slexical הוא דמיון מהתאמה לקסיקלית (למשל, מרחק מחרוזת מנורמל), Sstructural הוא דמיון המבוסס על קשרים בסיסיים (למשל, היררכיה של הורה-ילד), Sinstance הוא יכולת השוואה המבוססת על נתוני מופע (למשל, חפיפה בדוגמאות שימוש), ו-W1, W2, W3 הם מקדמי משקל, המותאמים בהתאם להקשר היישום.
משוואה לאופטימיזציה מבוססת למידת מכונה למיפוי אונטולוגי: ניתן לנסח את שיפור המיפויים כבעיית מזעור הוצאות באמצעות יכולת חוסר מזל:

כאשר L היא יכולת חוסר מזל לחיזוי מיפוי, yi היא תווית אמת קרקעית למיפוי ith, y^i היא תווית חזויה למיפוי ith, ||Θ|| הוא מונח רגולציה למניעת התאמת יתר, λ הוא פרמטר רגולציה.
משוואה למידול סמנטי של זרמי נתונים של IoT: העשרה סמנטית מתבטאת כטרנספורמציה של נתונים מבוססת אונטולוגיה לפי משוואה 2 לעיל, כאשר Dסמנטי הוא מערך הנתונים המבואר סמנטית, Draw הוא נתוני ה-IoT הגולמיים, O היא האונטולוגיה המשמשת לביאור,ומפת f היא פונקציית המיפוי הנגזרת מהאונטולוגיה המאוחדת.
משוואות עבור מדדי ביצועים (יכולת פעולה הדדית והשהיה)
מדד יכולת פעולה הדדית (אחוז האינטראקציות המוצלחות בין מקורות):
I_index = (אינטראקציות מוצלחות / סה"כ אינטראקציות) x 100 משוואה (5)
חביון (משוכפל כאן לשלמות) מחושב לפי משוואה 4 לעיל, כאשר I_index הוא מדד יכולת הפעולה ההדדית (ב-%), L הוא חביון (ms), T_response הוא חותמת הזמן של התגובה ו-T_request הוא חותמת הזמן של הבקשה.
משוואה לניתוח מדרגיות של המערכת האקולוגית של IoT
סיבוכיות חישובית ביחס למספר ההתקנים והאלמנטים האונטולוגיים:
C = O(n · m) משוואה (6)
כאשר C היא הסיבוכיות החישובית, n הוא מספר התקני ה-IoT, ו-m הוא מספר האלמנטים האונטולוגיים.