نام پژوهشگر: مهدی سبزواری

ترکیب پذیری معنایی در اسامی مرکب فارسی امروز
پایان نامه وزارت علوم، تحقیقات و فناوری - پژوهشگاه علوم انسانی و مطالعات فرهنگی - پژوهشکده زبانشناسی 1388
  مهدی سبزواری   آزیتا افراشی

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

بعد مجانبی فضاهای متریک و گروههای با تولید متناهی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
  ذبیح زارعی   مهدی سبزواری

نظریه ابعاد یکی از قدیمی ترین شاخه های توپولوژی عمومی می باشدکه توسط سه ریاضیدان مشهور بنامهای پوانکاره و بروور و لبگ رشدوتوسعه یافت. بعد مجانبی نیز همتای مجانبی بعد پوششی می باشد که اولین بار توسط آقای گروموف جهت مطالعه پایایی مجانبی گروههای گسسته تعریف شد . در این تحقیق، ابتدا فضا های متری وساختاردرشت بافت را معرفی می کنیم و سپس بعد مجانبی آنها را بدست می آوریم، که لازمه اینکار اینست که ابتدا هندسه بزرگ مقیاس معرفی و تعریفی از بعد مجانبی ارائه گشته و سپس پایایی بعد مجانبی در مقیاس بزرگ مورد بررسی قرار گرفته ودر ادامه ثابت می کنیم که اگر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} ودر پایان گروههای با بعد مجانبی صفر را مورد بررسی قرار می دهیم .

بعد مجانبی اسوآد - ناگاتا
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم انسانی و مدیریت 1389
  سمانه نظری   مهدی سبزواری

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

بعد درشت بافت و افرازهای واحد
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم انسانی و مدیریت 1389
  لیلا جانفزا   مهدی سبزواری

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

بررسی بعضی از خواص جبرهای bl
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
  اصغر صالحی   مسعود هاوشکی

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک bl-جبر a را تعریف نموده و ثابت می کنیم مجموعه همه فیلتر های اول یک bl-جبر a با طیف آن برابر است و در چندین قضیه شرایط معادلی را برای اینکه یک فیلتر متعلق به طیف bl-جبر a باشد را ثابت می کنیم.

ساختاری متفاوت برای هندسه درشت بافت
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
  علیرضا انصاری   مهدی سبزواری

در[2] ساختار درشت بافت روی مجموعه دلخواه به وسیله زیر مجموعه هایی از معرفی می شود. دراین تحقیق ساختار بزرگ مقیاس روی به وسیله گردایه زیر مجموعه های که آنها را گردایه بطور یکنواخت کراندار می نامیم، تعریف می کنیم و نشان خواهیم که این دو ساختار روی با یکدیگر معادلند. مفاهیم اساسی هندسه بزرگ مقیاس نظیر بعد مجانبی وفشرده سازی هیگسن با ساختار معرفی شده تعریف می شوند و مفاهیم اساسی را از هندسه متریک به هندسه درشت بافت انتقال می دهند.

بعد صفر در همه مقیاس ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
  راضیه عبدالهی نیا   مهدی سبزواری

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

رابطه فاکتورینگ و رمزنگاری
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم انسانی و مدیریت 1390
  کیامرث کاربرد   مرضیه قایدی

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

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

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

نامساوی های مینیمال برای کاهش نامتناهی برنامه ریزی اعداد صحیح
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه 1391
  محمد روح الله نژاد   مهدی سبزواری

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

ارتباط قضیه نگاشت هم بردار و همگرایی روش های شبه طیفی برای مسایل کنترل بهینه
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه کاشان - دانشکده علوم ریاضی 1392
  مریم پوربافرانی   حمیدرضا تبریزی دوز

