نام پژوهشگر: مصطفی رضوانی

روشی توأمان برای جایابی و مسیریابی با هدف کاهش مجموع طول سیم و تراکم
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی امیرکبیر(پلی تکنیک تهران) - دانشکده مهندسی کامپیوتر 1386
  مصطفی رضوانی   مرتضی صاحب الزمانی

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

سبک شناسی کتب احتجاجی شیعه(احتجاج طبرسی – نهج الحق و کشف الصدق – الفین – الصوارم المهرقه و دلائل الصدق) در حوزه امامت
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده ادبیات و علوم انسانی 1392
  مصطفی رضوانی   محمدرضا حاجی اسماعیلی

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