stanford-oval/wikipedia huggingface dataset:
التحكم في المكالمات

في المهاتفة ، يشير التحكم في المكالمات إلى البرنامج داخل بدالة الهاتف الذي يوفر وظيفته المركزية. يقوم التحكم في المكالمات بفك عنونة المعلومات وتوجيه المكالمات الهاتفية من نقطة نهاية إلى أخرى. كما أنه يكون الميزات التي يمكن استخدامها لتكييف عملية التبديل القياسية لاحتياجات المستخدمين. تسمى هذه الخدمات الإضافية ويتم استدعاؤها عادة بواسطة رمز الخدمة العمودي Vertical service code. تتضمن الأمثلة انتظار المكالمات و إعادة توجيه المكالمات مشغول وما إلى ذلك.
برنامج التحكم في المكالمات، بسبب مكانته المركزية في تشغيل شبكة الهاتف، يتميز بكل من التعقيد والوثوقية. تتطلب أنظمة التحكم في المكالمات عادةً عدة آلاف من سنوات الأشخاص في التطوير. ستحتوي على ملايين الأسطر من الكود العالي المستوى. مع ذلك ويجب عليهم الوفاء بمتطلبات الاعتمادية التي تحدد وقت التبديل لبضع دقائق فقط خلال أربعين عامًا.
تمثل الوظائف المطلوبة وموثوقية التحكم في المكالمات تحديًا رئيسيا لأنظمة الصوت عبر بروتوكول الإنترنت VoIP. تعتمد أنظمة VoIP على معايير وتقنيات الإنترنت التي لم تحاول في السابق تلبية متطلبات معقدة ومتطلبة مثل تلك التي تحدد التحكم في المكالمات.الاسم البديل المستخدم غالبًا هو معالجة المكالمات.
في شبكة VoIP ، التحكم في المكالمات هو واحد من ثلاث فئات رئيسية لحركة الاتصالات، والاثنان الآخران هما إشارات الاتصال والاتصالات الإعلامية. يستخدم التحكم في المكالمات Q.931 ، وهو بروتوكول اتصال للشبكات الرقمية، وخاصة أنظمة VoIP. ترسل الرسائل في شكل ثماني مجموعات على النحو المحدد في ITU-H.245 ، التي تحل نوع وسائط الاتصال المطلوب استخدامها (على سبيل المثال، المكالمات التقليدية أو الاتصال الفيديوي الجماعي أو VoIP) ، ثم تدير الاتصال بعد أن يتم إنشاؤه. تشمل وظائف التحكم في المكالمة، على سبيل المثال لا الحصر، تحديد حالة الرئيسي/الثانوي لالنقاط النهائية، ومراقبة حالة النقاط النهائية، ومراقبة حالة النقاط النهائية، وتعديل عوامل الاتصال، وإنهاء الاتصال، وإعادة تشغيل الاتصال المنتهي أو الفاشل. .
انظر أيضا

Application Session Controller
H.245
مراجع

↑  "Call Processing Functions". مؤرشف من الأصل في 2018-03-26.
↑  "Call Control". TechTarget web portal. مؤرشف من الأصل في 2018-01-02. اطلع عليه بتاريخ 2016-06-01.
بوابة إنترنت
بوابة اتصال عن بعد
بوابة تقانة المعلومات
إلكترونيات الطيران

طائرة كوتزوف أثناء عملية صيانة إلكترونية في قاعدة خوتيلوف الجوية.
طائرة إف-105 ثاندرتشيف مع الأنظمة الإلكترونية
إلكترونيات الطيران (بالإنجليزية: Avionics)‏ والمشتق من (aviation and electronics)، هي الأنظمة الالكترونية المستخدمة في الطائرات، الأقمار الصناعية والمركبات الفضائية. تتضمن أنظمة إلكترونيات الطيران الاتصالات، الملاحة، العرض وإدارة أنظمة متعددة.
أنظمة إلكترونيات الطيران

