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

در این پژوهش می‌کوشیم سازوکارهای تصریح ترجمه‌ای را  با عطف توجه به بنیادهای شناختی آن و در چهارچوب عملیات‌های تعبیرگری شناختی شناسایی و صورت‌بندی کنیم. در همین راستا با فهم تصریح به مثابۀ نوعی تصمیم کاربردشناختی و با پذیرش نقش برسازندۀ تعبیرگری در معنی (لانگاکر 2008) تصریح دگرگشتی تلقی شده است که  بر حسب آن، شیوۀ کاربست یک عملیات تعبیرگریِ شناختی در متن مبدأ، به شیوه‌ای دیگر در متن مقصد دگرگون ش...

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

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

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

در این پایان نامه نشان داده می شود که اگر ‎$a_i,b_i,x_i $‎ عملگرهای خطی کراندار روی فضای هیلبرت جدایی پذیر ‎$ hh $‎ باشند، به طوری که ‎$x_i$‎ برای هر ‎$i=1‎, ‎2‎, ..., ‎n$‎ فشرده باشد، مقادیر تکین ‎$sum_{i=1}^n a_ix_ib_i$‎ به مقادیر تکین ‎$left( sum_{i=1}^n vert a_i vert vert b_i vert ight)(oplus_{i=1}^n x_i)$‎ محدود می شوند، که در آن ‎$vert‎ . ‎vert$‎ نرم عملگری معمولی است. به عبارتی ‎$$‎ ...

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