نام پژوهشگر: مهدی سبزواری
مهدی سبزواری آزیتا افراشی
رویکرد نظری این رساله، رویکردی معنایی- شناختی به اسامی مرکب و متعاقب آن فرایند ترکیب است. نظریه کارین که چارچوب نظری رساله حاضر است حاصل مطالعات روان شناسان زبان در زمینه ترکیب است. آنها در مطالعات خود به دنبال چگونگی فرایند تولید و درک اسامی مرکب در ذهن سخنگویان هستند و در قالب این نظریه که مخفف عبارت"رقابت میان رابطه ها در اسامی مرکب" است دستاوردهایی داشتند که مهمترین آن توجه به وجود رابطه بین اجزاء اسامی مرکب و اهمیت و نقش این رابطه در تولید و درک و دسترسی به ترکیبها در ذهن سخنگویان زبان است. در رساله حاضر بااستفاده از این دستاورد نظری مهم و با استفاده از انواع رابطه های معنایی شناخته شده بین اجزاءاسامی مرکب،انواع رابطه های معنایی در اسامی مرکب فارسی شناسایی شدند و این مسئله به شناخت تفاوتهای کیفی میان انواع اسامی مرکب فارسی منجر شد. از مسائل مهمی که همواره مورد توجه زبان شناسان بوده است شفافیت و تیرگی معنایی اسامی مرکب است. با استفاده از دستاورد نظریه کارین مبنی بر وجود و اهمیت رابطه معنایی در ترکیبها، در این رساله علاوه بر صحه گذاشتن بر توصیفهای پیشین از این مسئله، تبیینی برای شفافیت و تیرگی معنایی ارائه شد که از ابتکارات این رساله است و در هیچ تحقیق دیگری مطرح نشده است. در این رساله،تمام پرسشهای طرح شده درباره صدق "اصل ترکیب پذیری معنایی در اسامی مرکب فارسی"،" نظریه کارین و دستاورد آن در بررسی معنایی - شناختی اسامی مرکب" و "تبیین شفافیت و تیرگی معنایی" مورد مطالعه و بررسی قرار گرفتند و فرضیه های رساله مبنی بر صدق اصل ترکیب پذیری معنایی و کارکرد دستاورد نظریه کارین مورد تایید واقع شدند و علت و تبیین شفافیت و تیرگی معنایی اسامی مرکب از منظر این نظریه ارائه شد.
ذبیح زارعی مهدی سبزواری
نظریه ابعاد یکی از قدیمی ترین شاخه های توپولوژی عمومی می باشدکه توسط سه ریاضیدان مشهور بنامهای پوانکاره و بروور و لبگ رشدوتوسعه یافت. بعد مجانبی نیز همتای مجانبی بعد پوششی می باشد که اولین بار توسط آقای گروموف جهت مطالعه پایایی مجانبی گروههای گسسته تعریف شد . در این تحقیق، ابتدا فضا های متری وساختاردرشت بافت را معرفی می کنیم و سپس بعد مجانبی آنها را بدست می آوریم، که لازمه اینکار اینست که ابتدا هندسه بزرگ مقیاس معرفی و تعریفی از بعد مجانبی ارائه گشته و سپس پایایی بعد مجانبی در مقیاس بزرگ مورد بررسی قرار گرفته ودر ادامه ثابت می کنیم که اگرx,y دو فضای متری باشندآنگاه: asdim(x×y)?asdimx+asdimy درادامه بعد مجانبی تابع را ارائه داده و ثابت می شود که اگر f:x?y یک تابع بزرگ مقیاس یکنواخت بین فضاهای متریک باشدآنگاه : asdim x?asdim y+asdim f ودر ادامه، بعد استقرایی و بعد استقرایی مجانبی تعریف شده و ثابت می شود که اگرx فضای متریک سره و vx ، هیگسون –کرونای x باشد(که vx باقیمانده x از فشرده سازی هیگسون x می باشد) آنگاه : asind x?ind vx و ارتباط بین asind x و asdim x در فضای متریک سره مشخص می شود . و درادامه ثابت می شود که بعد گروههای با تولید متناهی از رابطه زیر بدست می آید : asdim g=sup?{asdim f| باشد المولد متناهی f?g} ودر پایان گروههای با بعد مجانبی صفر را مورد بررسی قرار می دهیم .
سمانه نظری مهدی سبزواری
در این پزوهش به معرفی ساختارها و تعاریف اساسی هندسه درشت بافت می پردازیم. و با بیان ایده نگاشت های درشت بافت بین فضاهای متریک آغاز می کنیم. سپس انواع مختلف ساختارهای درشت بافت مانند ساختار درشت بافت کراندار، ساختار درشت بافت سره و ساختار درشت بافت توپولوژیک را مطالعه خواهیم کرد. بعد از معرفی مختصر موضوع به بحث درباره مطالبی در هندسه با مقیاس بزرگ مانند بعد مجانبی،بعد مجانبی اسوآد-ناگاتا در فضاهای متریک می پردازیم . در پایان با استفاده از ساختار درشت بافت زیر خطی نشان می دهیم که برای کلاس بزرگی از فضاهای متریک سره، بعد مجانبی اسوآد-ناگاتا با بعد هیگسن کرنای زیر خطی یکسان است.
لیلا جانفزا مهدی سبزواری
در این پژوهش پنج بعد اساسی روی فضای متری و روابط بین آنها را بیان می کنیم. در فصل اول مطالبی پیرامون بعد پوششی فضای متری، افرازهای واحد، فضاهای درشت بافت و فشرده سازی روی فضای هاسدورف ارائه می دهیم. فصل دوم شامل تعاریف ابعاد و روابط بین آنها، بعد هیگسن کرنا روی فضاهای متری سره، توابع کم نوسان و اکس تانسور مطلق می باشد که ثابت می کنیم با تعاریف بعد مجانبی و بعد درشت بافت که توسط گروموف و درانیشنیکوف معرفی شده اند، هم ارز می باشد. تاکتیک اصلی ما جهت نسبت دادن توابع طبیعی به اشیا و تشخیص درشت بافت بودن، مجانبی بودن یا مقیاس بزرگ بودن آن اشیا استفاده از توابع به طور درشت بافت سره است. در اینجا واگرایی به بی نهایت با اندازه عدد لبگ سنجیده می شود.
اصغر صالحی مسعود هاوشکی
در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک bl-جبر a را تعریف نموده و ثابت می کنیم مجموعه همه فیلتر های اول یک bl-جبر a با طیف آن برابر است و در چندین قضیه شرایط معادلی را برای اینکه یک فیلتر متعلق به طیف bl-جبر a باشد را ثابت می کنیم.
علیرضا انصاری مهدی سبزواری
در[2] ساختار درشت بافت روی مجموعه دلخواه به وسیله زیر مجموعه هایی از معرفی می شود. دراین تحقیق ساختار بزرگ مقیاس روی به وسیله گردایه زیر مجموعه های که آنها را گردایه بطور یکنواخت کراندار می نامیم، تعریف می کنیم و نشان خواهیم که این دو ساختار روی با یکدیگر معادلند. مفاهیم اساسی هندسه بزرگ مقیاس نظیر بعد مجانبی وفشرده سازی هیگسن با ساختار معرفی شده تعریف می شوند و مفاهیم اساسی را از هندسه متریک به هندسه درشت بافت انتقال می دهند.
راضیه عبدالهی نیا مهدی سبزواری
مفهوم بعد در دو رسته مورد بررسی قرار می گیرد: رسته فضاهای متریک جداپذیربا نگاشت های لیپشیزو رسته فضاهای متریک جداپذیر با نگاشت های یکنواخت . یک عملکرد یکسان بعد در مقیاس بزرگ و مقیاس کوچک را در نظر می گیریم و نشان خواهیم داد که در همه رسته ها یک فضا داری بعد صفر است اگر و فقط اگر فضای فرامتریک باشد.
کیامرث کاربرد مرضیه قایدی
با توجه به رشد سریع سیستم های دیجیتالی در کلیه شاخه های علوم، روز به روز ارتباط شاخه های مختلف علوم بیشتر و فاحش تر می شود. به ناچار لزوم امنیت یا درجه امنیت پذیری چنین سیستمهایی از اهمیت بسزایی برخوردار است. به عنوان یک سیستم تجزیه اعداد صحیح نام برد. چرا که یکی از rsa به عنوان نمونه می توان از سیستم مدل های سریع شناخته شده برای تجزیه اعداد صحیح می باشد. مساله لگاریتم گسسته یکی از مسائل دشوار ریاضیات است ولی عمل معکوس آن به سادگی قابل محاسبه است. این تفاوت در دشواری مساله و معکوس آن برای تحقیق سیستم های رمزنگاری مورداستفاده قرار می گیرد. به عنوان یک سیستم رمزنگاری برمبنای اصول اساسی جبر می توان نام برد. aes همچنین از سیستم براساس مفاهیم بنیادی جبر مانند گروه حلقه و ارتباط بین آنها به یک سیستم رمزنگاری با سرعت بالا دست یافته ایم که زیبایی و اهمیت جبر را در مفاهیم کاربردی نشان می دهد.
مهدی سبزواری سید مقتدی هاشمی پرست
در فصل اول، قدم زدن تصادفی را در حالت کلی مطرح و به بررسی توابع و پارامترهای مربوط به آن می پردازیم. در فصل دوم مسئله ورشکستگی قمارباز کلاسیک را بیان نموده و پس از محاسبه امید زمان اتمام بازی و احتمال ورشکستگی بازیکنان، تعمیم مسئله برحسب سرمایه بازیکنان را مورد بررسی قرار می دهیم. در این حالت امید زمان اتمام بازی را محاسبه و چند بازی خاص را شبیه سازی می کنیم. در فصل سوم تعمیم مسئله برحسب تعداد بازیکنان را مورد بررسی قرار می دهیم. در این حالت امید زمان اتمام بازی و احتمال ورشکستگی بازیکنان را محاسبه می کنیم. همچنین بازی را در حالتی که احتمال وقوع تساوی در هر دور وجود دارد بررسی میکنیم. چند بازی خاص را شبیه سازی می کنیم و حالات مجانبی بازی را بدست می آوریم. در فصل چهارم، حالتهای تعمیم یافته بر حسب سرمایه و تعداد بازیکنان را با هم تلفیق نموده و بعنوان یک تعمیم جدید ارائه میکنیم. امید زمان اتمام بازی و احتمال ورشکستگی بازیکنان را محاسبه می کنیم. چند بازی خاص را شبیه سازی می کنیم و حالات مجانبی بازی را بدست می آوریم. نهایتا در فصل پنجم کاربردهایی از مباحث ارائه شده را بررسی میکنیم.
محمد روح الله نژاد مهدی سبزواری
هرگاه s مجموعه نقاط درست در چند وجهی گویایی باشد، نشان میدهیم که مجموعه های محدب s-آزاد چندوجهی هستند. این نتیجه قضیه ای از لاواز که مجموعه های محدب مشبکه آزاد ماکسیمال را توصیف می کند بسط میدهد. قضیه ما پیامدهایی در برنامه ریزی اعداد صحیح دارد. به خصوص نشان میدهیم که مجموعه های محدب s-آزاد در تناظر یک به یک با نامساوی های مینیمال هستند.
مریم پوربافرانی حمیدرضا تبریزی دوز
در این تحقیق، یکی از روش های حل مسایل کنترل بهینه ی غیرخطی مقید مورد بررسی و مطالعه قرار می گیرد. دو عمل مختلف جهت حل این مسایل قابل اجراست: 1- عمل دوگانه سازی، 2- عمل گسسته سازی. در حالت کلی این دو عمل جابجایی پذیر نیستند. یک مجموعه شرایط بستار معرفی می شود تا جابجایی پذیری این عمل ها را امکان پذیر سازد. یکی از نتایج مهم شرایط بستار، "قضیه ی نگاشت هم بردار" است که تبدیل ضرایب لاگرانژ وابسته به مساله ی گسسته، به هم بردارهای گسسته شده ی وابسته به مساله ی کنترل بهینه ی اصلی را فراهم می کند. در این تحقیق، ابتدا گسسته سازی مساله ی بولزا را با روش شبه طیفی لژاندر به طور ویژه با به کارگیری نقاط گره ای لژاندر-گاوس-لباتو و توابع وزن متناظرشان بررسی می کنیم. با این کار، مساله به یک مساله ی برنامه ریزی غیرخطی گسسته تبدیل می شود. حل این مساله ی غیرخطی، تقریب هایی برای متغیرهای کنترل و وضعیت مساله و جواب بهینه ی مساله به دست می دهد. پس از آن، عبارت لاگرانژی مساله ی گسسته را تشکیل می دهیم و با بیان شرایط بهینگی کروش-کان-تاکر برای این مساله، جوابهای این مساله را نیز به دست می آوریم. در نهایت با کمک قضیه ی نگاشت هم بردار، تقریب هایی نیز برای متغیر هموضعیت مساله حاصل می شود. علاوه بر معرفی روش عددی برای حل مسایل کنترل بهینه، قضایایی پیرامون همگرایی جواب مساله ی کنترل بهینه ی گسسته شده به جواب پیوسته بیان گردیده و شرایطی برای همگرایی متغیرهای دوگان توصیف می شود. برای روشن ساختن مطالب، چند مثال عددی و به طور ویژه مساله ی "بریک ویل " ارائه می شود.
ایرج مهربخش آرزو نجفیان
افعال پیچیده یکی از ساختهای بحثبرانگیز در بسیاری از زبانها است چرا که از بعضی جهات یک واژه تلقی میشوند حال آن که از لحاظ ساختواژی از دو یا چند تکواژ ساخته میشوند. این افعال درهمتنیدگی سطوح مختلف زبانشناختی از جمله نحو، صرف و معناشناسی را نشان میدهند. تبیینهای متفاوتی برای این پدیده در زبانهای مختلف پیشنهاد شده است. اشتقاق، ترکیب و انضمام فرایندهای غالب برای تبیین این ساختها هستند. در تحقیق حاضر افعال پیچیده از جنبههای مختلف ساختواژی، معنایی و نحوی مورد مطالعه قرار گرفتهاند. این مطالعات نشان میدهد که هیچ یک از فرایندهای ساختِ واژههای مرکب که برای تبیین ساختارهای مشابه در زبانهای دیگر پیشنهاد شدهاند نمیتوانند این پدیده را در کردی کرمانجی به طور کامل تبیین کنند. نظام حالت و ساخت ارگتیو همراه با ویژگیهای دیگر کرمانجی در مقابل انضمام مفعول مستقیم مقاومت میکنند. ترتیب واژهها و نظام حروف اضافه در کرمانجی فرایند دیگری از ساخت افعال پیچیده را پیش میکشد. قابلیت جداشدن همهی افعال پیچیده در کرمانجی و دیگر ویژگیهای آن، فرایند ترکیب و انضمام را برای افعال پیچیده کرمانجی ناکارآمد و غیرمحتمل میسازد. از آنجایی که ویژگیهای ساختواژی و معنایی افعال پیچیده در کردی کرمانجی شواهد کافی به دست میدهد که میتوان این افعال را در مجموعههای مختلفی دستهبندی نمود که هر یک میزان متفاوتی از واژگانی شدگی را نشان میدهند، لذا پیشنهاد می شود که این افعال را با قراردادن آنها بر یک پیوستار میزان ادغام و آمیختگی، در طی فرایند واژگانی شدن، تبیین کرد. این تبیین می تواند ساخت های غیر معمولی که در آن جزء غیر فعلی نه به صورت آزاد در واژگان وجود دارد و نه همراه با جزء فعلی یک واژه بسیط محسوب می شوند را نیز توضیح دهد و معنای مبهم افعال پیچیده و ساختار افعال سبک را نیز توضیح دهد.
طیبه رفیعی محمدرضا احمدخانی
در این پژوهش به جمع آوری واژگان حوزه فلسفه زبان و ارائه نوعی تعریف توصیفی پرداخته شده است. روش انجام تحقیق به صورت توصیفی است و برای گردآوری اطلاعات از مطالعه کتابخانه ای استفاده خواهد شد. همچنین استفاده از اسناد مکتوب همچون پایان نامه های مرتبط در این زمینه و دیگر منابع شالوده کار این تحقیق است. روش تجزیه و تحلیل داده ها توصیفی است که از داده های زبانی گردآوری شده است و واژه نامه های مربوط به حوزه فلسفه و فلسفه زبان از میان منابع مرتبط با موضوع استخراج و واژگان مربوط به حوزه فلسفه زبان از میان آنها جمع آوری می گردد. در حوزه فلسفه زبان فقدان اصطلاحات و تعریف های توصیفی علناً آشکار است که باید به واژه گزینی و اصطلاح سازی طبق اصول و ضوابط واژه گزینی پرداخته شود. بر این اساس تهیه فرهنگ جامع و کامل در حوزه فلسفه زبان بر مبنای اصول فرهنگ نگاری امری بسیار ضروری و مهم است. در این پژوهش به بررسی بیش از 400 اصطلاح که معادل یابی نشده پرداخته شده است.در این پژوهش با استفاده از فرهنگ های زبانشناسی تخصصی و واژگان مصوب فرهنگستان و مطالعه کتابهای مرتبط در این زمینه سعی بر آن شده است که بهترین معادل از نظر مفهومی و معنایی برای واژه مورد نظر انتخاب گردد.در نهایت به این نتیجه می رسیم که یکی از ابزار موثر در جهت استانداردسازی یک زبان نظم بخشیدن به پیکره تعاریف و مفاهیم واژگانی و رفع نقایص آن است.کتابها و مقالات زیادی این حوزه نوشته شده است اما به گردآوری مجموعه ای توصیفی از اصطلاحات و مفاهیم این حوزه توجه خاصی مبذول نگشته است.
سمیرا ثامنی محمدرضا احمدخانی
هدف پژوهش حاضربررسی استعاره زن در متون نوشتاری فارسی در دهه ی 1300تا1357 است.روش انجام تحقیق تحلیل محتوا است و جامعه ی آماری کتابهای جزیره ی سرگردانی نوشته ی سیمین دانشور(1377)، زن زیادی نوشته ی جلال آل احمد(1383)، کتاب سه تار نوشته ی جلال آل احمد(1382)، وکتاب بوف کور نوشته ی صادق هدایت(1351).کتابها بصورت تصادفی از بین سالهای 1300تا 1357انتخاب گردیده است.از نتایج این پژوهش به نظر می رسد که استعاره هایی که به توصیف مشخصات زنان می پردازد، انگاره ای بوده و تک تناظری می باشد.در مفهوم سازی استعاره های مربوط به زن، حوزه های مبدا را به ترتیب حوزه های، ویژگیهای انسانی(30%)،حوزه های حیوانات(20%)،حوزه های گیاهان(10%)، حوزه های کالا(10%)،حوزه های طبیعت (8%)، حوزه های خردنی و آشامیدنی (5%)، حوزه ی اجرام آسمانی(3%)،حوزه ی رنگ (30%)،تشکیل می دهد.یافته ها نشان می دهد که بیشترین استعاره ها مربوط به حوزه ی گیاهان (60%) و کمترین آنها مربوط به حوزه ی جواهرات(3%)است.
مریم کریمی مهدی سبزواری
در این پایان نامه، گراف های نواری و ویژگی های آن را شرح می دهیم و دوگان گراف نشانده شده بر رویه رانسبت به یک زیرمجموعه از یال ها تعمیم می دهیم .از آنجا که ممکن است دوگان گراف بر رویه متفاوتی نشانده شود، رابطه ما بین چندجمله ای بولوباس-ریوردان و دوگان آن را ثابت می کنیم.
فریده توکلی مهدی سبزواری
در این پایان نامه نشان می دهیم که فیلتر کردن تجزیه گرانیگاهی یک مجتمع چخ توسط عدد اصلی رئوس سبب می گردد که نواحی k پوشش داده شده توپولوژی را توسط یک گردایه از گوی ها برای تمام مقادیر k اختیار می کند. علاوه بر آن این نتایج را با مجتمع ویتوریس ریپ ارتباط داده ایم تا یک تقریب بر حسب همولوژی پایدار به دست آوریم.