إن قمرة الطائرة هي المكان النموذجي للمعدات الالكترونية بما فيها التحكم، الاتصالات، المراقبة، الملاحة، الطقس وأنظمة تجنب التصادم.
إن غالبية الأنظمة الالكترونية في الطائرات تستخدم جهد تيار مستمر شدته 14 أو 28 فولط. والطائرات الأكثر تطورا تملك أنظمة إلكترونية تعمل على تيار متناوب شدته 115 فولط بتردد 400 هرتز. هناك العديد من البائعين لأنظمة الكترونيات الطيران منها شركة باناسونيك أفيونيك وشركة هانيويل الفضائية والعديد.
أنظمة إلكترونيات الطيران > الاتصالات

تربط الاتصالات قمرة قيادة الرحلة بالأرض وكذلك القمرة بالمسافرين في المقصورة مثل أنظمة مخاطبة المسافرين في الطائرة وكذلك أنظمة الاتصال الداخلي.
إن نظام الاتصال الإلكتروني VHF ذو التردد العالي يعمل على مجال حزمة الطائرة من التردد 118 MHz إلى 136.975 MHz حيث أن كل قناة متباعدة عن الأخرى بمقدار 8.33 ك هرتز في أوروبا و25 كيلو هرتز في بقية مناطق العالم. إن نظام الاتصالات الإلكتروني VHF يستخدم للإتصال بين الطائرات فيما بينها وكذلك بين الطائرة ومركز مراقبة الحركة الجوية ATC.
أنظمة إلكترونيات الطيران > الملاحة الجوية

الملاحة الجوية هي تحديد موضع واتجاه الطائرة بالنسبة للأرض. إن أنظمة الطيران الملاحية الالكترونية تستخدم أنظمة ملاحية اعتمادا على الأقمار الصناعية كنظام تحديد المواقع "GPS" أو تستخدم أنظمة ملاحية أرضية مثل نظام VOR. إن أنظمة الملاحة الجوية الالكترونية تحسب موقع الطائرة بشكل آلي وتقوم بعرضه لطاقم الرحلة على شاشة خرائط متحركة.
أنظمة إلكترونيات الطيران > المراقبة

في عام 1970 بدأت التلميحات لاستبدال شاشات المراقبة التشابهية (شاشات أنبوب أشعة الكاثود) بشاشات اظهار ومراقبة إلكترونية رقمية بما يسمى قمرة القيادة الزجاجية، وفي الطائرات أصبح يتزايد تدريجيا شاشات العرض ولوحات المعلومات والتي أصبحت في نهاية المطاف تتنافس في المساحة وجذب انتباه الطيار. في ذلك الوقت بلغ متوسط عدد أجهزة القياس والعرض والتحكم في قمرة القيادة 100 جهاز.
أنظمة إلكترونيات الطيران > أنظمة التحكم بالطيران

تملك الطائرات وسائل آلية للتحكم بالرحلة. يتزايد اليوم التحكم الآلي بالرحلة وذلك للحد من أخطاء الطيار وعبء العمل في أوقات رئيسية كالإقلاع والهبوط. تم اختراع الطيار الآلي لأول مرة من قبل لورانس سبيري خلال الحرب العالمية الثانية.
أنظمة إلكترونيات الطيران > أنظمة تجنب التصادم

المقالة الرئيسة: نظام تجنب التصادم الجوي
لتحقيق التحكم بحركة المرور الجوي، تستخدم أغلب طائرات النقل الكبيرة وبعض الطائرات الصغيرة نظام تنبيه بحركة المرور وتجنب التصادم "TCAS" والذي يمكن أن يكتشف وجود طائرات قريبة ويوفر تعليمات لتجنب الاصطدام.
أنظمة إلكترونيات الطيران > الصندوق الأسود

مسجلات بيانات قمرة قيادة الطائرات التجارية أو مايعرف بـ الصندوق الأسود، يخزن بيانات الرحلة والصوت في قمرة القيادة. غالباً يتم استردادها من الطائرة لتحديد إعدادات التحكم والبارامترات الأخرى أثناء وقوع الحادث.
أنظمة إلكترونيات الطيران > أنظمة الطقس

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

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

