تابع گاما در سال ‎????‎ توسط آهارونی، برگر و مشولام معرفی شد. در حالت کلی محاسبه تابع گاما برای گراف های مختلف کار ساده ای نیست. کران های بالا و پایین برای این پارامتر داده شده است که با استفاده از آن ها مقدار دقیق تابع گاما برای درخت ها، مسیرها و دورها محاسبه شده است. هم چنین این تابع یک کران پایین برای همبندی همولوژیکی مجتمع مستقل گراف است و بنابراین مقداری برای مطالعه مسأله تطابق از طریق رو...

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

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

فعلیت صغری از شروط انتاج مختلطات شکل اول است که بیش‌تر منطق‌‌‌دانان، از جمله ابن‌‌‌سینا، در بسیاری از آثار خود بدان پای‌بندند. ابن‌‌‌سینا در مبحث مختلطات شکل اول فقط در دو موضع (صغرای ممکنة ‌‌‌خاصه با کبرای وجودیه و صغرای مطلقة خاصه با کبرای موجبة ‌‌‌ضروریه)، جهت نتیجه را تابع کبری‌‌‌ ندانسته است. در حالی که بنا بر رأی خواجة ‌‌طوسی مواضع دیگری نیز وجود دارد که نتیجة تابع کبری نیست. خواجه کبرای ...

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

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

در این مقاله، پردازنده ضرب عددی خم بیضوی کارآمد در میدان باینری gf(2163) طراحی و با استفاده از کدهای قابل سنتز vhdl پیاده سازی شده است. طراحی معماری های جدید و کارآمد برای واحدهای محاسبات میدان و به ویژه واحد محاسباتی ضرب میدان منجر به کاهش طول مسیر بحرانی پردازنده شد. همچنین استفاده از اجرای موازی عملیات ضرب میدان در الگوریتم ضرب عددی lopez-dahab و جدا نمودن مسیر جمع دو نقطه از کلید باعث بهبود...

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

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

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