گراف های متناظر با مولکول های فولرن‎،‎ گراف های مسطح‎،‎ سه منتظم و سه همبندی هستند که همه ی وجه های آن ها پنج ضلعی و شش ضلعی است‎.‎ جدیدترین الگوریتم برای تولید گراف های متناظر با فولرن ها در سال ‎2012‎ ارائه شده است‎.‎ اجرای این الگوریتم ‎3/5‎ برابر سریع تر از پرسرعت ترین تولیدکننده ی قبلی فولرن ها یعنی فولجن است و اولین برنامه بعد از فولجن است که برای تولید فولرن های با بیش از ‎100‎ راس مفید ...

چکیده یقیناً در پی بردن به حقایق دینی و توحیدی، ما باید به سخنان و احادیث گوهربارِ اولیاء و ائمه‏ی اطهار مراجعه کنیم چرا که کلام آنان حقیقت محض است. با نظر به اینکه ما از مباحث توحیدی فاصله دارم و در عصر غیبت حضرت صاحب الامر(عج) به سر می‏بریم، پژوهش در مسئله‏ی توحید آن هم از دیدگاه حدیث ضرورت پیدا می‏کند. در این رساله به سراغ سخنان حضرت رضا(علیه السلام) در مقوله‏ی توحید می‏رویم که مطالعه این رس...

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

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