نشریه شریف
پیاپی 25 (پاییز و زمستان 1382)

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

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

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

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

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

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

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

در این نشوتار روشی برای آشکارسازی چند کاربردی سیستم های DS/CDMA در محیط های محوشونده چند مسیره ارائه می شود. در مراجع 1 و 2 روشی برای آشکارسازی چند کاربره ارائه شده است که با حذف تداخل بین سیگنال های کاربران مختلف، عملکرد گیرنده های متداول را بهبود می بخشد. اما در این آشکارساز از روش های بسیار مفید مخابراتی نظیر دایورسیتی استفاده نشده است. در حالی که یکی از مزایای عمده ی سیستم های CDMA نسبت به سیستم های رایج فعلی، بهره گیری از دایورسیتی چند مسیره است. روش پیشنهادی در این نوشتار، با استفاده از دایورسیتی چند مسیره عملکرد سیستم ارائه شده در مراجع 1 و 2 را به طور قابل ملاحظه یی بهبود می بخشد...

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

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

کانتورهای F0 مربوط به 5 بیمار بزرگ سال ناشنوای دارای سابقه شنوائی که از پروتز چند کاناله ی کاشت حلزون استفاده می کنند و 10 فرد بزرگ سال طبیعی (زن و مرد) اندازه گیری شده اند. میزان قاعده مندی در هر کانتور متوسط - که با محاسبه ی اختلاف بین میانگین فرکانس گام (F0) در هجاهای متوالی یک جمله و به دست آوردن میانگین این اختلاف های متوالی (MSD) اندازه گیری می شود - به عنون یک معیار کمی برای تعیین میزان تاثیر فیدبک شنوائی در اصلاح کانتورهای F0 بیماران و نزدیک شدن این کانتورها به افراد طبیعی مورد استفاده قرار می گیرد...