OpenLLM-France/wikimedia huggingface dataset:
# تصميم الدوائر الكهربائية

عملية تصميم الدوائر الكهربائية تغطي تصميم أنظمة إلكترونية معقدة إلى تصميم الترانسترات في الدوائر المتكاملة. للدوائر البسيطة عملية التصميم غالبا ما تتم بواسطة شخص واحد الحاجة إلى التخطيط أو هيكلة عملية التصميم، لكن التصاميم المعقدة تحتاج إلى فرق من المصممين ويتبعها طريقة منهجية في عملية محاكات من خلال حواسيب ذكية، هذه الطريقة بدات تصبح شائعة.
في الدوائر المتكاملة المصطلح تصميم الدائرة يشير إلى خطوة رسم الخريطة لالدائرة المتكاملة عادة يكون بين التصميم المنطقي (logic design) والتصميم الفيزياوي. تصميم الدوائر المعتاد عادة يتضمن هذه المراحل
* كتابة الخصائص المطلوبة من الدائرة بعد الاطلاع على رغبة الزبون
* كتابة الاقتراحات التقنية التي تحقق طلب الزبون
* الرسم المخطط الكهربائي على الورق الذي يتكون من عناصر كهربائية أو إلكترونية أو كلاهما
* حساب قيم المكونات المتطلبة لتحقيق التصميم
* إجراء عملية محاكات على التصميم في الحواسيب لرؤية مدى فعالية التصميم
* بناء نموذج أولي واجراء الاختبارات لرؤية مدى فعالية الجهاز
* القيام بتعديلات على المكونات واستبدالها بأخرى مكافئة لها لكن ارخص منها سعراً
* اختيار طريقة البناء بالإضافة إلى نوعية المواد المستعملة
* تقديم المخطاطات إلى المختصين بالإنتاج الكمي لابداء ارائهم عليها
* عمل اختبارات على عدة نماذج لضمان وصول المنتج باحسن صورة إلى المستخدم
* الموافقة على التصميم النهائي للبدء بعملية الإنتاج الكمي

## مراجع

* ↑ Zhang، Wei؛ Niraj K. Jha؛ Li Shang (2010). "A Hybrid System/CMOS Dynamically Reconfigurable System". في Jha، Niraj K.؛ Chen، Deming (المحررون). Nanoelectronic Circuit Design. Springer Science & Business Media. ص. 97. ISBN:1441976094. مؤرشف من الأصل في 2020-04-27. اطلع عليه بتاريخ 2016-09-29.
* ↑ "A.T.E. Solutions, Inc. | Design for Testability and for Built-In Self Test". Besttest.com. مؤرشف من الأصل في 2016-09-01. اطلع عليه بتاريخ 2016-09-27.
* ↑ "Archived copy". مؤرشف من الأصل في 2005-08-30. اطلع عليه بتاريخ 2007-11-04.{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)
عنتتصميم :
الخطوط العريضة للتصميم
مصمم :
فروع :
أدواتالملكية الثقافيةمنظماتجوائز :
* بوابة تصميم
* بوابة إلكترونيات
* هذه بذرة مقالة عن الإلكترونيات أو العاملين في هذا المجال بحاجة للتوسيع. فضلًا شارك في تحريرها.
# تصميم خوارزمية