ثقافة دبي
| 0 | 1 |
| --- | --- |
البلد:   الإمارات العربية المتحدة
القارة:  غرب آسيا
فرع من:  الثقافة في الإمارات العربية المتحدة 
اللغات:  العربية 
| 0 | 1 |
| --- | --- |
التاريخ:  تاريخ الإمارات العربية المتحدة 
التراث:  الثقافة في الإمارات العربية المتحدة
تعديل - تعديل مصدري - تعديل ويكي بيانات
ثقافة دبي، إمارة دولة الإمارات العربية المتحدة. أدت العولمة المتزايدة والمغتربون في دولة الإمارات العربية المتحدة إلى تحويل المدينة إلى قدر صهر فيها جنسيات مختلفة وأدت إلى ظهور ثقافة عالمية تتزامن مع المدن العالمية أخرى. تدور ثقافة الإمارات العربية المتحدة بشكل أساسي حول الدين الإسلامي والثقافة العربية التقليدية. إن تأثير الثقافة الإسلامية والعربية على الهندسة المعمارية والموسيقى والملابس والمطبخ وأسلوب الحياة بارز جدًا أيضًا. ويؤذن المسلمون كل يوم خمس مرات من على منابر المساجد المنتشرة في أنحاء البلاد. منذ عام 2006، أصبحت عطلة نهاية الأسبوع من الجمعة إلى السبت، كحل وسط بين قدسية يوم الجمعة عند المسلمين وعطلة نهاية الأسبوع الغربية من السبت إلى الأحد. في عام 2005، كان 84٪ من سكان مدينة دبي الكبرى من الأجانب، ولد حوالي نصفهم من الهند. تغيرت البصمة الثقافية للمدينة كمجتمع صغير ومتجانس عرقيًا لصيد اللؤلؤ مع وصول مجموعات عرقية ومواطنين آخرين، أولاً على يد الإيرانيين في أوائل القرن العشرين، ثم لاحقًا على يد الهنود والباكستانيين في الستينيات.
ثقافة الراحة

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

قرية الثقافة
علم الآثار في دولة الإمارات العربية المتحدة
الفن في دبي
مكتبات دبي العامة
هيئة دبي للثقافة والفنون
مراجع

↑  Jonathan Sheikh-Miller. "UAE Weekend Switchover". AMEinfo. مؤرشف من الأصل في 2011-02-12. اطلع عليه بتاريخ 2010-03-22.
↑  Jonathan Sheikh-Miller. "UAE Weekend Switchover". AMEinfo. مؤرشف من الأصل في 2011-02-12. اطلع عليه بتاريخ 2010-03-22.
↑  Luxury Fashion Branding: Trends, Tactics, Techniques - Page 80, Uché Okonkwo - 2007
↑  Dubai - Page 100, Terry Carter - 2009
↑  Introduction to Sociology - Page 14, George Ritzer - 2012
↑  Christensen، Shane (2010). Frommer's Dubai. ص. 18.
في كومنز مواد ذات صلة بـ ثقافة دبي.
بوابة أعلام
بوابة الإمارات العربية المتحدة
بوابة الولايات المتحدة
مرحلة خروج المغلوب في كأس العالم 2006

مرحلة خروج المغلوب في كأس العالم 2006
| 0 | 1 |
| --- | --- |
جزء من:  كأس العالم 2006 
الرياضة:  كرة القدم 
بتاريخ:  2006 
تاريخ البدء:  24 يونيو 2006 
تاريخ الانتهاء:  9 يوليو 2006 
الحدث النهائي:  نهائي كأس العالم 2006 
له جزء أو أجزاء:   القائمة ... 2006 FIFA World Cup Match 49 (en)  2006 FIFA World Cup Match 50 (en)  2006 FIFA World Cup Match 51 (en)  معركة نورمبيرغ 2006 FIFA World Cup Match 53 (en)  2006 FIFA World Cup Match 54 (en)  2006 FIFA World Cup Match 55 (en)  2006 FIFA World Cup Match 56, Spain v France (en)  2006 FIFA World Cup Match 57 (en)  2006 FIFA World Cup Match 58 (en)  2006 FIFA World Cup Match 59 (en)  2006 FIFA World Cup Match 60 (en)  
تعديل - تعديل مصدري - تعديل ويكي بيانات
المقالة الرئيسة: كأس العالم لكرة القدم 2006
تضم «مرحلة خروج المغلوب» المنتخبات الستة عشر التي تأهلت من مرحلة المجموعات في البطولة. هناك أربع أدوار في هذه المرحلة، مع كل دور يتم إقصاء نصف عدد الفرق التي دخلته. الأدوار المتتالية هي دور الستة عشر والدور ربع النهائي ونصف النهائي والمباراة النهائية. بالإضافة إلى مباراة فاصلة لتحديد أصاحب المركزين الثالث والرابع. أي تعادل في كل مباراة من مرحلة خروج المغلوب بعد لعب 90 دقيقة يعقبها ثلاثون دقيقة من الوقت الإضافي؛ وإذا بقيت النتيجة متعادلة، يتم الاحتكام إلى ضربات ترجيحية لتحديد الفريق المتأهل إلى الدور المقبل.
المنتخبات المتأهلة

