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

منطق ارسطویی حس را، به عنوان نقطۀ شروع هر علم، تنها در همان زمان مشاهده یقین­آور می‌داند. علم حسی در دیگر زمان­ها و درباره موارد مشابه سکوت اختیار می­کند. جزم و یقین نیز در محدودۀ قیاس و روش قیاسی منحصر می­شود و دیگر روش­ها برای کسب اعتبار در نهایت باید به روش قیاسی بازگردانده شوند. علم حسی نیز برای توسعۀ دامنۀ یقین خود، در مسیر کسب اعتبار، روی به سوی قیاس دارد و در این مسیر باید از پل استقرا، ...

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

ساختار پایه ای به صورت پردازنده فازی آنالوگ دو-ورودی یک - خروجی با قابلیت پیکربندی دوباره بوسیله پالس های دامنه محدود آنالوگ و تولید کننده قواعد با استفاده از مدارات ساده با ترانزیستورهای mos ارائه شده است. یک روش ساده غیر فازی سازی با استفاده از مفهوم غیر فازیس سازی ماکزیمم پیشنهاد شده است شبیه سازی های hspice روی زیر مدارهای ساختار ارائه شده انجام شدهاست. برای کنترل سطح یک تانکر آب نیز شبیه س...

کتاب «طراحی پژوهش‌های اجتماعی: منطق پیش‌بینی» به‌منظور طراحی و انجام تحقیق کمی در علوم اجتماعی تألیف شده است و هدف اصلی از تألیف کتاب ارائه عناصر ضروری برای انجام پژوهش است. گویایی و اجتناب از تکلف از ویژگی‌های برجسته کتاب است. ارائه منطق کاوش‌های اجتماعی؛ تبیین نقش نظریۀ اجتماعی در پژوهش و ایجاد درک انتقادی از جمله مقاصد کتاب است. نگارنده کتاب، راهنمایی خود را با توضیح جزئیات روش پژوهش انجام د...

اثیرالدین مفضل بن عمر ابهری (؟656-؟597) دانشمند برجستۀ ایرانی است که در شاخه‌های مختلف علوم عقلی مقامی والا داشته است. مخطوط فاضل احمد پاشا 1618، که در کتابخانه‌ی کوپریلی استانبول نگهداری می‌شود مشتمل است بر چهار رساله از او، به نام‌های بیان الأسرار، تلخیص الحقائق، رسالة المطالع، و زبدة الحقائق، که هر یک سه‌گانه‌ای‌ست در منطق، طبیعیات، و مابعدالطبیعة. این رساله‌ها را کاتبی قزوینی از نسخه‌ی اصل ...

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

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

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

منطق، یکی از مهم‌ترین دلبستگی‌های مترجمان در نهضت ترجمة آثار یونانی ‌ـ سریانی به زبان عربی بود. اما آن‌چه ایشان محور کار خود قرار داده بودند مجموعه رساله‌های ارگانون ارسطو بود. در این دوره، «دیالکتیک» افلاتون، نه به طور مستقیم، بلکه با واسطة ارسطو به دست اعراب رسید. این واسطه، سبب شد که فهم دقیق این روش استنتاجی امکان‌پذیر نشود. درواقع، از همان روزهای آغازین ورود منطق به جهان عربی، منطق‌دانان ع...