سفر خاک



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

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

ادامه مطلب


همانطور که احتمالا می دانید

NGINX دارای یک سری امکانات است که در قالب ماژول بارگذاری می شوند. یکی از این ماژول ها، وضعیت سرور NGINX در قالب یک صفحه html نشان می دهد. (ماژول


در این پست علاوه بر معرفی این ماژول تغییراتی که در آن برای پشتیبانی از خروجی JSON داده شده است را بیان کرده ایم.

ادامه مطلب


یکی از مسایلی که در مورد مجازی سازی با آن مواجه هستیم ساخت و راه اندازی سریع ماشین مجازی است. اساسا یکی از دلایل به وجود آمدن Container همین سنگین بودن ماشین های مجازی است. Container به عنوان یک محیط ایزوله، برنامه کاربردی و کلیه نیازمندی های آن را به همراه داشته و بر روی سیستم عامل میزبان اجرا می شود. هر Container از بسیاری از جهات شبیه ماشین مجازی است. در مورد Container و مطالب مرتبط با آن نظیر Docker بسیار صحبت شده است.
 
آنچه به‌عنوان مزیت برای Container مطرح می‌شود (سرعت ساخت و راه‌اندازی) بی هزینه نیست. یکی از نقاط ضعف Container در مقایسه با ماشین مجازی ایزوله سازی ضعیف‌تر آن است؛ تا این حد که برای رسیدن به ایزوله سازی درست Container ها را در ماشین مجازی اجرا می‌کنند.» این مقاله بر روی مشکل سرعت ساخت و اجرای ماشین مجازی تمرکز کرده است. مجموعه راهکارهای ارائه‌شده در این مقاله منجر به ساخت ایستمی مبتنی بر Xen شده است که در آن یک ماشین مجازی در زمان ۲.۳ میلی‌ثانیه بوت (سریع‌تر از Docker!) می‌شود.

ادامه مطلب


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

مشخصات مقاله

نوع: کنفرانس (

IJCAI 18)

نویسنده:

Rui Yan

لینک دانلود مقاله:

اینجا

مسئله

هوش مصنوعی مکالمه (

Conversational AI) یک حوزه پژوهشی در حال رشد و مهم است. از کجا فهمیدیم که مهمه؟! جدا از بررسی تعداد مقالات منتشر شده در این زمینه در چند سال اخیر، کافیه یه نگاه به نمودار

چرخه hype گارتنر بندازید و موقعیت هوش مصنوعی مکالمه (تحت عنوان Chatbots) رو در این نمودار پیدا کنید.

ادامه مطلب


شما اگر به رفتار کودک توجه کنید می بینید هی از شما (که

ادامه مطلب


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

می خواهیم یه تغییراتی در NGINX بدیم. این تغییرات در درجه اول با هدف آشنایی با کد منبع این وب سرور انجام میشه و در مراحل بعدی امکاناتی رو به اون اضافه می کنه.

کد منبع NginX به صورت فقط خواندنی در Github وجود دارد. برای شروع در این پست فرایند کامپایل و ساخت NGINX را بر روی سیستم عامل

Ubuntu Server 18.04 LTS بررسی می کنیم. در پست های بعدی

ادامه مطلب


مسئله

پارامتری هست در سخت افزار برای بیان احتمال خرابی (failure) کل سیستم در اثر خطاهای نرم (soft errors) به اسم فاکتور آسیب پذیری (Vulnerability Factor)؛ خطای نرم به تغییر گذرای یک بیت در پردازنده گفته می شود. این تغییر گذرا می تواند منشاء داخلی و یا خارج از تراشه (ذرات کیهانی، فتون ها، نوترون های کم انرژی) داشته باشد. فاکتور آسیب پذیری میزان آسیب پذیری پردازنده را

ادامه مطلب


آخرین ارسال ها

آخرین وبلاگ ها

آخرین جستجو ها