کارگاه آموزشی طراحی،آزمون و وارسی نرم‌افزار

در آخرین روزهای بهار به همت دکتر بهمن زمانی و دکتر علی ابن نصیر یک کارگاه آموزشی دو روزه در دانشگاه اصفهان با عنوان «طراحی،آزمون و وارسی مدل‌مبنای نرم‌افزار» برگزار شد. در این کارگاه پیرامون مباحث زیر مطالبی خدمت دوستان ارائه شد:

ادامه مطلب

ماژول وضعیت NginX و تولید خروجی JSON

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

ادامه مطلب

بررسی مقاله: My VM is Lighter (and Safer) than your Container – ویدیو

یکی از مسایلی که در مورد مجازی سازی با آن مواجه هستیم ساخت و راه اندازی سریعماشین مجازی است. اساسا یکی از دلایل به وجود آمدن Container همین سنگین بودن ماشین های مجازی است. Container به عنوان یک محیط ایزوله، برنامه کاربردی و کلیه نیازمندی های آن را به همراه داشته و بر روی سیستم عامل میزبان اجرا می شود. هر Container از بسیاری از جهات شبیه ماشین مجازی است.

ادامه مطلب

بررسی مقاله: Chitty-Chitty-Chat Bot: Deep Learning for Conversational AI

بهترین واسط تعاملی میان انسان ها مکالمه است. اول که به هم میرسیم با گفتن سلام شروع می کنیم به مکالمه؛ خوب اگر واسط میان انسان و ماشین (بجای موس و کیبورد و …) به مکالمه گفتاری تبدیل بشه حس بهتری از برقرار ارتباط با ماشین پیدا می کنیم.

ادامه مطلب

بررسی مقاله: Learning by Asking Questions

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

ادامه مطلب

کامپایل و ساخت NGINX بر روی Ubuntu 18.04 LTS

همانطور که مستحضرید NGINX وب سروری است که از آن به عنوان پراکسی، سرور پراکسی ایمیل، متوازن کننده بار و کش سرور هم استفاده می شود. این وب سرور به صورت ماژولار طراحی شده و دارای ماژول های اصلی و شخص ثالث است. این وب سرور به زبان C پیاده‌سازی شده است.

ادامه مطلب

بررسی مقاله: gemV: A Validated Toolset for the Early Exploration of System Reliability

نوآوری مولفین مقاله تولید ابزار شبیه سازی به نام gemV مبتنی بر شبیه ساز gem5 است. در این مقاله نواقص کارهای قبلی (عدم جامعیت شبیه سازی‌ها) به طور اجمالی بررسی شده و با ارائه شبیه ساز gemV مشکل جامعیت شبیه سازی برای محاسبه فاکتور آسیب پذیری را حل می کند.

ادامه مطلب