پياده سازي روش Monte-Carlo جهت تخمين عدد Pi
زبان Java
Developed by : Kc
@de_coder

توضيح روش
@de_coder

خروجي برنامه
@de_coder

سلام دوستان شب بخير

ما يه كانال درست كرديم كه توي اون يك سري از مباحث ديتابيس 2 يا ديتابيس پيشرفته رو از روي كتاب سيلبرشاتز با وويس توضيح ميديم كه ميتونه
براي دوستان علاقه مند مفيد باشه

-Transactions and concurrency control
-Index and Hashing
-Query Processing
-Queey Optimization

لينك كانال : @idbms

مطالب اين كانال توسط يكي از اعضاي تيم تهييه شده
@de_coder

Java 12 Released!

https://www.oracle.com/technetwork/java/javase/overview/index.html

@de_coder

تا حدود يك ساعت ديگه اولين تصوير از نزديك ترين سياه چاله به سياره ما منتشر ميشه
يه كنفرانس خبري در اروپا اين رويداد رو به طور زنده پوشش ميده
از لينك زير ميتونيد حدود 70 دقيقه ديگه اين كنفرانس رو به طور Live Stream مشاهده كنيد
(توصيه ميشه اپليكيشن youtube تون آپديت باشه)

https://youtu.be/Dr20f19czeE

@de_coder

شروع شد

The history is splited in 2 parts , Before the Image and after the image
@de_coder

💠 کانون کارآفرینی دانشگاه تهران جنوب برگزار می‌کند:

دوره 🔰 طراحی وب سایت 🔰 با رویکرد اشتغال

از علاقمندان تقاضا می‌شود جهت ثبت نام به آیدی ادمین کانون کارآفرینی پیام دهند.

🔸🔷 @karafarini_tj_admin 🔷🔸

‼ ظرفیت محدود ‼

#کانون‌کارآفرینی

🆔 @karafarini_tj

Automata Theory , Languages and Computation

@de_coder

در رشته علوم کامیپیوتر ( منظور از علوم کامپیوتر همان رشته Computer Science می باشد که تنها رشته تحصیلی در مقطع کارشناسی یا bachelor در زمینه کامپیوتر است که در دانشگاه های برتر دنیا ارائه می شود و با رشته علوم کامپیوتر که در دانشگاه های ایران ارائه می شود متفاوت است) درسی وجود دارد به اسم Languages and Automa Theory and Computations که در دانشگاه های ایران این درس با نام نظریه زبان ها و ماشین ها شناخته می شود . یکی از درس های مهم و base رشته علوم کامپیوتر می باشد به طوریکه اگر دانشجویان این رشته نتوانند به خوبی از پس درک و فهم این درس بر بیاید در ادامه کار با مشکلات زیادی رو به رو خواهند شد ( اما در ایران شاید به نظر برسد این حرف درست نیست )

سرفصل های پیشنهادی وزارت علوم برای این درس به این صورت است :
-مقدمه ای بر مباحث اولیه ریاضی مثل منطق و روش های اثبات
-معرفی انواع Automata
-معرفی انواع زبان ها
-مباحث Context-free Language
-مباحث Regular Lanuage
-مقدمه ای بر Computation Theory
-معرفی ماشین تورینگ و تئوری چرچ تورینگ و NP Hard و ...

کتاب های پیشنهادی وزارت علوم هم کتاب پیتر لینز و مایک سیپسر می باشد

دانشگاه Stanford که یکی از بهترین دانشگاه های دنیا در زمینه علوم کامپیوتر می باشد این درس را تحت عنوان دوره ی CS154 رائه می دهد و مدرس این دوره یکی از بهترین نویسنده های کتب های رشته علوم کامپیوتر یعنی Jeffrey D. Ullman می باشد

دوستان علاقه مند میتوانند از طریق لینک زیر ثبت نام کرده و به طور رایگان به تمامی منابع این دوره مانند جزوات اسلاید ها و تکالیف و امتحانات و از همه مهم تر "فیلم های ضبط شده این دوره" دسترسی داشته باشند و استفاده کنند

https://lagunita.stanford.edu/courses/course-v1:ComputerScience+Automata+SelfPaced/about

@de_coder

جلسه اول دوره CS154 یا همان Automata Theory - مدرس Jeffrey Ullman دانشگاه Stanford
@de_coder

زیرنویس انگلیسی جلسه اول CS154
@de_coder

يكي از مواردي كه دكتر ullman توي اين جلسه بهش اشاره ميكنه اين هستش كه افرادي كه روي يه سري مباحث از اين درس كار كردن و تونستن نتيجه تحقيقاتشون رو عملي كنند چه كساني بودن

يكي از اون افراد ken thompson بود. نام ايشون رو همه بخاطر ساخت Unix در خاطر دارند. سيستم عاملي كه با رهبري ايشون و آقاي dennis ritchie در مركز تحقيقات Bell Labs ساخته شد
تحقيقات ايشون در زمينه Regular Expressions منجر به نوشتن الگوريتم هايي شد براي تبديل كردن unix commands به program

نفر ديگر آقاي Jim Gray بود كه با مطالعه و تحقيق روي مبحث Push Down Automat موفق به كشف روش two phase locking براي مديريت concurrency control در DBMS ها شد

هر دوي اين دانشمندان بخاطر زحمات خود موفق به دريافت جايزه ACM Turing Awards شدن كه اين جايزه با ارزش ترين و مهم ترين جايزه اي هست كه يك computer scientist ميتواند در طول عمر خود كسب كند