الخوارزمية هو مصطلح يشير إلى مجموعة محدودة ومعينة من الخطوات، حيث أن كل واحدة من هذه الخطوات قد تتطلب في حد ذاتها واحد أو أكثر من العمليات الحسابية والمنطقية، وإذا ما تم إتمام وتنفيذ هذه الخطوات بشكل صحيح فإنه سوف نحصل على نتيجة أو على مجموعة من النواتج بعد فترة محدودة ومعينة من الوقت اللازم لتنفيذ ذلك .
وهناك مجموعة وعناصر من القيود والممانعات على نوع العمليات التي يمكن أن تتضمن وتحيط الخوارزمية وهي التالي:
* الوضوح: حيث يجب للمشكلة التي تعالجها الخوارزمية أن تكون واضحة.
* الفعالية: وهذا يدل ويعني أن كل خطوة بالإمكان أن يقوم بتنفيذها وأدائها أي شخص في فترة محددة من الوقت.
* المحدودية: وهذا يعني ويشير إلى أنه يجب أن يكون للخوارزمية عدد محدود ومحدد من العمليات والخطوات.
* النواتج: يجب ومن الإلزام أن يكون للخوارزمية واحد أو أكثر من النواتج وأن يكون لها صفر أو أكثر من المدخلات.
تصميم الخوارزمية هو طريقة محددة لإنشاء عملية حسابية في عمليات حل المشكلات. التصميم الخوارزمي التطبيقي هو هندسة الخوارزميات. يتم تحديد تصميم الخوارزمية وإدماجه في العديد من نظريات الحلول الخاصة بأبحاث العمليات ، مثل البرمجة الديناميكية وفرق تسد. تقنيات تصميم وتنفيذ خوارزميات التصميمات هي أنماط تصميم خوارزمية، مثل نمط أسلوب القالب و نمط الديكور ، واستخدامات هياكل البيانات، وقوائم الاسم والفرز. يمكن العثور على بعض الاستخدامات الحالية لتصميم الخوارزمية في عمليات استرجاع الإنترنت من الزحف على شبكة الإنترنت، توجيه الحزم والتخزين المؤقت.
خطوات تطوير الخوارزميات:
* تعريف المشكلة
* تطوير نموذج
* مواصفات الخوارزمية
* تصميم خوارزمية
* التحقق من صحة الخوارزمية
* تحليل الخوارزمية
* تنفيذ الخوارزمية
* اختبار البرنامج
* إعداد الوثائق

## نماذج التصميم الشائعة

* خوارزمية فرق تسد
* برمجة ديناميكية
* خوارزمية جشعة
* الرجوع في الطريق
* بحث شامل
# بووكس

Boox هو قارئ كتب إلكترونية من إنتاج شركة جزع.

## الإصدارات والطرازات

يوجد من هذا القارئ الإلكتروني عدة طرازات:
* Boox A60: شاشته 6 بوصات.
* Boox X60: شاشته 6 بوصات.
* Boox M90: شاشته 9.7 بوصة.
وكل نوع من هذه الطرازات يأتي بعدة إصدارات مخصصة حسب طلب الزبون لتقليل كلفة التصنيع، كإضافة وإزالة كل من: شاشة اللمس، واتصال WiFi، واتصال 3G.

## الميزات

* شاشة حبر إلكتروني بقياس 6«أو 9.7» قابلة للتحكم بلمس القلم (WACOM Tablet).
* البطارية تدوم لمدة أسبوعين أو إلى تقليب 8000 صفحة تقريباً.
* يدعم اللغة العربية في الملفات النصية وفي أسماء الملفات خلافا لبقية القارئات الأخرى.
* يسمح بالتعليق والكتابة على الكتب بالقلم.
* يحوي مشغل إم بي 3.
* يحوي متصفح إنترنت.

## صيغ الكتب الإلكترونية المدعومة

* نسق المستندات المنقولة
* كتاب النشر الإلكتروني
* ديجافو
* Mobi
* TXT
* DOC
* XLS
* PPT
* CBR
* CBZ
* لغة ترميز النص الفائق
* CHM
* PalmDOC
* RTF
* FB2
* PDB
بالإضافة إلى صيغ الصور التالية: جيه بيه إيه جي، بي إن جي، جي آي إف، بي إم بي، تيف
مع تشغيل ملفات إم بي 3 الصوتية.

## مراجع

* موقع المنتج
* بقية منتجات الشركة المنتجة

## انظر أيضاً

* كتاب إلكتروني
* مكتبة رقمية
* ورق إلكتروني
* حبر إلكتروني
* بوابة إلكترونيات
* بوابة تقانة
* بوابة هندسة
* هذه بذرة مقالة عن الإلكترونيات أو العاملين في هذا المجال بحاجة للتوسيع. فضلًا شارك في تحريرها.
* ↑ الوصول: 1 أكتوبر 2023.
# تقلقل الإرسال

