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

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

اسکلتهای الگوریتمی1 به عنوان شیـوه ای برای برنامه نویسی موازی درسالهـای اخیرمورد توجه محققان قرارگرفته است. با استفاده ازاین شیوه ، برنامه نویس می تواند با بهره گیری از یک سری الگوهای پیش ساخته، الگوریتم خود را پیاده سازی کند. دراین مقاله مجموعه ای از الگوهای پیش ساخته با الهام از این شیوه برای پیاده سازی الگوریتمهای ژنتیکی موازی طراحی شده است . برای هریک از الگو های پیشنهادی، مدل کارایی2 محاسب...

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

چکیده ندارد.

چکیده ندارد.

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

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

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...