CALM/arwiki huggingface dataset:
تعتمد اللغات المنطقية على قوانين هورن الممثلة بالشكل التالي:
H :- B1, …, Bn.
بحيث H هو الدالة الهدف و B1...n هي قضايا يجب البحث عن حلها لحل القضية الرئيسية
ويمكن تأويلها بشكل إجرائي على الشكل:
كي تحل\تظهر H اظهر\حل B1 وقم بحل\اظهار B2... إلى Bn
وبلغة المنطق الرياضي يمكن القول الجملة السابقة تكافئ:
B1 and … and Bn → H
مبرمجي اللغات المنطقية المحترفين يستخدمون تفسيرات اجرائية ليكتبو برامجهم وتفسيرات تصريحية للتأكد من خلو الهدف من اخطاء والوصول للهدف.
البرمجة المنطقية (بالإنجليزية: Logic programming) هي بمفهومها العام استعمال المنطق الرياضي من أجل برمجة الحاسوب. ويستعمل المنطق لغة تصريحية للتعبير عن المشكلة. خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل كامل، وانما يقع على عاتقه مسؤولية جزئية في حل المشكلة، وهي بتمثيل القضايا والمعارف بصفة منطقية (logical form) ، ويقع الجزء الآخر لحل المشكلة على ما يدعى بمبرهن القضايا (theorem-prover ) أو مولد النماذج (model-generator) الذي يقوم بحل المشكلة بشكل فعال.
علم المنطق.
بكل الأحوال تستخدم اللغات المنطقية تكتيك السلسلة الخلفية لعملية الاستنتاج (backward reasoning) و يتم التعامل مع البرنامج على انه تساؤل يجب الإجابة عليه والبحث عن اجابته.
تعتمد اللغات المنطقية على قوانين هورن الممثلة بالشكل التالي :
بحيث H هو الدالة الهدف و B1...n هي قضايا يجب البحث عن حلها لحل القضية الرئيسية.
ويمكن تأويلها بشكل إجرائي على الشكل :
وبلغة المنطق الرياضي يمكن القول أن الجملة السابقة تكافئ :
مبرمجي اللغات المنطقية المحترفين يستخدمون تفسيرات إجرائية ليكتبوا برامجهم وتفسيرات تصريحية للتأكد من خلو الهدف من اخطاء والوصول للهدف.
يعتبر استخدام المنطق الرياضيّ لتمثيل وتنفيذ برامج الحاسب أحد مميزات حسابات اللامدا، التي طوّرها «ألونسو تشيرش» في ثلاثينيّات القرن العشرين. لكنّ أوّل من اقترح استخدام الصيغة الجُمليّة للمنطق –على شكل جُمل- من أجل تمثيل برامج الحاسب كان «كورديل غرين». استخدم تبسيط الحقائق لمجموعة جزئيّة من لغة البرمجة ليسب (LISP) -إلى جانب تمثيل علاقة الإدخال والإخراج- لحساب العلاقة من خلال محاكاة تنفيذ البرنامج في لغة ليسب(LISP). من ناحية أخرى استخدمت لغة البرمجة Absys مزيجًا من معادلاتٍ وحساباتٍ للامدا في لغة برمجيّة توكيديّة لا تضع أيّ قيود على الترتيب الذي تُنّفذ فيه العمليات.
يمكن تعقّب البرمجة المنطقيّة بشكلها الحاليّ بالعودة إلى الوراء إلى مناقشاتٍ في نهاية ستينيّات القرن العشرين وبداية سبعينيّاته حول تمثيل المعرفة الإجرائيّ مقابل تمثيل المعرفة التعريفيّ في الذكاء الصنعيّ. لُوحظ أن الدّاعمين للتمثيل التعريفيّ كانوا يعملون في ستانفورد مُنضمّين إلى «جون مكارثي» و«بيرترام رافاييل» و«كورديل غرين»، وفي إدنبره مع «جون آلان روبنسون» (زائر أكاديمي من جامعة سيراكيوز) و«بات هايس». تركّز داعمو التمثيل الإجرائيّ بشكل رئيسيّ في معهد ماساتشوسيتس للتكنولوجيا (MIT)، وذلك تحت إشراف «مارفن مينسكي» و«سيمور بّابّيرت».
على الرغم من أن لغة البرمجة «Planner» كانت تستند إلى طرق براهين منطقية–طُوّرت في معهد ماساتشوسيتس للتكنلوجيا- فإنّها كانت أوّل لغة تنشأ بهذا النمط الإجرائيّ. تميزت لغة «Planner» باستدعاء خطط إجرائيّة موجّهة وفقًا لنمط واضح من الأهداف «الحدُّ من الأخطاء في الهدف أو التسلسل الخلفيّ» ومن التوكيدات «التسلسل الأمامي». أكثر تنفيذ كان له تأثير بلغة «Planner» هو مجموعة جزئيّة منها تُسمى «Micro-Planner» نفّذها كل من جيري سوسمان ويوجين شارنياك وتيري وينوغارد. استُخدمت لتنفيذ برنامج وينوغراد لفهم اللغة الطبيعيّة والذي يُدعى SHRDLU، إذ شكّل حدثًا بارزًا في ذلك الوقت.
للتعامل مع الأنظمة ذات الذواكر المحدودة جدًا في ذلك الوقت، استخدمت لغة «Planner» بنية تحكم تراجعيّة إذ يمكن تخزين مسار حسابيّ واحد في وقت واحد. أدّت لغة «Planner» إلى ظهور لغات البرمجة QA-4، و Popler، Conniver، QLISP، واللغة المتزامنة Ether أيضًا.
حاول كل من هايس وكولسكي في إدنبره التوفيق بين النهج التعريفيّ القائم على المنطق لتمثيل المعرفة مع نهج لغة «Planner» الإجرائيّ. طوّر هايس(1973) لغة تعادليّة –اسمها Golux- يمكن فيها الحصول على إجرائيّات مختلفة عن طريق تعديل طريقة معالجة مبرهن النظرية. من ناحية أخرى، طوّر كولسكي القاعدة المرجعيّة التي تُسمى «SLD resolution» –تختلف عن «SL-resolution»- وبيّن كيف تتعامل مع الاقتضاءات كإجرائيّات تسعى للحدّ من الأخطاء في الهدف. تعاون كولسكي مع كولميراور في مرسيليا الذي طوّر هذه الأفكار في تصميم وتنفيذ لغة البرمجة برولوغ (Prolog).
تأسّست جمعية البرمجة المنطقيّة لدعم البرمجة المنطقيّة في عام 1986.
أدّى ظهور لغة البرولوغ إلى ظهور لغات برمجة مثل لغة البرمجة الوظيفيّة المنطقيّة الجبريّة(ALF) ، Fril، Gödel، Mercury، Oz، Ciao، فيجوال برولوغ، XSB، λProlog، بالإضافة إلى مجموعة من لغات البرمجة المنطقيّة المتزامنة ولغات البرمجة المنطقيّة القيديّة و Datalog.
المنطق والتّوجيه.
تُعتبر البرمجة المنطقيّة بمثابة استدلالٍ موجّه. يُوجد فكرة هامة في البرمجة المنطقيّة وهي فصل البرامج المنطقيّة إلى مكوّناتها المنطقيّة ومكوّناتها التوجيهيّة. في لغات البرمجة المنطقيّة البحتة، يُحدّد المكوّن المنطقيّ وحده الحلول الناتجة. يمكن أن يتنوّع المكوّن التّوجيهيّ بغرض توفير طرق بديلة لتنفيذ البرنامج المنطقيّ. استُوحي هذا المفهوم من الشعار:الخوارزميّة= المنطق + التّوجيهإذ يمثّل «المنطق» برنامجًا منطقيًا ويمثّل «التّوجيه» استراتيجياتٍ مختلفةً لإثبات النّظريات.
حلّ المشاكل.
في الحالة الافتراضيّة المبسطة التي يكون فيها البرنامج المنطقيّ والهدف الأصغريّ عالي المستوى لا يحتويان على متغيرات، يُعرّف الاستدلال الخلفيّ شجرة «and-or»، التي تشكّل الفضاء البحثيّ لحلّ المشكلة الهدف. الهدف الموجود في أعلى مستوى للشجرة يُسمى جذر الشجرة. إذا أخذنا أيّ عقدة في الشجرة أو أيّ عبارة يتطابق رأسها مع العقدة، نلاحظ أنّه يوجد مجموعة من العقد الأبناء المُناظرة للأهداف الفرعيّة في بنية العبارة. تُجمع هذه العقد الأبناء من خلال « and». المجموعات البديلة من الأبناء والتي تكون مُناظرة للطرق البديلة لحلّ العقدة تُنظّم مع بعضها في « or».
يمكن استخدام أيّ استراتيجية بحث للبحث في هذا الفضاء. تستخدم لغة برولوغ استراتيجية تعقّب خلفيّ تسلسليّة –ما يدخل أولًا يخرج أولًا- يُعتمد فيها بديل واحد وهدف فرعيّ واحد في الوقت نفسه. استراتيجيات البحث الأخرى مثل البحث التّفرّعي والتعقّب الخلفيّ الذكيّ أو بحث «الأفضل-الأول» لإيجاد حلٍّ مثاليّ هي استراتيجيات مُمكنة أيضًا.
في الحالة الأعمّ، التي تشترك فيها الأهداف الفرعيّة بالمتغيّرات، يمكن استخدام استراتيجيّاتٍ أخرى مثل اختيار الهدف الفرعيّ الذي يكون الأفضل تمثيلًا أو ذي التّمثيل الأكثر فاعليّة لكي يمكن تطبيق إجراء واحد فقط. تستخدم استراتيجيّات كهذه –على سبيل المثال- في البرمجة المنطقية المتزامنة.
فولفغانغ سيدكا من مواليد 26 يونيو سنة 1954.
كان لاعب وسط ولعب لأندية هيرتا ببرلين للفترة من 1971-1980 و ميونيخ 1860 للفترة 1980-1982 وفيردر بريمن 1982-1987.
أنهى مسيرته كلاعب نادي مع هرتا بيرلن الدوري الألماني في المركز الثاني في الموسم 1974- 1975، وسجل 24 هدفا ولعب خلال مسيرته 333 مباراة في الدوري الألماني وسجل 44 هدفا.
بدأ مسيرته التدريبية سنة 1987، ومنذ عام 1988 وحتى 2009 عمل مدربا ومساعد مدرب في العديد من النوادي وكما يلي:
صعد بالمنتخب البحريني في تصنيف الفيفا من المركز 138 إلى المركز 50 عالمياً حسب تصنيف الفيفا.
اختير كأحسن مدرب في قطر سنة 2004 عندما كان مدربا للعربي.
تحت قيادته فقد منتخب البحرين فرصة التأهل لكأس العالم عام 2006 عندما خسر مباراة الإياب في البحرين بهدف مقابل لا شيء أمام منتخب ترينيداد وتوباغو بعدما انتهت مباراة الذهاب بدون أهداف. في سنة 2010 أصبح مدربا للمنتخب العراقي.
الخوارزمية المتوازية في عالم الحاسب الآلي نوع من الخوارزميات التي يمكن فيها تنفيذ أكثر من قطعة في وقت واحد أو تنفيذ قطعة منها على أكثر من وحدة معالجة على أن يتم في نهاية الحصول على النتيجة الصحيحة. وتقابل الخوارزمية المتوازية الخوارزمية التقليدية المتسلسلة حيث يتم تنفيذ التعليمات تباعا.
بعض الخوارزميات هي من السهل تقسيمها إلى أجزاء من هذا القبيل. على سبيل المثال، يمكن تقسيم العمل الساعي لتحديد الأعداد الأولية المحصور بين 1 و100000 واحد بتعيين مجموعات فرعية من الأعداد توزع على المعالجات المتوفرة، وبعد ذلك وضع قائمة من النتائج الإيجابية معا مرة أخرى.
ومن ناحية أخرى، معظم الخوارزميات المتاحة لحساب بي (π) لا يمكن تقسيمها بسهولة إلى أجزاء متوازية. لأنها تحتاج لنتائج خطوة سابقة للعمل على نحو فعال في الخطوة التالية. وهذه المشاكل تسمى مشاكل ذات طبيعة متسلسلة. الطرائق العددية التكرارية، مثل طريقة نيوتن، هي أيضا خوارزميات ذات طبيعة متسلسلة. بعض المشاكل من الصعب جدا التوازي فيها على الرغم من أنها متكررة recursive problems.
أصبحت الخوارزميات المتوازية ذات قيمة بسبب التحسينات الجوهرية في أنظمة المعالجة المتعددة وظهور المعالجات متعددة النوى. بشكل عام، من الأسهل بناء جهاز حاسوب بمعالج سريع واحد على حاسوب مع العديد من المعالجات البطيئة مع الإنتاجية نفسها. لكن زيادة سرعة المعالج تتم عن طريق تقليص حجم الدوائر في المقام الأول، والمعالجات الحديثة ترفع الحجم المادي وحدود الحرارة. هذه الحواجز المرتبطة قلبت المعادلة، مما يجعل المعالجة المتعددة عملية حتى بالنسبة للأنظمة الصغيرة.
روب روي ماكغريغور (1671 – 1734) هو خارج عن القانون من اسكتلندا وهو أحد أهم الأمثلة عن الخارجين عن القانون من أهل المرتفعات الاسكتلندية والذي كانت مآثره موضوعا لأحد روايات السير والتر سكوت.
كان روب روي منحدرا من عشيرة ماكغريغور، وهو الابن الأصغر لدونالد ماكغريغور من غلينغايل وهو مقدم الملك جيمس الثاني وأمه هي ابنة وليام كامبل من غلينيفز واكتسب لقب روي من شعره الأحمر، ولاحقا استعمل اسم كامبل كاسم عائلته بسبب ما شكله استعمال اسم ماكغريغور من خطر بسبب ما سجل من أعمال نسبت لعشيرته. ورغم أن قامته لم تكن أطول كثيرا من المتوسط إلا أنه كان مفتول العضلات وكانت بنيته مليئة فكان القليلون يجارونه في القوة، بينما منحه طول ذراعيه ميزة فائقة في استعمال السيف. كما عرف بنظراته الحادة والثاقبة التي كانت مكملة لمظهره.
التقدم نحو الزعامة.
ورث روب روي أملاكا صغيرة في تلال بالكوهيدر، وفي البداية كرس نفسه لتربية الماشية. ثم شكل فرقة من رجال العشائر المسلحين بعد تولي وليام الثالث عرش البلاد، إذ تلقى تفويضا من جيمس الثاني ليشن حربا على كل من لم يعترف به كملك. وفي خريف العام 1691 توجه نحو ستيرلينغشاير ليغنم ماشية اللورد ليفينغستون، وبعد أن تصدى له القرويون في كيبن استولى على الماشية من كل زرائب القرية.
بعدها بوقت قصير تزوج هيلين ماري ابنة ماكغريغور من كومار. وعند موت غريغور ماكغريغور زعيم العشيرة في عام 1693، فقد استطاع أن يجعل نفسه زعيما معترفا به على العشيرة، رغم أنه لم يكن أقرب الورثة، وبسط سيطرته علي الأرض من تلال بالكوهيدر إلى شاطئ بحيرة لوخ لوموند، ووضع نفسه بين أملاك أرغيل ومونتروز. واقترض أموالا من جيمس غراهام الدوق الأول لمونتروز لكي يستمر في تجارته كبائع ماشية، وعندما لم يستطع سداد هذا القرض تم طرده من أملاكه في عام 1712 وأعلن خارجا عن القانون.
اتخذ روب روي المرتفعات المنيعة كملاذ له، من هذا الوقت كان يقوم بعمليات السلب التي نفذها بكل جرأة على الدوق والمستأجرين لديه، وباءت كل المحاولات للقبض عليه بالفشل. وخلال ثورة 1715، وكان له دور فعال في معركة شيريفمور، وكان منحازا للأمير جيمس ستيوارت وابنه تشارلز، إلا أنه قام بنهب الأموال من الجهتين.
تم ضمه في قانون الخزي (قانون يحرم المتهم من المحاكمة القضائية)؛ ولكن بفضل صداقته مع جون كامبل الدوق الثاني لأرغيل، فقد حصل على وعد بالحماية عندما استسلم في إنفراراي. وبعدها استقر روب روي في كريغروستون قرب بحيرة لوخ لوموند، وهناك كان يفرض الإتاوات والمكوس كما كان يفعل في مونتروز، وعندما كان يهرب ببراعة وبسبب نشاطاته تم تكليف كل حامية في إنفرسنيد لجلبه إلى العدالة.
في النهاية وبوساطة اللورد أرغيل تمت موافقته على الصلح واستسلم للجنرال جورج ويد؛ ثم اقتيد وسجن في سجن نيوجيت، وفي عام 1727 نم منحه العفو في الوقت كان سينقل فيه إلى باربادوس. وعاد بعدها إلى اسكتلندا.
وفقا لملاحظة في كاليدونيان ميركوري فقد مات روب روي في بالكوهيدر في 28 ديسمبر 1734. ودفن في ساحة كنيسة بالكوهيدر.
أفضل السير الموجودة عنه في كتاب المذكرات التاريخية لكينيث ماكلي (1818)؛ ألكساندر هاستيز ميلار "حكاية روب روي" (1883). مقدمة السير والتر سكوت في رواية روب روي. وهناك سجل قديم يدعى صعلوك المرتفعات (1723) وهو منسوب لدانيال ديفو.
ليكالوبيكس Lycalopex هو جنس من أجناس الكلاب التي توجد في أمريكا الجنوبية. النوع الأكثر شيوعا هو مما لا شك فيه الثعلب الرمادي الأرجنتيني ذو الآذان الكبيرة . تصاد هذه الثعالب للحصول على فرائها في الأرجنتين، وأيضا بسبب سمعتها ك "قتلة الحملان" سمعة على نطاق واسع مبالغ فيها.
ليكالوبيكس هي كلمة إغريقية الأصل" λύκος / lúkos" تعني حرفيا "الذئب الثعلب" ويسمى أيضا هذا الجنس بPseudalopex وتعني "الثعلب الوهمي".
تشبع مغناطيسي في الفيزياء (بالإنجليزية:magnetic saturation) يظهر التشبع المغناطيسي في بعد المواد المغناطيسية وهي تحدث عندما لا يستمر تزايد مغناطيسية المادة بتزايد شدة المجال المغناطيسي الخارجي "H" المسلط عليها، فيصل المجال المغناطيسي الكلي "B" إلى حالة التشبع المغناطيسي . وهي خاصية مميزة للمواد ذات المغناطيسية الحديدية مثل الحديد والكوبلت والنيكل وسبائكهم .
ويظهر التشبع المغناطيسي عند قياس منحنى المغناطيسية لمادة فيما يسمى الاستبقائيّة . فعند زيادة المجال المغناطيسي "H" الخارجي فإن معناطيسية "B" العينة تتزايد حتى تصل تدريجيا إلى نهاية عظمى، وبذلك تصل مغناطيسية العينة إلى حد التشبع . وعمليا يتزايد المجال "B" بعد التشبع ولكن بدرجة ضعيفة بسبب تزايد المغناطيسية المسايرة التي تقل 1000 مرة عن معدل تزايد المغناطيسية الحديدية قبل الوصول إلى التشبع.
السّعد الناعم نوع نباتي يتبع جنس السعد من الفصيلة السعدية.
موطنه بلاد الشام ومصر والمغرب العربي وقبرص وكريت وصقلية.
ينتشر أيضًا في جنوب غرب أمريكا الشمالية وهاواي ووسط المكسيك وأمريكا الجنوبية.
السّعد البصيلي نوع نباتي يتبع جنس السعد من الفصيلة السعدية.
موطنه الأصلي في أفريقيا والهند وأستراليا.
ثقب أسود دقيق (بالإنجليزية: Micro Black Hole)، وتُعرف أيضًا باسم ثقوب ميكانيكا الكم السوداء أو الثقوب السوداء الصغيرة، وهي ثقوب سوداء افتراضية صغيرة، تلعب فيها آثار ميكانيكا الكم دورًا هامًا. وضع العالم ستيفن هوكينغ فكرة إمكانية تواجد الثقوب السوداء بكتل أقل من الكتل النجمية في عام 1971.
من الممكن أن تكون هذه الثقوب السوداء البدائية الكمية تكونت في بيئة عالية الكثافة خلال فترات الكون المبكر (الانفجار العظيم)، أو ربما تكونت عبر التحولات الطورية اللاحقة.
تتنبأ بعض الفرضيات المتعلقة بالأبعاد المكانية الإضافية أنه من الممكن أن تكون الثقوب السوداء الدقيقة تكونت في مدى منخفض من الطاقة يقع ضمن نطاق التيرا إلكترون فولت (TeV)، وهذا المدى متاح تحقيقه داخل مسرعات الجسيمات مثل مصادم الهدرونات الكبير. انتشرت بعد ذلك بعض المخاوف الرائجة حول سيناريوهات نهاية العالم. وبجانب الحجج النظرية، لا تُسبب الأشعة الكونية التي تصيب كوكب الأرض أي أضرار، مع أن طاقتها تصل إلى المئات من التيرا إلكترون فولت.
الثقوب السوداء البدائية.
التشكل في عصر الكون المبكر.
يتطلب تشكل الثقوب السوداء وجود طاقة أو كتلة مُركزة ضمن نطاق نصف قطر شفارتزشيلد المقابل لهذه الكتلة. افترض زيلدوفيش ونوفيكوف في البداية، وستيفن هوكينغ بشكل مستقل، أن الكون كان كثيفًا بالشكل الكافي، عقب الانفجار العظيم بفترة وجيزة، لتقع أي منطقة من فضاء الكون ضمن نطاق نصف قطر شفارتزشيلد الخاص بها. ومع ذلك، في تلك الفترة، لم يكن الكون قادرًا على الانهيار إلى متفردة بسبب التوزيع المنتظم للكتلة بداخله بالإضافة إلى نموه السريع. ومع ذلك، فإن هذا لا يستبعد تمامًا احتمالية ظهور ثقوب سوداء بأحجام متنوعة بشكل محلي. يسمى الثقب الأسود المتكون بهذه الطريقة باسم الثقب الأسود البدائي، وهي أكثر الفرضيات قبولًا لاحتمالية تشكل الثقوب السوداء الدقيقة.
الآثار المتوقعة التي يمكن رصدها.
سيكون الثقب الأسود البدائي، ذو الكتلة الأولية التي تصل إلى 1012 كيلوغرامات تقريبًا، عند إتمام مرحلة التلاشي في عصرنا الحاضر؛ بينما سيكون الثقب الأسود البدائي، الأقل في الكتلة، قد تلاشى بالفعل. وفي ظل الظروف المثالية، يمكن لمرصد فيرمي الفضائي لأشعة غاما، الذي أُطلق في يونيو 2008، أن يرصد بعض الأدلة البيئية لتلاشي أحد هذه الثقوب السوداء القريبة من خلال رصد انفجارات أشعة غاما. ومن المستبعد أن نتمكن من ملاحظة أحداث تصادم هذه الثقوب السوداء الدقيقة مع الأجرام الفلكية مثل النجوم أو الكواكب. ستتمكن هذه الثقوب السوداء، بفضل نصف قطرها الصغير وكثافتها المرتفعة، أن تمر مباشرةً عبر أي جرم مُكون من ذرات اعتيادية؛ إذ إنه سيتفاعل مع بعض ذرات هذا الجرم فقط أثناء هذه العملية. ومع ذلك، اقتُرح أن مرور ثقب أسود صغير، بكتلة كافية، عبر كوكب الأرض يمكن أن ينتج بعض الإشارات الصوتية أو الزلزالية التي يمكن رصدها.
القفل مصطلح مستعمل في ميدان الحوسبة المتوازية، والقفل هو آلية تزامن لتأمين تطبيق قيود على الوصول إلى مورد في بيئة حيث يتم تنفيذ عدة خيوط. فيصبح الوصول مؤمن لطالب واحد في نفس الوقت. الأقفال أحد الطرق لإنفاذ سياسات مراقبة التزامن.
كما أن الأقفال مستعمل أيضا في أنظمة التشغيل متعددة المستخدمين.
جامع تلاكين بني صغيرا بجزيرة جربة وكان مربّع طول ضلعه ثلاثة أمتار ونصف. بناه الشيخ لاكين في أواسط القرن الثّالث هجري. ولمّا كثر السّكّان وضاق المسجد بالمصلّين زاد فيه علماء بني أبي زيد المصفورتي قدر الثّلثين سنة 601 هجري .
يحيط بالمسجد صور من جميع الجهات و له 3 مداخل مدخلان غربيان وآخر من جهة الشمال. به أربعة مواجل و فسقيّة ورواق يفتح إلى الشّمال،
و ميضة ،وفيه مـخزن وخلوة و كتّاب من جهة الغرب ومئذنة.
الشيخ سالم بن يعقوب ( تاريخ جزيرة جربة و مدارسها العلمية ص 345)
الحوسبة المتعددة غير المتماثلة تعنى بالتعامل مع وحدات معالجة مركزية متعددة حيث يخصص أحدها لأعمال النواة.
استبعاد التشارك أو إقصاء التشارك أداة مزامنة تستعملها بعض الخوارزميات المستعملة في البرمجة لتفادي الاستخدام المتزامن للموارد المشتركة، مثل الوصول لمتغير عام، قد تقوم به بعض المقاطع الحرجة. المقطع الحرج هو جزء من البرمجية حيث تسعى عملية أو خيط للوصول فيه إلى مورد مشترك. المقطع الحرج في حد ذاته ليس آلية أو خوارزمية للاستبعاد المتبادل.
خوارزميات استبعاد التشارك تسمح بضبط الوصول للبيانات. مثلا، حين يتم تنفيذ روتين معين مرة واحدة في نفس الوقت فلا يقبل التوازي.
مزيل الفوسفور الحيوي المحسن Enhanced biological phosphorus removal (EBPR) هو شكل من أشكال معالجة الصرف الصحي المطبق في أنظمة الترسبات الفعالة لإزالة الفوسفات. الأداة الأكثر استخداماً في هذه المعالجة هي صهاريج anaerobic (بغياب الأكسجين النترات) ،في هذه الحالة فإم مجموعة من بكتريا غيرية التغذية تدعى متعضيات تراكم الفوسفات المتعدد polyphosphate-accumulating organisms (PAO) وهي في مجتمع البكتريا غنية بالرواسب الطينية.هذه البكتريا تجمع كميات كبيرة من الفوسفات متعدد في خلاياها وبذلك يقال أن غزالة الفوسفات تحسنت.
بشكل عام، البكتريا تحتوي نسبة (1-2%) من الفوسفور في كتلتها الحيوية لوجوده في المكونات الخلوية، مثل الغشاء الخلوي للدهنيات والحمض النووي DNA ،ولذلك كبكتريا في معالجة المياه الملوثة يتم استهلاك النباتي للنترات من المياه الملوثة بشكل متزايد، والفوسفور يتوضع في الكتلة الحيوية للبكتريا. وبينما تكبر هذه البكتريا تقوم بالإضافة لسحب الفوسفور بتجميع كميات كبيرة من الفوسفات في خلاياها. وتصبح نسبة الفوسفور فيها 5-7%. ثم تزال من المياه المعالَجة في نهاية العملية وبذلك يزال الفوسوفور. وإذا تم تزويد هذه البكتريا بEBPR فإن كميات أكبر من الفوسفور ستزال مقارنة بالطرق التقليدية.
مقاومة مغناطيسية نفقية في الفيزياء هو تأثير مقاومة مغناطيسية يحدث في توصيلات مغناطيسية نفقية، والنفقية هنا يرجع إلى نفق ميكانيكا الكم الذي تفسره ميكانيكا الكم . أي أن تأثير المقاومة المغناطيسية النفقية هو تاثير كمومي لا تستطيع تفسيره الميكانيكا التقليدية وتفسره نظرية الكم.
وتتكون هذه المقاومة من طبقتين مغناطيسيتين حديديتين وبينهما طبقة رقيقة جدا من مادة عازلة . فعندما تصل سمك الطبقة الرقيقة عدة نانومتر فيمكن للإلكترونات الانتقال بين المغناطيسين طبقا لظاهرة نفق ميكانيكا الكم .
عند تطبيق مجال مغناطيسي خارجي على تلك العينة يمكن ضبط اتجاه المغناطيسية في أي من الطبقتين المغناطيسيتين بدون إلزام للطبقة الأخرى . فعندما تكون الطبقتان المغناطيسيتان في اتجاه واحد يكون احتمال مرور إلكترونات بين الطبقتين كبير متخللا الطبقة العازلة ، وإذا كان اتجاه المغناطيسية في الطبقتين المغناطيسيتين معكوسا يقل التيار المار بينهما. بذلك يمكن أن تتغير المقاومة بالنسبة للتيار الكهربائي بين 0 و 1 .
اكتشفها الفيزيائي الفرنسي جوليير عام 1975 في توصيلات الحديد/جرمانيوم-الأكسجين/الكوبلت عند درجة حرارة 2و4 كلفن.
وحيث أن كان التغير في المقاومة بنسبة 1 % فقط عند درجة حرارة الغرفة فلم يحظى التأثير بانتباه كبير. وفي عام 1991 وجد العفيزيائي الياباني ميازاكي من جامعة توهوكو تأثير بنسبة 7و2% في درجة حرارة الغرفة ، ثم في عام 1994 تأثير بالغ وصل إلى 18% في درجة حرارة الغرفة ، وكانت عبارة عن طبقتين من الحديد تفصلهما طبقة رقيقة من مادة عازلة من أكسيد الألمونيوم.
وتبلغ أكبر التأثيرات المعينة لتوصيلات تقوم علي استخدام أكسيد الألمونيوم حتى الآن نحو 70 % عند درجة حرارة الغرفة .
تعمل رؤوس القراءة التي تقوم بقراءة المعلومات على الأقراص الصلبة الحديثة باستخدام المقاومة المغناطيسية النفقية. كما يوجد نوع جديد من الذاكرة MRAM يعمل بواسطة المقاومة المغناطية النفقية ، وكذلك تستخدم في الحساسات مثلما في أنظمة الكبح الحديثة في السيارات .
أبو الحسن محمد بن أبي ذر يوسف العامري النيسابوري من فلاسفة القرن الرابع الهجري. ولد في مطلع مدينة نيسابور في مطلع القرن الرابع الهجري. تتلمذ على أبو زيد البلخي
وتوفي عام 381 هـ. .
لأبي الحسن العامري قائمة طويلة من المؤلفات شملت علم العقيدة، ومقارنة الأديان، وتفسير القرآن، والأخلاق، والتربية، وعلم النفس، المنطق والفلسفة، ومؤلفات أخرى في العلوم الطبيعية كعلم النبات والبصريات.
ومن أهم مؤلفاته: شروح على كتب أرسطو ثم النُّسك العقلي، والإبصار والمبصر، والإعلام بمناقب الإسلام، والسعادة والإسعاد في السيرة الإنسانية ثم مجموعة كتب ورسائل تشمل: إنقاذ البشر من الجبر والقدر ثم التقرير لأوجه التقدير (وهو بيان لوجوه الحكمة الإلهية في خلق الكون وتدبيره)، والأمد علي الأبد والسعادة والإسعاد في السيرة الإنسانية، والفصول في المعالم الإلهية.
الرسوم المتحركة التقليديةهي تقنية لتحريك الرسوم ويعرف أيضاً classical animation, cel animation, or hand-drawn animation هو أول النموذج الأكثر شعبية في الرسوم المتحركة. في رسم كاريكاتوري تقليديا الرسوم المتحركة، ويوجه كل إطار بـاليد من قبل رسام. مصطلح "الرسوم المتحركة التقليدية " أما الآن تستخدم في مع تحريك حاسوبي الآن أكثر شيوعاً.
لوح القصة.
إن الرسوم المتحركة التقليدية تبدأ دائماً (مثل أي رسوم متحرّكة أخرى) بألواح القصة، وهي مجموعة من النصوص تكتب بكلا الصور والكلمات، وهذا مشابه لمختصر قصة مصورة عملاق. تتيح الصور لفريق التحريك التخطيط لسير أحداث القصة وهيئة الأماكن. يَقوم راسموا لوح القصة بزيارة المخرج دورياً أثناء إعداد اللوح للتحاور معه حوله، وربما يُضطر الرسامون أحياناً لإعادة رسم اللوح عدة مرّات قبل أن يَنال الموافقة النهائية.
زين العمر (9 فبراير 1973 -)، مغني لبناني
اسمه الحقيقي طوني حدشيتي،تخلى عن اسمه الأصلي استجابة لطلب المخرج سيمون أسمر
ليصبح اسمه الفني "زين العمر" بدأ وهو بسن الثانية عشرة في الحفلات المدرسية والجلسات العائلية. في عام 1989 انتقل المطرب الشاب إلى مدرسة في كندا، وهناك بدأ الغناء في الحفلات الخاصة والأعراس. وفي عام 1993 عاد إلى لبنان وشارك في برنامج اكتشاف المواهب الفنية "ستديو الفن". أصدر أول أغنية خاصة به والتي حملت اسم "وجك خير علينا"، تبعها بعام 1994 بأغنية "كزدرنا وطال المشوار". وأصدر خلال مشواره الفني عدة ألبومات وأغنيات وطنية سياسة مثل "شو عملتي بالبلد" عام 2000 ،بي الكل للرئيس ميشال عون عام 2016
متزوج من كارول حداد ولديه ابنة اسمها ريتا
يظهر تأثير مقاومة مغناطيسية كبرى أو مقاومة مغناطيسية كبرى في الفيزياء والهندسة الإلكترونية (بالإنجليزية:giant magnetoresistance أو GMR-Effect) في أنظمة طبقات متبادلة من مادة مغناطيسية حديدية ومادة غير مغناطيسية، وتكون الطبقات رقيقة بسمك عدة نانومترات.
ذلك التأثير يجعل المقاومة الكهربية للعينة يعتمد على اتجاه المغناطيسية في الطبقات المغناطيسية، وتكون المقاومة أعلى في حالة أن يكون اتجاه المغناطيسية في الطبقات معاكسا، عن المقاومة عندما تكون مغناطيسية الطبقات في نفس الاتجاه.
اكتشف هذا التأثير عام 1988 من الفيزيائي الألماني بيتر غرونبيرغ من مركز أبحاث يوليش وكذلك من الفيزيائي الفرنسي البرت فير من جامعة جنوب باريس، كل على حده، وحاز الاثنان على جائزة نوبل للفيزياء عام 2007 على هذا الاكتشاف.
يطبق هذا الاكتشاف حاليا في تصنيع رؤؤس قراءة المعلومات المستخدمة لقراءة الأقراص الصلبة في الحاسوب.
يتعلق تأثير المقاومة المغناطيسية الكبرى بتأثير لمكانيكا الكم والذي يصف في حركة الإلكترونات وتشتتها بالاعتماد على اتجاه العزم المغزلي في منطقة تلامس الطبقات.
يمكن للإلكترونات الانتشار في إحدى الطبقتين المغناطيسيتين بسبب اتجاه عزمها المغزلي المناسب، أن تتشتت في الطبقة الثانية إذا كانت مغناطيسية الطبقة معاكسة. ولكن انتشار الإلكترونات بين الطبقتين يكون في حالة أن تكون مغناطيسية الطبقتين في نفس الاتجاه.
استخدامات اقتصادية.
انتجت شركة أي بي إم IBM أول جهاز يعمل بتط الخاصية عام 1997. وإلضافة لاستخامتها في الأقراص الصلبة فقد استخدم التأثير أيضا في الحساسات المغناطيسية التي تستعمل في السيارات وفي التصنيع الآلي وكذلك في التشابك السريع في نقل المعلوماتية.
ولم يصل تطبيق تأثير المقاومة المغناكيسية الكبرى في ذاكرة توصيل عشوائي مغناطيسي MRAM إلى حد الإنتاج الاقتصادى حتى عام 2010.
الحايك أو الحائك (والأصل الحيك ويقال له التلحيفة) لباس تقليدي مغاربي ذو أصل أندلسي ، ويسمى في المغرب الأقصى الإزار أو المئزر وفي تونس السفساري، وكان يُسمى في الأندلس المِلحف وفي أواخر العهد الأندلسي غلب بنو الأحمر العادة فبدلا من أن يكون أبيضا جعلوه أسودا دلالة على الحُزن.
انتشر هذا اللباس بشكل واسع في جميع أنحاء المغرب العربي. وهو لباس من القماش أبيض اللون تلتحف به المرأة لتستر سائر جسدها مع إضافة العجار وهو قطعة صغيرة من القماش تضعها المرأة لتغطي وجهها، كانت تلبسه بعض النساء أثناء قيامهن بالانتقال وحيدات لمسافات طويلة خارج منطقة السكن العادية.
هذا اللباس كان دينيا أو تقليديّا بلبس عادة في السفر والتنقل. بالموازاة مع ذلك، داخل البيت أو منطقة السكن كان يُلبس الجلابة وهو اللباس التقليدي الذي حافظ على درجة من الانتشار حاليا.
الحايك الجزائري.
يلبس الحايك في الجزائر عند نساء الوسط الجزائري في العاصمة ونواحيها (بومرداس، تيبازة...) والغرب الجزائري (تلمسان، وهران...)ويدعى في الغرب غالبا بالكساء أو الكسا دون همزة متطرفة لكون الجزائريبن يحذفون الهمزة المتطرفة في كلامهم جريا على قاعدتهم في تخفيف الهمزة.
الحايك هو قطعة من القماش ترتديه المرأة لتستر رأسها ووجهها وسائر جسدها، جاء في قاموس المعاني:
" تُطْلَقُ كَلِمَةُ الحايِكِ عَلى لِباسِ الْمَرْأَةِ بِالْمَغْرِبِ العربي وَهُوَ مُكَوَّنٌ مِنْ قِطْعَةِ ثَوْبٍ تَرْتَديهِ الْمَرْأَةُ، يَسْتُرُ رَأْسَها وَوَجْهَها وَكامِلَ جَسَدِها". لباس تقليدي تلبسه النسوة الجزائريات فوق ملابسهن العادية حين يغادرن منازلهن التزاما للحشمة.
كان شائع الاستعمال في كل أنحاء الجزائر والمغرب العربي وما زال حاليا يلبس في المناطق البعيدة عن المدن خصوصا النسوة الكبيرات في السن
حسب المنطقة يتغير إسمه وشكله و طريقة لبسه هو الحايك و الكسا و الملحفة و السفساري
يسمى الحايك بهذا الأسم في الوسط الجزائر أي في العاصمة ونواحيها يدعى في الغرب الجزائري غالبا بالكساء أو الكسا دون همزة متطرفة لكون الجزائريين يحذفون الهمزة المتطرفة في كلامهم جريا على قاعدتهم في تخفيف الهمز، وهناك من يسميه الملحفة ويقال: فلانة تلحفت أي لبست الملحفة أو الحايك.