في الإلكترونيات والاتصالات، تقلقل الإرسال أو عدم استقرار الإرسال (بالإنجليزية: Jitter)‏ هو الانحراف عن الشكل الدوري المفترض للإشارة بالنسبة لإشارة ساعة مرجعية. في تطبيقات استعادة إشارة الساعة يسمى هذا تقلقل توقيت الإرسال. عند تصميم وصلات الاتصال، تكون قيمة التقلقل الكبيرة غير مرغوبة.
يمكن قياس تقلقل الإرسال بنفس طرق قياس الإشارة المتغيرة زمنياً، أي الجذر التربيعي للمتوسط والإزاحة من قمة إلى قمة كما يمكن التعبير عنه بالكثافة الطيفية أيضاً.
هذا النوع من الأخطاء يحدث عادة عند إرسال بيانات الوسائط المتعددة (multimedia data)، فعلى سبيل المثال عندما يتم تشغيل بيانات صوتية متسلسلة (كالموسيقى) على فترات مختلفة من الوقت فيكون الصوت رديء.
وعندما نتحدث عن توتر الإرسال فاننا نتحدث عن إحدى خصائص الأداء الخاصة بقنوات الاتصال ألا وهي:
* توتر الإرسال
* الكُمُونِيَّة (بالإنجليزية: Latency)‏
* عرض النطاق (بالإنجليزية: Bandwidth)‏
في نقل الصوت عبر الإنترنت (VoIP) فإن توتر الإرسال هو الاختلاف في الوقت ما بين الحزم في وصولها والناجمة عن ازدحام الشبكة وتوقيت الانجراف أو تغييرات الطريق.
يمكن استخدام صوان لتوتر الإرسال للسيطرة على هذه الظاهرة.

## مراجع

* ↑ "LDLP - Librairie Du Liban Publishers". ldlp-dictionary.com. مؤرشف من الأصل في 2017-08-23. اطلع عليه بتاريخ 2017-08-23.
* ↑ "Al-Qamoos القاموس - English Arabic dictionary / قاموس إنجليزي عربي". www.alqamoos.org. مؤرشف من الأصل في 2017-08-23. اطلع عليه بتاريخ 2017-08-23.
* ↑ Damasevicius، Robertas؛ Napoli، Christian؛ Sidekerskiene، Tatjana؛ Wozniak، Marcin (2016). "IMF remixing for mode demixing in EMD and application for jitter analysis". ISCC 2016. مؤرشف من الأصل في 2019-12-15.
* ↑ "Application note 119" (PDF). مؤرشف من الأصل (PDF) في 2012-02-07. اطلع عليه بتاريخ 2012-08-05.
* ↑ Khvilivitzky، Alexander (2008). "Pixel Jitter in Frame Grabbers". مؤرشف من الأصل في 2019-04-18. اطلع عليه بتاريخ 2015-03-09.
* ↑ Dan H. Wolaver (1991). Phase-Locked Loop Circuit Design (بالإنجليزية) (الأولى ed.). Prentice Hall. p. 211. ISBN:0136627439.
* بوابة إلكترونيات
* بوابة اتصال عن بعد
* هذه بذرة مقالة عن الاتصالات أو موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.
# توزيع الكهرباء

تعتبر خطوط الطاقة عامة ذات الفولطية المتوسطة (اقل من 50 كيلوفولت), فولطية منخفضة (اقل من 1000 فولت) ويمر عبر مراحل المرحلة الأولى هي التوليد: وهي تحول الطاقة من أي شكل إلى كهرباء
نقل الكهرباء هي نقل الطاقة الكهربائية من (المولد generator) إلى المستخدم (load, user), فهذي الخطوات تسمى «شبكه النقل الكهربائي»
تبدأ بالمولد Generator station , معظم الحالات تكون خارج المدن يتصل بها "خطوط النقل Transmission: تنحدر بين 440kV - 33kV منها نوعين "خطوط نقل هوائيه Over headline OHL أو كيبيلات ارضيه "Underground Cables"
الخطوط الهوائية تعتبر النوع الأقدم من طرق النقل- الامان والصيانة فيها أكثر مقارنه بالكيبيلات الأرضية لتأثرها في حالات العواصف والرمل والمطر.. الخ لكنها تعتبر وسيله ارخص للمسافات الطويلة مقارنه بالكيبلات الأرضية
الكيبيلات الأرضية لها أنواع متعدده- مبدأها انها تكون تحت الأرض لتوصيل الكهرباء current التيار من محطه إلى أخرى كيبيلات oil filled معبأه بالزيت حيث يمر بها الزيت- تعتبر أقدم أنواع الكابلات- صيانتها أكثر من أي نوع آخر لكن عمرها يعتبر أطول- وطاقتها الاستحماليه للحراره كبيره جدا
كيبيلات XLPE ذو نوع عازل خاص.
المحطات الكهربائية للنقل الكهربائي تحتوي على محول "transformer" يحول من جهد أعلى إلى اقل أو العكس مثلا 66/11 يعني يحول من 66 ك.ف إلى 11 ك.ف.

## اقرأ أيضا

* أخطار الكهرباء
* جهد بين الرجلين

## مراجع

