نگاشت کانتورهای خروجی نرم افزارهای سیالاتی بعنوان ورودی نرم افزار تحلیل سازه هوافضا، مانند بالکها و ریدومهای سرامیکی، ضروری است. لذا، الگوریتم FACL جهت تهیه فایل ورودی نرم افزار آباکوس بوسیله نگاشت کانتورهای خروجی نرم افزار فلوئنت، تهیه میگردد. به دلیل لحاظ نشدن، اثرات شیمیایی شوک، نتایج دمایی، نرم افزار فلوئنت، انحراف زیادی با نتایج تجربی دارد. لذا، ابتدا کد شبیه ساز دمایی، تدوین و نتایج آن با...

یکی از مهم ترین مسائلی که طراحان نرم افزار با آن روبرو هستند، تست نرم افزار است. تست نرم افزار با استفاده از ابزارهای پیش از کد نظیر مدل و مشخصات به توسعه دهندگان نرم افزار این امکان را می دهد که دنباله های تست را پیش از تولید کد و به موازات آن تولید کنند. به این روش، تست مبتنی بر مدل می گویند. روش های زیادی برای این منظور ارائه شده اند که از مدل هایی نظیر ماشین های حالت متناهی یا مدل های فرم...

روش رادار نفوذی زمین (gpr) روشی غیرمخرب برای موقعیت یابی اشیاء مدفون یا مرز بین سطوح است. با استفاده از این روش می توان اهداف فلزی و غیرفلزی را در یک زمینه غیررسانا یا نسبتاً رسانا شناسایی کرد. این روش در بسیاری از فعالیت های مهندسی به خصوص ژئوتکنیک، بررسی خاک، زمین شناسی، شناسایی حفره ها، یافتن موقعیت کانال های مدفون و لوله ها، تحقیقات باستان شناسی، بررسی منابع آب های زیرزمینی کم عمق و آلودگی ه...

در این پایان نامه، به منظور بررسی رفتار مصالح دانه ای، شبیه سازی آزمایش سه محوری زهکشی شده به روش المان منفصل توسط نرم افزار pfc3d انجام گرفته است. در این راستا از دو نوع مرز جانبی صلب و انعطاف پذیر جهت شبیه سازی آزمایش استفاده شده است. صحت عملکرد مدل شبیه سازی شده با مرز جانبی انعطاف پذیر از طریق مقایسه با نتایج آزمایش مورد ارزیابی قرار گرفته است و پس از صحت سنجی مدل، مقایسه ای بین نتایج حاصل...

طراحی نرمافزارهای بزرگ، فعالیتی بسیار پیچیده و مشکل است. در واقع طراحی یکی از سختترین وظایف در فرآیند توسعه نرمافزار میباشد. محققین در فرآیند تولید نرم افزار به دنبال افزایش سطح خودکارسازی می باشند، دلیل این امر این است که خودکارسازی سبب می گردد تا انجام فرآیند طراحی بدون نیاز به طراحان متخصص صورت گیرد. خودکارسازی طراحی نرمافزار با روش های معمول رایج امکانپذیر نیست زیرا در طراحی با فضای جستجوی ...

در این پایان نامه روشی برای ارزیابی بردارهای آزمون ارائه شده است که بوسیله آن می توان مقداری از هزینه آنرا کاست. عملکرد روش ارائه شده بدین صورت می باشد، که با شبیه سازی در سطح بالا از توصیف مدار(که در اصل شبیه سازی سریعی می باشد)، تخمینی از قابلیت مجموعه بردارهای آزمون اعمال شده ، در سطح پائین توصیف مدار، بدون احتیاج به شبیه سازی در آن سطح(که شبیه سازی کندی می باشد) بدست می آید.

هدف محقق از پژوهش حاضر مقایسۀ متغیرهای جمعیت شناختی، فرهنگی، و مذهبی زوج های عادی و متقاضی طلاق در شهر تهران است و جامعۀ آماری این پژوهش را زوج های متقاضی طلاق مراجعه کننده به دادگاه خانواده در شهر تهران و زوج های عادی تشکیل می دهند. نمونۀ اولیه شامل 156 زوج متقاضی طلاق و 164 زوج عادی بود و پس از ریزش 132 زوج متقاضی طلاق و 132 زوج عادی باقی ماندند. پرسش نامۀ تحقیق شامل دو پرسش نامه (جمعیت شناخت...

هدف محقق از پژوهش حاضر مقایسۀ متغیرهای جمعیت شناختی، فرهنگی، و مذهبی زوج های عادی و متقاضی طلاق در شهر تهران است و جامعۀ آماری این پژوهش را زوج های متقاضی طلاق مراجعه کننده به دادگاه خانواده در شهر تهران و زوج های عادی تشکیل می دهند. نمونۀ اولیه شامل 156 زوج متقاضی طلاق و 164 زوج عادی بود و پس از ریزش 132 زوج متقاضی طلاق و 132 زوج عادی باقی ماندند. پرسش نامۀ تحقیق شامل دو پرسش نامه (جمعیت شناخت...

-1 در گذشته، حقوق اشخاص به دو دسته عینی و دینی تقسیم می شده است . حقوق عینی رابطه مستقیم بین شخص و شیء مادی بود و حقوق دینی رابطه بین دو شخص . منتها در تحولات زندگی اجتماعی حقوق نوع سومی به منصه ظهور رسید. حقوقی که در قالب هیچ یک از اقسام شناخته شده جای نمی گرفت . برخلاف حقوق عینی، موضوع مادی نداشته و برخلاف حقوق دینی، فاقد یک متعهد مستقیم می باشد. با این حال، از نظر اجتماعات امروزی، حقوقی بسیا...

پیش بینی و تصمیم گیری صحیح در مدیریت و حفاظت از منابع آب نیازمند در دست داشتن برآوردهای درست و مطمئن از بارندگی است. لذا بررسی صحت داده‏های سری‏های زمانی قبل از آغاز تحقیق، یک بخش معمول و اجتناب ناپذیر در مطالعات هیدرولوژی و منابع آب است. برای این منظور، سری زمانی داده‏ها با استفاده از آزمون‏های آماری مورد ارزیابی قرار گرفته و در صورت نیاز، ناهمگنی‏ها و نوسانات نامحتمل داده‏ها اصلاح و یا حذف می...