کامپیوتر 90. الگوی برنامه نویسی منطق و زبان برنامه نویسی پرولاگ

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

کامپیوتر 51. مفاهیم اصلی در مورد اعتماد و اطمینان به سیستم

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

کامپیوتر 91. مدل زبانی پیگیری تاپیک (موضوع) برای تشخیص گفتار

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

کامپیوتر 48. معماری پایگاه داده

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

کامپیوتر 92. قرار گرفتن در مسیر معماری شبکه پروتکل کنترل نقل و انتقال/ پروتکل اینترنتی شناختی

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