نام پژوهشگر: محسن شریفی

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

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

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

هدف از این تحقیق بررسی اثر شکل های مختلف غذا بر عملکرد در جیره جوجه های بلدرچین، بود یک آزمایش در قالب طرح کاملاً تصادفی با 4 تیمار و 4 تکرار و 15 پرنده در هر تکرار انجام گرفت. 240 قطعه جوجه بلدرچین ژاپنی تا 7 روزگی با جیره استاندارد تغذیه شده و در 7 روزگی به طور تصادفی به 4 تیمار آزمایشی شامل 1) آردی 2) کرامبل 3) پلت و 4) آردی + کرامبل اختصاص یافتند. اثر شکل غذا بر افزایش وزن روزانه، مصرف خوراک جوجه ها و ضریب تبدیل غذایی معنی دار بود. نتایج آزمایش نشان داد اختلاف معنی داری از نظر میانگین افزایش وزن بدن در 21-7 و42-7 روزگی در بین جیره های مختلف آزمایشی مشاهده شد (01/0(p<. مصرف خوراک در 21-7 و42-7 روزگی اختلاف معنی داری را نشان داد (05/0 (p<. اثر تیمارها بر ضریب تبدیل در کل دوره اختلاف معنی دار داشت (01/0 (p<.بیشترین میانگین افزایش وزن روزانه جوجه ها مربوط به تیمار پلت و کمترین میانگین افزایش وزن روزانه جوجه ها مربوط به تیمار آردی می باشد. بیشترین میانگین مصرف خوراک مربوط به تیمار کرامبل+ آردی و کمترین میانگین مصرف خوراک مربوط به تیمار آردی می باشد. بیشترین میانگین ضریب تبدیل غذایی مربوط به تیمار آردی و کمترین میانگین ضریب تبدیل غذایی مربوط به تیمار پلت می باشد.

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

ورود اشخاص حقوقی به جرگه ی تابعان حقوق کیفری نه به سادگی، بلکه به دشواری و پس از تعیین تکلیف سه موضوع ممکن گردیده است. اولین موضوع، ناظر به ضرورت مسوولیت کیفری اشخاص مزبور است. این مهم، پس از انقلاب صنعتی و احراز عدم تکافوی ضمانت اجراهای غیر کیفری در کنترل فعالیت های خطرناک اشخاص حقوقی بیش از پیش آشکار گردید. فرآیند توسعه و رشد فن آوری در افزایش تعداد اشخاص حقوقی و پر رنگ تر کردن نقش آن ها در بسیاری از شئون اجتماعی و رفاه عمومی و به همین میزان در افزایش مصائب ناشی از فعالیت های مجرمانه ی این اشخاص سهم به سزایی داشت. مقابله با منابع خطری که به تدریج در اختیار اشخاص حقوقی به عنوان قدرت های مدرن اجتماع قرار گرفت، مداخله ی حقوق کیفری و استفاده از ابزار مجازات را ناگزیر ساخت. دومین موضوع، مربوط به چگونگی انتساب مسوولیت کیفری به اشخاص حقوقی است. نظام های کیفری از جمله انگلستان برای غلبه بر این مشکل، سازوکارهای مختلفی را در ادوار مختلف به بوته ی آزمایش برده اند. در قرن نوزدهم و در برهه ا ی که اشخاص حقوقی همچنان موجود هایی فرضی و فاقد ادراک و اختیار توصیف می شدند، مسوولیت آن ها در برابر جرایم با مسوولیت مطلقی که بر پایه ی ترک فعل استوار بودند، به رسمیت شناخته شد. در گام بعدی، از نظریه ی مسوولیت نیابتی برای انتساب جرایم مبتنی بر فعل به اشخاص حقوقی بهره گرفته شد. این نظریه به طور غیرمستقیم و از طریق رفتار مجرمانه ی کارمندان، قائل به مسوولیت کیفری اشخاص حقوقی گردید. این مسوولیت نیز به جرایم با مسوولیت مطلق بازگشت داشت. در ادامه و باهدف توسعه ی مسوولیت کیفری اشخاص حقوقی به ورای جرایم با مسوولیت مطلق، نظام کیفری انگلستان با اتکا به نظریه ی برابر انگاری، فعل ها و قصدهای مدیران، و نظام کیفری آمریکا با رجوع به نظریه ی مسوولیت مافوق و کارفرما، و نظام کیفری هلند با توسل به نظریه ی قدرت و پذیرش، فعل ها و قصد های مدیران و کارمندان را به اشخاص حقوقی منتسب کردند. راه کارهای مذکور به رغم ارزشمند بودن، معضلِ مسوولیت کیفری اشخاص حقوقی بزرگ را که شناسایی فرد دارای مسوولیت کامل در ساختار پیچیده ی آن مشکل است، لاینحل باقی گذاردند. نظام کیفری انگلستان برای فروگشایی از این مشکل – البته در زمینه ی قتل غیر عمد – به نظریه ی نوینِ مسوولیت سازمانی متوسل گردید و اشخاص حقوقی را مستقل از مسوولیت فردی اعضای آن، مسوول شناخت. نظام کیفری ایران نیز به موجب ماده ی (143) قانون مجازات اسلامی، مسوولیت کیفری اشخاص حقوقی را به صورت عام و با توسل به اصل موسع نمایندگی مورد پذیرش قرار داده است. به این ترتیب، مسوولیت اشخاص حقوقی در قانون مورد اشاره از رَه گذر احراز تقصیر کیفری فردی و انتساب آن به شخص حقوقی میسر خواهد بود. عدم تمایل قانون گذار ایران به استفاده از مدل های مختلف انتساب مسوولیت به اشخاص حقوقی، نقصانی است که رویه ی قضایی را به چالش خواهد کشاند. موضوع سوم، راجع به ضمانت اجراهای کیفری قابل اِعمال بر اشخاص حقوقی و تأثیر آن ها بر تأمین هدف های مجازات است. در این خصوص سه دیدگاه قابل تأمل است. دیدگاه نخست مربوط به مخالفان مسوولیت کیفری اشخاص حقوقی است که مخالفت خود را بر پایه ی عدم تأمین هدف های مجازات مدلل نموده اند. دیدگاه دوم معطوف به برخی از موافقان مسوولیت کیفری اشخاص حقوقی است که در بین هدف های مجازات، فقط هدف بازدارندگی را قابل تحقق می دانند. دیدگاه سوم متصل به اندیشه ی دیگر موافقان این مسوولیت است که قائل به تحقق کلیه ی هدف های مجازات اعم از سزا دهی، بازدارندگی، اصلاح، ناتوان سازی و حمایت از بزه دیده در حق اشخاص حقوقی است. دیدگاه اخیر با توجه به ماهیت مستقل اشخاص حقوقی و تنوع ضمانت اجراهای کیفری قابل اِعمال بر آن ها، موجه تر به نظر می رسد. نظام کیفری انگلستان به رغم در اختیار داشتن مهم ترین مدل های انتساب مسوولیت کیفری به اشخاص حقوقی، به ضمانت اجراهای معدودی چون جریمه ی نقدی، انتشار حکم محکومیت و اصلاح وضعیت جرم زا بسنده کرده است. برعکس، نظام کیفری ایران، به رغم در اختیار داشتن مدل های معدود انتساب مسوولیت - با تأسی از نظام کیفری فرانسه - ضمانت اجراهای متنوع تری را از جمله ممنوعیت از انجام معاملات دولتی، ممنوعیت از افزایش سرمایه، مصادره ی اموال، ممنوعیت از اصدار برخی از اسناد تجاری به خدمت گرفته است. این تحقیق بر آن است تا اولاً، دیدگاه ها و استدلال های ناظر به مسوولیت کیفری اشخاص حقوقی، سازوکارهای انتساب مسوولیت کیفری به اشخاص مزبور و نیز نظام ضمانت اجرای کیفری آن ها را مورد ارزیابی قرار دهد؛ ثانیاً کاستی های نظام کیفری ایران را در این خصوص آشکار و برای فروگشایی از آن ها ارایه ی طریق کند.

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

چکیده ندارد.

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

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

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

این پایان نامه در هفت فصل به نگارش درآمده است که محتوای آنها به شرح زیر است : فصل اول به مقدمه می پردازد. فصل دوم به معرفی اجمالی زبان جاوا می پردازد. فصل سوم چند نمونه از امکانات توزیعی طراحی شده برای جاوا را بررسی می کند و سپس به طرح بستر توزیعی djvm(distributed java machine) و تفاوت آن با سایر اقدامات اشاره می نماید. فصل چهارم به شرح تفصیلی djvm می پردازد و فصل پنجم طراحی و پیاده سازی آن را توضیح می دهد. فصل ششم کارآیی djvm را در مدل شبیه سازی و اجرای واقعی مورد ارزیابی قرار می دهد و بالاخره فصل هفتم ویژگیها و نتایج حاصل از این پروژه را بیان می کند و ضمن برشمردن نقاط ضعف و قوت آن به زمینه های آتی اشاره می نماید.

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

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

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

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

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

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

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

مزایای عامل متحرک به اندازه ای است که در دنیای کنونی اجتناب از آن گریز ناپذیر است . اصلی ترین مانع در استفاده وسیع از عامل متحرک امنیت آنها می باشد . در جهت رفع این مشکل هر کدام از سیستمهای پیاده سازی شده موجود مثل ‏‎agent tcl,tocama,concordia,voyager,aglets‎‏ هر کدام به نحوی به مسئله امنیت پرداخته اند، ولی در اکثر سیستمها بعد امنیتی مدنظر نبوده و ناقص عمل می نمایند. مدل طراحی شده در این تحقیق سعی در رفع برخی از ضعفهای سیستمهای قبلی طراحی شده است . در این مدل ساختار سرویس دهنده عامل و عامل با توجه به نیاز طراحی و پیاده سازی گشته است.

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

چکیده ندارد.

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

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

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

بتن غلتکی، بتنی با اسلامب صفر است که با غلتک کوبیده و متراکم می شود و در بتن های حجیم مثل سدها و در روسازی راهها، کاربرد دارد. هم اکنون برای ساخت سد، در بسیاری از کشورهای جهان، از ان استفاده می شود. برای ساخت روسازی ها هم تا بحال استفاده های بسیاری از بتن غلتکی، بخصوص در آمریکای شمالی گزارش شده است.در این پایان نامه، اثر دوده سیلیسی در ارتقای خواص بتن غلتکی، مورد استفاده در روسازی راهها، بررسی گردیده است. این پروژه بر اساس آیین نامه ‏‎aci 325.10r-99‎‏ انجام گرفته و طرح اختلال برای دستیابی به کارآیی مناسب، صورت گرفته است. برای ساخت نمونه های از میز ویبره اصلاح شده، مطابق آیین نامه ‏‎astmc1176-92‎‏ بهره گرفته شده و آزمایشهای مقاومت فشاری، کششی، خمشی و تعیین مدول الاستسیته برای مخلوط انجام یافته است.در این پایان نامه برای دو مقدار مواد سیمانی و 300 و 250 کیلوگرم در متر مکعب بتن و درصدهای مختلف دوده سیلیسی شامل 0، 5، 10، 15 درصد و بعنوان جایگزین سیمان، نمونه های آزمایشی ساخته شدند به جز نمونه های آزمایش مقاومت خمشی که برای آنها از قالب منشوری به ابعاد 75*15*15 سانتیمتر استفاده شد، بقیه نمونه ها استوانه 15*30 سانتیمتر بودند. تمام نمونه ها بعد از 28 روز عمل آوری در آب 20 مورد آزمایش قرار گرفتند. مخلوط بتن در قالبهای منشوری بر مبنای شبیه سازی نمونه های استوانه ای با استفاده از میز ویبره متراکم گردید.هماهنطور که انتظار می رفت دوده سیلیسی موجب بهبود خواص مکانیکی بتن غلتکی به میزان قابل توجهی گردید. همچنین با توجه به سنگدانه و مواد سیمانی مصرف شده محدودیتهای آیین نامه ‏‎aci‎‏ در زمینه مقاومت فشاری و خمشی ارضا گردید.‏

پس پردازشگر پنج محوره نرم افزار ‏‎anvil5k‎‏
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه علم و صنعت ایران 1379
  فرد سلیمانی   محسن شریفی

برای ساخت بعضی از قطعات که کل قطعه از طریق عملات ماشین کاری تولید می گردد، نیاز به استفاده از 4 یا 5 محور از محورهای حرکتی ماشین ‏‎cnc‎‏ بطور همزمان می باشد. بعبارت دیگر درتولید این قطعات لازم است که نوک ابزار تمام قطعه را لمس نماید. اکثر قطعاتی که از این طریق تولید می شوند، و بیشتر مورد استفاده صنایع نظامی قرار می گیرند، عبارتند از: پره های توربین اعم از توربینهای نیروگاههای یا هواپیما.جهت تولید این گونه قطعات، نرم افزارهای طراحی و تولید به کمک کامپیوتر وجود دارند که توانایی ماشین کاری پنج محور بطور همزمان را دارا هستند، ولی در نهایت یک قایل خروجی ماشین کاری به زبان ‏‎apt‎‏ را تولید می نمایند که قابل استفاده و اجرا بر روی ماشین های ‏‎cnc‎‏ نیست. این برنامه ها نیازمند یک نرم افزار پس پردازشگر می باشند که توانایی تبدیل برنامه های به زبان ‏‎apt‎‏ را به زبان ماشین ‏‎cnc‎‏ داشته باشند. علیرغم نیاز مبرم صنایع استراتژیک کشور به چنین پس پردازشگری که امکان ماشین کاری پنج محور بطور همزمان را فراهم کند، تا زمان نارش این پایان نامه اقدامی صورت نگرفته و گزارش نشده است.در این پایان نامه، نتایج تحقیق بر روی نحوه تبدیل خودکار برناه های با فرمت ‏‎apt‎‏ که خروجی نرم افزار ‏‎anvil5k‎‏ می باشند، به برنامه های معادل به زبان یک ماشین ‏‎cnc‎‏ خاص گزارش شده است. نحوه تبدیل از دو طریق بدست آمده است که موید یکدیگر بوده اند: 1) با استفاده از تکنیک شبیه سازی و شبیه سازی توسط یک نرم افزار شبیه ساز بنام ‏‎vericut‎‏ و تحلیل نتایج شبیه سازی، و 2) با استفاده از تئوری و قواعد علم رباتیک بر اساس نحوه تبدیل بدست آمده، پس پردازشگری به زبان ‏‎c‎‏ پیاده سازی شده است و صحت عملی برناه های تولید شده تسط پس پردازشگر بر روی یک ماشین ‏‎cnc‎‏ نمونه به نام ‏‎heidenhain 426‎‏ تائید شده است. روند گزارش شده برای یافتن نحوه تبدیل به زبان این ماشین ‏‎cnc‎‏ می تواند بصورت مشابهی برای سایر ماشینهای ‏‎cnc‎‏ تکرار شود.

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

امروزه استفاده از سیستمهای نهفته در بسیاری از محصولات صنعتی مرسوم شده است. رشد سیستمهای نهفته به اندازه ای است که تقریبا هر سال تعداد این سیستمها دو برابر می شود. برای تولید سیستمهای نهفته پیچیده، به یک سیستم عامل بلادرنگ ‏‎(rtos)‎‏ نیاز است. ‏‎rtos‎‏ برای مدیریت پردازه های بلادرنگ که در اجرای خود دارای محدودیت زمانی هستند، استفاده می شود. اندازه کد ‏‎rtos‎‏ باید کوچک باشد تا بتوان از آن در سیستمهای نهفته استفاده کرد. یکی از ویژگیهای مهم که یک ‏‎rtos‎‏ باید داشته باشد، قابلیت پیش بینی است. قابلیت پیش بینی در سیستم عامل یعنی اینکه در زمان طراحی بتوانیم حداکثر زمان اجرای کلیه عملیات سیستم عامل را مشخص کنیم. یکی دیگر از ویژگیهای یک ‏‎rtos‎‏ که می تواند در رعایت محدودیت زمانی پردازه های بلادرنگ موثر باشد، کارایی است. افزایش کارایی، احتمال اجرای پردازه های بلادرنگ در محدوده زمانی تعیین شده را افزایش می دهد. در این پایان نامه طراحی یک سیستم عامل بلادرنگ نهفته ارائه شده است. معماری این سیستم عامل بر اساس معماری ریز هسته قرار داده شده و طراحی آن به صورت شی گرا ارائه شده است. معماری ریز هسته این سیستم عامل باعث شده که با داشتن هسته ای کوچک و دارا بودن قابلیت گسترش، برای استفاده در سیستمهای نهفته مناسب باشد. در سیستم عامل طراحی شده، زمانبندی که یکی از قسمتهای کلیدی در یک ‏‎rtos‎‏ است، مبتنی بر اولویت و به صورت ایستا و پویا طراحی شده است. تعداد سطوح اولویت در این سیستم عامل نامحدود بوده و زمانبندی ‏‎edf‎‏ که یک زمانبندی پویای بهینه است، با کارایی بالا و با سربار زمان اجرای کم طراحی شده است. سربار زمان اجرای زمانبدی در این سیستم عامل نسبت به ‏‎rtos‎‏ های نهفته دیگر که از زمانبندی پویا پشتیبانی می کنند، کمتر است. برای همگام سازی، سمافور بلادرنگ طراحی شده که در آن نیازمندیهای پردازه های بلادرنگ مورد توجه بوده است. در طراحی سمافور، مفهوم ارث برای اولویت مورد پشتیبانی قرار گرفته است. تایمر که یکی از نیازمندیهای اصلی در سیستم عامل بلادرنگ است، با استفاده از روشی جدید طراحی شده استکه نسبت به روشهای قبلی دارای سربار زمان اجرای کمتری است. ارتباط بین پردازه ای با استفاده از مکانیزم تبادل پیام به صورت توزیع شده مهیا شده است و در طراحی مدیریت حافظه نیازمندهای سیستمهای بلادرنگ و نهفته مد نظر قرار گرفته و طرح این قسمت از سیستم عامل با کارایی بالا ارائه شده است. به طور کلی تمام عملیات در سیستم عامل طراحی شده، دارای قابلیت پیش بینی بوده و از کارایی بالایی برخوردار هستند. با توجه به کارایی بالا در این سیستم عامل، آنرا سیستم عامل بلادرنگ توزیع شده نهفته سریع ‏‎(fedrtos)‎‏ نامگذاری کرده ایم.

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

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

طراحی یک الگوریتم رمزگذاری و رمزگشایی و پیاده سازی آن بر روی فایلهای متنی ‏‎ms word‎‏
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه علم و صنعت ایران 1381
  نصور باقری   مجید نادری

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