تأهلت المنتخبات التي احتلت، في دور المجموعات، المرتبة الأولى والثانية في كل مجموعة.
| الترتيب | مجموعة A | مجموعة B | مجموعة C | مجموعة D |
| --- | --- | --- | --- | --- |
| 1 |  ألمانيا |  إنجلترا |  الأرجنتين |  البرتغال |
| 2 |  إكوادور |  السويد |  هولندا |  المكسيك |
| الترتيب | مجموعة E | مجموعة F | مجموعة G | مجموعة H |
| --- | --- | --- | --- | --- |
| 1 |  إيطاليا |  البرازيل |  سويسرا |  إسبانيا |
| 2 |  غانا |  أستراليا |  فرنسا |  أوكرانيا |
دور الستة عشر

مباراة رقم 49
24 يونيو 2006
17:00
| ألمانيا  | 2 - 0 |  السويد |
| --- | --- | --- |
| لوكاس بودولسكي  4',  12' | (التقرير) |  |
الحضور: 66,000
مباراة رقم 50
24 يونيو 2006
21:00
| الأرجنتين  | 2 - 1 (ب> و.إ.) |  المكسيك |
| --- | --- | --- |
| هرنان كرسبو  10' ماكسي رودريغيز  98' | (التقرير) | رافاييل ماركيز  6' |
الحضور: 43,000
مباراة رقم 51
25 يونيو 2006
17:00
| إنجلترا  | 1 - 0 |  إكوادور |
| --- | --- | --- |
| ديفيد بيكهام  60' | (التقرير) |  |
الحضور: 52,000
مباراة رقم 52
25 يونيو 2006
21:00
| البرتغال  | 1 - 0 |  هولندا |
| --- | --- | --- |
| مانيش  23' | (التقرير) |  |
الحضور: 41,000
مباراة رقم 53
26 يونيو 2006
17:00
| إيطاليا  | 1 - 0 |  أستراليا |
| --- | --- | --- |
| فرانشيسكو توتي  90+5' (ضربة جزاء) | (التقرير) |  |
الحضور: 46,000
مباراة رقم 54
26 يونيو 2006
21:00
| سويسرا  | 0 - 0 (ب> و.إ.) |  أوكرانيا |
| --- | --- | --- |
|  | (التقرير) |  |
الحضور: 45,000
مباراة رقم 55
27 يونيو 2006
17:00
| البرازيل  | 3 - 0 |  غانا |
| --- | --- | --- |
| رونالدو  5' أدريانو  45+1' زي روبرتو  84' | (التقرير) |  |
الحضور: 65,000
مباراة رقم 56
27 يونيو 2006
21:00
| إسبانيا  | 1 - 3 |  فرنسا |
| --- | --- | --- |
| دافيد فيا  28' (ضربة جزاء) | (التقرير) | فرانك ريبيري  41' باتريك فييرا  83' زين الدين زيدان  90+2' |
الحضور: 43,000
دور ربع النهائي

مباراة رقم 57
30 يونيو 2006
17:00
| ألمانيا  | 1 - 1 (ب> و.إ.) |  الأرجنتين |
| --- | --- | --- |
| ميروسلاف كلوزه  80' | (التقرير) | روبيرتو أيالا  49' |
الحضور: 72,000
مباراة رقم 58
30 يونيو 2006
21:00
| إيطاليا  | 3 - 0 |  أوكرانيا |
| --- | --- | --- |
| جانلوكا زامبروتا  6' لوكا توني  59',  69' | (التقرير) |  |
الحضور: 50 000
مباراة رقم 59
1 يوليو 2006
17:00
| إنجلترا  | 0 - 0 (ب> و.إ.) |  البرتغال |
| --- | --- | --- |
|  | (التقرير) |  |
الحضور: 52,000
مباراة رقم 60
1 يوليو 2006
21:00
| البرازيل  | 0 - 1 |  فرنسا |
| --- | --- | --- |
|  | (التقرير) | تييري هنري  57' |
الحضور: 48,000
دور نصف النهائي

