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

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

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

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

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

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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

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