* 1 2 3 4 5 6 7 8 9 10 11 12 13 14 مذكور في: التصنيف الإحصائي للأنشطة الاقتصادية في الاتحاد الأوروبي. تاريخ النشر: 2008.
* 1 2 مذكور في: Nomenclature d'activités française, rév. 2. الناشر: المعهد الوطني للإحصاء والدراسات الاقتصادية. لغة العمل أو لغة الاسم: الفرنسية. تاريخ النشر: 1 يناير 2008.
* ↑ "Power Transmission and Distribution | Hydro-Québec". www.hydroquebec.com. مؤرشف من الأصل في 2019-02-25. اطلع عليه بتاريخ 2016-03-08.
* بوابة إلكترونيات
* بوابة طاقة
* بوابة تنمية مستدامة
* بوابة طاقة متجددة
* هذه بذرة مقالة عن الإلكترونيات أو العاملين في هذا المجال بحاجة للتوسيع. فضلًا شارك في تحريرها.
# تيار بيانات

في علم الحاسوب يستخدم لفظ تيار بيانات أو تدفق البيانات (Data stream) للتعبير عن بيانات متتالية لا يمكن التنبؤ بنهايتها. أي أنها كتيار الماء مستمرة في التدفق مشفرة رقميًا، تستخدم لنقل أو تلقي معلومات قيد الإرسال. ويمكن هذا النظام البرنامج بأن يقوم بالتعامل مع البيانات أولا بأول دون حاجة لوجود المحتوى كله في الذاكرة.
تم جمعها من سلوك متصفح المستخدمين من مواقع الويب، حيث يتم وضع بكسل مخصص. تدفقات البيانات مفيدة لعلماء البيانات بالنسبة إلى البيانات الضخمة وتزويد خوارزميات الذكاء الاصطناعي. موفرو تدفق البيانات الرئيسيون هم شركات تكنولوجيا البيانات.
من الإستخدامات المهمة لتيارات البيانات تبادل المعلومات بين البرامج المختلفة (IPC) سواء على نفس الجهاز (مثلا عن طريق جعبة pipe) أو عبر الشبكة (عن طريق مقبس مثلا).

## التيارات القياسية

التيارات القياسية هي ثلاث تيارات بيانات في نظام اليونكس والأنظمة المتقاربة معه وكذلك في لغة البرمجة سي. يتم توفير هذه التيارات من قبل نظام التشغيل لكل البرامج وتستخدم في الإدخال والإخراج:
* الإدخال القياسي (stdin): يمكن إدخال بيانات إلى البرنامج عن طريقها. غالبا مايتم الإدخال في شاشة طرفية (Console/Terminal) عن طريق لوحة مفاتيح.
* الإخراج القياسي (stdout): يستخدم لطباعة المعلومات من داخل برنامج. عادة تكون متصلة بشاشة طرفية. هذا التيار ذو ذاكرة وسيطة (buffered) أي أنه يتم جمع مقدار من المعلومات قبيل الطباعة.
* الإخراج القياسي للأخطاء (stderr): هذا التيار شبيه بالإخراج القياسي ولكنه مخصص لاعطاء البرامج وسيلة لكتابة الاخطارات والاشعارت. العبرة في وجود تيارين للإخراج هو إمكانية تحويل مسارهما كل على حدة. هذا التيار unbuffered.
تضيف لغة C++‎ تيارا رابعا بجانب (std::cin و std::cout و std::cerr) وهو std::clog وهو نفس تيار std::cerr ولكن buffered.

## مراجع

* ↑ "What is a Data Stream? - Definition from Techopedia". Techopedia.com (بالإنجليزية). Archived from the original on 2021-01-26. Retrieved 2021-07-10.
* بوابة تقانة المعلومات
* بوابة علم الحاسوب
* هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا شارك في تحريرها.
# راسلمينيا 7

راسلمينيا 7 هو المهرجان السابع من سلسلة مهرجانات راسلمينيا التي تقدمها مؤسسة المصارعة العالمية الترفيهية عرض في 24 مارس 1991 في ساحة لوس أنجلوس التذكارية الرياضية في مدينة لوس أنجلوس في كاليفورنيا .
# 1900 في كولومبيا

فيما يلي قوائم الأحداث التي وقعت خلال عام 1900 في كولومبيا.

## سياسة
### تعيين في المنصب

* 31 يوليو – خوسيه مانويل ماروكين رئيس كولومبيا.

## مواليد
### مارس

* 12 مارس – غوستابو روخاس بينيا مهندس مدني كولومبي.

