سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

هدف پژوهش حاضر بررسی میزان رابطه و توان پیش بینی مؤلفه های سه گانه باورهای انگیزشی (خودکار آمدی، ارزش گذاری درونی و اضطراب امتحان) در ارتباط با عملکرد درس ریاضی دانش آموزان مقطع راهنمایی بود. نمونه پژوهش شامل تعداد 300 نفر از دانش آموزان (153 نفر از دختران و 147 نفر از پسران) پایه های اول، دوم و سوم راهنمایی بود که به شیوه نمونه گیری خوشه ای چند مرحله ای انتخاب و به بخش باورهای انگیزشی پرسشنامه...

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

مقدمه: پریتونیت باکتریال خود به خودی (sbp) یک عارضه شایع در بیماران با سیروز و آسیت است که مرگ ومیر داخل بیمارستانی بالایی، حتی با انجام اقدامات درمانی، دارد. تشخیص این بیماری با نوتروفیل بیشتر یا مساوی 250 در هر میلی لیتر مایع آسیت مسجل می شود. شمارش نوتروفیل ها به صورت دستی دشوار، زمان بر و هزینه بر است و در بسیاری از موارد وابسته به فرد است؛ در مقابل روش شمارش خودکار روشی آسان تر، سریع تر و ...

در پروژه‌های راهسازی به منظور کاهش آسیب رسانی به منابع محیط زیستی و نیل به اهداف توسعة پایدار، ناگزیر باید مشخصه‌های‌محیط زیستی در فرایند مسیریابی دخالت داده شوند.برای رسیدن به این هدف از مسیریابی به شیوة خودکار، با سامانه‌های اطلاعات جغرافیایی (GIS) استفاده ومسیر راه‌آهن رشت به انزلی به عنوان نمونه موردی انتخاب شد.در همین رابطه ابتدا مشخصه‌های تأثیرگذار بر مسیریابی راه‌آهن شناسایی شدند.این مشخ...

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

psychometric properties of automatic thoughts questionnaire and investigation of the relationship between automatic thoughts with cognitive emotion regulation and self regulated learning

هزینه های حمل و نقل با تخصیص دادن بین20% تا 50% از هزینه های عملیاتی به خود شرکت ها را با مساله داشتن یک سیستم حمل و نقل مناسب و مطابق با نیاز دنیای مدرن امروز روبه رو می سازد. لذا هرگونه صرفه جویی در این هزینه ها به شکل عمده ای روی کارایی کل سیستم ساخت و تولید تاثیر گذار می باشد. طراحی مسیر حرکت از موضوعات مهم در طراحی و کنترل سیستم های حمل و نقل اتوماتیک می باشد لذا جزء اولین مسائلی است ک...