معارف بهاء‌ولد به اهتمام بدیع‌الزمان فروزانفر، با تمرکز بر چهار نسخة خطی برای نخستین بار در سال 1333 شمسی به‌صورت علمی و انتقادی تصحیح و منتشر شد. مصحح سعی کرده است اجزای سه­گانة معارف را به‌صورت روایتی واحد تصحیح کند؛ اما در این تصحیح از مقابلة نسخة چاپی او با دیگر نسخه­های کهن و گاه اخیراً شناسایی‌شده نشانی نیست. این موضوع گویا به سبب نبود فرصت کافی برای شناسایی نسخه­های کامل و معتبر کتاب معار...

عموماً ارزیابی چگونگی کاربری اراضی شهری منعکس کننده تصویری گویا از منظر و سیمای شهری است و همچنین سازگاری و ناسازگاری بین کاربری‌های شهری به دلیل تأثیرات مثبت و منفی است که کاربری‌های همسایه بر روی هم دارند. ارزیابی سازگاری کاربری اراضی به عنوان هسته اصلی برنامه ریزی شهری نقشی مهم در ساماندهی فضایی- مکانی شهرها ایفا می‌کند که این امر سبب گردیده که مدل‌های مختلفی برای تحلیل کاربری‌ها شکل گیرد. ای...

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

سابقۀ توجه پزشکان و داروشناسان به اِبدال (جایگزینی) داروهای ساده با داروهای دیگر دست کم به سدۀ یکم میلادی و اشارات پراکندۀ دیوسکوریدس در ماتریا مدیکا (در متون دورۀ اسلامی: هیولی الطب یا الحشائش) بازمی‌گردد. اما کهن‌ترین سیاهه‌ای که از داروهای قابل جایگزینی با یکدیگر به دست آمده، فصل بیست و پنجم از مقالۀ هفتم کُنّاش پاولوس آیگینایی (بولس اجانیطی) است که در میانۀ سده هفتم میلادی و بر اساس دیدگاه‌های...

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

روش بسط (g/g)می تواند برای پیدا کردن جواب های تحقیقی موج سیار بعضی معادلات دیفرانسیل با مشتقات جزیی غیرخطی به کار رود. این جواب ها وابسته به توابع هذلولی گون، توابع مثلثاتی و توابع گویا هستند. این روش معادلات دیفرانسیل با مشتقات جزیی غیرخطی را به یک معادله دیفرانسیل معمولی تبدیل می کند و این روش را می توان برای معادلات انتگرال پذیر و معادلات غیرانتگرال پذیر نیز به کار برد. ما کاربرد جدید ای...

برای هر عدد گنگ ? می توانیم اندازه خاصی تعریف کنیم به طوری که به ما امکان تعیین فاصله بین ? و اعدا گویا را بدهد. این اندازه نمای گنگی یا اندازه گنگی ? نامیده می شود و با(?(? نشان داده می شود. در این پایان نامه اثبات نسترنکوبرای بهترین اندازه گنگی عدد ln2 تا به امروز را ارائه خواهیم داد. در ادامه با استفاده از برآورد یک کران پایین بر فرم های خطی لگاریتم های اعداد جبری، اندازه متعالی عدد log? ?0...

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

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

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