چالز سیمز در سال 1987 این سوال را مطرح کرد که: آیا برای یک گروه آزاد، nامین جمله از سری مرکزی پایینی،منطبق بر بستار نرمال مجموعه ی تمام جابجاگرهای پایه ای از وزن n در گروه آزاد f است. در این پایان نامه ابتدا جابجاگرهای پایه ای در یک گروه آزاد f را تعریف می کنیم سپس بررسی می کنیم که چه رابطه ای بین جابجاگرهای پایه ای از وزن کمتر از شش با سری مرکزی پایینی f وجود دارد. به بیان دیگر بررسی می کنیم ک...

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

فرض کنید ‏‎x‎‏ یک فضای متری است که مرز آن به تعبیری با مرز فضای هذلولوی مشابه باشد. نشان می دهیم که دنباله تواترهای انقباض ‏‎f: x-- x‎‏ به یک نقطه در ‏‎x‎‏ یا روی مرز ‏‎x‎‏ موضعا یکنواخت همگراست. این مطلب قضیه دانژوا - وولف را برای نگاشت های تحلیلی روی قرص یک در صفحه مختلط، تعمیم می دهد و نیز نشان می دهد که هرگاه ‏‎ d‎‏ یک زیر حوزه اکیدا محدب کراندار در ‏‎rk‎‏ باشد، آنگاه هر انقباض d با متر هیل...

فرض کنید i یک ایده آل سره ی منظم از حوزه صحیح نوتری r باشد. در این پایان نامه وجود توسیع حوزه صحیح تجزیه پذیر متناهی a از حلقه r و عدد صحیح m به طوری که اعداد ریس ia برابر با m را مورد بررسی قرار می دهد. بعلاوه اگر r از ارتفاع یک باشد ، آن گاه همه اعداد ریس (j=rad(ia برابر با یک است و ایده آل های jm و ia دارای بستار یکسان هستند. بنابراین (j=rad(ia رادیکال ایده آل به طور تصویری کامل است که به طو...

یک هندسه جدید از یک جاذب سیستم دینامیکی، یک جاذب خارپشتی، توصیف شده است. یک جاذب خارپشتی اجتماعی از دو قسمت است که قسمت اول، گراف یک تابع پیوسته تعریف شده بر مجموعه ای مانند d است و قسمت دوم یک مجموعه غیر قابل شمارش از بازه های بسته که مشمول در بستار گراف هستند. در این پایان نامه برای یک دسته از وابرریختی ها روی ‎t^2×s^d، وجود جاذب خارپشتی را بررسی نموده و خواصی از آن را بیان می نماییم. .

در این پایان نامه ایده آل های بسته با همانی تقریبی کران دار در جبر فوریه روی یک فضای همگن میانگین پذیر به صورت حلقه همدسته روی گروه متناظر در نظر گرفته می شوند و تعدادی از این نتایج را به جبر فیگا-تالامانکا-هرز توسیع می دهیم. بستار جبر فوریه a(g/k) در نرم cb-ضربگرهای کاملاً کران دار را در نظر می گیریم و برخی از نتایج را روی ترکیب طیفی اثبات می کنیم. به علاوه تعدادی از این نتایج را روی ایده آل ها...

فرض کنیم ‎x‎ ‎ و ‎ ‎k‎ ‎ مجموعه های صفحه ای فشرده باشند به طوری که‎. k ? x بستار یکنواخت توابع چند جمله ای بر ‎ ‎k‎ را با ‎ ‎p(k)‎ ‏، بستار ‎‎‎یکنواخت توابع گویا بر ‎ k ‎ که قطب هایش خارج از ‎k‎ است را با ‎ ‎r(k)‎ و جبر متشکل از توابع پیوسته بر ‎ ‎k‎ ‎ که بر ‎ ‎int(k)‎ تحلیلی هستند را با ‎ ‎a(k)‎ ‎ نشان می دهیم. ‎ p(x , k) ‎‏، ‎‎ ‎r‎(x , ‎k)‎‎‎‎‎و ( ‎a‎(x , ‎k ‎ را مجموعه های از توابع در ‎ ‎c(x...

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

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

قضیه کراین میلمن یکی از قضایای اصلی در آنالیز تابعی است که بیان می کند برای هر مجموعه محدب فشرده k از یک فضای محدب موضعی، (( k ) ext ) co = k که در آن ( k) ext مجموعه همه نقاط انتهایی k است. در این پایان نامه تعمیمی از قضیه فوق برای سازه های ابرمتناهی به صورت زیر بیان و اثبات می شود. هر زیرمجموعه ? c-محدب و فشرده در توپولوژی ? -ضعیف از سازه ابرمتناهی r با بستار ? -ضعیف پوش ? c-محدب نقاط ? c...