مباراة رقم 61
21h00
| ألمانيا  | 0 - 2 (ب> و.إ.) |  إيطاليا |
| --- | --- | --- |
|  | (التقرير) | فابيو غروسو  119' أليساندرو دل بييرو  120+1' |
الحضور: 65,000
مباراة رقم 62
21:00
| البرتغال  | 0 - 1 |  فرنسا |
| --- | --- | --- |
|  | (التقرير) | زين الدين زيدان  33' (ضربة جزاء) |
الحضور: 69,000
مباراة المركز الثالث

مباراة رقم 63
| ألمانيا  | 3 - 1 |  البرتغال |
| --- | --- | --- |
| باستيان شفاينشتايغر  56',  78' بيتيت  60' (csc) | (التقرير) | نونو غوميز  88' |
الحضور: 52,000
النهائي

مباراة رقم 64
20:00
| إيطاليا  | 1 - 1 (ب> و.إ.) |  فرنسا |
| --- | --- | --- |
| ماركو ماتيراتزي  19' | (التقرير) | زين الدين زيدان  7' (ض.ج.) |
الحضور: 69,000
رئيس أركان القوات البرية (تونس)

| رئيس أركان جيش البرّ  القوات المسلحة التونسية | رئيس أركان جيش البرّ  القوات المسلحة التونسية |
| --- | --- |
شاغل المنصب : شاغل المنصب 
 الفريق أول محمد الغول :  الفريق أول محمد الغول 
منذ: 1 يونيو 2018
البلد:  تونس  
عن المنصب: عن المنصب
عضو في: المجلس الأعلى للجيوش ، مجلس الأمن القومي التونسي
المدير المباشر: وزير الدفاع الوطني
مقر الإقامة الرسمي: تونس العاصمة،  تونس
المعين: رئيس الجمهورية التونسية (القائد الاعلى للقوات المسلّحة)
تأسيس المنصب: يونيو 1956
أول حامل للمنصب: الفريق محمد الحبيب السوسيّ
الاسم المختصر: قائد أركان جيش البرّ
الموقع الرسمي: الموقع الرسمي (العربية)  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
شعار أركان جيش البر
رئيس أركان القوات البرية التونسية، هو قانونيا الضابط العسكري الأعلى رتبة في القوات البرية التونسية.
قائمة الرؤساء

| الصورة | الاسم | بداية العهدة | نهاية العهدة |
| --- | --- | --- | --- |
|  | محمد الحبيب السوسي |  ? |  ? |
|  | محمد قزارة |  ? |  ? |
|  | بوبكر بنكريم |  ? |  ? |
|  | عبد الحميد الشيخ |  ? |  ? |
|  | صادق قماتي |  ? |  ? |
|  | يوسف بركات | 1 أغسطس 1983 |  ? |
|  | محمد سعيد الكاتب |  ? |  ? |
|  | محمد الهادي بن حسين |  ? |  ? |
|  | عبد العزيز سكيك |  ? | 30 أبريل 2002 |
|  | رشيد عمار | 2002 | 25 يونيو 2013 |
|  | محمد صالح الحامدي | 9 يوليو 2013 | 30 يوليو 2014 |
|  | إسماعيل الفتحلي | 12 أغسطس 2014 | 1 يونيو 2018 |
|  | محمد الغول | 1 يونيو 2018 | الآن |
مراجع