اين موضوع قابل تأمل است كه به راستي چرا در دانشگاه هاي ايران حتي مدرسين درس نظريه زبان ها و ماشين ها ارزشي براي مطالب آن قائل نيستند و نميتوانند جايگاه اصلي اين درس را براي دانشجويان خود مشخص كنند

@de_coder

RFC
@de_coder

کسانی که در دنیای شبکه و ارتباطات کار میکنن قطعا به این مورد بر خوردن .

شاید تا حالا از خودتون پرسیده باشید شبکه ها یا اینترنت چگونه کار میکنند یا استانداردی برای شبکه و ارتباطات وجود داره ؟

خب اینجاست که شما به مقوله اي به نام RFC برخورد میکنید .

درواقع RFC به مجموعه ای از document ها گفته میشه یا بصورت تجربی هستند یا بصورت علمی یا یک شخص آنهارو نوشته یا یک organization آنهارو به تحریر در آورده.

خب نحوه مشخص کردن و تمایز قائل شدن برای RFC به این صورت است که عبارت RFC نوشته میشود و در ادامه چندین عدد اضافه میشود. مثلا:
RFC 2516 (PPPoE)
RFC 7414 (roadmap for TCP)
حالا هر کدوم از rfc ها درباره یک موضوع جدا صحبت میکنند البته ناگفته نماند که بعضی از آنها نیز در ادامه یا نسخه جدید تری از rfc قبلی هستن یا کلا یک موضوع یا پروژه جدا را بیان کرده اند .

حالا چرا یک rfc جدا برای نسخه جدید تر اختصاص میدهند ؟ چون rfc های نوشته شده دیگه نمیتوانند تغیر کنند و وقتی publish شوند دیگه تغیر ناپذیرند ونسخهای جدید تری از آن به عنوان rfc جدید تر منتشر میشوند.

همانطور که گفته شد rfc ها رو اشخاص هم میتوانند بنویسند ، اما این اشخاص چه کسانی هستند ؟ معمولا و اغلب کسانی که باعث ساخت اون پروژه شدند و یا مسئول اون پروژه بودند آنهارو مینویسند.

حالا چه سازمان ها یا نهاد هایی rfc نوشته اند ؟
Internet Engineering Task Force (IETF)
Internet Research Task Force (IRTF)
Internet Architecture Board (IAB)

البته نا گفته نمونه بیشتر و معروف تر از همشون IETF هستش سایت تیم IETF تمام RFC ها رو پشتیبانی میکنه و شما میتونید از این سایت بخوانید.

اما پشتیبان این سازمان ها و یا نهاد ها چه کسانی هستند ؟
گروهی به نام ISOC یا به عبارت دیگه
Internet Society

گروه ISOC چه گروهی هستن ؟
بعد از اینکه شبکهای ARPANET و DARPANET منحل شدن سازندگان این شبکها گرد هم آمده و تشکلی گروهی موصوم به ISOC را دادند .

آیا خواندن rfc ها نیاز به تخصص و یا دانش قبلی میباشد ؟ بله ، شما باید حتما اطلاعاتی درباره شبکه داشته باشید اما این اطلاعات در حد مبتدی هم باشد کافیست چون این rfc ها فقط بیان کننده پروژه هستند و جزئات آن هستند .

حالا این پروژهایی که میگیم یعنی چی؟
منظور از پروژها به عنوان مثال پروتکل های شبکه در لايه هاي مختلف هستند تمام پروتکل های شبکه rfc دارند و از این طریق به صورت بین المللی استاندارد میشن و باید این استاندارد ها رو شرکتها لحاظ کنند البته همه ی RFC ها استاندارد نیستند و همانطور که گفته شد میتوانند تجربی ویا عملیاتی ( تمرینی ) هم باشند .
@de_coder

ISM @de_coder

intimate shared memory (ISM)
یک مکانیزم بهینه سازی است که ابتدا در Solaris 2.2 معرفی شده است.
این مکانیزم به منظور share کردن Translation table ها درگیر در ترجمه آدرس Virtual به Physical برای Page های حافظه مشترک به وجود آمده .

به طور معمول، سیستم های غیر ISM یک mapping در Process برای Page های حافظه مشترک را حفظ می کنند. با بسیاری از Process های متصل به حافظه مشترک، این طرح مقدار زیادی از mapping های بیش از حد را به Page های فیزیکی مشابهی ایجاد می کند. که Kernel باید maintain کند
یعنی به عبارت دیگر این مکانیزم از redundant شدن این mapping ها به ازای هر process جلوگیری میکند .


@de_coder

با سلام خدمت همه همراهان عزيز و ارجمند تيم Decoder

به زودي سايت ما آماده خواهد شد و از اين به بعد كتاب ها و فيلم هاي آموزشي و سورس كد هاي جديد و آرشيو موجود در كانال هاي مان را در آن قرار خواهيم داد

با تشكر از صبر و همراهي شما عزيزان كه با توجه به كم كاري تيم ما در سال اخير هنوز هم همراه ما هستيد 🙏🏻🌺

@debrary
@de_coder
@detube

شبیه سازی تکنیک Multiplexed I/O به روش سیستم کال select
زبان C
Developed by : mhmv
@de_coder

شبیه سازی تکنیک Multiplexed I/O به روش سیستم کال poll
زبان C
Developed by : mhmv
@de_coder