سیگما

انجمن علمی ریاضی کاربردی

ماشين رياضي جديدي براي رام كردن اعداد اول (‪(2

در سال ‪ ۱۹۸۳‬روشي كشف شد كه بسيار نزديك به روشهاي تواني بود. اين روش كه به وسيله سه رياضي دان به نامهاي لئونارد آدلمن از دانشگاه كاليفرنياي جنوبي، كارل پومرانس از آزمايشگاهاي بل در موري هيل نيو جرسي، و رابرت روملي از دانشگاه جورجيا كشف شد به نام خود آنان به روش آپي آر ‪ APR‬شهرت يافت.

در اين روش زمان محاسبه يك عدد داراي ‪ d‬رقم براي است با ‪.(d)ln ln d‬
در اين فرمول
(‪ (ln ln d‬به معناي لگارتيم لگاريتم ‪ d‬است. به لحاظ فني اين روش غير تواني است زيرا توان آن ثابت نيست و زياد مي‌شود. اما سرعت اين ازدياد بسيار بسيار كند است. يعني به ازاي ‪ d =10100‬ميزان ازدياد اين توان تنها ‪ ۵.۶‬مرتبه است. رياضي دانان به شوخي مي‌گويند كه ثابت شده اين توان به سمت بينهايت ميل مي‌كند اما چنين چيزي در عمل مشاهده نشده.

سوالي كه براي رياضي دانان مطرح است آن است كه آيا مي‌توان به روشي دست يافت كه به معناي دقيق و فني كلمه روشي تواني باشد. هيچ كس تصور نمي‌كرد كه احتمال چنين موفقيتي وجود داشته باشد تا اينكه گروه آگراوال بمب خود را منفجر كرد.

ايده انقلابي اين سه تن در سال ‪ ۲۰۰۲‬و زماني كه كايال و سكسنا هنوز دانشجوي دوره ليسانس بودند مطرح شد. در ابتداي سال جاري يك روايت بهبود يافته از روش پيشنهادي اين سه كه به آلگوريتم آ.ك.اس شهرت يافته در نشريه "آنالز او متمتيكس ‪ "Annals of Mathematics‬انتشار يافت.

اين آلگوريتم از نوع روشهاي تواني است و علاوه برآن بسيار ساده است (لااقل براي رياضي دانان چنين است). اين روش از اعقاب يك روش آزمون قديمي موسوم به قضيه كوچك پي‌ير فرما است.

اين قضيه را نبايد با قضيه اصلي فرما كه چند سال قبل پس از ‪ ۳۰۰‬سال اثبات شد اشتباه كرد. اين قضيه مبتني بر نوعي حساب متكي به قدر مطلق ‪modular‬موسوم به "حساب ساعت ‪ "clock arithmetic‬است علت آن تست كه در اين روش اعداد به شكل اعداد روي صفحه ساعت جمع مي‌شوند.

براي آشنايي با اين حساب خاص مورد زير را در نظر بگيريد. يك عدد دلخواه انتخاب كنيد و آن را قدر مطلق ‪ modulus‬بناميد. در مثال ساعت، اين عدد خاص كه قدر مطلق ناميده مي‌شود و مبناي محاسبه قرار مي‌گيرد، عدد ‪ ۱۲‬است.

حال در هر نوع محاسبه رياضي با اعداد صحيح براي تبديل آن سيستم عددي به سيستم عددي قدر مطلق ‪ ۱۲‬كافي است بجاي همه مضارب صحيح عدد ‪ ۱۲‬عدد صفر قرار داده شود. همه اعداد ديگر بر همين اساس تغيير مي‌كنند.

مثلا عدد ‪ ۲۵‬برابر است با ‪ . + ۲۴۱‬بنابراين عدد ‪ ۲۵‬در اين سيستم قدر مطلق برابر است با "‪ ۱‬به قدر مطلق ‪ ."۱۲‬سيستمهاي حساب متكي به قدر مطلق به تعريفي كه ذكر شد سيستمهاي زيبايي هستند زيرا در آنها همه قواعد حساب متعارف كار مي‌كند و درعين حال برخي از اعداد غيرصفر درآن ناپديد مي‌شوند.

قضيه كوچك فرما مي‌گويد اگر يك عدد اول را به عنوان قدر مطلق انتخاب كنيد ، داراي يك مشخصه ويژه خواهد بود. اين مشخصه عبارت از آن است كه يك فرمول خاص يعني ‪ (a)p-1‬در اين سيستم همواره برابر يك خواهد بود.

در اين فرمول ‪ p‬عبارت است از عدد اولي كه به عنوان قدر مطلق انتخاب شده و ‪a‬هر عدد ديگر است كه ضريب ‪ p‬محسوب نمي‌شود.

اگر مقدار فرمول بالا برابر يك نباشد آنگاه عددي كه به عنوان عدد اول تصور كرده بوديد يعني ‪ p‬عدد اول نيست.

به اين ترتيب مي‌توان از اين قضيه كوچك فرما به عنوان مبنايي براي تدوين آزموني جهت تعيين اعداد اول استفاده كرد. اين آزمون كاملا بي‌نقص نيست زيرا شماري از اعداد غير اول نيز از غربال آن رد مي‌شوند.

اما مي‌توان روايت هاي پيچيده تر و دقيق تري از اين آزمون را توليد كرد كه بسادگي به اعداد غير اول اجازه ورود ندهند. يك نمونه پيشرفته از اين آزمونها همان روش "آ.پي.آر" است كه در بالا اشاره شد.

گروه آگراوال از همين قضيه كوچك فرما استفاده كرد اما آن را به نحو ديگري بسط داد. اين گروه به عوض آنكه با اعداد كار كنند از چند جمله‌اي‌ها استفاده كردند.

چند جمله‌اي‌ها عباراتي جبري هستند نظير (‪ .a + b(2‬ايده استفاده از اين روش محصول كوشش آگراوال در دوراني بود كه بر روي رساله دكتري خود كار مي‌كرد و به اتفاق استاد راهنماي خويش "سومنات بيسواس" در سال ‪ ۱۹۹۹‬مقاله- اي را به چاپ رساند كه در آن يك روش آزمون اعداد اول پيشنهاد شده بود كه از همين چند جمله‌اي‌ها استفاده مي‌كرد و به شيوه احتمالاتي محاسبات را انجام مي داد.

آگراوال بر اين باور بود كه مي‌تواند اين روش پيشنهادي را دقيق‌تر و عنصر احتمالاتي آن را حذف كرد.

در سال ‪ ۲۰۰۱‬دو تن از دانشجويان او يعني كايال و سكسنا به يك نكته بسيار حساس و فني توجه كردند. ابتدا اين مساله سبب شد تا گروه سه نفره در آبهاي عميق نظريه اعداد غوطه ور شوند، اما اندك اندك برايشان روشن شد كه تنها يك مانع در راه تكميل روشي جهت آزمودن دقيق و سريع اعداد اول وجود دارد.

مانع از اين قرار بود كه روش آنان تنها در صورتي كار مي‌كرد كه عدد اول مورد نظر كه با ‪ p‬نمايش داده مي‌شود همواره در محدوده خاصي جاي داشته باشد كه با اعدادي كه در آزمون شركت داده مي‌شوند مرتبط باشد.

مشخصه ويژه اين مانع آن است كه عدد " ‪ "p-1‬بايد يك مقسوم عليه يا بخشياب بسيار بزرگ باشد.

گروه سه نفر رياضي دانان هندي براي غلبه بر مشكل به هر دري زدند و با بررسي مقالات مختلف بالاخره دريافتند كه در سال ‪ ۱۹۸۵‬يك رياضي‌دان فرانسوي به نام اتن فووري از دانشگاه پاريس ‪ ۱۱‬اين نكته را به صورت رياضي اثبات كرده است. به اين ترتيب آخرين بخش معما حل شد و آلگوريتم پيشنهادي اين سه نفر با موفقيت پا به عرصه گذارد.

اما اين موفقيت "مشروط" بود. به اين معني كه اين روش براي اعداد اولي كه انسان در حال حاضر مي‌توان به سراغ آنها برود از كارآيي چنداني برخوردار نيست. در روايت اوليه روش پيشنهادي، زمان لازم براي محاسبات كه متناسب با ارقام عدد اول مورد نظر بود، با آهنگ ‪ ۱۰۱۲‬ازدياد پيدا مي كرد.

در روايتهاي بهبود يافته اخير اين روش، سرعت ازدياد زمان لازم براي محاسبات به ‪ ۱۰۷.۵‬كاهش يافته اما حتي در اين حالت نيز اين روش در مقايسه با روش آ پي آر تنها در هنگامي موثر تر خواهد بود كه تعداد ارقام عدد اولي كه قصد شكار و يافتن آن را داريم در حدود ‪ ۱۰۱۰۰۰‬باشد.

اعدادي تا اين اندازه بزرگ در حافظه هيچ كامپيوتر جاي نمي‌گيرند و حتي آن را نمي‌توان در كل كيهان جاي داد.

اما حال كه رياضي دانان توانسته‌اند يك طبقه خاص از آلگوريتمهاي تواني را براي شناسايي اعداد اول مشخص كنند، اين امكان پديد آمده كه به دنبال نمونه‌هاي بهتر اين روش بگردند. پومرانس و هندريك لنسترا از دانشگاه كاليفرنيا در بركلي با تلاش در همين زمينه توانسته‌اند زمان لازم براي محاسبات را از توان ‪ ۷.۵‬به توان ‪ ۶‬كاهش دهند.

اين دو از همان استراتژي كلي گروه هندي موسسه كانپور استفاده كردند اما تاكتيهاي ديگري را به كار گرفتند.

اگر فرضيه‌هاي ديگري كه درباره اعداد اول مطرح شده درست از كار درآيد آنگاه مي‌توان زمان محاسبه را از توان ‪ ۶‬به توان ‪ ۳‬تقليل داد كه در اين حد اين روش كارآيي عملي پيدا خواهد كرد.

در اين حالت يافتن اعداد اول با ‪ ۱۰۰۰‬رقم يا بيشتر به بازي كودكان بدل خواهد شد.

اما در نظر رياضي‌دانان مهمترين و جالبترين جنبه كار گروه سه نفره آ ك اس (كانپ.ر) روشي است كه آنان به كار گرفته‌اند.

اعداد اول براي رياضيات از اهميت بنيادين برخوردارند و هر نوع غفلت در فهم ويژگيهاي آنها باعث مي‌شود خللهاي بزرگ در بناي رياضيات پديدار شود.

روش اين سه رياضي دان هندي هرچند اين خللها و نقصها را پر نكرده حداقل به رياضي دانان گفته است كه در كجا به دنبال اين خللها بگردند.

آلگوريتم پيشنهادي اين سه محقق و همه انواع بديلي كه بر اساس آن ساخته شده متكي به وجود اعداد اولي با مشخصه هاي ويژه هستند. و در اغلب موارد استفاده از اين روش مستلزم آن است كه رياضي دانان اطلاعات دقيقي از نحوه توزيع اين قبيل اعداد اول خاص در ميان ديگر اعداد به دست آورند و به اين ترتيب جغرافياي مكاني اعداد اول را مشخص سازند.

روش پيشنهادي آ ك اس به رياضي دانان اين نكته را آموخته كه ويژگيهاي اين جغرافياي مكاني حائز اهميت است و نيز اين كه هنوز دانش كافي در اين زمينه به دست نيامده است.

در گذشته و در زماني كه نظريه اعداد تنها مورد توجه يك گروه كوچك از رياضي دانان بود ، اين مساله چندان اهميتي نداشت. اما در ‪ ۲۰‬سال گذشته اعداد اول موقعيتي استثنايي در عرصه رمز نگاري و دانش طراحي و شكستن رمزها كسب كرده اند.

رمزها صرفا از نظر نظامي و جاسوسي حائز اهميت نيستند بلكه از آنها در عرصه هاي تجاري و نيز فعالييتهاي اينترنتي در مقياس وسيع استفاده به عمل مي‌آيد. هيچ كس نمي‌خواهد كه راهزنان اينترنتي به اطلاعات شخصي مربوط به حسابهاي بانكي يا شماره كارتهاي اعتباري آنان دست يابد.

هم اكنون دزدي مشخصات شناسنامه اي افراد و جعل هويت آنان به صورت يكي از بزرگترين قلمروهاي فعالييتهاي تبهكارانه در سطح بين‌المللي در آمده است.

سازندگان كامپيوترها و ارائه‌دهندگان خدمات اينترنتي با توجه به آنكه در حال حاضر افراد بسياري از فعاليتهاي خود را از طريق اينترنت انجام مي دهند، نظير اينكه پول قبضهاي برق و آب و تلفن خود را مي‌پردازند يا در كلاسهاي مورد نظر ثبت نام مي‌كنند، يا بليت هواپيما و قطار رزرو مي‌كنند، در تلاشند تا از خطر دستيابي تبهكاران به اطلاعات شخصي افراد جلوگيري به عمل اورند.

يكي از مهمترين سيستمهايي كه در اين زمينه مورد استفاده صنايع است سيستم آر اس آ نام دارد كه متكي به اعداد اول است.

اعداد اول مورد استفاده در اين سيستم در حدود ‪ ۱۰۰‬رقمي هستند. سيستم آر اس آ در بسياري از سيستمهاي كامپيوتري مورد استفاده قرار دارد و در پروتكل اصلي براي ارتباطات امن اينرتنتي نيز گنجانده شده است و بسياري از دولتها، شركتهاي بزرگ و دانشگاهها از آن استفاده مي‌كنند. جواز استفاده از اين سيستم براي بيش از ‪ ۷۰۰‬شركت صادر شده و بيش از نيم ميليون كپي از آن در سطح جهاني مورد استفاده قرار دارد.

براي شكستن رمز آر اس آ بايد مضراب اعداد ‪ ۲۰۰‬رقمي يا بزرگتر را پيدا كنيد. هرچند فاكتور گيري يا عامل مشترك گيري از اعداد سخت تر از آزمودن اول بودن آنهاست اما اين دو مساله با يكديگر ارتباط دارند و رياضي دانان از يك ابزار براي حل هر دو مساله استفاده مي‌كنند.

همه اين جنبه‌ها بر اهميت كشف هر روشي براي محاسبه اعداد اول مي‌افزايد.

در سال ‪ ۱۹۹۵‬زماني كه پيتر شور از آزمايشگاههاي بل اثبات كرد كه مجموعه- اي از آلگوريتمهاي تواني براي فاكتور گيري وجود دارد، لرزه بر اندام بسياري افتاد.

اما خوشبختانه براي استفاده از اين آلگوريتم به كامپيوترهاي كوانتومي نياز است كه هنوز در مرحله تكميل تئوريك قرار دارند.

اكنون روش تازه آگراوال و دوستانش دوباره سيستم آر اس آ را در معرض خطر قرار داده است. آگراوال اكنون اين نكته را نشان داده كه مي‌توان با كامپيوتر هاي معمولي، اعداد را از حيث اول بودن مورد آزمايش قرار داد.

سوالي كه اينك مطرح شده آن است كه آيا الگوريتم مشابهي كه به صورت تواني كار كند براي فاكتورگيري اعداد غيراول نيز موجود است؟ پاسخ اغلب متخصصان به اين پرسش منفي است اما متاسفانه اين متخصصان همين حرف را در مورد آلگوريتم تواني مربوط به اعداد اول نيز مي‌زدند
در حال حاضر رياضي دانان واقعا مطمئن نيستند كه كه آيا چنين آلگوريتمي يافت مي‌شود يا نه.

اگر پاسخ مثبت باشد انگاه سيستم آر اس آ ديگر از امنيت برخوردار نيست.

يك عامل تخفيف‌دهنده نگرانيها آن است كه از سيستم آر اس آ براي انتقال همه محتواي پيامها استفاده نمي‌شود بلكه صرفا "كليد هاي رمز" را كه اندازه شان كوچك است با اين سيستم انتقال مي‌دهند.

براي انتقال بقيه پيام از روشهاي رمزنگاري متعارف بهره گرفته مي‌شود. به اين ترتيب جاسوسان در صدد برخواهند آمد كه به كليد رمزها دست يابند.

به اين ترتيب درسي كه از موفقيت گروه سه نفره هندي گرفته مي‌شود آن است كه بايد با احتياط در ارسال پيامها عمل كرد. اگر اكتشافات مشابه آنچه گروه كانپور بدست اورده تكرار شود، انگاه ديگر نمي‌توان به ايمن بودن ارتباطاتي كه روي اينترنت برقرار مي‌شود اطمينان داشت.

+ نوشته شده در  89/03/22ساعت   توسط فرشادباباپور  | 

ماشين رياضي جديدي براي رام كردن اعداد اول (‪(۱

اعداد اول بسيار زيبا و جذابند و در عين حال معماي حيرت انگيز و سرگردان‌كننده اي را در برابر رياضي دانان مطرح ساخته اند: تعريف اين اعداد كاملا ساده است، رفتار آنها در سلسله اعداد و نحوه ظاهر شدنشان در آن كاملا بي‌نظم و فاقد قاعده به نظر مي‌آيد و هرچه شمار بيشتري از آنها شكارمي‌شوند، كار شكار بعدي‌ها دشوارتر مي‌شود.

طي قرنهاي متمادي رياضي دانان در شرق و غرب عالم به جستجوي راههايي براي دستيابي به اعداد اول برخاسته‌اند و با اين همه بهترين روشهايي كه تا بحال در اين زمينه ابداع شده چنان كند است كه حتي پر سرعت‌ترين كامپيوتر هاي كنوني نيز نمي‌توانند كمك چنداني در شكار اين اعداد شگفت انگيز كنند.

اعداد اول بر طبق تعريف اعدادي هستند كه تنها به ‪ ۱‬و بر خودشان تقسيم پذيرند. به عنوان نمونه اعداد ‪ ۲،۳،۵،۷،۱۱،۱۳،۱۷،۱۹‬اعداد اول كمتر از ‪۲۰‬ در سلسله اعداد طبيعي هستند. اما هرچه در اين سلسله پيش تر برويم اعداد اول ناياب تر مي‌شوند.

بطوريكه اگر چندين ميليون بار به سرعت كامپيوتر هاي كنوني افزوده شود، تنها چند رقم به شماره ارقام بزرگترين عدد اولي كه تا به حال شناخته شده افزوده مي‌گردد.

رياضي دانان در آرزوي دست يافته به روشي هستند كه با استفاده از آن بتوانند با سرعت به يافتن اعداد اول توفيق يابند و يا اگر با عددي هر اندازه پر رقم و بزرگ روبرو شدند بتوانند با سرعت مشخص سازند كه آيا عدد اول است ؟ - اما يافتن چنين روشي به فسفر مغز نياز دارد و نه سرعت كامپيوتر. -
اما يك گروه از رياضي دانان هندي مدعي شده‌اند كه در آستانه دستيابي به همان آزموني هستند كه رياضي دانان قرنها مشتاقانه در آرزويش بوده اند.

مانيندرا اگراوال ‪ ,Manindra Agrawal‬و دانشجويانش نيراج كايال ‪Neeraj‬ ‪ Kayal‬و نيتين سكسنا ‪ Nitin Saxena‬در موسسه تكنولوژي كانپور مدعي شده‌اند كه در آستانه تكميل آزموني هستند كه اول بودن يا نبودن هر عدد طبيعي را با سرعت مشخص مي‌كند. اين آزمون در صورتي كه تكميل شود مي‌تواند تبعات و نتايج بسيار گسترده‌اي براي جهان كنوني به بار آورد.

درحال حاضر بسياري از معاملات تجاري و نقل و انتقالات مالي و نيز مبادله اطلاعات محرمانه از طريق شبكه هاي مخابراتي مانند اينترنت و با بهره گيري از رمز كردن پيامها به انجام مي‌رسد.

اعداد اول در تنظيم اين قبيل رمزها نقشي اساسي بر عهده دارند و از همين رو دستيابي به اعداد اول جديد كه ديگران از آن بي‌خبر باشند براي سازندگان اين رمزها و نيز مشتريان آنان از اهميت زياد برخوردار است.

اما اگر روش اين محققان هندي تكميل شود در آن صورت امنيت اين قبيل نقل و انتقالات در معرض خطر جدي قرار خواهد گرفت.

سابقه قرار گرفتن رياضي دانان تحت جاذبه اعداد اول به قرنها پيش باز مي گردد. در سال ‪ ۱۸۰۱‬كارل گائوس از بزرگترين رياضي دانان اعلام كرد كه مساله تشخيص اعداد اول از اعداد غير اول يكي از مهمترين مسائل حساب به شمار مي‌آيد.

اعداد اول به يك معنا همان نقشي را در سلسله اعداد بازي مي‌كنند كه اتمها در ساختار بناي كيهان دارند- اين اعداد سنگ بناي ناپيداي ديگر اعداد محسوب مي‌شوند.

يكي از عادي‌ترين راههاي شناسايي اعداد اول تقسيم آن به ديگر اعداد است.

از طرف ديگر با اندكي تامل روشن مي‌شود كه اعداد زوج عدد اول نيستند زيرا همگي بر ‪ ۲‬قابل قسمتند.

اعدادي كه بتوان جذر آنها را به دست آورد نيز اول نيستند. اما اين روشها براي شناسايي اعداد اول بزرگ به كلي بي‌فايده‌اند. به عنوان مثال اگر عدد اولي داراي ‪ ۱۰۰‬رقم باشد در آن صورت كل عمر باقيمانده از كيهان بر اساس نظريه هاي جديد كيهانشناسي نيز براي مشخص كردن اول بودن يا نبودن اين عدد با اين شيوه هاي متعارف كفايت نمي‌كند.

بنابراين رياضي دانان به سراغ روشهاي ديگر رفته‌اند. مهمترين سوال در مورد همه اين روشها آن است كه با چه سرعتي مي‌توانند يك عدد اول را مشخص كنند و با ازدياد ارقام عدد اول زمان لازم براي محاسبه چه اندازه طولاني تر مي شود. اگر به عنوان مثال زمان محاسبه به توان ثابتي از شمار ارقام عدد ازدياد يابد در آن صورت اين روش روش قابل قبولي به شمار آورده مي‌شود .

به اين نوع روشها كه زمان به صورت تواني در آنها افزوده مي‌شود "روشهاي تواني" مي‌گويند. روشهاي ديگر كه زمان در آنها با سرعت بيشتري افزايش مي‌يابد روشهاي غيرتواني نام دارند.

به عنوان مثال روش تقسيم معمولي يك روش غيرتواني براي يافتن اعداد اول است. در اين روش زمان لازم براي تعيين اول بودن يك عدد با ‪ d‬رقم، برابر با ‪ /۱۰d/2‬اين نوع روشها بسيار نامناسبند.

در سال ‪ ۱۹۵۶‬منطق‌دان برجسته آلماني كورت گودل اين پرسش را مطرح ساخت كه آيا مي‌توان اين نوع روشهاي تقسيم را بهبود بخشيد. تلاش خود او نهايتا به كشف شماري از روشهاي عملي براي يافتن اعدادي به بزرگي ‪ ۱۰۰‬رقم يا بيشتر منجر شد. همه اين روشها احتمالاتي هستند و بنابراين در مواردي پاسخ غلط به دست مي‌دهند هرچند كه اين موارد بسيار نادرند.

ادامه دارد...

+ نوشته شده در  89/02/19ساعت   توسط فرشادباباپور  | 

مدل و مفهوم مدل ریاضی

مدل و مفهوم مدل ریاضی

چون در شاخه تحقیق در عملیات اساسا با مدل ریاضی mathematical model سر و کار داریم سعی می کنم تا حدودی مفهوم مدل و بخصوص مدل ریاضی رو بیان کنم.

در این مقاله مفهوم کلی مدل بحث می شود و در مقاله های بعدی مثال هایی از هر نوع ، بخصوص مدل ریاضی و انواع مدلسازی ریاضی که هدف اصلی این مقاله است مورد بررسی قرار می گیرد. 

مفهوم مدل

  • مدل يكي از مفاهيم اساسي علوم _فلسفه ومعرفت شناسي است.
  • بدون مدل هرگزنمي توان به ابعاد پنهان طبيعت دست يافت.
  • پيش بيني هاي جديد علمي در پرتو مدلها صورت مي گيرد.
  • بدون مقايسه با يك مدل پيشرفتها دلبخواهي مي شود.

تعریف مدلسازی

  • مدلسازی يعني ساختمان شبيه يك سيستم به هر روش يا صورت ممكن كه مي تواند از بعضي جهات با سيستم مرجع متفاوت باشد.
  • هر نوع ارائه يا بيان يک سيستم را مدل مي گويند.  مدل رفتار سيستم را بيان مي کند .
  • یافتن قوانین جهان شمول (یا آماری) به زبان ریاضی برای توصیف (حتمی یا احتمالاتی) و پیش بینی (حتمی یا احتمالاتی) پدیده ها با اندازه گیری
  • هدف مدلسازی، مطالعه و بررسي سيستم مرجع مي باشد .
  • اساس و رکن مدلسازی، انتخاب مدل مناسب است .
  •  انتخاب مدل مناسب، پارامترتعيين کننده ای است، لذا در ابتدا بايد مدل را خوب شناخت.

تفاوت نظريه با مدل

  • نظريه ها محصول مدل هستند وبرپايه مدل استوار مي شوند.
  • نظريه ها بدون مدل كاركرد خود را ندارند .
  • قوت وضعف نظريه ها با قوت وضعف مدل آنها ارتباط دارد .
  • نظريه ها نيروي خود را از مدلها مي گيرند .
  • مدلها پويايي وخصلت ديناميكي دارند ولي نظريه ها ثابت و استاتيك اند.

ويژگي هاي مدل

  • مدلها به معرفت نظري مربوط ميشوند .
  • مدلها براي حل مسئله متولد مي شوند و رشد مي كنند .
  • مدلسازي براي فهم نظريه ها اجتناب ناپذيراست .
  • مدلها واقع نما هستندو قابليت تعميم دارند .
  • مدلها همواره ناقص اند و تمام حقيقت رابه يكباره به چنگ نمي آورند.
  • مدلها موقتي اند. دائمآ تغييروتحول مي يابندوشاخ وبرگهاي جديدي پيدا مي كنند .
  • مدلها تدريجآعمق ودقت مي يابند وبه واقع نزديكتر مي شوند.
  • مدلهاي موفق با قدرت پيش بيني آنها سنجيده مي شوند .
  • مدلهاي موفق تعداد مجهولات بيشتري را پاسخ مي دهند.

مراحل مدلسازي

  • آماده سازي (Preparation)
  • جمع آوري اطلاعات  (Information Gathering)
  • ساخت مدل  (Model Building)
  • آ زمودن مدل  (Model Testing)
  • تعميم مدل  (Model Transferring)

انواع مدل ها

  • فیزیکی

  • هنری

  • زیستی

  • ریاضی

  • اقتصادی

 

  • ......

ادامه مطلب در پست بعدی مطالعه کنید.

منبع : قسمت اول بحث از ارائه :سعدون عزیزی

 قسمت  دوم از کتاب مدل سازی در برنامه ریزی ریاضی پرفسور اچ .پاول ویلیامز

+ نوشته شده در  89/02/05ساعت   توسط فرشادباباپور  | 

هتل هلیبرت

این مساله یکی از زیباترین و همین طور عمیق ترین مسایل مطرح شده در مورد بینهایت ها و مجموعه های بی نهایته که به ریاضی دان بزرگ قرن قبل دیوید هیلبرت منسوب شده و در واقع صاحب هتل مورد بحث ما همان هیلبرت و هتل هم به هتل هلیبرت معروفه . 

موضوع از اینجا شروع می شود که آیا با توجه به اینکه تمامی اتاق های هتل آقای هیلبرت پرهستند می تواند یک اتاق برای مسافر تازه وارد خالی کنه ؟ 
با هم به داستان بر می گردیم .

بعد از این حرف مسئول به هلبرت گفت :" اما تمامی اتاق ها پر هستند " 
و هیلبرت در پاسخ گفت : " درسته ، حق با توئه امایه روش وجود داره . به مسافر اتاق 1 بگو بره به اتاق 2 و به مسافر اتاق 2 بگو بره به اتاق 3 و همین طور به مسافر اتاق n بگو بره به اتاقn+1 و از آنجا که تعداد اتاق ها بینهایته پس مسافر اتاق آخری وجود نداره که نتونه به اتاق بعدی بره و دست آخر یک خالی برای مسفر تازه وارد خالی کردیم ! ومی تونه شب رو تو آن اتاق باشه " 

این گونه بود که آن شب مسافر تازه وارد تونست یه اتاق خالی در هتل پر آقای هیلبرت پیدا کنه . 
اما آن شب ، شب پر ماجرایی بود و به اینجا ختم نشد .
هیلبرت پشت بام در حال صحبت با دوستانش بود که ناگهان یه اتوبوس با بینهایت مسافر وارد هتل شد و اتاق خواستند . 
مسئول مهمان پذیر نگاهی به مسافران کرد و گفت : " عذر می خوام برای بینهایت نفر ، دیگه جا نداریم . متاسفم " 
درهمین حال بود که دوباره هیلبرت بلند شد و با چوب جادوییش به هتل اشاره کرد و ورد مخصوصش رو خوند ! 
هلبرت به مسئول گفت : " اشتباه می کنی ، ما برای همه ی این بینهایت نفر جا داریم ! " 
مسئول گفت : " اما آقا ما چه طور می تونیم بینهایت نفر دیگه رو هم بپذیریم وقتی همه بینهایت اتاق های ما پر هستند ؟ " 
هیلبرت گفت : " برای این کار کافیه که به مهمان اتاق شماره 1 بگی که به 2 بره و به 2 بگی که به 4 بره و 3 به 6 و همین طور n به 2n ، دست آخر ما بینهایت اتاق ( اتاق ها با شماره ی فرد خالی می شوند که تعدادشون به اندازه ی اعداد طبیعی است  ) داریم که می توانیم به این بینهایت نفر بدهیم ! و به این ترتیب هیلبرت توانست بینهایت مسافر اتوبوس رو هم توی اتاق ها جا بده . . . 
از آنجایی که همه ی شب های خاطره انگیز به این زودی ها تمام نمی شوند آن شب هم هنوز ادامه داشت . 
پارکینگ هتل آقای هیلبرت ظرفیت بینهایت اتوموبیل رو داشت . 
و تقریا پاسی از نیمه شب گذشته بود که بینهایت اتوبوس هر کدام با بینهایت مسافر وارد هتل شدند . 
الان نظر شما چیه ؟ 
به نظر شما هتل دار افسانه ای راهی برای جا دادن بینهایت مسافر بینهایت اتوبوس در هتل کاملا پر خود پیدا می کنه ؟ 
اتفاقات پیش رو از اتفاقاتی که تا به حال رخ داده جالب تره . 
هیلبرت نگاهی به مسئول کرد و گفت : "باز هم به مسافران اتاق n بگو که به اتاق 2n بروند و سپس مسافران اتوبوس شماره ی p رو به مضارب توانی p - امین عدد اول فرد ببر و از آنجا که اعداد اول هم بینهایت هستند و مضاربشون هم همین طور، به سادگی می تونیم تمامی بینهایت مسافر بینهایت اتوبوس رو جا بدیم  و تازه بینهایت اتاق خالی دیگه هم اضافه میاریم ! ( اتاق هایی به شماره ی اعداد فرد غیر اول ) 
و این گونه بود که جادوی هیلبرت تمامی چشم ها رو مبهوت کرد .
جالبتر آنکه تمامی هزینه های هتل ، آن شب برای همه مسافران رایگان بود اما هلیبرت بینهایت پول به جیب زد !
او مسافران اتاق ها را به صف می کرد و به آنها می گفت که هر کس $1 به نفر جلویی خود بدهد و $1 از نفر پشت سر خود بگیرند و خود او هم سر صف ایستاده بود ! 
به این ترتیب هر کس پولی که به نفرجلویی خود داده بود رو ازنفر پشت سر خود پس گرفت و چون نفر آخری وجود ندارد هیچ کس نبود که پول خود رو از پشت سری پس نگرفته باشد و نفر قبل آقای هیلبرت هم مدام $1 ها رو به هیلبرت می داد و او هم به خزانه ی خود می ریخت !

و این است جادوی ریاضیات 
و این است جادوی بی نهایت 
+ نوشته شده در  89/01/31ساعت   توسط فرشادباباپور  | 

عجايب هفتگانه



مطالبی خواندنی درباره عجایب هفتگانه جهان...!!!



بسیاری‌ از مردم‌، آثاری‌ چون‌ دیوار چین ‌، تاج‌محل‌ و تخت‌ جمشید را به‌ عنوان‌ عجایب‌ هفتگانه‌جهان‌ می‌شناسند، اما این‌ آثار که‌ بسیار زیبا وکم‌نظیر هستند، در فهرست‌ عجایب‌ هفتگانه‌ جهان‌قرار ندارند. فهرستی‌ که‌ در روزگار باستان‌ تعیین‌شده‌ و پس‌ از آن‌ نیز توسط باستان‌شناسان‌ و هنرشناسان‌ تایید شده‌ است‌ و جز عجایب‌هفت‌گانه‌ هستند، به‌ این‌ شرح‌ می‌باشد:

* اهرام‌ مصر، در مصر
* باغ‌های‌ معلق‌ بابل‌، در عراق‌
* مجسمه‌ زئوس‌، در المپیا
* معبد آرتمیس‌، در افسوس‌
* مقبره‌ ماسولوس‌، در هالیکارناسوس‌
* مجسمه‌ عظیم‌ رودس‌، در یونان‌
* برج‌ دریایی‌ اسکندریه‌، به‌ در جزیره‌ فاروس‌ 


هرم‌ خوفو:
«هرم‌ خوفو» بزرگ‌ترین‌ هرم‌ در بین‌ اهرام‌ مصر است‌. این‌ بنا که‌ قدیمی‌ترین‌ و بزرگترین‌ بنا در بین‌عجایب‌ هفتگانه‌ می‌باشد، تنها بنایی‌ است‌ که‌ درحال‌ حاضر وجود دارد. هرم‌ خوفو در 2600 سال‌ قبل‌ از میلاد ساخته‌شده‌ است‌. این‌ هرم‌ بلندترین‌ بنای‌ ساخته‌ دست‌بشر تا سال‌ 1889 می‌باشد; از این‌ رو این‌ هرم‌جزو عجایب‌ هفتگانه‌ قرار گرفته‌ است‌. بیشترسنگ‌های‌ تشکیل‌ دهنده‌ این‌ بنا، سنگ‌های‌عظیمی‌ است‌ که‌ امروز تنها با تریلرهای‌ بسیاربزرگ‌ قابل‌ حمل‌ است‌. ارتفاع‌ فعلی‌ این‌ هرم‌138 متر است‌.


رودس‌ یونانی‌:
مجسمه‌ عظیم‌ الجثه‌ رودس‌ در یونان‌ یکی‌ دیگر ازعجایب‌ زیبایی‌ جهان‌ بشمار می‌رود. ارتفاع‌ این‌مجسمه‌، یک‌ شاهکار برجسته‌ معماری‌ بود که‌برروی‌ جزیره‌ رودس‌ در حدود 280 سال‌ قبل‌از میلاد ساخته‌ شده‌ بود. هیچ‌کس‌ نمی‌داند این‌ مجسمه‌ شبیه‌ چه‌ کسی‌ بوده ‌یا در کجا قرار داشته‌ است‌. به‌ گفته‌ کارشناسان‌فرهنگی‌، احتمالا این‌ مجسمه‌ در نزدیکی‌ در ورودی‌ لنگرگاهی‌ بنا شده‌ بوده‌ و پاهای‌ مجسمه‌در دو طرف‌ قرار داشته‌ است‌; به‌طوری‌ که‌کشتی‌ها از میان‌ پاهای‌ آن‌ عبورمی‌کرده‌اند.باستان‌شناسان‌ این‌ مجسمه‌ را جزو عجایب‌ هفتگانه‌جهان‌ قرار داده‌اند.


آرتمیس‌ ترک‌:
معبد آرتمیس‌ در «افوسوس‌» ترکیه‌ می‌باشد. این‌بنا با داشتن‌ 100 ستون‌ مرمری‌ زیبا که‌ ارتفاع‌ هرکدام‌ از آنها به‌ 15 متر می‌رسید، یکی‌ از عجایب‌هفتگانه‌ به‌ حساب‌ می‌آید. این‌ معبد، فضایی‌ را احاطه‌ می‌کرد که‌ تقریبا چند برابر وسعت ‌آکروپلیس‌ در آتن‌ بود. در این‌ معبد، حوادث‌زیادی‌ اتفاق‌ افتاده‌ است‌. این‌ بنا در 600 سال‌پیش‌ از میلاد ساخته‌ و در 550 سال‌ پس‌ از میلاددر آتش‌ سوخت‌; سپس‌ مجددا به‌ صورت‌ زیباتر وعظیم‌تر باز سازی‌ شد. این‌ بنا بار دیگر برای‌ دومین‌بار دچار حریق‌ شد.


زئوس‌ یونانی‌:
مجسمه‌ زئوس‌ در المپیای‌ یونان‌ است‌ و یکی‌ ازعظیم‌ترین‌ مجسمه‌های‌ جهان‌ به‌ شمار می‌رود.این‌ اثر در450 سال‌ قبل‌ از میلاد توسط مجسمه‌ساز معروفی‌ به‌ نام‌ «فیدیاس‌» ساخته‌ شد.ارتفاع‌ مجسمه‌ «زئوس‌» در حدود 12 متر است‌.«فیدیاس‌» با ساخت‌ این‌ مجسمه‌ بلند می‌خواست‌اقتدار و نیرومندی‌ زئوس‌ را نشان‌ دهد. مجسمه‌زئوس‌ در معبد زئوس‌، 64 متر طول‌ و 72 ستون‌به‌ سبک‌ معماری‌ قدیم‌ یونانی‌ دارد. مجسمه‌ زئوس‌در حدود 850 سال‌ در این‌ معبد قرار داشت‌. تاهنگامی‌ که‌ یونانی‌ ها آن‌ را به‌ استانبول‌ منتقل‌کردند. البته‌ بعد از مدتی‌ به‌ آتش‌ کشیده‌ شد و ازبین‌ رفت‌. عظمت‌ و زیبایی‌ این‌ مجسمه‌ سبب‌ شدکه‌ در فهرست‌ عجایب‌ هفتگانه‌ قرار گیرد.


باغ‌های‌ بابل‌:
باغ‌های‌ معلق‌ بابل‌ در عراق‌ یکی‌ از بحث‌برانگیزترین‌ عجایب‌ هفتگانه‌و بی‌نظیرترین‌معماری‌های‌ جهان‌ به‌ شمار می‌رود. البته‌ عده‌ای‌از باستان‌شناسان‌ هنوز در وجود داشتن‌ آن‌ شک‌دارند. بعد از بدست‌ آمدن‌ اسناد اصلی‌ وخرابه‌های‌ برجا مانده‌ از آن‌ زمان‌، وجود داشتن‌آن‌ ثابت‌ شد. در این‌ میان‌ سوالی‌ مطرح‌ است‌ که‌این‌ باغ‌های‌ معلق‌ چرا ساخته‌ شدند؟ درپاسخ‌ به‌این‌ سوال‌ باید افزود که‌ شاه‌ «نبوکد» این‌ بنای‌عجیب‌ را برای‌ خوشحال‌ کردن‌ همسرش‌ در 6قرن‌ قبل‌ از میلاد ساخت‌. عده‌ای‌ از تاریخ‌ نگاران‌می‌گویند: ملکه‌ آشوری‌ این‌ باغ‌ را برای‌ تفریح‌ وسرگرمی‌ خود ساخته‌ است‌.


ملکه‌ هالیکارناسوس‌:
ارتفاع‌ این‌ مقبره‌ مرمری‌ به‌ اندازه‌ یک‌ ساختمان ‌14 طبقه‌ بود. ملکه‌ «آرتمیسیا» فرمان‌ ساخت‌ این‌مقبره‌ را در هالیکار ناسوس‌ برای‌ همسرش‌ در353 سال‌ قبل‌ از میلاد صادر کرد. ملکه‌ این‌ بنا رابرای‌ قدردانی‌ از همسرش‌ ساخت‌ و به‌ این‌ منظوربهترین‌ هنرمندان‌ و مجسمه‌ سازان‌ آن‌ زمان‌ را گرد آورد. ملکه‌ آرتمیسیا دو سال‌ پس‌ از همسرش‌درگذشت‌. جالب‌ است‌ که‌ بدانید، شاه‌ ماسولوس‌هم‌ همسر آرتمیسیا بود و هم‌ برادرش‌. این‌ بنا درحدود 17 قرن‌ پا بر جا بود و در 1400 سال‌ پس‌از میلاد، در اثر زلزله‌ فرو ریخت‌.

فانوس‌ اسکندریه‌:
فانوس‌ اسکندریه‌ یکی‌ از بزرگ‌ترین‌ شاهکارهای‌روزگار باستان‌ می‌باشد. ارتفاع‌ آن‌ بنا حداقل‌ به‌اندازه‌ یک‌ ساختمان‌ 40 طبقه‌ امروزی‌ بود وبرای‌ 16 قرن‌ پا برجا بود. برخلاف‌ 6 عجایب‌ دیگر، فانوس‌ اسکندریه‌استفاده‌های‌ عملی‌ بسیار داشت‌. این‌ بنا به‌کشتی‌های‌ دریانوردی‌ کمک‌ می‌کرد که‌ اسکله‌هارا به‌ راحتی‌ پیدا کنند و با ایمنی‌ کامل‌ داخل‌ آن‌شوند. این‌ اسکلت‌ برای‌ 1600 سال‌ باقی‌ ماند وارتفاع‌ آن‌ 180 متر و بلندترین‌ ساختمان‌ دنیابود، اما با ساخت‌ «برج‌ ایفل‌» در سال‌ 1889،«ایفل‌» بلندترین‌ برج‌ دنیا نام‌ گرفت‌.
 مجسمه‌ سازان‌ آن‌ زمان‌ را گرد آورد. ملکه‌ آرتمیسیا دو سال‌ پس‌ از همسرش‌درگذشت‌. جالب‌ است‌ که‌ بدانید، شاه‌ ماسولوس‌هم‌ همسر آرتمیسیا بود و هم‌ برادرش‌. این‌ بنا درحدود 17 قرن‌ پا بر جا بود و در 1400 سال‌ پس‌از میلاد، در اثر زلزله‌ فرو ریخت‌. فانوس‌ اسکندریه‌: فانوس‌ اسکندریه‌ یکی‌ از بزرگ‌ترین‌ شاهکارهای‌روزگار باستان‌ می‌باشد. ارتفاع‌ آن‌ بنا حداقل‌ به‌اندازه‌ یک‌ ساختمان‌ 40 طبقه‌ امروزی‌ بود وبرای‌ 16 قرن‌ پا برجا بود. برخلاف‌ 6 عجایب‌ دیگر، فانوس‌ اسکندریه‌استفاده‌های‌ عملی‌ بسیار داشت‌. این‌ بنا به‌کشتی‌های‌ دریانوردی‌ کمک‌ می‌کرد که‌ اسکله‌هارا به‌ راحتی‌ پیدا کنند و با ایمنی‌ کامل‌ داخل‌ آن‌شوند. این‌ اسکلت‌ برای‌ 1600 سال‌ باقی‌ ماند وارتفاع‌ آن‌ 180 متر و بلندترین‌ ساختمان‌ دنیابود، اما با ساخت‌ «برج‌ ایفل‌» در سال‌ 1889،«ایفل‌» بلندترین‌ برج‌ دنیا نام‌ گرفت‌.
+ نوشته شده در  89/01/28ساعت   توسط فرشادباباپور  |