در این تحقیق‏، یکی از روش های حل مسایل کنترل بهینه ی غیرخطی مقید مورد بررسی و مطالعه قرار می گیرد. دو عمل مختلف جهت حل این مسایل قابل اجراست: ‎1- عمل دوگانه سازی‏، 2- عمل گسسته سازی. ‎‎ در حالت کلی این دو عمل جابجایی پذیر‎‎ نیستند. یک مجموعه شرایط بستار معرفی می شود تا جابجایی پذیری این عمل ها را امکان پذیر سازد. ‎‎یکی از نتایج مهم شرایط بستار، ‎"قضیه ی نگاشت هم بردار"‎‎‎‎ است که تبدیل ضرایب لاگرانژ وابسته به‎ مساله ی گسسته، به هم بردارهای گسسته شده ی وابسته به مساله ی کنترل بهینه ی اصلی را فراهم می کند. در این تحقیق‏، ابتدا گسسته سازی مساله ی بولزا را با روش شبه طیفی لژاندر به طور ویژه با به کارگیری نقاط گره ای لژاند‎ر‎-‎گاو‎س‎-‎لباتو‎‎‎‎ و توابع وزن متناظرشان بررسی می کنیم. با این کار‏، مساله به یک مساله ی برنامه ریزی غیرخطی‎‎‎‎‎‎ گسسته تبدیل می شود. حل این مساله ی غیرخطی‏، تقریب هایی برای متغیرهای کنترل و وضعیت مساله و جواب بهینه ی مساله به دست می دهد.‎ پس از آن‏‏، عبارت لاگرانژی مساله ی گسسته را تشکیل می دهیم و با بیان شرایط بهینگی کروش-کان-تاکر‎‎‎‎ برای این مساله، جواب‎‎های این مساله را نیز به دست‎‎‎‎ می آوریم. در نهایت با کمک قضیه ی نگاشت هم بردار‏، تقریب هایی نیز برای متغیر هم‎وضعیت مساله حاصل می شود. ‎‎‎‎ علاوه بر معرفی رو‎ش‎ عددی برای حل مسایل کنترل بهینه‏، قضایایی پیرامون همگرایی جواب مساله ی کنترل بهینه ی گسسته شده به جواب پیوسته بیان گردیده و شرایطی برای همگرایی متغیرهای دوگان توصیف می شود. برای روشن ساختن مطالب‏، چند مثال عددی و به طور ویژه مساله ی ‎‎‎ "بریک ویل ‎" ارائه می شود.

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

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

فرهنگ توصیفی فلسفه زبان
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم انسانی 1393
  طیبه رفیعی   محمد‏رضا احمد‏خانی

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

بررسی استعاره زن در متون نوشتاری زبان فارسی دهه ی 1300 تا 1357
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم انسانی 1393
  سمیرا ثامنی   محمدرضا احمدخانی

هدف پژوهش حاضربررسی استعاره زن در متون نوشتاری فارسی در دهه ی 1300تا1357 است.روش انجام تحقیق تحلیل محتوا است و جامعه ی آماری کتابهای جزیره ی سرگردانی نوشته ی سیمین دانشور(1377)، زن زیادی نوشته ی جلال آل احمد(1383)، کتاب سه تار نوشته ی جلال آل احمد(1382)، وکتاب بوف کور نوشته ی صادق هدایت(1351).کتابها بصورت تصادفی از بین سالهای 1300تا 1357انتخاب گردیده است.از نتایج این پژوهش به نظر می رسد که استعاره هایی که به توصیف مشخصات زنان می پردازد، انگاره ای بوده و تک تناظری می باشد.در مفهوم سازی استعاره های مربوط به زن، حوزه های مبدا را به ترتیب حوزه های، ویژگیهای انسانی(30%)،حوزه های حیوانات(20%)،حوزه های گیاهان(10%)، حوزه های کالا(10%)،حوزه های طبیعت (8%)، حوزه های خردنی و آشامیدنی (5%)، حوزه ی اجرام آسمانی(3%)،حوزه ی رنگ (30%)،تشکیل می دهد.یافته ها نشان می دهد که بیشترین استعاره ها مربوط به حوزه ی گیاهان (60%) و کمترین آنها مربوط به حوزه ی جواهرات(3%)است.

دوگان تعمیم یافته برای گراف بر رویه ها و چندجمله ای بولوباس-ریوردان
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه 1394
  مریم کریمی   مهدی سبزواری

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

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

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