مثال کاربردیِ ترکیبی از بافه روی حلقهٔ موضعی:
تحلیل موضعیِ ترکِ پوستهٔ ربات
«در نقطهای که آهنگِ شکست آرام میلرزد،
حلقه، زبانِ نزدیکی و بافه، بارِ راز میارزد؛
اگر یک مولّد از میانِ مهِ موضع سر برآورد،
ترک، از نقشِ پنهان به آگاهیِ فردا برآورد.»
در این مثال، واژهٔ بافه را به معنای مدول به کار میبریم:
ساختاری که مانند فضای برداری است، اما ضرایب آن بهجای میدان، از یک حلقه میآیند.
هدف آن است که تغییرشکلِ بسیار نزدیک به یک نقطهٔ مشکوکِ پوستهٔ ربات را مدل کنیم.
۱. مدل هندسیِ موضعیِ پوسته
فرض کنید در نزدیکی نقطهٔ تماس یا برخورد
p،
سطح پوسته با مختصات محلی
(x,y)
توصیف میشود. برای سادگی، حلقهٔ توابع منظمِ محلی را چنین میگیریم:
R = k[x,y](x,y)
این حلقه، حلقهٔ موضعیِ صفحه در مبدأ است. عنصرهای آن کسرهایی از چندجملهایها هستند که مخرجشان
در مبدأ صفر نمیشود. بنابراین، این حلقه فقط رفتارِ تابعها را نزدیک نقطهٔ
p=(0,0) ثبت میکند.
ایدهآل ماکسیمال آن برابر است با:
m = (x,y)R
و شامل همهٔ تابعهایی است که در نقطهٔ تماس صفر میشوند. خارجقسمت:
R / m ≅ k
تنها مقدار تابع در خودِ نقطه را نگه میدارد؛ یعنی تمام تغییرات مرتبهٔ اول و بالاتر را فرومینهد.
۲. بافهٔ تغییرشکل
تغییرمکانِ موضعی پوسته را با یک میدان دو مؤلفهای نمایش میدهیم:
u = (ux, uy)
در اینجا
ux
جابهجایی در راستای
x
و
uy
جابهجایی در راستای
y
است. فضای همهٔ تغییرشکلهای مجازِ موضعی، یک بافه روی حلقهٔ
R
است:
M = Rex ⊕ Rey ≅ R2
پس هر عضو
u ∈ M
به شکل زیر نوشته میشود:
u = a(x,y)ex + b(x,y)ey
که
a,b ∈ R
توابع منظمِ موضعیاند. آزادبودنِ بافهٔ
M
یعنی در ناحیهٔ بسیار کوچکِ مورد بررسی، دو راستای مستقل برای تغییرشکل داریم.
۳. یک تغییرشکل سالم و قابل انتظار
فرض کنید سنسورها تغییرشکل زیر را اندازه گرفتهاند:
uhealthy = x ex + y ey
در مبدأ، این تغییرشکل صفر است:
uhealthy ∈ mM
زیرا هر دو ضریب، یعنی
x
و
y،
در ایدهآل ماکسیمال قرار دارند. معنای فیزیکی: در خودِ نقطهٔ تماس، جابهجاییِ باقیمانده نداریم؛
تنها با دور شدن از آن نقطه، تغییرشکل بهطور خطی پدیدار میشود.
این وضعیت غالباً با یک تغییرشکل کشسانِ نرم و بدون آسیب ماندگار سازگار است.
۴. اثر ترک به صورت یک بافهٔ خارجقسمت
اکنون فرض کنید در راستای
y=0
ترک باریکی شکل گرفته است. در مدل ساده، این ترک باعث میشود بخشی از انتقال تنش در راستای عمود بر ترک
از دست برود. اثر آن را با تحمیل رابطهٔ زیر مدل میکنیم:
y ey = 0
در نتیجه بافهٔ تغییرشکلِ مقیدشده چنین است:
N = M / R(yey)
در بافهٔ
N،
عنصر
[ey]
الزاماً صفر نیست، ولی با ضرب در
y
صفر میشود:
y[ey] = 0
پس
[ey]
یک عنصر پیچشی است. پیچش در اینجا نه استعاره، بلکه یک نشانگر جبری از مقیدشدن یا
از دست رفتنِ آزادیِ تغییرشکل در امتدادِ ترک است.
۵. فیبرِ بافه در نقطه: آنچه حسگر دقیقاً در نقطه میبیند
برای دیدن درجات آزادیِ واقعی در خودِ نقطهٔ
p،
بافه را پیمانهٔ ایدهآل ماکسیمال میکنیم:
N(p) = N / mN
این یک فضای برداری روی میدان ماندهای
k = R/m
است. در آن، متغیرهای
x
و
y
صفر میشوند؛ بنابراین رابطهٔ
yey=0
در خودِ فیبر، رابطهٔ تازهای تحمیل نمیکند.
N / mN ≅ k[ex] ⊕ k[ey]
پس حسگرِ نقطهای ممکن است هنوز دو راستای جابهجایی را مشاهده کند؛ اما رفتارِ آنها هنگام دورشدن بسیار اندک از نقطه،
به دلیل رابطهٔ پیچشی، عادی نیست. این نکته مهم است:
نتیجهٔ مهندسی:
اندازهگیری دقیقاً در یک نقطه ممکن است آسیب را آشکار نکند؛
برای تشخیص ترک، باید جوانهٔ داده و تغییرات آن در همسایگی نقطه بررسی شود.
۶. آزمون ناکایاما: آیا حسگرها واقعاً همهٔ مُدهای محلی را میپوشانند؟
فرض کنید دو الگوی اندازهگیری
s1,s2 ∈ N
داریم. اگر تصاویر آنها در فضای برداریِ فیبر
N/mN
یک پایه بسازند، لم ناکایاما میگوید خودِ آنها بافهٔ
N
را تولید میکنند:
if N = Rs1 + Rs2 + mN,
then N = Rs1 + Rs2
ترجمهٔ کاربردی آن چنین است: اگر حسگرها در خودِ نقطه، تمام جهتهای مستقلِ تغییرشکل را تشخیص دهند،
آنگاه در یک همسایگی کوچک نیز برای توصیف کامل وضعیت موضعی کافیاند؛
مشروط بر آنکه مدل بافه، خطاهای پیچشی و قیود ترک را نیز در خود داشته باشد.
| مفهوم جبری | مدل فیزیکیِ پوستهٔ ربات |
|---|---|
| حلقهٔ موضعی R | توابع و دادههایی که فقط در مجاورت نقطهٔ برخورد اهمیت دارند |
| ایدهآل ماکسیمال m | کمیتهایی که در خودِ نقطهٔ تماس صفرند |
| بافهٔ آزاد M≅R² | دو درجهٔ آزادیِ موضعی برای تغییرمکان سطح |
| خارجقسمت N=M/R(yey) | مدل تغییرشکل پس از ایجاد قید یا ترک در راستای مشخص |
| عنصر پیچشی | کاهش یا اختلال موضعی در انتقال نیرو و تغییرشکل |
| فیبر N/mN | درجات آزادی قابل مشاهده برای حسگر دقیقاً در نقطه |
جمعبندی:
حلقهٔ موضعی، زبانِ «چه رخ میدهد نزدیک این نقطه؟» است؛
بافه، زبانِ «کدام میدانها و کدام قیدها بر این رفتار حکم میرانند؟».
آزادبودن بافه، از درجات آزادی سالم سخن میگوید؛
خارجقسمتگرفتن، قید یا آسیب را وارد مدل میکند؛
و عنصر پیچشی نشان میدهد که یک جهت از رفتار، در طول یا عرضِ ناحیهای ویژه گرفتار شده است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.