موضوع: بلاگ

شرح توابع سیستم را با استفاده از نمودار Sequence اصلاح کنید

ما شرح عملکردهای سیستم را با استفاده از نمودار Sequence روشن می کنیم (ادامه "Squirrels") در این مقاله به نحوه جزئیات (روشن کردن) شرح عملکرد خودکار با استفاده از نمودار توالی UML - نمودار توالی نگاه خواهیم کرد. در این مثال، من از محیط Enterprise Architect از شرکت استرالیایی Sparx Systems [1] استفاده می کنم. مشخصات کامل UML را اینجا ببینید [2]. برای شروع، اجازه دهید توضیح دهم که ما […]

آزمون: چگونه با الزامات پردازش داده های شخصی مطابقت می کنید؟

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

انتخاب تلویزیون برای خود، عزیزتان، از نقطه نظر علمی، نه تبلیغاتی

سلام به همه. با اختلاف نظر در مورد انتخاب تلویزیون، من را وادار به نوشتن این مقاله کوتاه کرد. اکنون در این زمینه - و همچنین در "مگاپیکسل برای دوربین ها" - یک باکانالی بازاریابی در تعقیب وضوح وجود دارد: HD Ready مدتهاست که با Full HD جایگزین شده است و 4K و حتی 8K در حال حاضر به طور فزاینده ای محبوب شده اند. بیایید آن را بفهمیم - چه کنیم […]

روباتی برای فرود ایمن از ارتفاع بدون چتر نجات معرفی شده است

گروهی از مهندسان دانشگاه برکلی، Squishy Robotics و توسعه دهندگان ناسا، آزمایش میدانی یک ربات "به شکل انعطاف پذیر" را برای فرود ایمن از ارتفاعات بدون چتر نجات آغاز کرده اند. در ابتدا، چنین روبات‌هایی مورد توجه دانشمندان آژانس تحقیقات فضایی و هوانوردی قرار گرفتند، زیرا از فضاپیمای روی تیتان، یکی از قمرهای زحل، پرتاب شدند. اما روی زمین نیز کاربردهای زیادی برای روباتیک وجود دارد […]

دل فروش لپ تاپ های Alienware m15 و m17، G5 15 (5590) و G7 17 (7790) و همچنین Alienware Aurora R8 PC را در روسیه راه اندازی کرده است.

دل آغاز فروش کامپیوترهای گیمینگ جدید معرفی شده در CES 2019 - لپ تاپ های Alienware m15 و m17، G5 15 (5590) و G7 17 (7790) و همچنین Alienware Aurora R8 PC را در روسیه اعلام کرده است. لپ‌تاپ‌های Alienware m15 و Alienware m17 مجهز به پردازنده‌های نسل هشتم اینتل Core i5 و i7 هستند که […]

سونی تا عرضه پلی استیشن 5 بیش از 100 میلیون کنسول PS4 به فروش می رساند

سونی گزارش های سال مالی خود را منتشر کرد که در 31 مارس 2019 به پایان رسید. بر اساس داده‌های ارائه شده، می‌توان نتیجه گرفت که با وجود کاهش جزئی در فروش سخت‌افزار پلی‌استیشن 4، خود کنسول همچنان با نرخ قابل‌توجهی به فروش می‌رسد. در حال حاضر، 96,8 میلیون نسخه از PS4 در سراسر جهان فروخته شده است، که به این معنی است که کل […]

مرکز علمی و فنی "ماژول" یک گیرنده برای ناوبری با دقت بالا ارائه کرد

یکی از بزرگترین توسعه دهندگان روسی، مرکز علمی و فنی "Module" به ناوبری آمد. تا پیش از این، دارایی های این مرکز شامل کنترل کننده ها و ریزپردازنده ها برای طیف وسیعی از اهداف بود. حوزه فعالیت جدید تجربه و پیشنهاد توسعه دهندگان روسی را گسترش می دهد. به طور خاص، ماژول قرار است وارد بازار دستگاه های ناوبری با دقت بالا شود و انتظار دارد تا سال 2024 15 تا 18 درصد از این بازار را در روسیه اشغال کند، […]

کارت‌های ویدئویی آینده اینتل با معماری گرافیکی یکپارچه متحد خواهند شد

در گزارش سالانه، که برای اولین بار در فوریه سال جاری در وب سایت اینتل ظاهر شد، این شرکت، به دلایلی نه کاملاً واضح، راه حل گرافیکی گسسته در حال توسعه را "اولین راه حل در تاریخ خود" نامید، اگرچه کارشناسان توسعه صنعت ممکن است به یاد داشته باشند که اینتل در اواسط دهه نود قرن گذشته شانس خود را با کارت های ویدئویی مجزا امتحان کرد. اساسا، توسعه یک راه حل گرافیکی گسسته […]

Windows 10 حداقل به ۳۲ گیگابایت «رشد خواهد کرد»

مایکروسافت زمانی اعلام کرد که از حدود 7 گیگابایت فضای روی هارد دیسک کاربر برای ذخیره فایل های به روز استفاده می کند. مزیت این روش این است که تضمین می کند که در میانه یک به روز رسانی، فضای خالی شما تمام نشود. نقطه ضعف آن پیش پا افتاده است - فضای کافی در تبلت ها و لپ تاپ های ارزان قیمت وجود ندارد. اگر قبلا حداقل نیاز […]

تأیید رسمی با استفاده از مثال مشکل گرگ، بز و کلم

به نظر من، در بخش روسی زبان اینترنت، موضوع تأیید رسمی به اندازه کافی پوشش داده نشده است، و به ویژه کمبود مثال های ساده و واضح وجود دارد. من یک مثال از منبع خارجی می زنم و راه حل خودم را به مشکل معروف عبور گرگ، بز و کلم به آن سوی رودخانه اضافه می کنم. اما ابتدا به طور خلاصه توضیح خواهم داد که تأیید رسمی چیست و چرا [...]

ایجاد یک سیستم تأیید رسمی از ابتدا. قسمت 1: ماشین مجازی کاراکتر در PHP و Python

تأیید رسمی تأیید یک برنامه یا الگوریتم با استفاده از برنامه دیگر است. این یکی از قدرتمندترین روش هایی است که به شما امکان می دهد تمام آسیب پذیری های یک برنامه را پیدا کنید یا ثابت کنید که وجود ندارند. شرح دقیق‌تری از تأیید رسمی را می‌توان در مثال حل مشکل گرگ، بز و کلم در مقاله قبلی من مشاهده کرد. در این مقاله من […]

آمار و نظارت بر اسکریپت های PHP در زمان واقعی. کلیک هاوس و گرافانا به کمک پینبا می آیند

در این مقاله به شما می گویم که چگونه به جای pinba_engine و pinboard از pinba با کلیک هاوس و گرانا استفاده کنید. در یک پروژه PHP، pinba شاید تنها راه قابل اعتماد برای درک آنچه با عملکرد اتفاق می افتد باشد. درست است، pinba معمولاً فقط زمانی اجرا می شود که مشکلات از قبل مشاهده شده باشد و مشخص نیست "کجا باید حفاری شود". اغلب هیچ کس نمی داند چند بار در ثانیه در دقیقه […]

خرید هاست قابل اعتماد برای سایت های دارای حفاظت DDoS، سرورهای VPS VDS 🔥 خرید هاستینگ معتبر با محافظت در برابر حملات DDoS، سرورهای VPS و VDS | ProHoster