سامانه جامع فناوری اطاعات وزارت نفت
Grid Computing و بزرگترين ماشينهاي علمي ساخت بشر
اگر همه چيز مطابق برنامه پيش برود، سال آينده بزرگترين ماشين علمياي كه تاكنون ساخته شده است، در مجتمع زيرزميني پرپيچ و خمي در سوئيس، نزديك ژنو، به بهرهبرداري خواهد رسيد. تصادمگر بزرگ هادرون (LHC) كه در عمق بيش از صد متري زير زمين قرار دارد، دو باريكه پروتون را در جهتهاي مخالف هم در يك تونل دايرهاي 27 كيلومتري شتاب خواهد داد. اين دو باريكه، در حالي كه تقريباً به سرعت نور رسيدهاند، به صورت متقابل (شاخ به شاخ) با هم برخورد ميكنند و رگباري از بقاياي زيراتمي را توليد ميكنند كه دانشپيشگان انتظار دارند ذراتي مرموز را كه قبلاً هرگز مشاهده نشدهاند، در ميان آنها بيابند. اين امر ميتواند منجر به تغيير در درك بنيادي ما از جهان گردد. دستكم، اميد است كه چنين شود. پژوهشگران سازمان تحقيقات هستهاي اروپا (سرن)، جايي كه LHC به بهرهبرداري خواهد رسيد، ميدانند كه يافتن ذرات مادي گريزاني كه آنها در جستوجويش هستند، كار بسيار دشواري خواهد بود. براي يافتن اين ذرات، پژوهشگران بايد تودههاي مهيبي از دادههاي مربوط به برخوردها را غربال نمايند: انتظار ميرود فوران دادهها در LHC به طور متوسط، سالانه به پانزده ميليون گيگابايت برسد؛ اين مقدار بيشتر از ميزان دادهاي است كه براي پر كردن شش ديويدي استاندارد در دقيقه لازم است. به اين ترتيب مرتب كردن و تحليل نمودن اين كوه دادهها كاري است فراتر از توان هر ابركامپيوتري در جهان. پس در همان حال كه تيم LHC براي تكميل نمودن ماشين غولپيكر زيرزميني در تكاپو است، روي سطح زمين گروه ديگري از فيزيكپيشگان و متخصصان علوم كامپيوتر در حال حل نمودن مسئلهاي مستقل هستند: فراهم آوردن زيرساختي محاسباتي كه از پس سيلاب دادههاي LHC برآيد. راهحلي كه آنان يافتهاند مجموعهاي پهناور از كامپيوترهاي قدرتمند كه حدوداً در دويست مركز پژوهشي در سراسر دنيا گستردهاند و به گونهاي مرتبط و پيكربندي شدهاند كه همچون يك سيستم واحد پردازش موازي كار كنند. اين نوع زيرساخت يك گريد پردازشي (computing grid) خوانده ميشود.1 منبع: IEEE Spectrum - جولاي 2006 شبكههاي گريد محاسباتي در اواخر دهه 1990 به عنوان جايگزيني پيشنهادي براي سوپركامپيوترهاي متداول پديدار شدند تا به حل مسائل خاصي بپردازند كه مستلزم محاسبات عددي انبوه و دسترسي به حجم بيشتري از دادههاي توزيعيافته بودند. ايده اصلي اين بود كه با شبكههايي كه به قدر كافي سريع باشند و با بهرهگيري از نرمافزار مناسب، گروههاي تحقيقاتي متعدد كه از لحاظ جغرافيايي نيز پراكنده بودند، ميتوانستند منابع پردازشي و منابع مديريت دادههاي ...
بطلان ، انحلال و فسخ عقد
بطلان ، انحلال و فسخ عقد دكتر طباطبائي – عليمحمد مفهوم ذهني بطلان – هر عقد كه واجد شرايط ماهوي يا تشريفاتي مقرره نباشد باطل است ، بالنتيجه آثاري بر آن عقد مترتب نخواهد بود. هرگاه در انجام عقدي يك قاعده قانوني رعايت نشود ضمانت اجراي اين تخلف بطلان و عدم تاثير آن عقد است. نبايد اين شائبه را بميان آيد كه ضمانت اجراء بايد حتماً جنبه جزائي داشته باشد. گرچه عده اي از علماء حقوق را عقيده برآنست كه ضمانت اجراءعبارت از تنبيه بدني است كه بمناسبت نقض يك قاعده قانوني اعمال ميشود. البته اين تعبير براي ضمانت اجراء صحيح نيست چه ممكن است فشار مالي بعنوان ضمانت اجرا بر فردي وارد آيد كه آثار روحي آن بمراتب شديدتر از يك جزاي بدني باشد. حتي اشخاصي هستند كه از لحاظ علاقه اي كه بمال دنيا دارند حاضرند در موقع تحمل مجازات جان خود را بدهند ولي چيزي از مال خود را بعنوان جريمه از دست ندهند. براي درك بهتر مفهوم ذهني ضمانت اجرا تعريف ساده حقوقي آنرا در نظر ميگيريم: ضمانت اجرا نتيجه يك قاعده حقوقي است. اين ضمانت اجرا يك واكنشي ايجاد مينمايد، يعني بطور كلي يك واقعه ناگواري را براي مسبب نقض قاعده پيش مي آورد. در صورت لزوم ممكن است كه اين ضمانت اجرا از طرف نيروي عمومي (قدرت دولتي) تحميل شود، ضمانت اجرا تعريف ساده حقوقي آنرا در نظر ميگيريم: ضمانت اجرا نتيجه نقض يك قاعده حقوقي است. اين ضمانت اجرا يك واكنشي ايجاد مينمايد، يعني بطور كلي يك واقعه ناگواري را براي مسبب نقض قاعده پيش ميآورد. در صورت لزوم ممكن است كه اين ضمانت اجرا از طرف نيروي عمومي (قدرت دولتي) تحميل شود، ضمانت اجراء مذكور بوسيله يك قاعده حقوقي تعيين ميگردد. تئوري حقوقي غالباً كلمه اجبار (Zwang) Contraninte را دو مورد همين ايده (1) استعمال ميكند، معهذا هروقتي از كلمه اجبار صحبت ميكنند موضوع عبارت از الزام يك نفر متخلف بانجام آن تعهدي است كه از اجراء آن امتناع دارد. در صورتيكه اصطلاح ضمانت اجراء اكثراً بموردي اختصاص دارد كه نميتوان ملتزم رامجبور كرد بلكه فقط مي توان تحت اشكال ديگري نتايج رفتار غيرقانوني او را راو بار كرد. فيالواقع منظور از ضمانت اجرا اعمال يك فشاري براشخاص مسئول در قبال مقام قضائي است تا بدين ترتيب اولاً آنها اطاعات ازحقوق بنمايند ثانياً آثار يك روش مخالف حقوق را خنثي يا جبران كنند. بهرصورت با در نظر گرفتن مفهوم ذهني ضمانت اجراء ميتوان گفت كه بطلان طبيعت مجازات يا جنبه تاوان را دارد. بطوريكه گفته شد بطلان عقد همان ضمانت اجراي عدم رعايت قانون است. اين ايده خيلي ساده بنظر ميرسد در صورتيكه تئوري بطلان خيلي پيچيده است. با وجوديكه تئوري بطلان بالذاته پيچيده ...