آخرین مقالات|صفحه 18
الگوریتم برنامه ریزی گزاره ای SATPLAN
در رویه برنامه ریزی گزاره ای SATPLAN چون عامل نمیداند چند مرحله باید طی کند تا به هدف برسد، الگوریتم، هر تعداد ممکن از مراحل (t) را تست میکند تا به حداکثر طول ممکن برنامه ریزی، یعنی Tmax برسد. در این روش تضمین میشود که کوتاه ترین برنامه ریزی در صورت وجود پیدا شود
مفاهیم نگهداری نرم افزار
نگهداری نرم افزار : "دستکاری یک محصول نرم افزاری پس از آنکه تحویل داده شد برای تصحیح خطاها، بهبود کارایی و یا سایر صفات، و یا تطبیق محصول برای یک محیط تغییر یافته.
ساختمانها در زبان برنامه نویسی سی پلاس پلاس ++C
ساختمان مجموعه ای از عناصر است که میتوانند همنوع نباشند و مانند کلاسها میتوانند برای تعریف اشیا به کار گرفته شوند.
معیارهای طراحی ماژولار نرم افزار
طراحی ماژولار، پیچیدگی را کم و اعمال تغییرات را آسان میکند و نتیجه نهایی را میتوان بصورت همزمان توسط چند سیستم توسعه داد. معیارهای طراحی ماژولار نرم افزار عبارتنداز: استقلال عملکردی،همبستگی و جفت شدن و...
الگوریتم جست وجوی محلی WALKSAT
الگوریتم WALKSAT خانواده ای از الگوریتم های کارآمد در استنتاج گزاره ای مبتنی بر بازرسی مدل است که در هر تکرار یک کلاز ارضا نشده را انتخاب میکند و نمادی را از کلاز انتخاب میکند تا تغییر دهد.
ساختمان داده درختهای قرمز - سیاه red-black tree
ساختمان داده درختهای قرمز - سیاه RBT یکی از درختهای متوازن، که زمان جست وجو در آن مناسب میباشد است که راه حلی برای مسئله اداره کردن درختهای جست وجویی نامتوازن هستند.
دستورات پیش پردازنده در زبان سی پلاس پلاس ++C
پیش پردازنده، نوعی مترجم است که دستورات توسعه یافته ای از یک زبان برنامه نویسی را گرفته، به دستورات قابل فهم برای کامپایلر همان زبان تبدیل میکند.
معرفی HTML5 برای طراحی وب سایت
HTML5 یک زبان نشانه گذاری برای توصیف اسناد وب (صفحات وب) است و در مقایسه با HTML عناصری از آن حذف شده اند و برچسب های جدیدی نیز به آن اضافه گردیده اند.