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

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

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

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

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

روی خواص گراف های اشتراک تصادفی بحث می کنیم.

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

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

یک شبکه هندسی، گرافی همبند و وزن دار روی مجموعه متناهی s از فضای r^d می باشد به طوری که وزن هر یال (u,v) از آن برابر با فاصله اقلیدسی میان u و v، یا |uv|، می باشد. به ازای مقدار حقیقی t ،(t>1) t-پوشش هندسی g روی s، یک شبکه هندسی غیر جهت دار روی s می باشد اگر طول کوتاهترین مسیر میان u و v در g کمتر یا مساوی با t برابر |uv| باشد. کوچکترین مقدار حقیقی t که به ازای آن g یک t-پوشش هندسی روی s باشد ض...

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