## وفيات
### أغسطس

* 5 أغسطس – سانتياجو بيريث دي مانسالباس (مواليد 1830)

### ديسمبر

* 4 ديسمبر – أكيليو بارا (مواليد 1825) سياسي كولومبي.
* بوابة كولومبيا
* بوابة زمن
* بوابة تقويم
* بوابة عقد 1900
* هذه بذرة مقالة عن موضوع متعلق بكولومبيا بحاجة للتوسيع. فضلًا شارك في تحريرها.
# أوبن ميديا فولت

أوبن ميديا فولت (بالإنجليزية: OpenMediaVault)‏ هي إحدى توزيعات لينكس (توزيعة جنو/لينكس) مصممة لتخزين ملحق بشبكة (NAS). كما أن المطور الرئيسي للمشروع هو فولكر ثايل الذي تعتمد على نظام التشغيل دبيان، صدرت لأول مرة في 2009.

## مراجع

* 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 وصلة مرجع: https://www.transifex.com/votdev/openmediavault/. الوصول: 11 مارس 2020.
* ↑ "New updates available". 19 يوليو 2024. اطلع عليه بتاريخ 2024-07-29.
* ↑ وصلة مرجع: https://www.openmediavault.org/?page_id=1216. الوصول: 11 مارس 2020.
* ↑ Huber، Mathias (8 ديسمبر 2009). "FreeNAS: BSD Line and Linux Fork". مجلة لينكس. مؤرشف من الأصل في 2018-06-21. اطلع عليه بتاريخ 2016-06-03.
* ↑ Halfacree، Gareth (19 يوليو 2012). "WHS Alternatives: Media Streaming". bit-tech. مؤرشف من الأصل في 2017-01-22.
* بوابة تقانة المعلومات
* بوابة علم الحاسوب
* بوابة برمجيات حرة
* بوابة لينكس
* هذه بذرة مقالة عن برمجية بحاجة للتوسيع. فضلًا شارك في تحريرها.
# أوديمس الرودسي

أوديمس الرودسي هو فيلسوف يوناني من تلامذة أرسطوطاليس. ولد نحو 320 قبل الميلاد.
ورد اسمه في المصادر العربية: أوذيموس - أوداموس - إيديموس - إيوديموس.
كتب شرحا على السماع الطبيعي، وهو الذي حرر أو نقح كتاب الأخلاق إلى أوديمس.

## المصادر

* ↑ مذكور في: تاريخ ماكتوتور لأرشيف الرياضيات.
* 1 2 وصلة مرجع: https://books.google.cat/books?id=AZcqEAAAQBAJ&pg=PA11. الصفحة: 11.
* ↑ مذكور في: ملف استنادي دولي افتراضي. لغة العمل أو لغة الاسم: لغات متعددة. الناشر: مركز المكتبة الرقمية على الإنترنت.
* ↑ "Dictionnaire des philosophes antiques II". Dictionnaire des philosophes antiques: 286. 1994.
* ↑ القاموس الحقيقي للآثار الكلاسيكية للوبكر (بالروسية). {{استشهاد بدورية محكمة}}: الوسيط |title= غير موجود أو فارغ (help)
* ↑ Ernest Radlov. Brockhaus and Efron Encyclopedic Dictionary. Volume XL, 1904 (بالروسية). {{استشهاد بدورية محكمة}}: الوسيط |title= غير موجود أو فارغ (help)
* ↑ "Kitâb al-Fihrist". مؤرشف من الأصل في 2024-04-23. اطلع عليه بتاريخ 2024-04-22.
* ↑ "ketaby028" (بالإندونيسية). Retrieved 2024-04-22.
* ↑ عبد الرحمن بدوي (1984 م). موسوعة الفلسفة - الجزء الأول (ط. الأولى). بيروت: المؤسسة العربية للدراسات والنشر. ص. 100.
* ↑ https://www.hindawi.org/books/31537282/1/ نسخة محفوظة 2023-05-31 على موقع واي باك مشين.
* ↑ https://www.hindawi.org/books/52704241/0.8/ نسخة محفوظة 2023-12-27 على موقع واي باك مشين.
* بوابة أعلام
* بوابة الفيزياء
* بوابة اليونان القديمة
* بوابة تاريخ العلوم
* بوابة رياضيات
* بوابة علم الفلك
* بوابة فلسفة
* هذه بذرة مقالة عن الفلسفة أو متعلقة بها بحاجة للتوسيع. فضلًا شارك في تحريرها.
# إطار التحديد الأصغر

