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

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

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

روش های معمول براورد واریانس از قبیل روش خطی سازی سری تیلور (روش دلتا)۱ در آمارگیری های چندچارچوبی۲ عموماً مستلزم محاسبه ی مشتق های جزئی بوده و این محاسبات با افزایش تعداد چارچوب ها پیچیده تر می شود. براورد واریانس به روش جک نایف۳ روش دیگری است که ضمن سهولت در محاسبه، موجب کاهش چشم­گیری در اریبی براوردگر می شود. در این مقاله ابتدا به معرفی براوردگرهای چندچارچوبی مجموع جامعه و سپس استفاده از روش ...

امروزه بخش شایان توجهی از سازمان‎های فعال در حوزۀ معماری سازمانی، به ایجاد و بومی‎سازی چارچوب‎های معماری سازمانی می‎پردازند. این در حالیست که این‎ تلاش‎ها صرفاً بر دانش و تجربۀ سازمان‎ها متکی‎اند و هیچ‎ روشی برای توسعۀ چارچوب‎های معماری سازمانی در ادبیات این حوزه وجود ندارد. از این رو، این پژوهش کیفی با هدف تدوین روشی برای توسعۀ چارچوب‎های معماری سازمانی به انجام رسید. برای این منظور، 15 نسخه از...