Ali Shakiba's Diaries
روزنوشت های یک دانشجوی کارشناسی ارشد علوم کامپیوتر
مسایل NP-complete و رایانش کوانتومی
01 week ago
ضمن عرض پوزش؛ این محتوا به زبان فارسی در حال حاضر موجود نمی باشد.
مشکل IPE و TeXLive 2010 در تولید خروجی PDF و راهحل آن
2در حال نوشتن یک گزارش فنی بودم که نیاز به ترسیم شکل پیدا کردم. من برای ترسیم شکل معمولا از دو ابزار IPE و LaTeX Draw استفاده میکنم. برای ترسیم این شکل تصمیم گرفتم تا از IPE 7.0.10 استفاده کنم. همه چیز خوب بود تا اینکه به شکل ترسیم شده، متن اضافه کردم. IPE قادر به تولید خروجی نبوده و خطایی مانند شکل زیر را ارایه میداد.
با کمی جستجو؛ متوجه شدم مشکل از این هست که TeXLive 2010 به صورت خودکار اقدام به فشرده سازی اشیاء PDF می کند و بنابراین این قالب فایل برای IPE قابل خواندن نیست. به همین دلیل لازم است تا از pdflatex بخواهیم که این فشرده سازی را انجام ندهد. (ادامه…)
ارایه: کاربرد الگوریتمهای کوتاهترین مسیر
06 months ago
هدف در مساله کوتاهترین مسیر، یافتن مسیری با طول (هزینه) کمینه از یک گره مشخص مبدا به یک گره مقصد در یک شبکه جریان است. شبکه جریان، همان گراف است با این تفاوت که هر کمان در این گراف دارای یک طول (هزینه) است.
ارایه بخش ۴٫۱ و ۴٫۲ از کتاب Network flows: theory, algorithms, and applications نوشته Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin برای درس «مباحثی در محاسبات علمی» به من واگذار شده بود که میتونید از اینجا اسلایدهای اون رو دریافت کنید. شاید این موضوع کمی پیشپاافتاده به نظر برسد، اما در حل مسایل تحقیق در عملیات یا OR از اهمیت بالایی برخوردار هستند. تلاش من در این ارایه که تکرار مباحث دوره کارشناسی بودند، ارایه شیوه مدلسازی مسایل به صورت شبکه و تبدیل حل آن مسایل به عنوان کوتاهترین مسیر بوده است.
کتاب Network flows: theory, algorithms, and applications یک متن کلاسیک درباره شبکه جریان است که این ترم به عنوان منبع درسی «مباحثی در محاسبات علمی» در نظر گرفته شده است.
تولید مِش غیر یکنواخت با استفاده از Quadtree
010 months ago
از هک شدن سرور قبلی و از دست رفتن برخی اطلاعات و … بگذریم می رسیم به عوض کردن هاستینگ و انتقال اطلاعات و …. اما الحق و الانصاف سرویس ارایه شده توسط هاستینگ فعلی؛ یکی از بهترین سرویس هایی است که تا به حال دیده ام.
در ارایه قبلی برای درس ماتریس های تُنُک؛ به بررسی روش المان محدود پرداخته بودم. در آنجا گفته بودم که برای استفاده از این روش نیاز به پیش پردازش ورودی به منظور تجزیه موجودیت مورد بررسی به المان ها داریم. این تجزیه بندی یک موجودیت به المان ها را مِش نام گذاشتیم و دستگاهی خطی برای آن ارایه کردیم و سپس با استفاده از روش های جبر خطی عددی؛ آن را حل کردیم! البته حل ما تفاوتی با حل های رایج داشت و آن هم در نظر گرفتن خاصیت تُنُک بودن دستگاه بود!
در این ارایه که برای درس هندسه محاسباتی انجام دادم؛ به بررسی شیوه ایجاد یک المان بندی غیر یکنواخت در صفحه با استفاده از داده ساختاری به نام Quadtree نمودم. مطالب مورد استفاده در این ارایه؛ از کتاب Computational Geometry: Algorithms and Applications (فصل ۱۴) بوده است که البته از برخی تصاویر در سایر ارایه های مرتبط با داده ساختار Quadtree نیز استفاده کرده ام.
در مورد قالب مورد استفاده برای این ارایه؛ ابتدا از قالب Warsaw استفاده می کردم که در ۲۴ ساعت مانده به ارایه(!) به قالب progressbar تغییر قالب دادم! برای اینکه برخی تصاویر در زیر نوار پیشرفت این قالب قرار می گرفتند و فرصتی برای تصحیح و قاب بندی مجدد اسلاید ها نداشتم؛ قالب را تغییر داده و نوار پیشرفت را حذف کردم! 
می توانید اسلاید های این ارایه را از اینجا دریافت کنید.
به امید ظهور عدالت گستر گیتی
اسلاید های مربوط به ارایه درس ماتریس های تُنُک
11 year ago
امروزه استفاده از ماتریس ها و جبر خطی در کاربرد های مهندسی و نظری افزایش قابل توجهی یافته است. بویژه با همه گیر شدن رایانه ها؛ لزوم پرداختن به ماتریس ها و جبر ماتریس ها از دیدگاه محاسباتی اهمیت قابل توجهی یافته است. برای مثال وقتی شما در موتور جستجو به دنبال مطلبی از کلید واژه ها استفاده می کنید؛ در حقیقت موتور جستجو با استفاده از مسایل بنیادین جبر خطی و نمایش ماتریسی داده ها و شاخص ها؛ رتبه و درجه نزدیکی صفحات وب را با جستجوی شما محاسبه کرده و نتایج را به صورت مرتب در اختیار شما قرار می دهد.
جالب است بدانید که بسیاری از ماتریس های مورد استفاده امروزی تُنُک یا Sparse هستند. به همین دلیل پرداختن به محاسبات ماتریس های تنک از اهمیت روز افزونی برخوردار شده است. در ترم جاری؛ ارایه فصل هشتم از کتاب تکنولوژی ماتریس های تنک؛ نوشته Pissanetzky تحت عنوان Connectivity and Nodal Assembly به عهده من بود که اسلاید های اون رو می تونید از این لینک دریافت کنید.
حل بخشی از تمرین های فصل دوم کتاب هندسه محاسباتی Berg
21 year ago
سلام؛
مطابق رویه پیشین؛ این بار حل تمرین های فصل دوم درس هندسه محاسباتی رو در این جا قرار می دم. فصل دوم به بررسی مساله تقاطع خطوط می پردازه و اون رو با استفاده از الگوریتم خط جاروب حل می کنه! بعد از اون ساختمان داده ای به نام DCEL یا Doubly Connected Edge List رو معرفی می کنه و سعی می کنه مساله همپوشانی نقشه ها یا map Overlay رو حل کنه. از اون قسمت دوم من تقریبا هیچ چیز نفهمیدم(!)؛ اما قسمت اول رو به نسبت خوب یاد گرفتم! راستی اگه اشکالی دیدید؛ بهم خبر بدید!
کتاب معروف Computational Geometry: Algorithms and Applications نوشته Mark de Berg, Otfried Cheong, Marc van Kreveld منبع اصلی این درس و مبدا تمرین ها است.
می تونید برای مشاهده تمرین ها در قالب PDF؛ از این لینک استفاده کنید.
حل بخشی از تمرین های فصل اول کتاب هندسه محاسباتی Berg
61 year ago
سلام؛
درس هندسه محاسباتی؛ یکی از شیرین ترین درس هایی است که تا به حال داشته ام! البته گرچه در برخی جنبه های هندسی آن لَنگ می زنم(!)؛ اما شیرینی حل مسایل و کاربرد های جالب آن ها در زندگی روزمره؛ جبران این لَنگ زدن را می کند تا بیشتر به آن بپردازم …. تصمیمی برای انتشار حل تمرین هایم نداشتم؛ اما به پیشنهاد یکی از دوستان؛ برای آنکه آن ها را در معرض نقد قرار دهم؛ به تدریج آن ها را در این جا منتشر می کنم! پس با دانستن هدفم از انتشار این مسایل؛ لطفا اگر ایراد و اشکالی در حل ها مشاهده کردید؛ به من اطلاع دهید.
راستی کتابی که به عنوان مرجع این درس معرفی شده؛ کتاب معروف Computational Geometry: Algorithms and Applications نوشته Mark de Berg, Otfried Cheong, Marc van Kreveld است.
می تونید برای مشاهده تمرین ها در قالب PDF؛ از این لینک استفاده کنید.
بخش دوم و پایانی ارایه مهندسی نرم افزار های متن باز
02 years ago
سلام.
در این پست؛ قسمت دوم ارایه مربوط به بحث مهندسی نرم افزار در پروژه های متن باز رو قرار دادم. این اسلاید شامل مجموعا ۴۶ اسلاید با سر فصل زیر است:
- مهندسی نرم افزار در پروژه های متن باز
- مرور موردی مهندسی نرم افزار در پروژه GNOME
البته منابع مورد استفاده در اسلاید های پایاینی آمده است.
مجموعه ویدیو های مبانی XML از دانشگاه Berkeley
02 years ago
by علی شکیبا
in علاقه مندی ها
چند روز پیش؛ تصمیم گرفتم یه مرور کلی بر روی XML داشته باشم. البته تا حدودی XML رو می دونستم؛ مخصوصا از وقتی که توی درس مباحث ویژه؛ مجبور (!) شدم چند تا پروژه با XML تحویل بدم! به همین خاطر به دنبال محتوای آموزشی در وب پیرامون موضوع می گشتم! یه موضوعی توجهم رو در حین جستجو جلب کرد و اون هم مبانی XML در دانشگاه برکلی آمریکا بود. لینک رو دنبال کردم و متوجه شدم که به صورت ویدیویی هم هست.
سرفصل این درس؛ به صورت زیر هست.
<!–
Lecture Archive
–>
که البته لینک صفحه ویدیو ها در اینجا است. لینک مربوط به اسلاید های درس و سایر منابع مرتبط هم در اینجا هست. جالبی اون هم این هست که اسلاید ها با استفاده از یک زبان مبتنی بر XML طراحی و ساخته شده اند و اصلا از پاورپوینت خبری نیست!
ERWin Process Modeler 7.3.3؛ ابزاری برای ترسیم نمودار های IDEF0
02 years ago
by علی شکیبا
in دستهبندی نشده
در مورد مجموعه روش های مدلسازی IDEF قبلا توضیحاتی کوتاه داده ام. ابزار های متفاوتی برای ترسیم نمودار های IDEF و بویژه IDEF0 وجود دارد؛ مثل Visio، EdrawMax و امثال اینها. اما ابزاری که کار تجزیه (Decomposition) را به صورت خودکار انجام دهد؛ به صورت رایگان وجود ندارد. با کمی جستجو؛ ابزاری تجاری به نام ERwin Process Modeler را می یابید که آخرین نسخه فعلی آن؛ نسخه ۷٫۳٫۳ را می توانید از اینجا، اینجا یا اینجا دریافت کنید. در ضمن حجم اون؛ ۷۱ مگابایت هست.