إطار التحديد الأصغر في الهندسة لنقطة محددة S في N بعد هو المربع ذو القياس الأصغر ( المساحة أو الحجم أو الحجم الزائد في الأبعاد الأعلى) التي تكمن فيها جميع النقاط. عند استخدام أنواع أخريات من القياسات، عادةً ما يُستدى إطار التحديد الأصغر وفقًا لذلك.
# إيماجيك

إيماجيك (بالألمانية: Emagic) هي شركة لبرامج الكومبيوتر وأجهزة الموسيقى، تأسست في 1 يناير 2002، بمدينة ريلينجن، ألمانيا.

## مراجع

* ↑ وصلة مرجع: http://www.emagic.de/company/company/index.php?lang=EN.
* ↑ "معلومات عن إيماجيك على موقع viaf.org". viaf.org. مؤرشف من الأصل في 2020-10-22.
* بوابة أبل
* بوابة ألعاب
* بوابة ألمانيا
* بوابة برمجيات
* هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا شارك في تحريرها.
# برهان الاستحالة

برهان الاستحالة هو برهان يدل على عدم إمكانية حل مشكلة معينة، أو لا يمكن حلها بشكل عام. لإثبات أن هناك شيئاً مستحيلاً عادة ما يكون أصعب بكثير من مهمة إثبات احتماليته. نظريات الاستحالة عادة يمكن التعبير عنها كمسائل كونية في المنطق.

## أمثلة

أحد أشهر براهين الاستحالة كان برهان فيردينوند فون ليندمان في عام 1882، الذي بين أن مسألة تربيع الدائرة القديمة لا يمكن حلها، لأن العدد باي عدد متسام وغير جبري وفقط الأعداد الجبرية يمكن بناؤها عن طريق المسطرة والفرجار. وتم أيضاً إثبات استحالة مسألتين كلاسيكيتين في القرن التاسع عشر وهن تثليث الزاوية ومضاعفة المكعب.
# تكافؤ منطقي

التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى. فيُقال بأن عبارتين منطقيتين متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا $p$ و $q$ هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي $p\equiv q$، ${\textsf {E}}pq$ أو $p\iff q$. يمكن التعبير عن التكافؤ المنطقي بالصيغة الشرطية «تكافؤ إذا وفقط إذا».

## تكافؤات منطقية

| صيغة التكافؤ | الاسم |
| $p\wedge {\textbf {T}}\equiv p$ $p\vee {\textbf {F}}\equiv p$ | قوانين التعريف (identitz laws) |
| $p\vee {\textbf {T}}\equiv {\textbf {T}}$ $p\wedge {\textbf {F}}\equiv {\textbf {F}}$ | قوانين السيطرة (Domination laws) |
| $p\vee p\equiv p$ $p\wedge p\equiv p$ | Idempotent laws |
| $\neg (\neg p)\equiv p$ | قانون النفي المزدوج (Double negation law) |
| $p\vee q\equiv q\vee p$ $p\wedge q\equiv q\wedge p$ | قوانين التبادل (Commutative laws) |
| $(p\vee q)\vee r\equiv p\vee (q\vee r)$ $(p\wedge q)\wedge r\equiv p\wedge (q\wedge r)$ | قوانين الترابط (Associative laws) |
| $p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$ $p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$ | قوانين التوزيع (Distributive laws) |
| $\neg (p\wedge q)\equiv \neg p\vee \neg q$ $\neg (p\vee q)\equiv \neg p\wedge \neg q$ | قوانين دي مورجان (De Morgan's laws) |
| $p\vee (p\wedge q)\equiv p$ $p\wedge (p\vee q)\equiv p$ | قوانين الإمتصاص (Absorption laws) |
| $p\vee \neg p\equiv {\textbf {T}}$ $p\wedge \neg p\equiv {\textbf {F}}$ | قوانين النفي (Negation laws) |
تكافؤ رياضي شرطي: (القراءة من اليسار إلى اليمين)
   * $p\implies q\equiv \neg p\vee q$
   * $p\implies q\equiv \neg q\implies \neg p$
   * $p\vee q\equiv \neg p\implies q$
   * $p\wedge q\equiv \neg (p\implies \neg q)$
   * $\neg (p\implies q)\equiv p\wedge \neg q$
   * $(p\implies q)\wedge (p\implies r)\equiv p\implies (q\wedge r)$
   * $(p\implies q)\vee (p\implies r)\equiv p\implies (q\vee r)$
   * $(p\implies r)\wedge (q\implies r)\equiv (p\vee q)\implies r$
   * $(p\implies r)\vee (q\implies r)\equiv (p\wedge q)\implies r$
تكافؤ رياضي ثنائي الشرطية：(القراءة من اليسار إلى اليمين)
   * $p\iff q\equiv (p\implies q)\wedge (q\implies p)$
   * $p\iff q\equiv \neg p\iff \neg q$
   * $p\iff q\equiv (p\wedge q)\vee (\neg p\wedge \neg q)$
   * $\neg (p\iff q)\equiv p\iff \neg q$

## مثال

نأخذ مثالاً بعبارتين رياضيتين متكافئتين:
* إذا كانت ليزا من فرنسا، فهي أيضا من أوروبا (بالرموز: $f\implies e$.)
* إذا لم تكن ليزا في أوروبا، فهي ليست في فرنسا (بالرموز: $\neg e\implies \neg f$)
العبارتين (1) و (2) مشتقان من بعضهما البعض عبر قوانين التضاد والنفي المزدوج.
# جبر الموترات

جَبْر المُوَتِّرَات (بالإنجليزية: tensor algebra)‏ أحد فروع الرياضيات التي تهتم بمعالج الكميات الرياضية والفيزيائية عديدة المركبات، وتعتمد على التفريق في التعامل بين الكميات بعضها وبعض تبعا للقانون الرياضي الذي تتبعه عند تحويلها من نظام إلى آخر transformation
وتلك الكميات ثلاثة أنواع:
* الأول تتبع قانون تحويل التفاضلة وتسمى كميات متصاحبة التغاير covariant $Aj$
* والثاني تتبع كمياته قانون تحويل تفاضل الدالة القياسية وتسمى كميات لاتغيرية contravariant $Ai$
* والثالث كميات مختلطة من النوعين السابقين mixed $Aij$
في الرياضيات، جبر الموترات لفضاء إتجاهي V، يرمز إليه ب T(V) أو T$^•$(V)، هو جبر الموترات على V (من أي رتبة) وتكون نتيجة عملية الضرب هي عامل ضرب الموتر.
وجبر الموترات أيضا له هيكلي جبر مرافق coalgebra structures، واحد بسيط لا يجعل منه ثنائي الجبرية bialgebra، وواحد أكثر تعقيدا ينتج ثنائي الجبرية، ويمكن تمديدها مع نقيض إلى بنية جبر هوبف.

## البناء

لتكن V هي فضاء إتجاهي عبر حقل K. عن أي عدد صحيح غير سالب k، نحدد جبر موترات من درجة k$^{th}$ لV لتكون جداء الموتر لV مع نفسه k مرات:
    $T^{k}V=V^{\otimes k}=V\otimes V\otimes \cdots \otimes V.$
وهذا هو، T$^k$V تتألف من جميع الموترات في V من رتبة k. اتفاقاً T$^0$V هو حقل الأرض K (كفضاء إتجاهي ذو بعد واحد على نفسه).
ثم ننشئ T(V) كجمع مباشر ل T$^k$V ل k = 0,1,2,…
    $T(V)=\bigoplus _{k=0}^{\infty }T^{k}V=K\oplus V\oplus (V\otimes V)\oplus (V\otimes V\otimes V)\oplus \cdots .$
الضرب في T(V) يتم تحديدها من قبل التشاكل:
    $T^{k}V\otimes T^{\ell }V\to T^{k+\ell }V$
التي قدمها جداء الموتر، الذي تم تمديده بعد ذلك خطياً إلى كل T(V). قاعدة الضرب هذه تعني أن جبر الموترات T(V) هو بطبيعة الحال جبر متدرج مع T$^k$V العامل بوصفه فضاء جزئي من درجة k. وهذا التدرج يمكن مده إلى تدرج Z بإلحاق الفضاءات الجزئية $T^{k}V=\{0\}$ لأعداد صحيحة سالبة 'k.

### مواضيع ذات علاقة

* الموتر.

## مراجع

* ↑ "معلومات عن جبر الموترات على موقع ams.org". ams.org. مؤرشف من الأصل في 2022-06-14.
* بوابة جبر
* بوابة رياضيات
* هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.
# جدولة المعالج

المجدولات Schedulers:
جدولة المعالج هي عدد كبير من الإجرائيات التي لا تتسع لها الذاكرة الرئيسية، يتم نقل هذه الإجرائيات إلى الذاكرة الثانوية (القرص) لتخزن ضمن لائحة المهام job pool, يقوم مجدول المهام job scheduler أو يدعى long-term scheduler المجدول طويل الأمد، باختيار الإجرائيات من هذه اللائحة لنقلها إلى الذاكرة الرئيسية ليتم تنفيذها، بينما يقوم المجدول قصير الأمد short-term scheduler أو يدعى مجدول وحدة المعالجة المركزية CPU scheduler, باختيار إحدى الإجرائيات الجاهزة للتنفيذ وحجز وحدة المعالجة المركزية لها. الفرق الرئيسي بين هذين المجدولين يكمن في تواتر عملها (عدد مرات التكرار خلال ثانية واحدة), المجدول قصير الأمد short-term يجب أن يختار إجرائية جديدة لوحدة المعالجة المركزية بتردد عالي، لأن زمن بقاء الإجرائية قيد التنفيذ قد لا يتجاوز عدة ميلي ثانية قبل أن تقوم بطلب جهاز دخل/خرج، غالباً فإن المجدول قصير الأمد يقوم بانتقاء إجرائية كل 100 ميلي ثانية، وبسبب الوقت القصير بين عمليات الانتقاء، فإن المجدول قصير الأمد يجب أن يكون سريعاُ في عمله، فمثلاً إذا تطلبت عملية انتقاء الإجرائية 10 ميلي ثانية بالنسبة للمجدول قصير الأمد، وكان زمن تنفيذ الإجرائية هو 100 ميلي ثانية، عندها فإن 9% من زمن وحدة المعالجة المركزية يضيع على جدولة الإجرائيات. أما بالنسبة للمجدول طويل الأمد long-term, يتم التنفيذ بتردد أبطأ، ربما قد يصل إلى دقائق. يتحكم المجدول طويل الأمد بدرجة degree تعدد البرمجة multi-programming (وهو عدد الإجرائيات الموجودة في الذاكرة), إذا كانت درجة تعدد البرمجة مستقرة فهذا يعني أن المعدل الوسطي لإنشاء إجرائيات جديدة يساوي المعدل الوسطي للإجرائيات التي تغادر الذاكرة (تنتهي terminated), وبالتالي فإن المجدول طويل الأمد يمكننا أن لا نستدعيه إلا عندما تغادر إحدى الإجرائيات. وبسبب الفواصل الزمنية الطويلة بين عمليات استدعائه، يمكن للمجدول طويل الأمد أن يأخذ وقته الكافي ليقرر أي إجرائية سيقوم بانتقائها.
يمكن تصنيف معظم الإجرائيات بشكل عام إلى: I/O-bound process إجرائيات نمط دخل/خرج، وهي إجرائيات تقضي معظم وقتها في تنفيذ عمليات دخل/خرج، أكثر مما تقضيه في تنفيذ العمليات الحسابية. التنصيف الثاني هو CPU-bound process إجرائيات نمط معالجة، وكما هو متوقع، فإن هذه الإجرائيات تقضي معظم وقتها في تنفيذ العمليات الحسابية أكثر مما تقضيه في تنفيذ عمليات دخل/خرج. من المهم أن يقوم المجدول طويل الأمد باختيار مزيج mix متناسق من الإجرائيات، يضم إجرائيات نمط دخل/خرج وإجرائيات نمط معالجة. لأنه إذا كانت كل الإجرائيات نمط دخل/خرج I\O-bound سنجد أن رتل الجاهزية ready queue سيكون معظم الوقت فارغ، وعملياً المجدول قصير الأمد لن يجد شيئاً ليفعله، إذا كانت كل الإجرائيات من نمط معالجة CPU-bound, عندها فإن أرتال اجهزة الدخل خرج ستكون تقريباً فارغة، وعملياً أجهزة الدخل/خرج غير مستخدمة، وفي كلا الحالتين يعتبر النظام غير متوازن، حتى نحصل على أفضل أداء للنظام يجب على المجدول طويل الأمد أن يقوم باختيار مزيج combination من الإجرائيات نمط المعالجة والإجرائيات نمط دخل/خرج.

## مراجع

* ↑ Silberschatz, Abraham; Galvin, Peter B.; Gagne, Greg (2010). Operating System Concepts (بالإنجليزية). Wiley. ISBN:9780470233993. Archived from the original on 2019-12-22.
* بوابة علم الحاسوب
* هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا شارك في تحريرها.