↑  (بالعربية) أمر عدد 824 لسنة 1983 مؤرخ في 1 أغسطس 1983، الرائد الرسمي للجمهورية التونسية، عدد 59 لسنة 1983، الصفحة 2489، بوابة-التشريع.تونس. نسخة محفوظة 28 أبريل 2018 على موقع واي باك مشين.
↑  مصطفى بركات، مصطفى (12/08/2014). "تعيين «إسماعيل الفتحلي» رئيسا لأركان جيش البر التونسي". بوابة فيتو. مؤرشف من الأصل في 11 يوليو 2017. {{استشهاد ويب}}: تحقق من التاريخ في: |تاريخ= (مساعدة)
| ع ن الجيش التونسي | ع ن الجيش التونسي | ع ن الجيش التونسي |
| --- | --- | --- |
| القيادة |  القائد الأعلى للقوات المسلحة  وزارة الدفاع  رئيس أركان القوات المسلحة (القوات الجوية - القوات البرية - القوات البحرية)  |  |
| المكونات |  القوات الجوية  القوات البحرية  القوات البرية  |  |
| التاريخ |  التاريخ العسكري  جيش الباي  وزارة الحرب  وزارة البحرية  |  |
| التعليم |  الأكاديمية العسكرية  الأكاديمية البحرية  مدرسة الطيران  مدرسة الأركان  المدرسة الحربية العليا  معهد الدفاع الوطني  مدرسة ضباط الصف بجيش البر  مدرسة ضباط الصف بجيش الجو  مدرسة الصحة العسكرية  مركز التدريب البحري  مركز التدريب لجيش الطيران  مدرسة الرقباء لجيش البحر  المدرسة العسكرية للرياضة  مدرسة الرقباء بالماتلين  مدرسة الرقباء بالمكناسي  |  |
| الصحة العسكرية |  المستشفى العسكري الأصلي للتعليم بتونس  المستشفى العسكري بسهلول  المستشفى العسكري بقابس  المستشفى العسكري ببنزرت  المركز العسكري لنقل الدم  مركز الاختبارات الطبية للملاحة الجوية  المصحة العسكرية الجهوية متعددة الاختصاصات بالقيروان  |  |
| الخدمات الفنية |  مخبر المترولوجيا التابع للإدارة العامة للإشارة والإعلامية  مخبر التعيير والتعديل التابع لجيش الطيران  المركز الوطني لرسم الخرائط والاستشعار عن بعد  |  |
| التراث |  قصر الوردة  المتحف العسكري لخط مارث  متحف الذاكرة الوطنية بالسيجومي  |  |
| قائمة متعلقة | الرتب العسكرية للجيش التونسي |  |
بوابة الحرب
بوابة تونس
تمثال بطرس الأكبر (قلعة القديس مايكل)

تمثال بطرس الأكبر
| 0 | 1 |
| --- | --- |
نوع المبنى:  منحوتة 
المنطقة الإدارية:  سانت بطرسبرغ 
البلد:   روسيا 
| 0 | 1 |
| --- | --- |
تصنيف تراثي:  federal cultural heritage site in Russia (en)  
| 0 | 1 |
| --- | --- |
المصممون:  Carlo Bartolomeo Rastrelli (en)  Mikhail Ivanovich Kozlovsky (en)  
| 0 | 1 |
| --- | --- |
الإحداثيات:  59°56′21″N 30°20′19″E﻿ / ﻿59.9392°N 30.3385°E﻿ / 59.9392; 30.3385 
ar
تعديل - تعديل مصدري - تعديل ويكي بيانات
تمثال بطرس الأكبر (بالروسية: памятник Петру I) هو نصب تذكاري برونزي (تمثال الفارس) لبطرس الأكبر، يقع أمام قلعة القديس مايكل في سانت بطرسبرغ، روسيا.
تاريخ

في عام 1716 ، كلف الإمبراطور بطرس الأكبر النحات الإيطالي كارلو بارتولوميو راستريلي "Carlo Bartolomeo Rastrelli" بتصميم تمثال للفروسية في ذكرى الانتصارات الروسية على السويد في حرب الشمال العظمى. عمل راستريللي لمدة ثماني سنوات مع نموذج للنصب قبل أن يوافق عليه الإمبراطور في عام 1724.
اكتُمل بناء التمثال عام 1800، في عهد الإمبراطور بولس الأول. تم وضعه على قاعدة معلقة بالرخام الفنلندي الأخضر والأحمر والأبيض المزيّن بزخارف النّفس التي تصور مشاهد انتصارين روسيّين على السويد خلال حرب الشمال العظمى، معركة بولتافا ومعركة غانغوت.
خلال الحرب العالمية الثانية، تم إزالة التمثال من قاعدته وحمايته من الحصار الألماني للمدينة الذي استمر لمدة 900 يوم.
في عام 1945، تم استعادة التمثال وعاد إلى قاعدته.
مراجع

