کمـــــــــک فـــوری---مفهوم این مقاله [بایگانی] - سایت علمی نخبگان جوان

توجه ! این یک نسخه آرشیو شده میباشد و در این حالت شما عکسی را مشاهده نمیکنید برای مشاهده کامل متن و عکسها بر روی لینک مقابل کلیک کنید : کمـــــــــک فـــوری---مفهوم این مقاله

حسین متقی

23rd October 2012, 12:21 AM

رویکرد جبری و گزاره LOGIC
به نمایندگی و استدلال
در طراحی ماشین
SRIKANTH M. KANNAPAN و کورت M. MARSHEK
گروه مهندسی مکانیک، دانشگاه تگزاس در آستین، آستین، TX 78،712، ایالات متحده آمریکا
چکیده - عناصر و ماشین آلات و سیستم برای استفاده در طراحی کتابخانه برای پشتیبانی از وظایف
درگیر در طراحی ماشین. ماشین آلات به عنوان سیستم decomposable سلسله مراتبی از هر دو مدل
از دیدگاه ساختار و رفتار. سیستم ها و ساختارهای تجزیه خود را به نمایندگی از جبری
با استفاده از شکلهای هندسی اولیه مجموعه و فهرست در حالی که رفتار ارائه شده با استفاده از منطق گزاره تایپ. تابع، به عنوان مثال
هدف، از زیر سیستم در یک سیستم دستگاه نیز نشان داده شده است. روش برای حمایت از تایید طرح،
انتخاب طراحی و ساخت طراحی با استفاده از قوانین جبری و منطقی تحول ارائه شده است.
توسعه طرح نمایندگی ها و روش استدلال با مثال ساده نشان داده شده است
طراحی ماشین.
1. مقدمه
در این مقاله به مشکل نمایندگی طراحی و استدلال در حوزه ماشین
طراحی. در شرایط استفاده از فرایند طراحی به طور کلی، این تحقیق شرح داده شده در این مقاله در پاسخ به
نیازهای "در اوایل مرحله از فرایند طراحی است که برخورد با اقدامات مورد نیاز
دستگاه به جای آن طرح نهایی فیزیکی. قصد این است که به طور رسمی برای استفاده به ماشین های مدل
در یک کتابخانه طراحی و پیاده سازی روش های محاسباتی برای حمایت از وظایف درگیر در
طراحی ماشین. تمام مراحل کتابچه راهنمای کاربر در حال حاضر است.
این سازمان از این مقاله به شرح زیر است: در بخش زیر توصیف یک مبنای نظری
نمایندگی و استدلال در طراحی ماشین، نه بخش توسعه جبری
و منطق محمولات طرح نمایندگی برای کتابخانه و روش های طراحی طرح کلی برای طراحی
تأیید، طراحی انتخاب و ترکیب طراحی. طرح نمایندگی و روش
نشان داده شده است با استفاده از نمونه های ساده از طراحی دستگاه است. در نهایت، سایر تحقیقات مربوط به بررسی
و جنبه های اصلی این مقاله، برجسته می شوند.
2. مبنای نظری
طراحی، و روش علم و مهندسی به طور کلی، در تجزیه درونی بستگی دارد
و composability از اشیاء در یک دامنه از بحث است. تجزیه حاکی از آن است که
طراحی، به عنوان یک سیستم، می توان به سیستم های دیگر، زیر سیستم نامیده می شود، که تقسیم
متصل شده توسط روابط. Composability حاکی از آن است که سیستم (به عنوان اجزای وجود دارد
در حوزه بحث و گفتگو) است که می توان به روش های خاص روابط به هم پیوسته ساخت
بزرگتر سیستم. روابط می تواند به همین ترتیب به عنوان composable-decomposable مشاهده شده است. برای
به عنوان مثال، محور شعاعی و محوری در یک قاب دستگاه را می توان به عنوان یک سیستم شفت
و یک سیستم قاب رابطه شعاعی محوری پشتیبانی متصل می شوند. شعاعی محوری پشتیبانی
روابط به خودی خود می تواند به عنوان یک ترکیب سیستم بلبرینگ و دو سفت و سخت مفصل
روابط.
شکل 1 نمایی از سیستم ها و روابط را نشان می دهد. سه جنبه از یک سیستم و وجود دارد
محیط زیست خود را: (1) فضای داخلی سیستم (2) محیط زیست سیستم رابط و (3)
محیط زیست است. در حال مشاهده یک سیستم تعامل محیط زیست به عنوان انتقال "مورد" در سراسر
سیستم محیط رابط در هر دو جهت. روابط مشاهده شده شبیه اما با
تعامل تنها با سیستم های به هم پیوسته است.
برای سیستم های composable decomposable-شریک (1) ساختار به داخل سیستم (2)
رفتار به رابط کاربری سیستم محیط زیست و (3) تابع (یعنی هدف) به محیط زیست است.
ساختار اشاره دارد به ترتیب از زیر سیستم ها و subrelations به دست آمده توسط تجزیه.
رفتار اشاره به نحوه تعامل بین سیستم و محیط زیست؛
335
336 SRIKANTH M. KANNAPAN و کورت M. MARSr ~ K
بیان شده به عنوان یک رابطه ریاضی بین آیتم های منتقل شده از طریق رابط. تابع
اشاره به هدف از یک سیستم که در آن محیط زیست، به عنوان مثال در supersystem تفسیر بیان
به عنوان یک نقشه برداری از بخشی از رفتار سیستم را به بخشی از رفتار supersystem.
به عنوان مثال، رفتار یک سیستم دوچرخه (در حوزه بحث در مورد طراحی ماشین و
سینماتیک) رابطه ریاضی بین حرکات پدال و چرخ (است که
رابط های دوچرخه محیط مورد نظر فوت و جاده). ساختار
دوچرخه آرایش داخلی سیستم مانند شفت، قاب، زنجیره ای، چرخ دنده، sprockets، هاب،
چرخ و غیره در ارتباط تنگاتنگ با روابط مانند سفت و سخت مشترک، شعاعی محوری پشتیبانی، شعاعی مناسب، و غیره
تابعی از ضامن، به عنوان مثال، نقشه برداری از یک راه چرخش چرخ دنده
خود را به آزاد wheeling از دوچرخه است.
ما گسترش ایده های فوق از ساختار، رفتار و عملکرد به روابط و معاشرت
(1) ساختار به داخل رابطه (2) ارتباطات به رابط بین یک رابطه
و محیط آن و (3) تابع (یعنی هدف) به محیط زیست است. روابط وجود داشته باشد تنها به عنوان
اتصال بین سیستم و در نتیجه ارتباط برقرار اقلام بین سیستم ها است. ساختار
سیستم ها و روابط مشخص (به عنوان بعد نشان داده شده است). تعریف تابع
رابطه مشابه که از یک سیستم ارتباطی جایگزین برای رفتار است.
مفهوم تابع، به اعتقاد ما، کلید به سمت (الف) روش جستجو برای طراحی انتخاب شده است
و طراحی وظایف سنتز کارآمد تر، و (ب) طرح تولید که عمدا یک استفاده کنید
بخشی برای مقاصد مختلف، و یا عمدا قطعات بسیاری را برای همان هدف استفاده کنید.
برای کنترل پیچیدگی مفهوم طراحی و تحقق، طرح ها غالبا به ساخته شده است
نمایشگاه ماهیت سلسله مراتبی است. تجزیه سلسله مراتب مکان سفارش جزئی در سیستم
و روابط به گونه ای که سیستم های سطح بالاتر و روابط ترکیب سطح پایین هستند
سیستم ها و روابط است. علاوه بر این، سیستم ترکیب دلخواه از سیستم های سطح پایین تر نیست
و روابط است، اما به اشخاص که چندین بار در یک دامنه از بحث مورد استفاده مجدد قرار مطابقت دارد.
ما این توصیف از طبیعت سلسله مراتبی به روابط نیز گسترش است.
ما را انتخاب کنید دو جنبه، یعنی ساختار و رفتار / تجزیه ارتباطات به مدل
سلسله مراتب. یک معیار مهم در مدل سازی سلسله مراتب درجه بالایی از استفاده مجدد از
سیستم ها و روابط است. برای مثال، یک دوچرخه را می توان از جنبه های رفتار را تجزیه
گرافیک "حمایت می کند"، "فرمان" گرافیک و گرافیک "درایو". دوچرخه های مشابه می تواند
از نظر ساختار به زیر سیستم های زیر تجزیه می شود: "قاب"، "پدال مونتاژ،
چرخ جلو و دستگیره مونتاژ "،" عقب چرخ مونتاژ "، و" زنجیره زنجیری-HUB-مجمع.
تجزیه سلسله مراتب از جنبه های رفتار و ساختار اجازه دارند
سیستم های مشترک و روابط. همچنین، زیر سیستم و subrelations از یک سیستم تجزیه
از جنبه های رفتار هستند اجازه داده شود تا با یکدیگر همپوشانی دارند به عنوان مثال "چرخ عقب" می تواند به عنوان وجود داشته باشد
گرافیک از هر دو "حمایت" و "درایو" زیر سیستم است. زیر سیستم و subrelations از
سیستم تجزیه از نظر ساختار اجازه ندارند تا با یکدیگر همپوشانی دارند به عنوان مثال
"چرخ عقب" می تواند به عنوان یک زیر سیستم تنها در "عقب چرخ مونتاژ گرافیک وجود دارد.
~ گوش و حلق و
~ تداخل را با
(S (YSerTEorM ~ transmissiono F "مورد"
\ ~ ............ ~ رابط
~ "'Intexaction توسط
انتقال "آیتم"
شکل I. کشور، رابط و محیط زیست سیستم و روابط و تعامل است.
نمایندگی و استدلال در طراحی ماشین 337
بقیه آدرس مقاله:
(1) چگونه می توان طرح دستگاه نمادین برای استفاده در کتابخانه طراحی نشان داده شده
در سیستم ها، روابط، ساختارها، رفتارها، ارتباطات،
وظایف و سلسله مراتب تجزیه از ساختار و رفتار /
جنبه های ارتباطی
و
(2) چه نوع از روش های محاسباتی می توانند کارهای مانند طراحی پشتیبانی
تأیید، طراحی انتخاب و طراحی سنتز، با توجه به چنین یک کتابخانه طراحی شده است.
رویکرد ما این است که تا حدودی جبری و تا حدودی منطقی (منطق مرتبه اول تایپ).
روش را از طریق یک مثال در حال اجرا در حوزه بحث در مورد طراحی ماشین نشان داده شده
خرید و فروش فقط با سینماتیک ساده است. جزئیات مبانی نظری و تحولات دیگر در این
کاغذ را می توان در Refs [1، 2] یافت می شود. قوانین و مقررات رسمی در پیوست تعریف شده است.
3. سیستم ها و روابط
در این بخش به معرفی مدل های رسمی از سیستم های عنصر دستگاه (سامانه)، و عنصر دستگاه
روابط (REL). سیستم ها و روابط با رابط خود را به گسسته به مدل
بنادر با نام پورت متمایز است.
یاتاقان شعاعی و محوری پشتیبانی از مدل به عنوان یک سامانه "باربری" جبری به عنوان نشان داده شده:
باربری: = (بلبرینگ، 1،2، تبر 1: محور نوع)،
که در آن "تحمل" است که نام سیستم، "1" و "2" نام پورت و "AXL" نام صفت
دلالت محور یاتاقان است که "محور" است. پرانتز لیست از بین میبرند، سمی کالن محدود
مجموعه، کاما از یکدیگر جدا اعضای یک مجموعه و ": =" نماد به معنی "مقدار تخصیص داده شده است."
شکل 2 نشان می دهد نمایندگی های گرافیکی و شماتیک "باربری" و چند نفر دیگر سامانه
شماتیک نمایش گرافیکی
یاتاقان شعاعی و محوری پشتیبانی
صاف شافت جامد
1 ~ 3A * ("AXL
چرخ دنده ساده معروف خارجی
قاب دستگاه
] 1 [21،151
مفصل سفت و سخت با هم ترازی محور
1
Illllllmul
2
چرخدنده ساده meshing
1 ............ ~ L-تبر
من؛
2 - تحقیق LT. ax2
شکل 2. نمایندگی های گرافیکی و نقشهها برای برخی از عناصر دستگاه و عنصر دستگاه
روابط.
338 SRIKANTH M. KANNAPAN و کورت M. MARSHEK
نگارش. بازنمودهای جبری برای سامانه "شفت"، "دنده" و "قاب"، و نگارش "Algn سخت"
و "مشهد" عبارتند از:
شفت .. = (شافت 1،2،3 "؛ AXL: محور نوع)
دنده .. - (دنده؛ 1،2 "؛ AXL: محور نوع)
قاب: = (قاب [211 "؛ AXL: محور نوع)
Algn سخت .. = (algn سخت، 1،2، برابر (sl_ax.1، s2_ax.2))
مشهد .. = مشهد (1،2. AXL، ax2: محور نوع موازی (AXL، ax2)
و برابر (AXL ax2) و برابر (sl_ax.1، AXL) و برابر (s2_ax.2، ax2)) نیست.
"*" و "[N]" (که در آن n یک عدد صحیح است)، ظاهر می شود به نام پورت فوق (و در شکل 2)
معنی اپراتورها در بنادر. اپراتورهای ارائه استفاده از تکثیر بندر SYS و یا کردن Rel به
پورت های مختلف در یک نمونه از یک سیستم و یا کردن Rel (سیستم و یا در REL-در). در مدل شفت، "* 3" بدان معنی است که
بندر "3" را می توان به تعداد نامحدود از زمان در یک نمونه از شفت تکرار و
نامیده می شود، می گویند، "3.1"، "3.2"، "3.3"، و غیره در مدل قاب، "[2] 1" بدان معنی است که بندر "1"
تکرار را می توان به تعداد نامحدود از زمان بیشتر از 2. اپراتورهای خود نیز ممکن است
را به نظام و rel در انجام شده است.
تعریف کردن Rel بالا نیز محدودیت های ساختاری نشان داده شده در منطق گزاره باشد.
مدل Algn سخت "هیچ کلبه صفات شامل محدودیت سازه
"برابر (sl_ax.1، s2_ax.2)" که اجرای محدودیت برابری در برخی از محورهای برجسته
(مشخص شده توسط متغیرهای از نوع محور "تبر ل" و "ax.2") از هر سیستم که به ل بنادر متصل
و 2 "Algn سخت است. "مشهد" کردن Rel دارای دو ویژگی "AXL" و "ax2" دلالت محور
که در مورد رابطه مشهد ایجاد شده است. محدودیت سازه اجرا شده است که
«AXL" و "ax2" موازی هستند اما نه در برابر و "AXL" و "ax2" هر کدام برابر به برخی
محور برجسته از سیستم در پورت های 1 و 2 "مشهد" متصل شده است، به دست آمد.
بازنمودهای جبری، گرافیکی و شماتیک برای سیستم و rel در بالا شرح داده شد.
نمایندگی گرافیکی شامل تمام اطلاعات موجود در نمایندگی جبری به جز
محدودیت های سازه. نمایندگی شماتیک فقط برای مقاصد حفظی (یعنی مثل یک
آیکون).
4. ساختار و جدول DECOMP
عناصر دستگاه به سامانه، یعنی مدل شده است. "باربری"، "شفت"، "دنده" و "قاب"
قطعات است که می تواند به ساختارها (struct ها) از سامانه های بزرگتر و rel با استفاده از دستگاه تشکیل شده
روابط عنصر به عنوان روابط اولیه مبلمان و دکوراسیون، یعنی مدل سازی است. "Algn سفت و سخت" و "مشهد".
در مقابل، SYS و rel به ساختمانها که به عنوان تنظیمات از تجزیه
نمونه هایی از سیستم های (سیستم INS) و نمونه هایی از روابط (REL-INS).
به گسترش در حال اجرا به عنوان مثال، در شکل. 3، کردن Rel تعریف کنیم برای حمایت شعاعی و محوری
رابطه ("Radax")، یک سامانه برای یک جفت چرخ دنده ساده معروف است ("Gearpair") و یک سامانه برای محور شعاعی و
محوری را در یک قاب (SUP شفت) پشتیبانی می کند. شکل 3 نیز نشان می دهد گرافیکی و شماتیک
نمایندگی از سازه به نام "SL"، "$ 2" و "$ 3" متشکل از موارد از سامانه و rel
تعریف شده در شکل. 2. "Bearing_l"، "Algn rigid__2"، "Shaft_l"، "Gear_2"، و غیره نمونه هایی از
"باربری"، "سخت Algn"، "محور"، "چرخ دنده"، و غیره، به دست آمد. معادله پورت (Peqs) نمایش داده می شود
در نمایش گرافیکی با خطوط جامد بین بنادر است. تعاریف پورت (Pdefs) و ویژگی
تعاریف (Adefs) نشان داده شده توسط خطوط نقش برآب شده است.
نمایش جبری ساختار "SL" است:
SL: = (Bearing_l Algn-rigid_l، Algn-rigid_2؛ Peql. Aasl)
جایی که
ها Peql .. = {(Bearing_l: 1. Algn rigid_l: 2)، (Bearing_l: 2؛ Algn-rigid_2: 2)}
و
AAS 1 .. = {(Algn-rigid_l: ax.2. Bearing_1: تبر 1)، (Algn-rigid_2: ax.2. Bearing_ 1: تبر L)}.
بالا نشان دهنده "L S" را به عنوان یک لیست از مجموعه ای از سیستم قابل فهم، مجموعه ای از کردن Rel فهم-Peqs و ویژگی
تکالیف (AAS). Peqs شامل مجموعه ای از جفت (2 تاپل) از بنادر از سیستم در و REL-در
در حالی که عاص از مجموعه ای از جفت از متغیرهای ویژگی در محدودیت ساختاری است
نمایندگی و استدلال در طراحی ماشین 339
1 1 2 ~ 1 ~ __ ~ 1.2 (... 7
32
~ ...... .. aX2
1 2 ~ _axl
: - -
2.2 .....
من به .....
1 4.2
~ / AXL
03:03 $ ~ l.1 ~ DT ~ 4.2
شکل 3. تجزیه "Radax" به ساختار "SL"، "Gearpair" را به "S2" و "حمایت محور" را به "$ 3".
REL-فهم و صفات پیوسته نظام در. ساختمانها "S2" و "$ 3" جبری مشابه
بازنمودهای.
رابطه DECOMP مربوط SYS کردن Rel به ساختار آن است به عنوان مثال ما در جدول 1 نشان داده شده است.
هر یک از Pdefs جفت با اولین عضو از جفت بودن یک پورت از سامانه (REL)
و عضو دوم بودن پورت های بلا استفاده از سیستم (REL-در) در ساختار است. Adefs
شبیه به Pdefs. اجزاء و روابط اولیه از حوزه بحث
ساختارها (struct) تعریف نشده، Pdefs و Adefs در جدول 1. تجزیه ساختار سلسله مراتبی برای ما
در حال اجرا به عنوان مثال در شکل نشان داده شده است. 4.
چندین ترکیب شرایط را برای ساختار و DECOMP [2] وجود دارد، مهم ترین
یکی از که Pdefs برای یک سامانه نه تنها باید نقشه به بنادر سامانه قابل فهم در یک ساختار در حالی که Pdefs کردن Rel
جدول I. جدول DECOMP در حال اجرا
مثال
سامانه / کردن Rel ساختار Pdef Adef
Radax S 1 Pdefl Adefl
Gearpair $ 2 Pdef2 Adef2
حمایت شفت 3 Pdef3 Adef3
بلبرینگ، شفت های تخصصی "T
دنده، قاب من تعریف نشده و تعریف نشده تعریف نشده
Algn سفت و سخت، J مشهد
Pdefl: = {(1، A | GN-rigid_l: 1)، (2، Algn-rigid_2: 1)}
Adefl: = {(AXL Bearing__l_axl)}
Pdef2: = {(1 Gear_l: 1)، (2 دنده 2: 1)،
(3 "؛ Gear_l: 2.2")، (4 *؛ دنده 2: 2.2 *)}
Adef2: FFI {(AXL، دنده l_axl)، (ax2 Gear_2_axl)}
Pdef3: = {(I، شفت .. ل: 1)، (2؛ Shaft_l: 2)، (3 * Shaft_l: 3.2 *)،
(4.1، قاب ل: 1.2)، (4.2، قاب ل: 1،3)}
Adef3: = {(AXL، شفت l_axl)}
340 SRIKANTH M. KANNAPAN و کورت M. MARSHEK
شکل 4. ساختار سلسله مراتبی تجزیه برای مثال در حال اجرا است.
فقط باید نقشه به بنادر کردن Rel قابل فهم، در یک ساختار است. به این ترتیب، ساختمانها برای سیستم و rel متمایز
شرایط خوبی ترکیب.
5. ITEMS
به منظور توصیف رفتار و ارتباطات سامانه و rel ما در مرحله اول نیاز به یک
طرح نمایندگی "مورد" انتقال از طریق رابط. با گسسته
رابط به پورت، ما در حال حاضر "مورد" را به عنوان از طریق پورت منتقل ببینید. در برخورد با
سینماتیک ساده، "مورد" انتقال از طریق رابط حرکات چرخش و
ترجمه. ما حرکت را محدود به 3 درجه آزادی: 1 چرخش و 2 ترجمه، با
محور چرخش به موازات یکی از محورهای ترجمه. علاوه بر این، محور چرخش است
محدود به که با توجه به زمان ثابت است. حرکت به محور های محلی به یک پورت اشاره شده است.
به منظور به سطح مدل از توصیف "مورد" و ماهیت بردار حرکت ما را انتخاب کرده اند
نمایندگی نوع داده به نام یک طرح مورد (شبیه به یک نوع نوع رکورد [3]). دنباله
جفت از نوع سند و مورد مقدار، شامل طرح موردی برای دامنه ما را از بحث و گفتگو
در شکل نشان داده شده است. 5 (A) (توالی عمودی نشان داده شده است). در شکل 5 ()، "kinema"، "نوع"، "محور" و
"VEL" انواع آیتم ها دلالت خواص سینماتیک، نوع، تبر و سرعت (در برخی از
ارجح واحد) به ترتیب از یک مورد استفاده نمایید. مجموعه از ارزشها تعداد آیتم ها در "{ام تی ان}"، "{پوسیدگی، ترانس}"، "{x، y}"
و "واقعی"، که در آن "ام تی ان" بیانگر گزینه ای است که پاسخ دادن به حرکت، "فاسد" و "ترانس" معنی چرخش و ترجمه
به ترتیب، "X" و "Y" نشان دهنده محور دکارتی و "واقعی" بیانگر گزینه ای است که پاسخ دادن به آن مجموعه ای از اعداد حقیقی است.
درخت ارزش برای گزینه ها به دست آمده از طرح برای گزینه ها در شکل نشان داده شده است. 5 (ب). از آنجا که از نظر ما تنها
1 درجه چرخشی آزادی مسیرهای رو به پایین از "فاسد" و "Y" نشان داده شده است نقش برآب و
از در نظر گرفتن حذف شده است.
نمونه هایی از حرکت با ویژگی های ثابت برای گزینه ها به دست آمده از
درخت ارزش آیتم ها در. نمونه هایی از ثابت تعداد آیتم ها در زیر با تفاسیر در نظر گرفته شده است:
l_mtn، به عنوان مثال "1" حرکت
2_mtn/rot، به عنوان مثال "2" حرکت چرخش
3_mtn/rot/x، به عنوان مثال "Y" حرکت چرخش در X
l_mtn/trans/y/53.5، به عنوان مثال "1" از حرکت ترجمه در Y از 53.5،
که در آن اعداد "1"، "2"، "3" نامهای به عنوان مثال و "_" و "/" جدا است. یک آیتم
ثابت ارزیابی شده است که برای دسترسی به ویژگی های یک نمونه از حرکت. برای
نوع: {پوسیدگی، ترانس}
(A) (ب)
شکل 5. نمایندگی "مورد" (الف) مورد طرح، (ب) مورد درخت ارزش است.
نمایندگی و استدلال در طراحی ماشین 341
به عنوان مثال، "3_mtn/rot/x" ارزیابی "محور" مقدار نوع که نشان دهنده فضایی
موقعیت و جهت یک محور.
نمونه هایی از حرکت با برخی از خواص نامشخص به عنوان متغیر برای گزینه ها نشان داده شده است.
موارد زیر نمونه هایی از متغیرهای آیتم ها:
l_mtn / نوع. 1 / X
2_mtn/kind. 1/axis.2
3_mtn/trans/axis.2/vel.3
که در آن اعداد "1"، "2" و "3" به اضافه بعد از نوع مورد نام متغیر و "." است
جدا. در موارد فوق، دامنه "2_ruth/kind.I/axis.2" {ام تی ان / پوسیدگی / x، ام تی ان / ترجمه / X است،
ام تی ان / ترانس / Y} و دامنه "3_mtn/trans/axis.2/vel.3" یک مجموعه نامحدود است، چرا که "eel.3"
آیتم ها ارزش بی نهایت مجموعه "واقعی" است. همچنین "l_mtn>" بیانگر گزینه ای است که پاسخ دادن به آن یک متغیر برای گزینه ها با یک دامنه برابر با
اتحادیه از حوزه "/ نوع l_mtn. 1"، "l_mtn / نوع. 1/axis. 1"، "1-mtn/kind. 1/axis. 1/vel. 1"،
در حالی که "2_turn/rot>" بیانگر گزینه ای است که پاسخ دادن به آن یک متغیر برای گزینه ها با یک دامنه برابر به اتحاد حوزه
"2_mtn/rot/axis.l" و "2_mtn/rot/axis.1/vel.l" (نام متغیر "1" اختیاری است).
6. رفتار، ارتباطات، تعریف اصطلاحات
و جدول ASSOC
رفتار و ارتباطات در BCL (رفتار Communication_ زبان)، بیان می
زبان تایپ منطق مرتبه اول [4]. ملزومات BCL مربوط به
ارائه به عنوان مثال در حال اجرا ارائه شده در اینجا جزئیات را می توان در کد عکس. [2].
اشیاء اولیه BCL آیتم (ثابت بند و متغیرهای تعداد آیتم ها). صفات سامانه
و rel، اعداد صحیح و اعداد حقیقی نیز به عنوان اشیاء تایپ شده از زبان گنجانده شده است. صفت
ثابت استفاده می شود "Shaft_l_axl"، "Gearpair_ax2"، و غیره ویژگی متغیرهای مورد استفاده هستند "ax.l"،
"ax.2" و غیره که در آن "1" و "2" نام متغیر هستند. قوانین برای جایگزینی و وحدت
متغیر همان است که در منطق مرتبه اول [4، 5]. متغیر جهانی اندازه گیری شده است.
محمولات بر روی اشیاء BCL اکسپرس روابط بین اشیاء. بیان BCL
یا یک گزاره، یک نفی ('') منتج شده است، یا دو عبارت BCL (بدون بازگشت)
و متصل شده توسط همراه (&) یا دلالت (->). ما با استفاده از نمادهای اضافی "="
(تعریف) و "<-> (ارزی) هر دو به معنی همان هم ارزی منطقی است.
"=" استفاده شده است فقط برای اتصال به یک گزاره و بیان BCL برای تولید یک عبارت تعریف شده است.
"<->" استفاده می شود برای اتصال دو عبارت BCL تولید یک قاعده هم ارزی است. دو BCL
عبارات متصل به "->" (و نه بخشی از عبارت تعریف هر) را تشکیل می دهند
مفهوم قانون است. دامنه یک متغیر بیان تعریف و یا کل تحول است
قاعده. Conjuncts در خطوط جداگانه نشان داده شده است.
نمونه ای از بیان تعریف شده است:
rigidbc (l_mtn> 2_mtn>)
= roteq (l_mtn / پوسیدگی> 2_mtn/rot>)
و transeq (l_mtn / ترانس> 2_mtn/trans)، (EL)
که توصیف رفتار یک عنصر ماشین سفت و سخت مدل به عنوان یک سامانه یا ارتباط
مشترک صلب مدل کردن Rel. گزاره های "roteq" و "transeq" خود تعریف می شوند با استفاده از
گزاره های دیگر:
roteq (l_mtn / پوسیدگی> 2_ruth/rot>)
= برابر (l_mtn / پوسیدگی / x، 2_mtn/rot/x)
و برابر (l_mtn / پوسیدگی / X / vel.1، 2__mtn/rot/x / vel.2)، (E2)
transeq (l__mtn / ترانس> 2_mtn/trans>)
= transformx (l__mtn / ترانس> 2__mtn/trans/x، 3_mtn/trans>)
و برابر (2_mtn/trans/axis. 1/vel 1، 3__mtn/trans/axis. 1/vel.2). (E3)
در تعریف بالا از "roteq" برابری در محور و اندازه حرکت چرخش
"1" و "2" ایجاد شده است ارزیابی از گزاره "برابر" حساس به نوع استدلال است.
در تعریف "transeq"، "transformx" حرکت ترجمه از "1" مربوط به محور X
342 SRIKANTH M. KANNAPAN و کورت M. MARSHEK
ترجمه "2" و به حرکت ترجمه "3" که قدر سرعت
ترجمه "1" و "3" برابر و محور X ترجمه "2" و "3"، همان.
گزاره "برابر (-، -)" ایجاد برابری سرعت هر دو در x و y محور ترجمه
حرکت "2" و "3" شمارش جهانی "axis.l.
نمونه ساده از یک قاعده هم ارزی و یک قانون بیان مفهوم تقارن و
متعدی از گزاره برابر برای هر متغیر، B و C از همان نوع هستند:
برابر (A، B) <-> مساوی (B، A) (T1)
برابر (A، B) و برابر (B، C) -> مساوی (A، C). (T2)
نرم افزار قوانین تحول و قواعد استنتاج منطقی (به عنوان مثال MODUS ponens [4])
استفاده از استدلال با عبارات BCL. قانون تعادل با تطبیق (با استفاده
اتحاد متغیر) subexpression بیان BCL به بیان را در یک طرف از
"<->"، و به جای subexpression همسان توسط بیان در طرف دیگر است. مفهوم
قوانین کاربردی "به جلو" ("عقب مانده") به طور مشابه، اما با سمت راست (سمت چپ) به سمت اضافه شده به عنوان یک
متصل به subexpression اگر سمت چپ (راست) همسان شده است.
رفتارها و ارتباطات تعریف شده توسط محمولات با سامانه و rel با استفاده از پورت
تکالیف (PAS) و تکالیف صفت (AAS). به عنوان مثال، گزاره «rigidbc"
در ارتباط عنوان رفتار از سامانه که مدل عناصر دستگاه سفت و سخت (و ارتباط
نگارش که مدل مشترک سفت و سخت) نقشه برداری (نمونه هایی از حرکت "1" و "2") مرتبط
گزاره "rigidbc" به پورت ها از سیستم و rel تکالیف پورت (PAS). هر پورت
واگذاری یک جفت (2 تاپل) با اولین عضو از این جفت ارز در حال مجموعه ای از اقلام و دوم
عضو بودن مجموعه ای از پورت. انجمن SYS به یک رفتار و یک کردن Rel به ارتباط
توسط پاس به عنوان یک تاپل در رابطه ریاضی ASSOC ذخیره می شود. تاپل از ASSOC نمایش داده می شود
در جدول (2) اجزا و روابط اولیه تعریف شده در بخش 3. همانطور که در جدول 2
را نشان می دهد، پاس، یک به یک نگاشت بین آیتم ها و بنادر. نگاشت از مجموعه
از آیتم ها به مجموعه ای از پورت ها در پاس اجازه می دهد فشرده سازی جبری از عبارات برای رفتار و
ارتباطات متقارن و متعدی روابط باید مدل. تکالیف صفت
(AAS) در جدول 2 نقشه متغیرهای ویژگی در یک گزاره یک به یک به صفات سامانه و
کردن Rel (مشابه به عاص در بخش 4).
روال "radaxbc" در جدول شماره 2 است که به عنوان تعریف می شود:
radaxbc (l_mtn> 2_mtn>، تبر. 1)
= transeq (l_mtn / ترانس> 2_mtn/trans>)
و برابر (l_mtn / پوسیدگی / x، تبر 1.) -> بدون پوسیدگی انتقال (/ پوسیدگی l_mtn>، 2_mtn/rot>)
و برابر (2_mtn/rot/x، تبر 1) -> بدون پوسیدگی انتقال (2_mtn/rot> l_mtn / پوسیدگی)
¬ برابر (l_mtn / پوسیدگی / x، تبر 1.) -> roteq (l_mtn / پوسیدگی> 2_.mtn/rot>)
¬ برابر (2_mtn/rot/x، تبر 1) -> roteq (2_.mtn/rot> l_mtn / پوسیدگی>). (E4)
این تعریف برای "radaxbc" دو نمونه از حرکت "1" و "2"، تفسیر، این است که ()
حرکت ترجمه برابر هستند، (ب) اگر محور چرخش "1" در مورد "تبر. 1" و سپس هیچ حرکتی چرخش
از "1" "2"، و در مقابل با موارد "1" و "2" مبادله و (ج) منتقل شده است
اگر محور چرخش "1" یا "2" در مورد "ax.l" و سپس چرخش با هم برابر هستند. گزاره
"بدون پوسیدگی انتقال" تعریف شده است با استفاده از "برابر" و "nodep".
جدول 2. جدول ASSOC در حال اجرا
مثال
رفتار / پاس AAS
سامانه / کردن Rel COMM.
باربری Radaxbc (1 ام تی ان>، 2_mtn> 1،2) (ax.1. AXL)
شفت Rigidbc (l_mtn> 2_mm> 1،2،3) هیچ کدام
دنده Rigidbc (l_mm> 2_ram>، 1،2) هیچ کدام
قاب Rigidbc (l_mm> 2_mm> [211 ") هیچ کدام
Algn سخت Rigidbc (l_mtn> 2_mtn> 1،2) هیچ کدام
مشهد Meshedbc (1 - رم> 1)، (2._mtn> 2) ((aaxx. .12؛ aaxx2l))
نمایندگی و استدلال در طراحی ماشین 343
گزاره "meshedbc" در جدول شماره 2 است که به عنوان تعریف می شود:
meshedbc (l_mtn> 2_mtn>، تبر 1، ax.2)
= transeq (l_mtn / ترانس> 2_mtn/trans>)
-> (معادل (l_mtn / پوسیدگی / x، تبر 1) -> AX-تغییرات و پوسیدگی (/ پوسیدگی l_mtn>، 2_antn/rot> ax.2)
¬ برابر (l_mtn / پوسیدگی / x، ax.1) -> nullmodel
و برابر (2_mtn/rot/x، ax.2) -> AX-تغییرات و پوسیدگی (2_mtn/rot> l_mtn / پوسیدگی> ax.1)
¬ برابر (2_mtn/rot/x، ax.2) -> nullmodel)
¬ transeq (l_mtn / ترانس> 2_mtn/trans>) -> nullmodel. (E5)
تعریف برای "meshedbc" تفسیر برای دو نمونه از حرکت "ل" و "2" این است که
(الف) اگر حرکات ترجمه برابر هستند، و اگر محور چرخش از "L" در مورد "تبر (1)" و یا اگر محور
چرخش "2" است در مورد "ax.2"، سپس حرکت چرخش از "L" با یک "2" منتقل می شود
تغییر در محور و بالعکس (ب) اگر حرکات ترجمه با هم برابر هستند، و در صورتی که محور چرخش از "L"
برابر است به "ax.l" یا محور چرخش "2" برابر است به "ax.2" نیست، پس هیچ مدل وجود دارد
رابطه بین حرکات و (ج) در صورتی که حرکت ترجمه برابر نیستند، پس از آن وجود دارد
هیچ مدل برای رابطه بین حرکات است. گزاره "AX-تغییرات، پوسیدگی" تعریف شده است با استفاده از
گزاره های ثابت نسبت "و" برابر "است.
رفتار / ارتباطات تجزیه سلسله مراتبی (BDH) تشکیل شده است که گزاره
تعاریف معرفی شده است که در شکل نشان داده شده است. 6. در مثال ما در حال اجرا، "برابر"، "ثابت نسبت"،
"transformx" و نیز "nodep" و "nullmodel" گزاره های اولیه هستند.
هر عبارت تعریف را می توان ارائه با استفاده از یک رابطه ویژگی مورد (AIR)
نمودار. به عنوان مثال، بیان تعریف برای "radaxbc" نشان داده شده در نمودار AIR در
شکل 7. موارد و صفات و همچنین محمولات و نفی خود را گره نمودار AIR.
لبه اتصال گره های گزاره به استدلال خود را با برچسب صحیح در لبه دلالت
موضع بحث در گزاره. مفاهیم به عنوان لبه ها به کارگردانی بین نشان داده شده است
منتجات هستند. لبه ها نقش برآب شده بین گره های برای گزینه ها نشان می دهد که آیتم های موجود متصل شده مورد همان
به عنوان مثال نام اما با دامنه از یکی از موارد زیر مجموعه مناسب از حوزه
مورد دیگر. همچنین، خطوط سایه سنگین نشان می دهد که هویت از اقلام و صفات در سمت چپ و
طرف دست راست "=" در بیان تعریف.
7. مشتق PROCEDURE
بخش قبلی (الف) روش های جبری برای سیستم های نمایندگی، روابط و اعمال
سازه ها، و (ب) تایپ مرتبه اول منطق گزاره به نمایندگی از رفتارها، ارتباطات و
محدودیت های ساختاری است. در این بخش ما به یک روش به نام مشتق از طریق ساده
به عنوان مثال با آن، اگر ساختار یک سامانه (REL) داده می شود، رفتار سیستم در ساختار
و ارتباطات نگارش در ساختار می تواند ترکیب شود جبری، و پس از آن
جبری و منطقی تبدیل شده است برای به دست آوردن بیان BCL توصیف رفتار
(ارتباطات) از سامانه (REL). به عنوان مثال، این است که از "سامانه" Gearpair که تجزیه
به ساختار «$ 2».
شکل 8 نمودار ویژگی یک مورد ارتباط گسترده (AIRE) است که یک گراف را نشان می دهد
نمایندگی از رفتارهای "Gear_l" و "Gear_2" و ارتباط
شکل 6. رفتار سلسله مراتب تجزیه برای مثال در حال اجرا است.
344 SRIKANTH M. KANNAPAN و کورت M. MARSHEK
~ - ~ ____ ~ بدون پوسیدگی انتقال ~ - ~ -'' -
شکل 7. نمودار AIR برای "radaxbc" و بیان تعریف آن.
"Meshed_l '، با استفاده از گیره و عاص" $ 2 "مونتاژ، محدودیت های ساختاری اجرا
"Meshed_l"، و Pdefs و Adefs. چنین نمودار AIRE می تواند به صورت مکانیکی از تولید
DECOMP و جداول ASSOC برای سیستم داده شده یا کردن Rel. هدف از این روش مشتق
است که به صورت جبری و منطقی تبدیل نمودار AIRE به دست آمده برای یک سیستم یا کردن Rel از آن
ساختار به بیان BCL با (الف) حداقل تعداد آیتم ها و ویژگی های "داخلی"، یعنی
من Gearpair_ax 1 [
[Gear_l_axl I
شکل 8. نمودار AIRE برای "Gearpair.
نمایندگی و استدلال در دستگاه طراحی 345
کسانی که به Pdefs یا Adefs متصل نیست، و (ب) به استفاده مجدد از حداکثر تعداد گزارههای
عنوان بالا در BDH که ممکن است.
نمودار AIRE شکل است. 8 به نمودار AIR با استفاده از قواعد بازنویسی جبری تبدیل
که از بین بردن PEQ، Pdef، پاس، Adef و گره AAS در نمودار، و همچنین مطابقت با آیتم های مشترک
به بندر و تغییر نام قلم به عنوان مثال نام و نامهای ویژگی به عنوان مثال. در هوا و در نتیجه
نمودار در شکل نشان داده شده است. 9. توجه داشته باشید که از اقلام با Pdefs به بنادر "Radax" مورد
نام و نام خانوادگی به عنوان مثال به نام پورت انتخاب شده در حالی که سایر موارد نام به عنوان مثال مورد از
اعداد و شخصیت "من" دلالت "داخلی" آیتم. بیان BCL به دست آمده از
نمودار AIR شکل است. 9 برای از بین بردن "داخلی" آیتم ها و ویژگی های "داخلی" تبدیل
با استفاده از () تعاریف "rigidbc" و "meshedbc" به گزاره های اولیه در گسترش یافته است
BDH، (ب) برنامه های کاربردی قوانین انتقال ابراز تقارن و متعدی از
"برابر" و برخی از خواص از گزاره "ثابت نسبت" (فقط با نرم افزار "به جلو"
قوانین مفهوم). عبارت زیر به دست آمده است:
rigidbc (l_rntn>، 3 * _mtn>)
و meshedbc (l_rntn> 2_mtn> Gearpair_axl، Gearpair_ax2)
و rigidbc (2_mtn>، 4 * _mtn>)
و موازی (Gearpair_axl، Gearpair_ax2) ¬ برابر (Gearpair_axl، Gearpair_ax2).
در بیان فوق، همه "داخلی" اقلام "داخلی" صفات از بین برود و
گزاره های مورد استفاده در بیان در BDH بالا هستند. این است که در حال حاضر امکان تعریف گزاره ای به نام
"gearpairbc" با استفاده از سه conjuncts از بیان فوق و تعریف سازه
محدودیت برای "Gearpair" را به عنوان دو conjuncts از بیان. "گزاره" gearpairbc
را می توان با استفاده از سامانه "Gearpair" با پاس مناسب و AAS عنوان یک تاپل در ASSOC در ارتباط است.
همچنین، در این فرآیند با استفاده از روش مشتق به مثال بالا، ما می توانیم ایجاد
یک قاعده تحول (از درشت دانه دانه بودن):
rigidbc (l_mtn> 2_mtn>) و meshedbc (2_mtn> 3_mtn>، تبر 1، ax.2)
-> meshedbc (l_mtn> 3_mtn>، تبر 1، ax.2). (T3)
قوانین تغییر دیگر به همین ترتیب می تواند به دست آمده می شود:
rigidbc (l_mtn> 2_mtn>) و radaxbc (2__mtn> 3_mtn>، تبر. 1)
-> radaxbc (l_mtn> 3__rntn>، تبر 1) (T4)
برابر (ax.1، ax.2) و radaxbc (l_rntn> 2_rntn> ax.2)
-> radaxbc (T5) (l_mtn> 2_mtn>، تبر 1.)
radaxbc (l_mtn> 2_mtn>، تبر 1.) <-> radaxbc (2_mtn> l_mtn>، تبر 1) (T6)
rigidbc (l_rntn> 2_mtn>) <-> rigidbc (2-rntn> l_mtn>). (T7)
[Gearpair_axl [
1 Meshed_l_axl ~ --- I
+ @ ~ 1 1 1 I 3 | Meshedbc
IMesh ~ l_ax2l '~
من Gearp ~ - ~ X2 I
شکل 9. نمودار AIR برای "Gearpair به دست آمده از شکل است. 8.
346 SRIKANTH M. KANNAPAN و کورت M. MARSHEK
8. کاشی VERIFY روش، کاشی JUSTIFY روش،
عملکرد و INCORP
روش VERIFY شبیه به روش مشتق جز که بیان
رفتار / ارتباط سامانه / کردن Rel در حال حاضر مشخص شده است. روش VERIFY با استفاده از BCL
بیان از نمودار AIR در استخراج روش و تلاش برای منطقی
تبدیل عبارت بیان مشخص برای رفتار / ارتباطات برای تولید. ما
نشان دادن VERIFY با استفاده از سامانه "SUP-شفت" و تجزیه ساختار "$ 3". اجازه بدهید مشخص
بیان تعریف برای رفتار "SUP محور" به شرح زیر است:
حمایت shaftbc (l_mtn> 2_mtn> 3_mtn> 4_mtn> ax.1)
= rigidbc (l_mtn> 2_mtn>) (1)
و radaxbc (l_mtn> 3_mtn> ax.1) (2)
و rigidbc (3_mtn> 4_rntn)، (3)
با پاس = {(l_mtn> 2_mtn>، 1، 2، 3)، (3_mtn> 4_mtn> 4.1، 4.2)}، AAS = {(ax.1، AXL)}.
بیان BCL برای رفتار "SUP شافت" به دست آمده از نمودار AIR به عنوان در
مشتق شده است:
rigidbc (l_mtn> 2_mtn>) (1)
و rigidbc (l__mtn>، 3 * _mtn>) (2)
و rigidbc (l_mtn> lI_mtn>) (3)
و radaxbc (11_mtn> 2I_mtn>، Radax_ 1 ~ TX 1) (4)
و برابر (SUP-shaft_ax 1، Radax_l-تبر 1) (5)
و برابر (Frame_l_ax 1، Radax_l__axl) (6)
و rigidbc (2I_mtn> 4. l_mtn>) (7)
و rigidbc (4. l_mtn> 4.2_mtn>). (8)
خط (1) - (3) از گسترش جبری از رفتار "ShafLl" با استفاده از پاس در ASSOC،
خط (4) - (6) از ارتباط و محدودیت های ساختاری "Radax_l" و خطوط (7)
(8) از گسترش جبری رفتار "Frame_l" هستند. هدف VERIFY
در حال حاضر این است که به جبری و منطقی تبدیل عبارت بالا را با استفاده از قوانین تغییر
و استنتاج منطقی برای به دست آوردن قبلی بیان تعریف «حمایت shaftbc".
تحول مورد نیاز در این مثال، می توان به سادگی با استفاده از درشت دانه "به دست آمده
دانه دانه بودن "قوانین تغییر شامل" rigidbc "و" radaxbc داده شده در گذشته
بخش. VERIFY موفق به اثبات این نکته که رفتار مشخص (حمایت shaftbc ") قابل حصول است
از ساختار "$ 3". اثری از تحولات کاربردی در شکل نشان داده شده است. L0 (اعداد در
دایره گزاره های شناسایی شده توسط شماره خط، سطر 2 در شکل. L0 مربوط به بیان
شکل 10. اثری از تأیید رفتار مشخص "پشتیبانی shaftbc" برای "حمایت محور".
نمایندگی و استدلال در طراحی ماشین 347
داده شده در بالا به دست آمده از نمودار AIR). ردیابی استفاده از انتقال را نشان می دهد
قوانین subexpressions در قالب نمودار سفارش. همانطور که در شکل. 10 نمایش جبری
گسترش یا فشرده سازی رفتار / ارتباط با استفاده از پاس در ASSOC، در حالی که نشان می دهد TS
استفاده از قوانین تغییر داده شده قبلا. ردیف در شکل. 10 مربوط به
تعریف رفتار مشخص "پشتیبانی shaftbc"، قبلا داده شده است.
توجیه عصاره روش توابع از ردیابی پیدا کردن مسیرهای بین محمولات
Sys-in/Rel-in (ردیف اول) و سیستم / کردن Rel (ردیف آخر). اگر مسیر بین دو محمولات،
توابع از Sys-in/Rel-in در سامانه / کردن Rel با جفت شدن conjuncts از به دست آمده است
مربوط به رفتار / ارتباط عبارات تعریف است که هر دو حاوی و یا تعریف
منتجات هستند. به عنوان مثال، در شکل. 10، یک مسیر بین گزاره "(- -) rigidbc" وجود دارد
"Shaft_l" و گزاره "rigidbc (-، -)" از "حمایت محور". توابع «Shaft_l" در
"SUP-شفت" استخراج شده از مسیر "(roteq (- و -)، rigidbc (-، -))" و "(transeq (-، -)، rigidbc (-،
-)) "در این مورد،" roteq (-، -) "و" transeq (- و -) "هستند conjuncts در تعریف« شفت-L
رفتاری که نشان دهنده توابع اولیه «Shaft__l"، و "rigidbc (-، -)" متصل است.
تعریف از رفتار "SUP شافت" است که نشان دهنده یک تابع دوم "Shaft_l. به طور کلی،
نگاشت بین عملکرد های اولیه و ثانویه توابع چند به چند، یک Sys-in/Relin
در سامانه / کردن Rel می توانید اهداف چندگانه داشته باشد، و Sys-in/Rel-in می توانید بسیاری از کمک به یک
هدف در سامانه / کردن Rel. توابع از سیستم، قابل فهم و REL-فهم در سامانه / کردن Rel به عنوان تاپل ذخیره می شود
در رابطه ریاضی INCORP. اطلاعات در INCORP برای مثال نشان داده شده است
شکل 11. شکل 11 نشان می دهد که Shaft_l و Frame_l توابع مختلف از ثانویه در
حمایت محور است.
9. طرح برای کتابخانه طراحی
بازنمودهای گزاره جبری و منطق توسعه تا کنون شامل نمایندگی
طرح برای کتابخانه طراحی به عنوان نشان داده شده در شکل. 12. انتخاب و تلفیقی در شکل. 12
روش برای حمایت از وظایف انتخاب طراحی و ساخت طراحی به طراحی
کتابخانه.
10. روش SELECT
روش SELECT طول می کشد به عنوان ورودی آن خصوصیات رفتاری (ارتباط) و
تلاش برای پیدا کردن یک سامانه (REL) در کتابخانه های طراحی که تولید رفتار مشخص
(ارتباطات). روش SELECT تلاش برای مطابقت با مشخصات به طور مستقیم (یا بعد از
اعمال قوانین انتقال) به محمولات به نمایندگی از رفتارهای (ارتباطات) در ASSOC،
یا به عبارات به نمایندگی از توابع اولیه و توابع متوسطه در INCORP. اگر
بازی ها یافت می شوند، SELECT بازیابی تاپل همسان از ASSOC و INCORP و خروجی
مجموعه ای از سامانه (REL) برای رفتارهای همسان (ارتباطات) و توابع.
Primarv توابع Secondarv توابع
محور 1: I transeq (1 - 2 -)
Radax: 1
transeq (1 - 2 -)
مساوی (I-، تبر 1) SUP-شفت:
-> بدون پوسیدگی انتقال (1 - 2 - \ ~ lrigidbc (l_mtn>
برابر (2 -، ax.1) \ 11 2_mtn>)
-> بدون پوسیدگی انتقال (2 - ~ 1 - _ ~ 11r adaxbc (l_mtn>
برابر نیست (I، ax.1) من؟ I 3_mtn> ax.1)
-> roteq (1 - 2 -) rigidbc (3_mtn>
برابر نیست (2 -، ax.1) 4_mtn>)
-> roteq (2 -، 1 -)
قاب: 1
roteq (1 - 2 -)
transeq (1 - 2 -)
شکل 11. اطلاعات در INCORP مربوط توابع اولیه و ثانویه "Shaft_l"، "RadaLl"
و "Frame_l" در ساختار «SUP محور" است.
348 SRIKANTH M. KANNAPAN و کورت M. MARSttEK
به عنوان مثال، مشخصات از ارتباط "radaxbc (l_mtn> 2_mtn>، تبر. 1)" همسان
به یک گزاره به نمایندگی از ارتباطات در ASSOC و مجموعه مربوطه را از کردن Rel بازیابی
است که به سادگی {Radax}.
مشخصات همچنین می توانید عبارات به نمایندگی از توابع اولیه یک سیستم / کردن Rel مطابقت داشته باشد. برای
به عنوان مثال در نظر گرفتن خصوصیات رفتاری:
reqdbc (1 - ام تی ان>، 2_mtn>)
= roteq (l_mtn> 2_rntn)
و transeq (l_mtn> 2_mtn>).
conjuncts "roteq" و "transeq" به توابع اولیه در INCORP و همسان
خروجی SELECT است: {شفت، دنده، قاب}. انتخاب طراحی مطابق به وظایف اولیه
با با استفاده از INCORP و بازیابی سیستم / کردن Rel است استفاده مجدد "تابع" است، یعنی یک رفتار مشخص شده /
ارتباط با انتخاب سیستم / کردن Rel که استفاده شده است دقیقا همان هدف راضی
قبلا. در این مثال، "roteq" و "transeq" توابع اولیه که مورد استفاده قرار گرفت
قبلا در کتابخانه طراحی توسط "Shaft_l" در "حمایت شفت"، توسط "Gear_l" و "Gear_2" در
«Gearpair"، و "Frame_l" در "حمایت محور" است.
مثال های مشابهی را می توان برای تطبیق و بازیابی با عملکردهای ثانویه و بازیابی داده
از سامانه مربوطه را / نگارش انتخاب طرح با توابع متوسطه در INCORP "تابع است
استفاده از "، یعنی یک رفتار مشخص شده (ارتباطات) است به یک یا چند conjuncts همسان
بیان تعریف رفتار (ارتباطات) در کتابخانه طراحی است که یک سامانه (REL)
در کتابخانه طراحی شده است هرگز به منظور استفاده می شود.
11. روش تلفیقی
روش تلفیقی نیز (مانند SELECT) طول می کشد به عنوان ورودی آن خصوصیات رفتاری
(ارتباطات)، اما تلاش برای تولید شکل ساختمانها با استفاده از نمونه هایی از سامانه و rel
کتابخانه طراحی که تولید رفتار مشخص شده (ارتباطات). سه اولویت وجود دارد
در تولید ساختمانها:
(1) سازگاری ساختاری از سیستم در و rel در در ساختمانها باید مطمئن باشید
اولویت، یعنی یک سیستم را می توان با یکی دیگر از سیستم در REL-تنها در ارتباط
در صورتی که این تنظیمات در حال حاضر در برخی از ساختارها (struct) در طراحی کتابخانه وجود دارد.
(2) انتخاب طراحی با عملکرد استفاده مجدد ترجیح داده است بیش از تابع جدید با استفاده از، به عنوان مثال
ما ترجیح می دهند که به سامانه / کردن Rel است که در گذشته برای همین استفاده می شود را انتخاب کنید
هدف.
~ - ~ SELECT
شکل 12. طرح نمایندگی برای طراحی یک کتابخانه.
نمایندگی و استدلال در دستگاه طراحی 349
(3) بیش از حد عملکرد ترجیح داده است، به عنوان مثال بهتر است برای انتخاب یک سامانه تک / کردن Rel که
بیش از یک عملکرد ثانویه را در جلب رضایت رفتار مشخص داشته باشد
(ارتباطات).
یک مثال ساده سنتز طراحی با استفاده از تلفیقی تولید با استفاده از یک ساختار را نشان می دهد
اولویت های بالا. خصوصیات رفتاری:
reqdbc (l_mtn> 2_mtn> 3_mtn> 4_mtn> 5_mtn> ax.1، ax.2)
= rigidbc (l_mtn> 2_rntn>) (1)
و radaxbc (l_rntn> 5_mtn>، تبر. 1) (2)
و rigidbc (3_mtn> 4_rntn>) (3)
و radaxbc (3_mtn> 5_rntn> ax.2) (4)
و برابر (l_mtn / پوسیدگی / x، تبر 1.) -> AX-تغییرات پوسیدگی (l_mtn / پوسیدگی> 3_mtn/rot> ax.2) (5)
و برابر (3_mtn/rot/x، ax.1) -> AX-تغییرات پوسیدگی (3_mtn/rot> ها، l_rntn / پوسیدگی> ax.1). (6)
روش مستقیم استفاده می شود در تولید یک ساختار برای مشخصات فوق این است که (الف) هر یک
متصل در بیان فوق و درخواست انتخاب کنید، (ب) را به مجموعه و در نتیجه سیستم / کردن Rel و
ایجاد نمونه های منحصر به فرد از سامانه / کردن Rel و (ج) اتصال از بنادر Sys-in/Rel-in توسط Peqs و

شکل
مورد).

شکل

(A) (ب)

2

(c)
شکل 13.
12.
برخی از

اسمیت و همکاران.

[25].

13. نتیجه گیری

با عرض معذرت -- این متن ترجمه ی گوگله

اینو اول گذاشتم
کسانی که مثل من انگلیسی نمیدونن بتونن بخونن و هرچیزی از این مقاله فهمیدن بنویسن
منم بعد از خوندنش میخواستم هرچی فهمیدم بنویسم ولی چیز زیادی ازش دستگیرم نشد!
راستش 1چیزایی فهمیدم
ولی نه اونقدری که توضیح بدم!