Payamvdn/NorthPersian_fa_wiki huggingface dataset:
در مهندسی ریزموج و فرکانس رادیویی، یک شاخک یا شاخک تشدید طولی از خط انتقال یا موجبر است که فقط در یک انتها متصل است. انتهای آزاد شاخک یا مدارباز باقی مانده، یا اتصال کوتاه است (همان طور که همیشه برای موجبرها صادق است). با نادیده گرفتن تلفات خط انتقال، امپدانس ورودی شاخک کاملاً راکتانسی است. خازنی یا القاوری، وابسته به طول الکتریکی شاخک، و باز بودن یا اتصال کوتاه بودن مدار آن است؛ بنابراین، شاخک ها ممکن است به عنوان خازن، سلف و مدارهای تشدید در فرکانس های رادیویی عمل کنند. رفتار شاخک ها به دلیل امواج ایستاده در طول آنها است. خواص راکتانس آنها با طول فیزیکی آنها در رابطه با طول موج امواج رادیویی تعیین می شود؛ بنابراین، شاخک ها معمولاً در مدارهای یو اچ اف یا ریزموج استفاده می شوند که در آن ها طول موج ها به اندازه ای کوتاه هستند که شاخک به راحتی کوچک هستند. آنها اغلب برای جایگزینی خازن ها و سلف های مجزا استفاده می شوند، زیرا در فرکانس های یو اچ اف و ریزموج، اجزای فشرده به دلیل راکتانس پارازیتی ضعیف عمل می کنند. شاخک ها معمولاً در مدارهای تطبیق امپدانس آنتن، فیلترهای انتخابی فرکانس و مدارهای تشدید برای نوسان سازها
ی الکترونیکی یو اچ اف و تقویت کننده های آراف استفاده می شوند. شاخک ها را می توان با هر نوع خط انتقالی ساخت: خط رسانای موازی (که به آنها خطوط لچر گفته می شود)، کابل کواکسیال، خط نواری، موجبر و موجبر دی الکتریک. مدارهای شاخک را می توان با استفاده از نمودار اسمیت طراحی کرد، یک ابزار گرافیکی که می تواند تعیین کند از چه طول خطی برای به دست آوردن راکتانس مورد نظر استفاده شود. شاخک اتصال کوتاه. امپدانس ورودی یک خط اتصال کوتاه بی اتلاف برابر است با دراینجا بنابراین، بسته به اینکه آیا formula_7 مثبت یا منفی است، شاخک اتصال کوتاه به ترتیب سلفی یا خازنی خواهد بود. طول یک شاخک که به عنوان خازن در فرکانس زاویه ای formula_8 عمل می کند سپس به دست می آید با: طول یک شاخک برای عمل به عنوان یک سلف در همان فرکانس به صورت زیر داده می شود: که در هر دو معادله، عدد صحیحی از نیم طول موج ها (احتمالاً صفر) است که می تواند به طور دلخواه بدون تغییر امپدانس به خط اضافه شود. شاخک مدار باز. امپدانس ورودی یک مدار باز بی اتلاف با استفاده از دراینجا نمادها formula_12 و غیره استفاده شده در این بخش همان معنایی را دارند که در قسمت بالا آمده است.
نتیجه می شود که بسته به اینکه آیا formula_13 مثبت یا منفی است، شاخک به ترتیب خازنی یا سلفی خواهد بود. طول یک شاخک مدار باز که به عنوان یک سلف در فرکانس زاویه ای عمل می کند formula_8 است: طول یک شاخک مدار باز که به عنوان خازن در فرکانس یکسان عمل می کند: که در آن دوباره، یک عدد کامل دلخواه از نیم طول موج ها است که می تواند در تکه ای (شامل صفر) وارد شود. شاخک تشدید. شاخک ها اغلب به عنوان مدارهای تشدید در نوسان سازها و فیلترهای عناصر گسسته استفاده می شوند. یک شاخک مدار باز به طول formula_17 در فرکانس پایین دارای امپدانس خازنی خواهد بود که formula_18 . دربالای این فرکانس امپدانس سلفی است. دقیقاً در formula_19 شاخک یک اتصال کوتاه را نشان می دهد. این از نظر کیفی همان رفتار یک مدار تشدید سِری است. برای یک خط بی اتلاف، ثابت تغییر فاز متناسب با فرکانس است، که در آن "v" سرعت انتشار است و با فرکانس برای یک خط بی اتلاف ثابت است. برای چنین مُوردی فرکانس تشدید به دست می آید با: در حالی که شاخک ها به عنوان مدارهای تشدید عمل می کنند، آنها با مدارهای تشدیدکننده عناصر فشرده متفاوت هستند زیرا دارای فرکانس های تشدید متعددی هستند.
علاوه بر فرکانس تشدید اساسی formula_22 ، آنها در مضربی از این فرکانس formula_23 تشدید می کنند. امپدانس به طور یکنوا با فرکانس پس از تشدید مانند یک هماهنگی فشرده یکنواخت برخاست نخواهد کرد. تا جایی که formula_24 بالا می رود در آن نقطه مدار باز خواهد بود. پس از این نقطه (که یک نقطه پادتشدید است)، امپدانس دوباره خازنی شده و شروع به تنزل می کند. نزول آن یکنواخت تا formula_25 که دوباره یک اتصال کوتاه را نشان دهد، ادامه خواهد داشت. در این نقطه، عمل فیلترکردن شاخک انجام نمی شود. این پاسخ شاخک با افزایش فرکانس متناوب بین تشدید و پادتشدید تکرار می شود. این نه تنها یکی از ویژگی های شاخک، بلکه برای تمام فیلترهای عناصر گسسته است که فرکانس هایی وجود دارد که فراتر از آن فیلتر از کار می افتد و چندین باندگذر ناخواسته تولید می شود. به طور مشابه، یک اتصال کوتاه یک پادتشدیدگر در formula_26 است، یعنی به عنوان یک مدار تشدید موازی رفتار می کند، اما دوباره در formula_27 نزدیک شده است از کار می افتد. تطبیق سازی با شاخک. شاخک ها می توانند امپدانس بار را با امپدانس مشخصه خط انتقال تطبیق دهند. شاخک در فاصله ای از بار قرار می گیرد. این
فاصله طوری انتخاب می شود که در آن نقطه، قسمت مقاومتی امپدانس بار با عمل ترانسفورماتور امپدانس طول خط اصلی برابر با قسمت مقاومتی امپدانس مشخصه شود. طول شاخک به گونه ای انتخاب می شود که دقیقاً قسمت راکتیو امپدانس ارائه شده را حذف کند. با توجه به اینکه خط اصلی به ترتیب امپدانس سلفی یا خازنی را ارائه می کند، شاخک خازنی یا سلفی ساخته می شود. این با امپدانس واقعی بار یکسان نیست زیرا قسمت راکتیو امپدانس بار تحت تأثیر ترانسفورماتور امپدانس و قسمت مقاومتی قرار می گیرد. شاخک های تطبیق ساز را می توان قابل تنظیم ساخت تا تطبیق را بتوان در آزمایش تصحیح کرد. یک شاخک تنها در یک فرکانس خاص به تطبیق کامل می رسد. برای تطبیق پهنای باند ممکن است از چندین شاخک در امتداد خط انتقال اصلی استفاده شود. ساختار حاصل فیلترمانند است و فنون های طراحی فیلتر اعمال می شود. به عنوان مثال، شبکه تطبیق ممکن است به عنوان یک فیلتر چبیشف طراحی شود، اما به جای انتقال باندگذر برای تطبیق امپدانس بهینه شده است. تابع انتقال حاصل از شبکه دارای یک تموج باندگذر مانند فیلتر چبیشف است، اما تموج هرگز به ۰ دسی بل تلف نمی رسند، همان طور که برای فیلتر استاندارد ان
جام می شود. شاخک شعاعی. شاخک شعاعی یک قطعه مسطح است که از یک بخش از یک دایره به جای یک خط با عرض ثابت تشکیل شده است. آنها با خطوط انتقال مسطح در مواقعی که نیاز به امپدانس کم است استفاده می شود. خطوط با امپدانس مشخصه پایین نیاز به یک خط پهن دارند. با یک خط پهن، محل پیوند شاخک با خط اصلی در یک نقطه به خوبی مشخص نیست. شاخک های شعاعی با باریک سازی به نقطه ای در محل پیوند بر این مشکل غلبه می کنند. مدارهای فیلتر با استفاده از شاخک ها اغلب از آنها به صورت جفت استفاده می کنند که یکی به هر طرف خط اصلی متصل است. به یک جفت شاخک شعاعی که به این صورت به هم متصل هستند، "شاخک پروانه ای" یا "پاپیونی" می گویند.
قطعه شبکه قسمتی از شبکه های رایانه ای می باشد. ماهیت و اندازه یک قطعه به ماهیت شبکه و دستگاه یا دستگاه های دیگری که برای اتصال ایستگاه های پایانی استفاده می شوند بستگی دارد. اترنت. باتوجه به تعریف استانداردهای برای اترنت، قطعه شبکه یک اتصال الکتریکی بین دستگاه های شبکه با استفاده از یک است. در انواع اصلی اترنت های 10BASE5 و ، یک قطعه به تک کابل کواکسی و تمام دستگاه های متصل به آن همبستگی دارد. در این مرتبه از تکامل اترنت، چندین قطعه شبکه را می توان با تکرارگر ها (طبق برای اترنت ۱۰مگابیت) متصل کرد تا یک تصادم دامنه بزرگتر را تشکیل دهد. با ، قطعات الکتریکی همچون تنوعات دیگر اترنت با استفاده از تکرارگر یا هاب می توانند به هم متصل شوند. این مسئله با گستردگی شبکه OSI لایه ۱ همبستگی دارد و با تصادم دامنه معادل است. قانون ۵-۴-۳ بر این تصادم دامنه صدق می کند. با استفاده از سوئیچ ها یا پل ها، می توان چندین قطعه لایه-۱ را به یک قطعه لایه-۲ مشترک ترکیب کرد، یعنی همه گره ها می توانند از طریق آدرس دهی MAC یا پخش با یکدیگر ارتباط برقرار کنند. یک قطعه لایه-۲ معادل یک دامنه پخش است. با استفاده از VLAN می توان ترافیک درون یک
قطعه لایه ۲ را به پارتیشن های به طور مجازی مجزا تقسیم کرد. هر VLAN قطعه منطقی لایه-۲ خود را تشکیل می دهد. IP. یک قطعه لایه-۳ در یک شبکه IP یک زیرشبکه گفته می شود که متشکل است از هر گره ای که پیشوند شبکه ای یکسانی دارند همانطورکه از راه آدرس IP و ماسک شبکه خود تعریف می شوند. ارتباط بین زیرشبکه های لایه-۳ نیازمند روتر است. میزبان ها در یک زیرشبکه می توانند با استفاده از قطعه لایه-۲ای که آنها را وصل می کند به طور مستقیم ارتباط برقرار کنند. بیشتر مواقع یک زیرشبکه همبستگی های دقیقی با قطعه لایه-۲ زیربنایی دارد اما همچنین می شود که چندین زیرشبکه را روی تنها یک قطعه لایه-۲ اجرا کرد.
طرح کلی زیر به عنوان یک مرور کلی و راهنمای موضوعی برای تعامل انسان و رایانه ارائه شده است: تعامل انسان و کامپیوتر-تقاطع علوم کامپیوتر و علوم رفتاری - این رشته شامل مطالعه، برنامه ریزی و طراحی تعامل بین افراد (کاربران) و رایانه است. توجه به تعامل انسان و ماشین مهم است، زیرا طراحی ضعیف رابط های انسان و ماشین می تواند منجر به بسیاری از مشکلات غیرمنتظره شود. یک مثال کلاسیک از این حادثه حادثه Three Mile Island است که در آن تحقیقات به این نتیجه رسیدند که طراحی رابط انسان و ماشین حداقل تا حدی مسئول این فاجعه بوده است. تعامل انسان و کامپیوتر چه نوع چیزی است؟. تعامل انسان و کامپیوتر را می توان به صورت تمام موارد زیر توصیف کرد: ○حوزه ای از علم – سازمانی سیستماتیک که دانش را در قالب توضیحات و پیش بینی های آزمایش پذیر درباره جهان می سازد و سازمان دهی می کند. ●یک علم کاربردی - رشته ای که دانش بشری را برای ساخت یا طراحی چیزهای مفید به کار می گیرد. □رشته ای از علوم کامپیوتر – رویکرد علمی و عملی به محاسبات و کاربردهای آن. □کاربرد مهندسی – علم، مهارت و حرفه کسب و به کارگیری دانش علمی، اقتصادی، اجتماعی و عملی برای طراحی و همچن
ین ساخت سازه ها، ماشین آلات، دستگاه ها، سیستم ها، مواد و فرآیندها □زیرشاخه برنامه نویسی کامپیوتر - فرآیند طراحی، نوشتن، آزمایش، اشکال زدایی و حفظ کد منبع برنامه های کامپیوتری. این کد منبع در یک یا چند زبان برنامه نویسی (مانند جاوا، C، C#، Python، PHP و غیره) نوشته شده است. هدف از برنامه نویسی ایجاد مجموعه ای از دستورالعمل ها است که رایانه ها برای انجام عملیات خاص یا نشان دادن رفتارهای مورد نظر از آنها استفاده می کنند. ●یک علم اجتماعی - رشته دانشگاهی مربوط به جامعه و رفتار انسانی □یک علم رفتاری - رشته ای که فعالیت ها و تعاملات بین موجودات را بررسی می کند. این شامل تجزیه و تحلیل و بررسی سیستماتیک رفتار انسان و حیوان از طریق مشاهده کنترل شده و طبیعی و آزمایش های علمی منظم است. نمونه هایی از علوم رفتاری عبارتند از روانشناسی، روان زیستی و علوم شناختی ○یک نوع سیستم - مجموعه ای از اجزای متقابل یا وابسته به هم که یک کل یکپارچه یا مجموعه ای از عناصر (که اغلب به آنها "مولفه" گفته می شود) و روابطی که از روابط مجموعه یا عناصر آن با سایر عناصر یا مجموعه ها متفاوت است را تشکیل می دهند. ●سیستمی شامل نرم افزار – نرم افزار مج
موعه ای از برنامه های رایانه ای و داده های مرتبط است که دستورالعمل هایی را برای گفتن اینکه رایانه چه کاری انجام دهد و چگونه انجام دهد را ارائه می دهد. نرم افزار به یک یا چند برنامه کامپیوتری و داده های ذخیره شده در رایانه اشاره دارد. به عبارت دیگر، نرم افزار مجموعه ای از برنامه ها، رویه ها، الگوریتم ها و مستندات آن است که مربوط به عملکرد یک سیستم پردازش داده است. ○نوعی فناوری - ساخت، اصلاح، استفاده و دانش ابزارها، ماشین ها، تکنیک ها، صنایع دستی، سیستم ها، روش های سازماندهی، برای حل یک مشکل، بهبود راه حل از قبل موجود برای یک مشکل، دستیابی به یک هدف، مدیریت یک ورودی کاربردی / رابطه خروجی یا انجام یک عملکرد خاص. همچنین می تواند به مجموعه ای از ابزارها، ماشین آلات، اصلاحات، ترتیبات و رویه ها اشاره داشته باشد. فن آوری ها به طور قابل توجهی بر توانایی انسان و سایر گونه های جانوری برای کنترل و انطباق با محیط طبیعی خود تأثیر می گذارد. ●شکلی از فناوری رایانه - رایانه ها و کاربرد آنها
ویروس پیکاچو که با نام های پوکى یا ویروس پوکمون نیز شناخته می شود، کرم رایانه ای است که به عنوان اولین بدافزاری که برای کودکان طراحی شده در نظر گرفت میشود به دلیل استفاده از پیکاچو، موجودی از فرنچایز رسانه ای پوکمون. شبیه به کرم دوستت دارم است، با اینکه از نظر گسترش کندتر و خطرش کمتر است. این کرم برای اولین بار در ژوئن 2000 شناسایی شد وعمدتاً در قالب یک ایمیل با عنوان " پیکاچو پوکمون" منتشر شد. متن ایمیل حاوی یک فایل اجراپذیر پیوست شده به نام "PikachuPokemon.exe" بود که کرمی را نصب می کرد که سعی می کرد دو دایرکتوری مهم سیستم عامل مایکروسافت ویندوز کاربر را حذف کند. این باعث می شد کامپیوتر آنها دچار از کار افتادگی شود. با این حال، یک درخواست ناخواسته داده می شد که از کاربران می پرسید که آیا می خواهند پوشه های مورد نظر را حذف کنند. این باعث شد کرم کمتر از آنچه که می توانست موثر باشد. زمینه. پیکاچو موجودی موش مانند زرد است با قدرت الکتریسیته در پوکمون، مجموعه بازی های ویدیویی ژاپنی و کارتون در سال 2000، ای بی سی نیوزاین سریال را به عنوان یک "شوق جهانی" توصیف کرد. انتشار. اگر کاربری که ویروس را دریافت کرده از مای
کروسافت اوت لوک استفاده می کرد، ایمیل به همه مخاطبین دفترچه آدرس اوت لوک آنها ارسال می شد. .این وجه شباهت این ویروس با ویروس دوستت دارم شده است که در ماه می منتشر شده بود با این حال، ویروس پیکاچو خطرش کمتر و از نظر انتشار کندتر است. شرکت های ضد ویروس گفتند که قبلاً ویروس ها یا کرم هایی که کودکان را هدف قرار بدهد وجود نداشت، و ویروس پیکاچو از این واقعیت سوء استفاده می کند که کودکان "مایلند نسبت به والدین خود در زمینه امنیت کمتر مراقب باشند". در 24 اوت ، شرکت آنتی ویروس ترند میکرو گفت که آنها فقط ده گزارش از ویروس دریافت کرده اند و هنوز کسی آن را باز نکرده است. با این حال، در 25 اوت، گزارش شد که در ایالات متحده همه جا منتشر شده، اما در اروپا و ژاپن نیز بود. یکی از مشاوران شرکت ضد ویروس سوفوس گفت که هر کسی که نرم افزار امنیتی به روز داشته باشد باحتمالش کم است که تحت تأثیر آن قرار بگیرد.ترند میکرو توصیه می کند که کاربران ایمیل را بدون باز کردن حذف کنند. سیمانتک (یکی دیگر از شرکت های آنتی ویروس)، ترند میکرو و سوفوس گفتند که انتشار آهسته ایمیل به آنها فرصت داد تا محصولات خود را برای دفاع در برابر کرم به روز کنند. ا
ین محصولات تا 25 اوت در دسترس بودند.
Hitler-Ransomware یا باج افزار-هیتلر ، نوعی باج افزار است که در سال 2016 در آلمان تولید شد. این باج افزار در مدت یک ساعت خواستار پرداخت هزینه میشود. در غیر این صورت، فایل ها را از رایانه آلوده شده را حذف می کند. تاریخچه. باج افزار-هیتلر برای اولین بار در سال 2016 ساخته شد. این باج افزار با یک صفحه قفل با تصویری از آدولف هیتلر در حالت سلام نازی فعال می شود. پیام روی آن می گوید "این باج افزار-هیتلر است. فایل های شما رمزگذاری شده اند آیا فایل های خود را رمزگشایی می کنید؟". سپس خواستار پرداخت در قالب یک کارت هدیه تلفن همراه 25 یورویی ودافون می شود و به صاحب رایانه یک ساعت فرصت پرداخت می دهد به همراه نمایش یک تایمر شمارش معکوس. عدم پرداخت تا زمانی که تایمر شمارش معکوس یک ساعته به صفر می رسد منجر به خراب شدن سیستم با صفحه آبی مرگ می شود و هنگامی که رایانه دوباره راه اندازی می شود، همه فایل های موجود در پوشه های کاربر رایانه حذف می شوند. برخلاف آنچه ادعا می کند، باج افزار فایل های رایانه را رمزگذاری نمی کند.در عوض، اسکریپتی را اجرا می کند که تمام انواع فایل ها را از هم جدا می کند تا مردم را گمراه کند که فکر کنند فای
ل هایشان رمزگذاری شده است. این ویروس توسط تحلیلگر ای وی جی ، جیکوب کروستک کشف شد. با بررسی بیشتر در مورد آن،او تشخیص داد که احتمالاً در آلمان به عنوان یک نمونه اولیه منشا گرفته است، زیرا در بچ فایل مرتبط با آن عبارت «Das ist ein Test» (به آلمانی: این یک تست است) در آن وجود دارد. لازم به ذکر است که در حالی که درخواست باج افزار هیتلر برای پرداخت در قالب کارت های هدیه بود به جای بیت کوین که در آن زمان رایجتر بود، این فقط مختص به این باج افزار نبود. اشتباهات املایی در این درخواست ها منجر به شوخی هایی بین روزنامه نگاران فناوری شده است که ممکن است ملانقطی ها را ناراحت کند. یک نسخه به روز شده از ویروس هیتلر به نام "کین اکس پایی" که به نام "هیتلر ۲" عرضه شده بود، بعداً منتشر شد.این نسخه مشابه نسخه اصلی بود با این تفاوت که املای "باج افزار" را تصحیح کرد و تایمر شمارش معکوس را حذف کرد. در ژانویه 2017، یک نسخه به روز شده معروف به "نسخه نهایی" باج افزار-هیتلر منتشر شد.
کتابشناسی HCI یک پروژه مبتنی بر وب برای ارائه کتابشناسی از ادبیات تعامل با کامپیوتر انسانی (HCI) است. هدف این پروژه قرار دادن کتابنامه الکترونیکی برای اکثر HCI بر روی صفحه نمایش همه محققان، توسعه دهندگان، مربیان و دانشجویان در این زمینه از طریق شبکه وب جهانی و دسترسی ناشناس پروتکل انتقال فایل(ftp) است. مقدمه. پروژه کتابشناسی HCI تلاشی است با هدف دسترسی رایگان به همه جویندگان اطلاعاتی که در جستجوی اطلاعات کتابشناختی در زمینه HCI هستند. این یک پایگاه داده است که از هر کجای دنیا قابل دسترسی است. پروژه کتابشناختی HCI از گری پرلمن (مدیر پروژه کتابشناسی HCI) در سال 1998 الهام گرفته شد. در ابتدا، این پروژه برای یافتن بودجه و حامیان مالی با مشکل مواجه بود، اما خوشبختانه دانشجویان دانشگاه ایالتی اوهایو برای انجام وظیفه در دسترس بودند. داده های کتابشناختی در پایگاه داده برخی از افراد از اینترنت مایل بودند در کار تأیید داده ها کمک کنند. کمک مالی ناشران نیز در ساخت پایگاه داده نقش داشت. در حالی که در ابتدای پروژه بودجه و حامیان مالی کمتری وجود داشت، ناشران به تیم کتابشناسی HCI اجازه دادند تا مطالب خود را به صورت رایگان ب
ه صورت آنلاین قرار دهند. ناشران اهداکننده. در سال 2007، گروه کتابشناسی HCI از چندین ناشر برای حمایت آنها از این پروژه قدردانی می کند. پشتیبانی پروژه شامل ناشرینی بود که مجوز حق چاپ و اهدای نشریات را برای ورود به پایگاه داده کتابشناسی HCI می دادند.
زَرَنگ، شهری تاریخی در سیستان است. این شهر مرکز سرزمین سیستان پیش از اسلام تا اواخر سده هشتم بود. نام "زرنگ" برگرفته از نام باستانی سرزمین سیستان است که در کتیبه های دوره هخامنشی (حک: ۵۵۹–۳۳۱ق م)، مانند بیستون، تخت جمشید، و نقش رستم، به صورت زَرْکا و در فارسی میانه، زَرَنگیانا ضبط شده است. موقعیت جغرافیایی. مکان دقیق زرنگ به درستی مشخص نیست. تاکنون چند ویرانه، که به فاصله نسبتآ کمی از یکدیگر قرار دارند، جایگاه شهر باستانی زرنگ دانسته شده، که دو ویرانه، باتوجه به وسعت و آثار تاریخی به دست آمده از آنها و نیز انطباق با راه های تاریخی، بیشتر مورد توجه واقع شده اند: یکی ویرانه های زاهدان کهنه واقع در سیستان ایران است، که در آن قسمت های مختلفی از یک شهر بزرگ قدیم باقی مانده، ازجمله یک کهندژ، سه ارگ، شارستان و برج و بارو؛ همچنین مقادیر زیادی جواهرات و سنگهای قیمتی، مجسمه ها و سرستونهای سنگی، ظروف و چراغهای سفالین روغنی و کتیبه هایی از دوره اسلامی نیز در آنجا به دست آمده است. دیگری ویرانه های واقع در نادعلی که واقع در سیستان افغانستان است، در دوازده کیلومتری قلعه کَنگ، که در این محوطه باستانی، در پای تپه بالاحصار آثا
ری از دیوارها و دروازه های شهری بزرگ باقی مانده و مقادیر زیادی ظروف سفالی و سنگی، اشیای فلزی و ابزار جنگی از دوره های پیش و پس از اسلام به دست آمده است. راولینسون مکان های احتمالی دیگری نیز برای زرنگ سیستان مشخص کرده است. بنای زرنگ. برپایه روایات افسانه ای، زرنگ به فرمان گرشاسب (آخرین پادشاه پیشدادی) ساخته شد و بعدها بهمن (پسر اسفندیار) آن را بازسازی کرد و به تدریج سیستان نامیده شد. نویسنده گمنامی در رساله کوچکی به نام شهرستان های ایران که یک متن پهلوی است از بانیان شهرهای ایران نام برده است. وی از زرنگ چنین یاد کرده است «شهرستان زرنگ را نخست افراسیاب گجسته (ملعون) تورانی ساخت. او آتش پیروزگر کرگوگ بدان جا نشانید. او منوچهر را به پذشخوارگر فرستاد و سپندارمذ (فرشته موکل زمین) را به زنی خواست و سپندارمذ به زمین (با او) بیامیخت. او شهرستان را ویران کرد و آتش را بیفسرد و سپس کیخسرو پسر سیاوش شهرستان را دوباره ساخت و آتش کرگوگ را دوباره برپا کرد و اردشیر پسر پاپک شهرستان را به پایان رسانید». از منابع پیش از ساسانیان (حک: ح ۲۲۶ـ ح ۶۵۲م)، اطلاع چندانی از وجود شهر زرنگ به دست نمی آید. در این میان، پلینیوس، در وصف شهر
های منطقه ای به نام پروفتاسیا، در جنوب شرقی ایران، از زرنگی و درنکی در کنار یکدیگرـ یاد کرده است، که شاید اشاره ای به شهر زرنگ باشد. بااین حال این نکته را نیز نباید نادیده گرفت که ایزیدور خاراکسی، جغرافی دان سده اول پیش از میلاد (ص ۹)، دو شهر عمده منطقه زرنگیانا را پارین و کوروک ذکر کرده است و نه زرنج یا ضبطی مشابه زرنگیانا. بنابر منابع جغرافیایی اسلامی، حیات زرنگ، چون دیگر شهرهای سیستان، وابسته به جریان رود هیرمند و انشعابات آن بود. شهر زرنگ در کنار سَنارود، یکی از انشعابات پرآب هیرمند، قرار داشت. این رود پس از عبور از میان شهر زرنگ به دریاچه زَره در شمال غربی شهر می ریخت. ظاهرآ هسته اولیه زرنگ نیز درپی تغییر مسیر رود هیرمند شکل گرفته، به طوری که تغییر مسیر رود موجب نرسیدن آب کافی به رام شهرستان (از مراکز سیستان) و مهاجرت شهروندان آن به مکان شهر زرنج شده است. کریستن سن سکاها را شهروندانِ نخستین زرنج در دوره ساسانیان دانسته است. به نظر می رسد زمان این رخداد در اواخر دوره اشکانیان (حک: ح ۲۵۰ق م ـ ح ۲۲۶م) بوده، مقدسی بنای نیمی از شهر را در زمان اردشیر بابکان (حک: ۲۲۶–۲۴۱م)، مؤسس سلسله ساسانیان، و نیمِ دیگر را د
ر زمان انوشیروان (حک: ۵۳۱–۵۷۹م) دانسته است. زرنگ، در دوره ساسانیان، در قیاس با دیگر شهرهای منطقه سیستان اهمیت بیشتری داشت و بسیار آباد بود. بهرام سوم (حک: ۲۹۳م) در دوره ولیعهدی با لقب سکان شاه در این شهر اقامت داشت. پس از اسلام. مقارن ورود مسلمانان به ایران، زرنگ مرکز فرماندهی سپاه ایران برای مقابله با آنها در این نواحی و چندی نیز محل اقامت پیروز، فرزند یزدگرد سوم، بود. نخستین بار در سال ۲۳، عاصم بن عمرو زرنج را محاصره و آن را به صلح گشود. بار دیگر در سال ۳۰، ربیع حارثی به سبب نقض پیمان صلح زرنگ، با حمله به این شهر و کشتن بسیاری از مردم، مدافعان را مجبور به پذیرش شروط سنگین صلح کرد، چنان که در ازای صلح، یک هزار برده و جامِ زرین به دست به مسلمانان پیشکش کردند. پس از خروج ربیع در سال ۳۲ از شهر، مردم جانشین او را بیرون راندند که در پی آن، عبدالرحمان بن سَمُره بر آنان تاخت و مردم شهر با پرداخت دومیلیون درهم و دوهزار غلام در امان ماندند. عبدالرحمان، پس از آشوب های اواخر حکومت عثمان بن عفّان (حک: ۲۳–۳۵)، اُمَیربن اَحمَر یَشکُری را برآنجا گمارد و خود نزد عثمان رفت، که متعاقب آن، مردم زرنگ فرمانروای جدید را نیز از شه
رشان بیرون راندند. در سال ۳۷، پس از جنگ جَمَل، شماری از مخالفان امام علی علیه السلام، به همراه گروهی راهزن، شهر زرنج را مدتی تصرف کردند، اما از شهر بیرون رانده شدند. ظاهراً براثر وضع خراج های سنگین بر مردم زرنگ و دیگر نقاط سیستان و به ویژه به سبب دوری ناحیه سیستان از مرکز خلافت امویان، این ناحیه یکی از اصلی ترین پایگاه های خوارج شده بود. در سال ۴۲، عبدالرحمان بن سمره بار دیگر والی سیستان شد و اختیار تمام شهرهای ناحیه، ازجمله زرنج، را به دست گرفت. تااینکه در ۱۰۷، خوارج با کشتن بشرالحواری (رئیس شرطه های زرنگ) توانستند دوباره بر سیستان مسلط شوند. در دوره خلافت هارون الرشید (حک: ۱۷۰–۱۹۳)، زرنگ همچنین از منازعات علی بن عیسی بن ماهان (والی خراسان) با حمزه آذرک (از رهبران خوارج در سیستان و خراسان) در امان نبود و در پی این حوادث، در ۱۸۰، بسیاری از مردم زرنج به دست سپاهیان خلیفه قتل عام شدند. در زمان صفاریان. در زمان صفاریان، زرنگ همچنان مرکز سرزمین سیستان و شهری بزرگ و باشکوه بود. بسیاری از اقدامات عمرانی و احداث بناها در شهر زرنگ، به دوره حکومت صفاریان در سیستان بازمی گردد. بناهای شهر خشتی و گلی بود و از چوب به سبب
وجود موریانه استفاده نمی شد. بنابر نوشته جغرافی دانان سده چهارم، پیرامون (یا رَبَض) شهر زرنگ دارای بارویی با سیزده دروازه و چند بازار بود. پس از ربض، خندقی گرداگرد شهر حفر شده بود که باروی شهر را، مشتمل بر پنج دروازه، دربرمی گرفت. مهم ترین دروازه طعام نام داشت که بین آن و دروازه فارس، کاخ های یعقوب لیث (حک: ۲۴۷–۲۶۵) و نیز عمرو لیث (حک: ۲۶۵–۲۸۷) قرارداشت، بنای عظیمی به نام ارگ، که خزانه عمرولیث نیز بود بین دروازه های نیشک و کرکویه قرارداشت. مسجدجامع، که یکی از دو مناره آن به فرمان یعقوب لیث ساخته شده، در مرکز شهر واقع بود. زندان شهر نیز نزدیک این مسجد قرارداشت. بازارهای شهر، که یکی از آنها بین دروازه های فارس و مینا به طول نیم فرسنگ امتداد داشت، مسجدجامع را احاطه کرده بودند؛ مهم ترین بازار، با نام عمرولیث، وقف مسجدجامع شهر زرنگ و نیز مسجدالحرام (در مکه) شده بود. سه نهر، پس از عبور از ربض به داخل شهر می رسیدند، که پس از جمع شدن آب آنها در دو حوض بزرگ، واقع در کنار مسجدجامع، به سوی خانه های بزرگان و اعیان شهر جریان می یافتند. انحطاط و نابودی. شهر زرنگ در سال ۷۵۸ هجری درنتیجه حملات امیر تیمور گورکانی تخریب و رو ب
ه نابودی رفت و سپس در سال ۸۱۱ هجری در نتیجه حملات شاهرخ تیموری به کلی ویران و نابود شد.
لین (Lean) یک دستیار اثبات و یک زبان برنامه نویسی تابعی است. این زبان مبتنی بر حساب سازه ها با نوع های القایی است. Lean یک پروژه متن باز است که بر روی گیت هاب میزبانی می شود. این زبان به طور اولیه توسط لئوناردو د مورا در حین اشتغال در مایکروسافت ریسرچ توسعه داده شد و اکنون در آمازون وب سرویسز ادامه دارد. توسعه این زبان در حال حاضر توسط سازمان Lean سازمان تحقیقات متمرکز (FRO) پشتیبانی می شود. تاریخچه. لین توسط لئوناردو د مورا در مایکروسافت ریسرچ در سال ۲۰۱۳ راه اندازی شد. نسخه های اولیه این زبان، که بعدها به نام Lean 1 و 2 شناخته شدند، آزمایشی بودند و ویژگی هایی مانند پشتیبانی از نظریه نوع هموتوپی داشتند که بعدها حذف شدند. Lean 3 (برای اولین بار در ۲۰ ژانویه ۲۰۱۷ منتشر شد) اولین نسخه نسبتاً پایدار Lean بود. این نسخه عمدتاً با زبان C++ پیاده سازی شده بود و برخی از ویژگی ها نیز با خود زبان Lean نوشته شده بودند. پس از نسخه 3.4.2، Lean 3 به طور رسمی پایان عمر خود را اعلام کرد در حالی که توسعه Lean 4 آغاز شد. در این دوره بینابینی، اعضای جامعه Lean نسخه های غیررسمی تا 3.51.1 را توسعه داده و منتشر کردند. در سال ۲۰۲۱،
Lean 4 منتشر شد که بازسازی اثبات گر Lean بود که قادر به تولید کد C است که سپس کامپایل می شود و امکان توسعه خودکارسازی حوزه های خاص را فراهم می کند. Lean 4 همچنین سیستم ماکرو و بهبودهای سنتز کلاس نوع و روش های مدیریت حافظه را نسبت به نسخه قبلی داراست. یکی دیگر از مزایای آن نسبت به Lean 3، امکان اجتناب از لمس کد C++ برای تغییر رابط کاربری و دیگر قسمت های اصلی سیستم است، زیرا همه آنها اکنون در Lean پیاده سازی شده و در دسترس کاربر نهایی برای جایگزینی در صورت نیاز هستند. Lean 4 با Lean 3 سازگاری معکوس ندارد. در سال ۲۰۲۳، Lean FRO تشکیل شد، با اهداف بهبود مقیاس پذیری و قابلیت استفاده از زبان و اجرای اتوماسیون اثبات. مرور کلی. کتابخانه ها. بسته رسمی لین شامل یک کتابخانه استاندارد "std4" است که ساختارهای داده ای مشترک را که می تواند برای هر دو تحقیق ریاضی و توسعه نرم افزار متعارف استفاده شود، پیاده سازی می کند. در سال ۲۰۱۷، یک پروژه نگهداری شده توسط جامعه برای توسعه یک کتابخانه Lean "mathlib" آغاز شد، با هدف دیجیتالی کردن هر چه بیشتر ریاضیات ریاضیات محض در یک کتابخانه بزرگ یکپارچه، تا سطح تحقیقاتی ریاضی. تا نوامبر ۲