قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

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

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

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

هدف این مقاله بررسی عوامل موثر بر بازار عرضه و فروش نقاشی در ایران است. در تحقیق مذکور، عوامل به چهار دسته تقسیم شده اند که عبارتند از: 1) ویژگی های فردی و اجتماعی هنرمند 2) ویژگی های بصری و زیباشناختی تابلوهای نقاشی 3) نقش نگارخانه ها و واسطه ها و 4) قیمت گذاری و سازوکار بازار. برای دست یابی به این هدف، به مطالعه میدانی عرضه و فروش تابلوهای نقاشی در نگارخانه ها، گالری ها و نمایشگاه های تهران پ...

هدف این مقاله بررسی عوامل موثر بر بازار عرضه و فروش نقاشی در ایران است. در تحقیق مذکور، عوامل به چهار دسته تقسیم شده‌اند که عبارتند از: 1) ویژگی‌های فردی و اجتماعی هنرمند 2) ویژگی های بصری و زیباشناختی تابلوهای نقاشی 3) نقش نگارخانه ها و واسطه ها و 4) قیمت گذاری و سازوکار بازار. برای دست یابی به این هدف، به مطالعه میدانی عرضه و فروش تابلوهای نقاشی در نگارخانه ها، گالری ها و نمایشگاه های تهران پ...

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

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

یکی از سیستم های مناسب جهت کاربرد در ساختمانهای بتنی استفاده از قاب خمشی بعلاوه دیوار برشی می باشد. قابل ملاحظه دیوارهای برشی بهمراه اندر کنش قاب و دیوار باعث می شود که تغییر مکان جانبی قابهای خمشی به مقدار بسیار زیادی محدود گردد. با استفاده از این نوع سیستم سازه ای می توان ساختمانهایی با ارتفاع بیش از 50 طبقه را طراحی نمود اما با توجه به نوع رفتاری که قاب خمشی و دیوار به تنهایی از خود به نمایش...