↑  Памятник Петру I у Михайловского замка (Санкт-Петербург)  نسخة محفوظة 03 يونيو 2017 على موقع واي باك مشين.
في كومنز مواد ذات صلة بـ تمثال بطرس الأكبر (قلعة القديس مايكل).
بوابة الإمبراطورية الروسية
بوابة الاتحاد السوفيتي
بوابة روسيا
بوابة عمارة
بوابة فنون
أدان غودوي

| أدان غودوي> معلومات شخصية   | أدان غودوي> معلومات شخصية   | أدان غودوي> معلومات شخصية   | أدان غودوي> معلومات شخصية   | أدان غودوي> معلومات شخصية   |  |
| --- | --- | --- | --- | --- | --- |
الميلاد: 26 نوفمبر 1936 (العمر 88 سنة)   كوبيابو  
مواطنة:  تشيلي  
مركز اللعب: حارس مرمى
الطول: 1.74 م (5 قدم 8 1⁄2 بوصة)
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 1956–1957 | كولو-كولو  |  |  |  |  |
| 1958–1964 | سانتياغو مورنينغ ‏ |  |  |  |  |
| 1965–1968 | أونيفرسيداد كاتوليكا |  |  |  |  |
| 1969–1972 | أوداكس إيتاليانو |  |  |  |  |
| 1973–1979 | سانتياغو مورنينغ ‏ |  |  |  |  |
| المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    | المنتخب الوطني    |  |
| 1962–1966 | تشيلي | 14 |  |  |  |
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  2 عدد مرات الظهور مع المنتخب وعدد الأهداف  . |  |
أدان غودوي (بالإسبانية: Adán Godoy)‏ هو لاعب كرة قدم تشيلي، ولد في 26 نوفمبر 1936 في كوبيابو في تشيلي. شارك مع منتخب تشيلي لكرة القدم. أما مع النوادي، فقد لعب مع نادي أونيفرسيداد كاتوليكا.
مراجع

1 2  "Adán Godoy" (بالإنجليزية). Archived from the original on 2020-10-28. Retrieved 2021-06-19.
↑  1962 FIFA World Cup Chile نسخة محفوظة 2011-07-22 على موقع واي باك مشين.
وصلات خارجية

أدان غودوي على موقع الاتحاد الدولي (مؤرشف)  (الإنجليزية)
أدان غودوي على موقع ناشيونال فوتبول تيمز (الإنجليزية)
أدان غودوي على موقع Soccerway.com (الإنجليزية)
أدان غودوي على موقع عالم كرة القدم.نت (الإنجليزية)
| ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1962 (المركز الثالث) | ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1962 (المركز الثالث) | ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1962 (المركز الثالث) |
| --- | --- | --- |
|  1 Escuti  2 Eyzaguirre  3 راؤول سانشيز  4 سيرجيو نافارو ك  5 كارلوس كونتريراس  6 إلاديو روجاس  7 خايمي راميريز  8 خورخي تورو  9 Landa  10 Fouilloux  11 ليونيل سانشيز  12 أدان غودوي  13 سيرجيو فالديز  14 Lepe  15 مانويل رودريغيز  16 هومبيرتو كروز  17 ماريو أورتيز  18 ماريو مورينو  19 براوليو موسو  20 كارلوس كامبوس سيلفا  21 Tobar  22 مانويل أستورغا  المدرب: فرناندو رييرا  |  1 Escuti  2 Eyzaguirre  3 راؤول سانشيز  4 سيرجيو نافارو ك  5 كارلوس كونتريراس  6 إلاديو روجاس  7 خايمي راميريز  8 خورخي تورو  9 Landa  10 Fouilloux  11 ليونيل سانشيز  12 أدان غودوي  13 سيرجيو فالديز  14 Lepe  15 مانويل رودريغيز  16 هومبيرتو كروز  17 ماريو أورتيز  18 ماريو مورينو  19 براوليو موسو  20 كارلوس كامبوس سيلفا  21 Tobar  22 مانويل أستورغا  المدرب: فرناندو رييرا  |  |
| ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1966 | ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1966 | ع ن منتخب تشيلي لكرة القدم  –  كأس العالم 1966 |
| --- | --- | --- |
|  1 بيدرو أرايا تورو  2 Berly  3 كارلوس كامبوس سيلفا  4 هومبيرتو كروز  5 Donoso  6 Eyzaguirre  7 إلياس فيغيروا  8 Fouilloux  9 أدان غودوي  10 روبرت هودج  11 Landa  12 روبين ماركوس  13 خوان أوليفاريس  14 إغناثيو برييتو  15 خايمي راميريز  16 أورلاندو راميريز  17 ليونيل سانشيز  18 Tobar  19 فرانسيسكو فالدز  20 Valentini  21 هوغو فيلانويفا   22 غويلرمو يافار  المدرب: لويس آلاموس  |  1 بيدرو أرايا تورو  2 Berly  3 كارلوس كامبوس سيلفا  4 هومبيرتو كروز  5 Donoso  6 Eyzaguirre  7 إلياس فيغيروا  8 Fouilloux  9 أدان غودوي  10 روبرت هودج  11 Landa  12 روبين ماركوس  13 خوان أوليفاريس  14 إغناثيو برييتو  15 خايمي راميريز  16 أورلاندو راميريز  17 ليونيل سانشيز  18 Tobar  19 فرانسيسكو فالدز  20 Valentini  21 هوغو فيلانويفا   22 غويلرمو يافار  المدرب: لويس آلاموس  |  |
في كومنز مواد ذات صلة بـ أدان غودوي.
بوابة أعلام
بوابة تشيلي
بوابة كأس العالم
بوابة كرة القدم
التحقق الشكلي

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

