اين وبلاگ نظريه سيستم ها دانشكده علوم رياضي دانشگاه صنعتي شريف است. رياضيات پيچيدگي هاي علوم زيادي را از جمله مكانيك و الكترونيك حل كرده است. اكنون اميد مي رود كه رياضيات بتواند افسار گسيختگي علوم انساني چون جامعه شناسي، قانون گذاري، و سياست را مهار كند.
منطق بازي ها (مبتني بر نظريه بازي ها)؛ منطق تكليف، و منطق شناختي
نمونه هايي از ابزارها رياضي هستند كه مي توانند در توصيف و درستيابي
سيستم هاي چند عاملي (اجتماعي) نقش بازي كنند. در درس نظريه سيستم ها، براي عامل چهار ويژگي: آگاهي، رقابت، ائتلاف و تعهد را در نظر مي گيريم. هر عامل با توجه به اين ويژگي ها سعي بر رفع نيازهاي خود دارد.
اقليدس رياضيات (خواص و روابط) اشيا ساكن را صورت­بندي كرد، نيوتن رياضيات اشيا متحرك، و حالا بشر مي خواهد رياضيات اشيا هوشمند را صورت­بندي كند.



۱۳۸۸ اردیبهشت ۱, سه‌شنبه

شام خوردن سه رمزنگار





سه رمزنگار دور يك ميزگرد شام مي­خورند. بعد از شام متوجه مي­شوند كه صورت حساب پرداخته شده است. در مورد اين موضوع كه يا يكي از رمزنگار­ها صورت حساب را پرداخته است يا سازمان امنيت كشور توافق وجود دارد.
رمز­نگارها مي­خواهند بداند كه آيا يكي از آنها پرداخت كننده بوده است يا سازمان امنيت. اما آنها مي­خواهند در صورتي كه يكي از آنها پرداخت كننده باشد هويت او لو نرود و گمنام باقي بماند.
به اين منظور پروتكل زير را اجرا مي­كنند:
هر رمزنگار يك رقم 0 يا 1 را به دلخواه براي خود انتخاب مي­كند. سپس به طور خصوصي رقم خود را به نفر سمت چپ خود اعلان مي­كند. هر رمزنگار رقم دريافتي را (رقمي را كه از نفر سمت راستي خود دريافت كرده است) با رقم انتخابي خود (رقمي كه انتخاب كرده و به نفر سمت چپي خود فرستاده است) فصل ضمني مي­كند. اگر پرداخت كننده نباشد حاصل را به طور عمومي اعلان مي­كند وگرنه حاصل را با 1 جمع دودويي مي­كند و حاصل­جمع جديد را به طور عمومي اعلان مي­كند. سه رقمي كه اعلان عمومي شده است با هم جمع دودويي مي­شوند. اگر حاصل 0 باشد يعني سازمان امنيت پرداخت كننده است، واگر 1 باشد يعني يكي از عاملها پرداخت كننده است.

هیچ نظری موجود نیست: