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

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

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

تطابق بین نظریه میدانها در فضای آنتی دوستیر(1+ ‏‎d‎‏) بعدی و نظریه میدانهای همدیس در ‏‎d‎‏ بعد از جنبه های مختلف در سالهای اخیر مورد مطالعه قرار گرفته. این تطابق برای نظیه پیمانه ای فوق همدیس در حد ‏‎n‎‏های بزرگ و فوق گرانش در فضای ‏‎ads d+1‎‏ حدس زده شده است. تابع پارش را برای هر میدان روی 1 + ‏‎ads d بصورت زیر تعریف می کنیم.میدان روی مرز 1+‏‎ads d است و انتگرال گیری روی است که وقتی از حجم 1+ ...

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

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

این مطالعه به بررسی ویژگی های زیست چینه ای و مجموعه های فرامینیفری توالی های الیگوسن (سازند آسماری) در چهار برش چینه شناسی شول، کفترک، دارنگون و نورآباد در حوضه فارس پرداخته است. بر اساس پخش و پراکندگی فرامینیفرها در برش های مورد مطالعه سه زیست زون تجمعی (روپلین-چاتین) شناسایی شد که عبارتند از: . nummulites vascus-nummulites fichteli, lepidocyclina-operculina-ditrupa, archaias asmaricus/hensoni...

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

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

تأثیر ضخامتهای مختلف کور زیرکونیا بر تطابق لبه ای رستوریشن های تمام سرامیک    دکتر عزت اله جلالیان1- دکتر مونا صادق2 – دکتر صدیقه معصومی3 – دکتر شهریار جلالیان 4   1- دانشیار گروه آموزشی پروتزهای دندانی دانشکده دندانپزشکی دانشگاه آزاد اسلامی واحد تهران، تهران، ایران   2- استادیار گروه آموزشی اندودنتیکس دانشکده دندانپزشکی دانشگاه علوم پزشکی تهران، واحد پردیس بین الملل، تهران، ایران   3- دندانپزش...