أحد المنهجيات هو فحص النموذج ، والذي يتكون من استكشاف شامل منظم للنموذج الرياضي (هذا ممكن للنماذج المحدودة ، ولكن أيضًا لبعض النماذج اللانهائية حيث يمكن تمثيل مجموعات لا نهائية من الحالات بشكل فعال باستخدام التجريد أو الاستفادة من التماثل). عادة ، يتكون هذا من استكشاف جميع الحالات في النموذج ، باستخدام تقنيات تجريد ذكية ومتخصصة للنظر في مجموعات كاملة من الحالات في عملية واحدة وتقليل وقت الحوسبة. تشمل تقنيات التنفيذ: تعداد فضاء الحالة ، وتعداد مساحة الحالة الرمزية ، والتفسير المجرد ، والمحاكاة الرمزية ، وصقل التجريد.  الخصائص المراد التحقق منها غالبًا ما يتم وصفها في المنطقيات الزمنية ، مثل المنطق الزمني الخطي و لغة مواصفات الخاصية ، تأكيدات سيستم فيريلوج ،  أو منطق الشجرة الحسابي. الميزة الكبرى لفحص النموذج هي أنه غالبًا ما يكون آليًا بالكامل؛ عيبه الأساسي هو أنه لا يناسب الأنظمة كبيرة الحجم حيث تقتصر النماذج الرمزية عادةً على بضع مئات من بتات الحالة فقط، بينما يتطلب تعداد فضاء الحالة الصريح أن يكون حجم الفضاء صغير نسبيًا.
نهج آخر هو التحقق الاستنتاجي. وهو يتألف من إنشاء مجموعة من التزامات الإثبات الرياضي من النظام ومواصفاته، وتنفيذ هذه الالتزامات باستخدام أي من مساعدي الإثبات (المبرهنات) ( مثل HOL ، أو ACL2 ، أو Isabelle ، أو Coq ، أو PVS ) ، أو المبرهنات الآلية ، بما في ذلك على وجه الخصوص حلالات نظرية الإمكانية. هذا النهج له عيوب أنه قد يتطلب من المستخدم أن يفهم بالتفصيل سبب عمل النظام بشكل صحيح ، ونقل هذه المعلومات إلى نظام التحقق ، إما في شكل سلسلة من النظريات التي سيتم إثباتها أو في شكل مواصفات ( الثوابت والشروط المسبقة والظروف اللاحقة) لمكونات النظام (مثل الوظائف أو الإجراءات) وربما المكونات الفرعية (مثل الحلقات أو هياكل البيانات).