عنوان: رمزگذاري جستجوپذیر متقارن پویا

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "عنوان: رمزگذاري جستجوپذیر متقارن پویا"

Transcript

1 دانشگاه صنعتی شریف دانشکده مهندسی برق گزارش درس ریاضیات رمزنگاري عنوان: رمزگذاري جستجوپذیر متقارن پویا استاد درس: مهندس نگارنده: ز 94 دي ماه

2 5 نماد گذاري و تعریف مسي له 1 6 رمزگذاري جستجوپذیر متقارن پویا [3] طرح 1 :جستجو و ذخیره به صورت تعاملی امنیت اثبات پذیر نتیجه گیري و کارهاي آینده 3 2

3 چکیده با استفاده از رمزگذاري جستجوپذیر متقارن کاربر می تواند داده هاي خود را به گونه اي رمز کند که قابل جستجو باشند. یکی از کاربردهاي مهم این نوع رمزگذاري در رایانش ابري است که کاربر داده هاي خود را روي یک ابر عمومی که لزوما مورد اعتماد او نیست ذخیره سازي می کند. یک طرح جستجوپذیر با سه ویژگی را می توان عملی دانست : امکان به روزرسانی یا اضافه و پاك کردن فایل ها(پویایی ) زمان جستجوي خطی و امنیت در برابر حمله کلیدواژه منتخب وفقی. طرح هاي بسیاري تا کنون براي رمزگذاري جستجوپذیر متقارن مطرح شده اند که هرکدام یک یا چندي از این ویژگی ها را برآورده می سازند. در این مقاله ابتدا به بررسی طرح هاي موجود و مقایسه عملکرد آن ها می پردازیم سپس یک طرح داراي ویژگی پویایی و امنیت اثبات پذیر در برابر حمله کلیدواژه منتخب وفقی را به تفصیل شرح می دهیم. کلمات کلیدي: ر طرح اراي ه شده در [6] به یک پیچیدگی زمانی ثابت دست یافته است در عین حال از به روز رسانی داده ها پشتیانی نمی کند.به این معنی که براي اضافه یا پاك کردن یک فایل باید تمامی فایل ها از اول اندیس گذاري شوند. طرح [3] [6] براي هر به روزرسانی می بایست تمامی داده ها را تغییر دهیم که بسیار زمان بر و ناکارآمد خواهدبود. -نشت اطلاعات مربوط به الگوي جستجوي 1 کاربر را مورد توجه قرار می دهد. تا سال 2012 این تنها طرح معرفی شده با دو ویژگی بالاست که امنیت آن در برابر حمله کلیدواژه منتخب وفقی 2 اثبات شده است [7]. این طرح در سال هاي بعد مبنایی براي طرح مختلف مانند [8] قرار گرفت. قابل ذکر است که محدودیت عمده این روش بزرگ بودن اندیس رمز شده می باشد. جدول 1 به طور خلاصه مقایسه اي از طرح هاي مختلف رمزنگاري متقارن و قابلیت هاي هر کدام را نشان می دهد: 1 2 3

4 1: مقایسه طرح هاي مختلف اندازه اندیس زمان جستجو پویایی طرح اندیس ندارد O( f ) - [1] O(Σ w #f w + #W ) O(#f w ) - [6] O(#f.#W ) O(#f) - [6] O(Σ w #f w + #W ) O(#f w ) [7] O(#W.m f ) O(Log#W ) [3] 1 نماد گذاري و تعریف مسي له فرض کنید کاربر می خواهدn فایل D i = (M i, W i ), i = 1, 2,..., n را روي کارگزار ذخیره کند. i M داده اصلی و W i مجموعه اي از کلید واژه ها را نشان می دهد که به داده اصلی موجود در هر فایل افزوده شده است: W i = {w 1, w 2,..., w n } W i را افزونه فایل i ام می نامیم. هر یک از فایل ها با یک شناسه 3 شناخته می شوند به طوري که ID i شناسه مربوط به فایل D i است. فایل ها باید به گونه اي روي کارگزار ذخیره گردند که محرمانگی M i و W i متناظر آن حفظ شود. هدف کاربر جستجوي کلید واژه اي مانند w و یافتن M i اي است که به ازاي آن w W i باشد. در رمز نگاري جستجوپذیر تعریف امنیت عدم اطلاع کارگزار از هیچ یک از افزونه ها به جز افزونه فایل حاوي کلیدواژه مورد نظر است.به بیان دیگر براي حفظ امنیت هیچ اطلاعاتی به جز نتیجه جستجو نباید به کارگزار نشت کند. روشهاي معمول رمزگذاري جستجوپذیر متقارن در چهار مرحله زیر عمل جستجو را انجام می دهند: 1- : یک الگوریتم تولید کلید است که توسط کاربر اجرا می شود.ورودي آن یک پارامتر امنیتیsو خروجی آن کلیدKمی باشد. به طوریکه: K = (k M, k W ) کلید K M براي رمز کردن داده اصلی و کلید K W براي رمز کردن افزونه استفاده می شود. 2- : فایل D با استفاده از کلید Kرمز شده و روي کارگزار ذخیره می شود.این تابع خود از دو زیر تابع زیر تشکیل می شود: E KM کرده و خروجی Kرمز M با استفاده از کلید داده اصلیMرا : - IDرا i پس می دهد. 3 4

5 - : افزونه w را با استفاده از کلید K W به یک نمایش جستجوپذیر S W تبدیل میکند. 3- : کاربر با استفاده از w و k W دریچه T w را ایجاد می کند. 4- : کارگزار با داشتن S W و دریچه عمل جستجو را انجام می دهد و در صورتی که w W i باشد خروجی 1 را پس می دهد. واضح است که انجام چهار مرحله بالا براي یک عمل جستجو به O(n) زمان احتیاج دارد.چون کارگزار با دریافت یک T W باید الگوریتم را روي تمامی S W هاي ذخیره شده اجرا کند. طرح هاي [1] و [6] برخلاف روش بالا به جاي تبدیل هر افزونه به یک نمایش جستجوپذیر هر کلیدواژه را به یک نمایش جستجو پذیر تبدیل می کنند این باعث می شود براي هر به روزرسانی 4 مجبور باشیم تمامی داده ها را تغییر دهیم که بسیار زمان بر و ناکارآمد خواهدبود. 2 رمزگذاري جستجوپذیر متقارن پویا [3] فرض کنید کاربر به دنبال فایل هایی است که کلید واژه w در آن ها اتفاق افتاده اند.براي این کار مجموعه I W به صورت زیر تشکیل می شود: I W = {ID i w W i } این مجموعه شامل شناسه تمام فایل هایی است که کلیدواژه مورد جستجو در افزونه آن ها یافت شده است.ایده اصلی این طرح تبدیل هر کلید واژه w به یک نمایش جستجوپذیر Sاست W به گونه اي که کاربر بتواند بااستفاده از دریچه T w به فایل هاي حاوي w دست یابد.براي این مقصود نمایش جستجوپذیر هر کلیدواژه w به صورت زیر تشکیل می شود. S W = (f kf (w), m(i w ), R(w)) (1) که در آن F kf یک تابع شبه تصادفی و k f همان کلید خصوصی K W یا بخشی از آن می باشد. m تابع پوشش گذار 5 و R حاوي اطلاعاتی براي برداشتن پوشش I w می باشد. هر بار که کاربر می خواهد کلید واژه اي مانند w را جستجو کند دریچه زیر را براي کارگزار می فرستد : 4 5 T w = (f kf (w), R (w)) (2) 5

6 کارگزار با داشتن دریچه ابتدا تمامی نمایش هاي جستجوپذیر S W را براي یافتن (w) F kf جستجو میکند.هر جا که انطباقی رخ داد ) w m(i متناظر با استفاده از R(w) و (w) R پوشش آن حذف می شود. سپس کارگزار شناسه مربوط به فایل هایی که در I w اتفاق افتاده اند را براي کاربر می فرستد.به این ترتیب عمل جستجو به پایان می رسد. در این روش براي مخفی کردن الگوي جستجوي کاربر I w را تا زمان انجام جستجو توسط تابع پوشش m پوشیده نگه می داریم.بسته به نوع پوشش استفاده شده این طرح را می توان به دو صورت تعاملی و غیر تعاملی استفاده نمود. طرح اول بار محاسباتی کمتري دارد در عین حال به صورت تعاملی بین کاربر و کارگزار انجام می شود.در عین حال طرح دوم به صورت غیر تعاملی عمل کرده و عمل ذخیره سازي و جستجو را با بکارگیري یک زنجیره چکیده ساز انجام می دهد طرح 1 :جستجو و ذخیره به صورت تعاملی در این طرح نمایش جستجوپذیر هر کلیدواژه w به صورت زیر است: S W = (f kf (w), I w G(r), E ke (w)) (3) براي دست یابی به این نمایش جستجوپذیر ابتدا توابع و مذکور در بخش 4 محاسبه شده سپس براي انجام مرحله ذخیره سازي افزونه ها الگوریتم زیر به صورت تعاملی بین کاربر و کارگزار اجرا می شود: 1- کاربر مجموعه U w که شامل شناسه افزونه هاي شامل کلیدواژه w است را به صورت زیر تشکیل داده و (w) f kf را به کارگزار ارسال می کند : 2- کارگزار اولین مولفه ي نمایش هاي جستجوپذیر را براي یافتن (w) f kf جستجو می کند و (r) E ke (مولفه سوم نمایش جستجوپذیر متناظر ( را براي کاربر ارسال می کند. 1 E r r = را بدست می آورد k E 3- کاربر با داشتن (r) E ke و رمزگشایی آن به صورت ((r) E) KE.سپس با انتخاب r به صورت تصادفی C را به صورت زیر محاسبه و به کارگزار ارسال می کند: C = (f kf (w), U w G(r) G (r), E ke (r )) (4) 4- نمایش جستجوپذیر به روزرسانی شده به صورت زیر خواهد بود: C = (f kf (w), U w I w G ( r ), E ke (r )) (5) 6

7 به عبارت دیگر لیست به روز رسانی شده اندیس هاي به دست آمده از جستجو برابر با = (w) I U w I w است. حال نوبت به تولید دریچه توسط کاربر می رسد. به این منظور کاربر با داشتن کلیدخصوصی ) W K W = (K f, K دریچه (w) T w = f kf را تولید کرده و براي کارگزار می فرستد. این دریچه در واقع مجوز جستجو است که توسط کاربر به کارگزار داده می شود.در آخر الگوریتم جستجو طی دو مرحله زیر به صورت تعاملی بین کاربر و کارگزار انجام می شود: 1- کارگزار که دریچه T w را در اختیار دارد اولین مولفه نمایش هاي جستحوپذیر S w را براي یافتن T w بررسی میکند و در صورد وقوع انطباق مولفه سوم نمایش جستجوپذیر متناظر ) 3 S) را براي کاربر ارسال میکند. 1 E را براي کارگزار می فرستد تا کارگزار طبق رابطه زیر I w را حساب می کند: k E -2 کاربر ) 3 (S I w = S 2 G(E 1 K E (S 3 )) (6) به این ترتیب کارگزار با ارسال فایل هایی که شناسه آن ها در I w وجود دارد به کاربر عمل جستجو را به پایان می رساند. این طرح داراي دو محدودیت اساسی است: 1- الگوریتم ذخیره سازي افزونه ها و همچنین الگوریتم جستجو به صورت تعاملی بین کاربر و کارگزار انجام می شوند. 2- الگوریتم ذخیره سازي افزونه ها پنهاي باند زیادي را اشغال میکند به عبارتی چون U w هم اندازه با I w است پهناي باند موردنیاز دوبرابر می شود امنیت اثبات پذیر به طور کلی امنیت یک سیستم رمزگذاري طی انجام یک بازي بین چالشگر و مهاجم اثبات می شود و با نشان دادن ناچیز بودن احتمال برد مهاجم می توان گفت امنیت سیستم اثبات شده است. در زیر یک نمونه ساده از اثبات امنیت را به اختصار توضیح می دهیم: فرض کنید مهاجم و چالشگر باشند. چالشگر براي به چالش کشیدن مهاجم ابتدا کلیدواژه اي را به صورت تصادفی و با طول λ به صوررت λ K R,0} {1 تولید می کند و مقدار λ را براي مهاجم می فرستد. مهاجم با انتخاب کلید واژه هاي W 0 و W 1 از چالشگر می خواهد که یکی را به انتخاب خود رمز کرده و به مهاجم بازگرداند 7

8 یعنی : b R {0, 1}, C b = Enc K (W b ) (7) با فرض اینکه مهاجم دریچه T w را در اختیار داشته باشد عمل جستجو را براي کلیدواژه C b انجام داده و حاصل جستجو را تعیین می کند: search(t W0, C b ) = b (8) مهاجم b را براي چالشگر می فرستد و چالشگر در صورتی که b b = باشد مهاجم را برنده اعلام می کند. در امنیت اثبات پذیر هدف نشان دادن ناچیز بودن احتمال برد مهاجم است. 3 نتیجه گیري و کارهاي آینده در این مقاله مروري بر طرح هاي موجود براي رمزگذاري جستجوپذیر متقارن داشتیم و طرح هاي مختلف را از حیث پیچیدگی پویایی و سایر قابلیت ها با هم مقایسه کرده و در نهابت یک طرح نمونه را به تفصیل شرح دادیم. در تحقیقات آینده توجه به نیاز دنیاي واقعی ما را به ارایه طرح هاي عملی تر و برآوردن نیاز هاي دنیاي امروز رمزنگاري نزدیک تر می کند. به عنوان نمونه ارایه طرح هاي جدید براي جستجو در بین ایمیل ها و یا در سیستم هاي و هر سامانه چندکاربره دیگري می تواند مفید واقع شود. همچنین تعمیم روش هاي رمزگذاري جستجوپذیر براي یافتن گروهی از کلیدواژه ها و یا یافتن واژه هاي با تکرار زیاد در اسناد رمزشده زمینه مناسبی براي تحقیقات آینده به نظر می رسد. 8

9 9

محاسبه ی برآیند بردارها به روش تحلیلی

محاسبه ی برآیند بردارها به روش تحلیلی محاسبه ی برآیند بردارها به روش تحلیلی برای محاسبه ی برآیند بردارها به روش تحلیلی باید توانایی تجزیه ی یک بردار در دو راستا ( محور x ها و محور y ها ) را داشته باشیم. به بردارهای تجزیه شده در راستای محور

Διαβάστε περισσότερα

جلسه 12 به صورت دنباله اي از,0 1 نمایش داده شده اند در حین محاسبه ممکن است با خطا مواجه شده و یکی از بیت هاي آن. p 1

جلسه 12 به صورت دنباله اي از,0 1 نمایش داده شده اند در حین محاسبه ممکن است با خطا مواجه شده و یکی از بیت هاي آن. p 1 محاسبات کوانتمی (67) ترم بهار 390-39 مدرس: سلمان ابوالفتح بیگی نویسنده: سلمان ابوالفتح بیگی جلسه ذخیره پردازش و انتقال اطلاعات در دنیاي واقعی همواره در حضور خطا انجام می شود. مثلا اطلاعات کلاسیکی که به

Διαβάστε περισσότερα

روش محاسبه ی توان منابع جریان و منابع ولتاژ

روش محاسبه ی توان منابع جریان و منابع ولتاژ روش محاسبه ی توان منابع جریان و منابع ولتاژ ابتدا شرح کامل محاسبه ی توان منابع جریان: برای محاسبه ی توان منابع جریان نخست باید ولتاژ این عناصر را بدست آوریم و سپس با استفاده از رابطه ی p = v. i توان این

Διαβάστε περισσότερα

جلسه 9 1 مدل جعبه-سیاه یا جستاري. 2 الگوریتم جستجوي Grover 1.2 مسا له 2.2 مقدمات محاسبات کوانتمی (22671) ترم بهار

جلسه 9 1 مدل جعبه-سیاه یا جستاري. 2 الگوریتم جستجوي Grover 1.2 مسا له 2.2 مقدمات محاسبات کوانتمی (22671) ترم بهار محاسبات کوانتمی (22671) ترم بهار 1390-1391 مدرس: سلمان ابوالفتح بیگی نویسنده: هیربد کمالی نیا جلسه 9 1 مدل جعبه-سیاه یا جستاري مدل هایی که در جلسه ي پیش براي استفاده از توابع در الگوریتم هاي کوانتمی بیان

Διαβάστε περισσότερα

جلسه ی ۱۰: الگوریتم مرتب سازی سریع

جلسه ی ۱۰: الگوریتم مرتب سازی سریع دانشکده ی علوم ریاضی داده ساختارها و الگوریتم ها ۸ مهر ۹ جلسه ی ۱۰: الگوریتم مرتب سازی سریع مدر س: دکتر شهرام خزاي ی نگارنده: محمد امین ادر یسی و سینا منصور لکورج ۱ شرح الگور یتم الگوریتم مرتب سازی سریع

Διαβάστε περισσότερα

جلسه 14 را نیز تعریف کرد. عملگري که به دنبال آن هستیم باید ماتریس چگالی مربوط به یک توزیع را به ماتریس چگالی مربوط به توزیع حاشیه اي آن ببرد.

جلسه 14 را نیز تعریف کرد. عملگري که به دنبال آن هستیم باید ماتریس چگالی مربوط به یک توزیع را به ماتریس چگالی مربوط به توزیع حاشیه اي آن ببرد. تي وري اطلاعات کوانتمی ترم پاییز 39-39 مدرس: ابوالفتح بیگی و امین زاده گوهري نویسنده: کامران کیخسروي جلسه فرض کنید حالت سیستم ترکیبی AB را داشته باشیم. حالت سیستم B به تنهایی چیست در ابتداي درس که حالات

Διαβάστε περισσότερα

جلسه 3 ابتدا نکته اي در مورد عمل توابع بر روي ماتریس ها گفته می شود و در ادامه ي این جلسه اصول مکانیک کوانتمی بیان. d 1. i=0. i=0. λ 2 i v i v i.

جلسه 3 ابتدا نکته اي در مورد عمل توابع بر روي ماتریس ها گفته می شود و در ادامه ي این جلسه اصول مکانیک کوانتمی بیان. d 1. i=0. i=0. λ 2 i v i v i. محاسبات کوانتمی (671) ترم بهار 1390-1391 مدرس: سلمان ابوالفتح بیگی نویسنده: محمد جواد داوري جلسه 3 می شود. ابتدا نکته اي در مورد عمل توابع بر روي ماتریس ها گفته می شود و در ادامه ي این جلسه اصول مکانیک

Διαβάστε περισσότερα

آزمایش 8: تقویت کننده عملیاتی 2

آزمایش 8: تقویت کننده عملیاتی 2 آزمایش 8: تقویت کننده عملیاتی 2 1-8 -مقدمه 1 تقویت کننده عملیاتی (OpAmp) داراي دو یا چند طبقه تقویت کننده تفاضلی است که خروجی- هاي هر طبقه به وروديهاي طبقه دیگر متصل شده است. در انتهاي این تقویت کننده

Διαβάστε περισσότερα

1) { } 6) {, } {{, }} 2) {{ }} 7 ) { } 3) { } { } 8) { } 4) {{, }} 9) { } { }

1) { } 6) {, } {{, }} 2) {{ }} 7 ) { } 3) { } { } 8) { } 4) {{, }} 9) { } { } هرگاه دسته اي از اشیاء حروف و اعداد و... که کاملا"مشخص هستند با هم در نظر گرفته شوند یک مجموعه را به وجود می آورند. عناصر تشکیل دهنده ي یک مجموعه باید دو شرط اساسی را داشته باشند. نام گذاري مجموعه : الف

Διαβάστε περισσότερα

آزمایش 1: پاسخ فرکانسی تقویتکننده امیتر مشترك

آزمایش 1: پاسخ فرکانسی تقویتکننده امیتر مشترك آزمایش : پاسخ فرکانسی تقویتکننده امیتر مشترك -- مقدمه هدف از این آزمایش بدست آوردن فرکانس قطع بالاي تقویتکننده امیتر مشترك بررسی عوامل تاثیرگذار و محدودکننده این پارامتر است. شکل - : مفهوم پهناي باند تقویت

Διαβάστε περισσότερα

جلسه 16 نظریه اطلاعات کوانتمی 1 ترم پاییز

جلسه 16 نظریه اطلاعات کوانتمی 1 ترم پاییز نظریه اطلاعات کوانتمی ترم پاییز 39-39 مدرسین: ابوالفتح بیگی و امین زاده گوهري نویسنده: محم دحسن آرام جلسه 6 تا اینجا با دو دیدگاه مختلف و دو عامل اصلی براي تعریف و استفاده از ماتریس چگالی جهت معرفی حالت

Διαβάστε περισσότερα

جلسه 22 1 نامساویهایی در مورد اثر ماتریس ها تي وري اطلاعات کوانتومی ترم پاییز

جلسه 22 1 نامساویهایی در مورد اثر ماتریس ها تي وري اطلاعات کوانتومی ترم پاییز تي وري اطلاعات کوانتومی ترم پاییز 1391-1392 مدرس: ابوالفتح بیگی و امین زاده گوهري نویسنده: محمد مهدي مجاهدیان جلسه 22 تا اینجا خواص مربوط به آنتروپی را بیان کردیم. جهت اثبات این خواص نیاز به ابزارهایی

Διαβάστε περισσότερα

مثال( مساله الپالس در ناحیه داده شده را حل کنید. u(x,0)=f(x) f(x) حل: به کمک جداسازی متغیرها: ثابت = k. u(x,y)=x(x)y(y) X"Y=-XY" X" X" kx = 0

مثال( مساله الپالس در ناحیه داده شده را حل کنید. u(x,0)=f(x) f(x) حل: به کمک جداسازی متغیرها: ثابت = k. u(x,y)=x(x)y(y) XY=-XY X X kx = 0 مثال( مساله الپالس در ناحیه داده شده را حل کنید. (,)=() > > < π () حل: به کمک جداسازی متغیرها: + = (,)=X()Y() X"Y=-XY" X" = Y" ثابت = k X Y X" kx = { Y" + ky = X() =, X(π) = X" kx = { X() = X(π) = معادله

Διαβάστε περισσότερα

مدار معادل تونن و نورتن

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

Διαβάστε περισσότερα

دانشکده ی علوم ریاضی جلسه ی ۵: چند مثال

دانشکده ی علوم ریاضی جلسه ی ۵: چند مثال دانشکده ی علوم ریاضی احتمال و کاربردا ن ۴ اسفند ۹۲ جلسه ی : چند مثال مدر س: دکتر شهرام خزاي ی نگارنده: مهدی پاک طینت (تصحیح: قره داغی گیوه چی تفاق در این جلسه به بررسی و حل چند مثال از مطالب جلسات گذشته

Διαβάστε περισσότερα

تصاویر استریوگرافی.

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

Διαβάστε περισσότερα

جلسه 15 1 اثر و اثر جزي ی نظریه ي اطلاعات کوانتومی 1 ترم پاي یز جدایی پذیر باشد یعنی:

جلسه 15 1 اثر و اثر جزي ی نظریه ي اطلاعات کوانتومی 1 ترم پاي یز جدایی پذیر باشد یعنی: نظریه ي اطلاعات کوانتومی 1 ترم پاي یز 1391-1391 مدرس: دکتر ابوالفتح بیگی ودکتر امین زاده گوهري نویسنده: محمدرضا صنم زاده جلسه 15 فرض کنیم ماتریس چگالی سیستم ترکیبی شامل زیر سیستم هايB و A را داشته باشیم.

Διαβάστε περισσότερα

هو الحق دانشکده ي مهندسی کامپیوتر جلسه هفتم

هو الحق دانشکده ي مهندسی کامپیوتر جلسه هفتم هو الحق دانشکده ي مهندسی کامپیوتر کدگذاري شبکه Coding) (Network شنبه 2 اسفند 1393 جلسه هفتم استاد: مهدي جعفري نگارنده: سید محمدرضا تاجزاد تعریف 1 بهینه سازي محدب : هدف پیدا کردن مقدار بهینه یک تابع ) min

Διαβάστε περισσότερα

جلسه 2 جهت تعریف یک فضاي برداري نیازمند یک میدان 2 هستیم. یک میدان مجموعه اي از اعداد یا اسکالر ها به همراه اعمال

جلسه 2 جهت تعریف یک فضاي برداري نیازمند یک میدان 2 هستیم. یک میدان مجموعه اي از اعداد یا اسکالر ها به همراه اعمال نظریه اطلاعات کوانتمی 1 ترم پاییز 1391-1392 مدرسین: ابوالفتح بیگی و امین زاده گوهري جلسه 2 فراگیري نظریه ي اطلاعات کوانتمی نیازمند داشتن پیش زمینه در جبرخطی می باشد این نظریه ترکیب زیبایی از جبرخطی و نظریه

Διαβάστε περισσότερα

آزمون مقایسه میانگین های دو جامعه )نمونه های بزرگ(

آزمون مقایسه میانگین های دو جامعه )نمونه های بزرگ( آزمون مقایسه میانگین های دو جامعه )نمونه های بزرگ( فرض کنید جمعیت یک دارای میانگین و انحراف معیار اندازه µ و انحراف معیار σ باشد و جمعیت 2 دارای میانگین µ2 σ2 باشند نمونه های تصادفی مستقل از این دو جامعه

Διαβάστε περισσότερα

جلسه ی ۴: تحلیل مجانبی الگوریتم ها

جلسه ی ۴: تحلیل مجانبی الگوریتم ها دانشکده ی علوم ریاضی ساختمان داده ها ۲ مهر ۱۳۹۲ جلسه ی ۴: تحلیل مجانبی الگوریتم ها مدر س: دکتر شهرام خزاي ی نگارنده: شراره عز ت نژاد ا رمیتا ثابتی اشرف ۱ مقدمه الگوریتم ابزاری است که از ا ن برای حل مسا

Διαβάστε περισσότερα

تحلیل الگوریتم پیدا کردن ماکزیمم

تحلیل الگوریتم پیدا کردن ماکزیمم تحلیل الگوریتم پیدا کردن ماکزیمم امید اعتصامی پژوهشگاه دانشهاي بنیادي پژوهشکده ریاضیات 1 انگیزه در تحلیل الگوریتم ها تحلیل احتمالاتی الگوریتم ها روشی براي تخمین پیچیدگی محاسباتی یک الگوریتم یا مساله ي

Διαβάστε περισσότερα

جلسه ی ۵: حل روابط بازگشتی

جلسه ی ۵: حل روابط بازگشتی دانشکده ی علوم ریاضی ساختمان داده ها ۶ مهر ۲ جلسه ی ۵: حل روابط بازگشتی مدر س: دکتر شهرام خزاي ی نگارنده: ا رمیتا ثابتی اشرف و علی رضا علی ا بادیان ۱ مقدمه پیدا کردن کران مجانبی توابع معمولا با پیچیدگی

Διαβάστε περισσότερα

جلسه 2 1 فضاي برداري محاسبات کوانتمی (22671) ترم بهار

جلسه 2 1 فضاي برداري محاسبات کوانتمی (22671) ترم بهار محاسبات کوانتمی (22671) ترم بهار 1390-1391 مدرس: سلمان ابوالفتح بیگی نویسنده: نادر قاسمی جلسه 2 در این درسنامه به مروري کلی از جبر خطی می پردازیم که هدف اصلی آن آشنایی با نماد گذاري دیراك 1 و مباحثی از

Διαβάστε περισσότερα

همبستگی و رگرسیون در این مبحث هدف بررسی وجود یک رابطه بین دو یا چند متغیر می باشد لذا هدف اصلی این است که آیا بین

همبستگی و رگرسیون در این مبحث هدف بررسی وجود یک رابطه بین دو یا چند متغیر می باشد لذا هدف اصلی این است که آیا بین همبستگی و رگرسیون در این مبحث هدف بررسی وجود یک رابطه بین دو یا چند متغیر می باشد لذا هدف اصلی این است که آیا بین دو صفت متغیر x و y رابطه و همبستگی وجود دارد یا خیر و آیا می توان یک مدل ریاضی و یک رابطه

Διαβάστε περισσότερα

مفاهیم ولتاژ افت ولتاژ و اختالف پتانسیل

مفاهیم ولتاژ افت ولتاژ و اختالف پتانسیل مفاهیم ولتاژ افت ولتاژ و اختالف پتانسیل شما باید بعد از مطالعه ی این جزوه با مفاهیم ولتاژ افت ولتاژ و اختالف پتانسیل کامال آشنا شوید. VA R VB به نظر شما افت ولتاژ مقاومت R چیست جواب: به مقدار عددی V A

Διαβάστε περισσότερα

ﯽﺳﻮﻃ ﺮﯿﺼﻧ ﻪﺟاﻮﺧ ﯽﺘﻌﻨﺻ هﺎﮕﺸﻧاد

ﯽﺳﻮﻃ ﺮﯿﺼﻧ ﻪﺟاﻮﺧ ﯽﺘﻌﻨﺻ هﺎﮕﺸﻧاد دانشگاه صنعتی خواجه نصیر طوسی دانشکده برق - گروه کنترل آزمایشگاه کنترل سیستمهای خطی گزارش کار نمونه تابستان 383 به نام خدا گزارش کار آزمایش اول عنوان آزمایش: آشنایی با نحوه پیاده سازی الکترونیکی فرایندها

Διαβάστε περισσότερα

جلسه 28. فرض کنید که m نسخه مستقل یک حالت محض دلخواه

جلسه 28. فرض کنید که m نسخه مستقل یک حالت محض دلخواه نظریه اطلاعات کوانتمی 1 ترم پاییز 1392-1391 مدرسین: ابوالفتح بیگی و امین زاده گوهري نویسنده: مرتضی نوشاد جلسه 28 1 تقطیر و ترقیق درهم تنیدگی ψ m بین آذر و بابک به اشتراك گذاشته شده است. آذر و AB فرض کنید

Διαβάστε περισσότερα

محاسبات کوانتمی 1 علم ساخت و استفاده از کامپیوتري است که بر پایه ي اصول مکانیک کوانتم قرار گرفته است.

محاسبات کوانتمی 1 علم ساخت و استفاده از کامپیوتري است که بر پایه ي اصول مکانیک کوانتم قرار گرفته است. محاسبات کوانتمی (22671) ترم بهار 1390-1391 مدرس: سلمان ابوالفتح بیگی نویسنده: سلمان ابوالفتح بیگی جلسه 1 محاسبات کوانتمی 1 علم ساخت و استفاده از کامپیوتري است که بر پایه ي اصول مکانیک کوانتم قرار گرفته

Διαβάστε περισσότερα

جلسه ی ۱۸: درهم سازی سرتاسری - درخت جست و جوی دودویی

جلسه ی ۱۸: درهم سازی سرتاسری - درخت جست و جوی دودویی دانشکده ی علوم ریاضی ساختمان داده ۱۰ ا ذر ۹۲ جلسه ی ۱۸: درهم سازی سرتاسری - درخت جست و جوی دودویی مدر س: دکتر شهرام خزاي ی نگارنده: معین زمانی و ا رمیتا اردشیری ۱ یادا وری همان طور که درجلسات پیش مطرح

Διαβάστε περισσότερα

قاعده زنجیره ای برای مشتقات جزي ی (حالت اول) :

قاعده زنجیره ای برای مشتقات جزي ی (حالت اول) : ۱ گرادیان تابع (y :f(x, اگر f یک تابع دومتغیره باشد ا نگاه گرادیان f برداری است که به صورت زیر تعریف می شود f(x, y) = D ۱ f(x, y), D ۲ f(x, y) اگر رویه S نمایش تابع (y Z = f(x, باشد ا نگاه f در هر نقطه

Διαβάστε περισσότερα

فصل پنجم زبان های فارغ از متن

فصل پنجم زبان های فارغ از متن فصل پنجم زبان های فارغ از متن خانواده زبان های فارغ از متن: ( free )context تعریف: گرامر G=(V,T,,P) کلیه قوانین آن به فرم زیر باشد : یک گرامر فارغ از متن گفته می شود در صورتی که A x A Є V, x Є (V U T)*

Διαβάστε περισσότερα

جلسه دوم سوم چهارم: مقدمه اي بر نظریه میدان

جلسه دوم سوم چهارم: مقدمه اي بر نظریه میدان هو الحق دانشکده ي مهندسی کامپیوتر کدگذاري شبکه Coding) (Network سه شنبه 21 اسفند 1393 جلسه دوم سوم چهارم: مقدمه اي بر نظریه میدان استاد: مهدي جعفري نگارنده: علیرضا حیدري خزاي ی در این نوشته مقدمه اي بر

Διαβάστε περισσότερα

جلسه ی ۲۴: ماشین تورینگ

جلسه ی ۲۴: ماشین تورینگ دانشکده ی علوم ریاضی نظریه ی زبان ها و اتوماتا ۲۶ ا ذرماه ۱۳۹۱ جلسه ی ۲۴: ماشین تورینگ مدر س: دکتر شهرام خزاي ی نگارندگان: حمید ملک و امین خسر وشاهی ۱ ماشین تور ینگ تعریف ۱ (تعریف غیررسمی ماشین تورینگ)

Διαβάστε περισσότερα

تمرینات درس ریاض عموم ٢. r(t) = (a cos t, b sin t), ٠ t ٢π. cos ٢ t sin tdt = ka۴. x = ١ ka ۴. m ٣ = ٢a. κds باشد. حاصل x٢

تمرینات درس ریاض عموم ٢. r(t) = (a cos t, b sin t), ٠ t ٢π. cos ٢ t sin tdt = ka۴. x = ١ ka ۴. m ٣ = ٢a. κds باشد. حاصل x٢ دانش اه صنعت شریف دانش ده ی علوم ریاض تمرینات درس ریاض عموم سری دهم. ١ سیم نازک داریم که روی دایره ی a + y x و در ربع اول نقطه ی,a را به نقطه ی a, وصل م کند. اگر چ ال سیم در نقطه ی y,x برابر kxy باشد جرم

Διαβάστε περισσότερα

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

تخمین با معیار مربع خطا: حالت صفر: X: مکان هواپیما بدون مشاهده X را تخمین بزنیم. بهترین تخمین مقداری است که متوسط مربع خطا مینیمم باشد: تخمین با معیار مربع خطا: هدف: با مشاهده X Y را حدس بزنیم. :y X: مکان هواپیما مثال: مشاهده نقطه ( مجموعه نقاط کنارهم ) روی رادار - فرض کنیم می دانیم توزیع احتمال X به چه صورت است. حالت صفر: بدون مشاهده

Διαβάστε περισσότερα

Angle Resolved Photoemission Spectroscopy (ARPES)

Angle Resolved Photoemission Spectroscopy (ARPES) Angle Resolved Photoemission Spectroscopy (ARPES) روش ARPES روشی است تجربی که برای تعیین ساختار الکترونی مواد به کار می رود. این روش بر پایه اثر فوتوالکتریک است که توسط هرتز کشف شد: الکترونها می توانند

Διαβάστε περισσότερα

جلسه ی ۳: نزدیک ترین زوج نقاط

جلسه ی ۳: نزدیک ترین زوج نقاط دانشکده ی علوم ریاضی ا نالیز الگوریتم ها ۴ بهمن ۱۳۹۱ جلسه ی ۳: نزدیک ترین زوج نقاط مدر س: دکتر شهرام خزاي ی نگارنده: امیر سیوانی اصل ۱ پیدا کردن نزدیک ترین زوج نقطه فرض می کنیم n نقطه داریم و می خواهیم

Διαβάστε περισσότερα

پروژه یازدهم: ماشین هاي بردار پشتیبان

پروژه یازدهم: ماشین هاي بردار پشتیبان پروژه یازدهم: ماشین هاي بردار پشتیبان 1 عموما براي مسایلی که در آنها دو دسته وجود دارد استفاده میشوند اما ماشین هاي بردار پشتیبان روشهاي متفاوتی براي ترکیب چند SVM و ایجاد یک الگوریتم دستهبندي چند کلاس

Διαβάστε περισσότερα

تحلیل مدار به روش جریان حلقه

تحلیل مدار به روش جریان حلقه تحلیل مدار به روش جریان حلقه برای حل مدار به روش جریان حلقه باید مراحل زیر را طی کنیم: مرحله ی 1: مدار را تا حد امکان ساده می کنیم)مراقب باشید شاخه هایی را که ترکیب می کنید مورد سوال مسئله نباشد که در

Διαβάστε περισσότερα

دبیرستان غیر دولتی موحد

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

Διαβάστε περισσότερα

راهنمای کاربری موتور بنزینی )سیکل اتو(

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

Διαβάστε περισσότερα

http://econometrics.blog.ir/ متغيرهای وابسته نماد متغيرهای وابسته مدت زمان وصول حساب های دريافتني rcp چرخه تبدیل وجه نقد ccc متغیرهای کنترلی نماد متغيرهای کنترلي رشد فروش اندازه شرکت عملکرد شرکت GROW SIZE

Διαβάστε περισσότερα

سايت ويژه رياضيات درسنامه ها و جزوه هاي دروس رياضيات

سايت ويژه رياضيات   درسنامه ها و جزوه هاي دروس رياضيات سايت ويژه رياضيات درسنامه ها و جزوه هاي دروس رياضيات دانلود نمونه سوالات امتحانات رياضي نمونه سوالات و پاسخنامه كنكور دانلود نرم افزارهاي رياضيات و... کانال سایت ریاضی سرا در تلگرام: https://telegram.me/riazisara

Διαβάστε περισσότερα

حفاظت مقایسه فاز خطوط انتقال جبرانشده سري.

حفاظت مقایسه فاز خطوط انتقال جبرانشده سري. حفاظت مقایسه فاز در خطوط انتقال جبران شده سري همراه با MOV 2 1 محمد رضا پویان فر جواد ساده 1 دانشگاه آزاد اسلامی واحد گناباد reza.pooyanfar@gmail.com 2 دانشکده فنی مهندسی دانشگاه فردوسی مشهد sadeh@um.ac.ir

Διαβάστε περισσότερα

ویرایشسال 95 شیمیمعدنی تقارن رضافالحتی

ویرایشسال 95 شیمیمعدنی تقارن رضافالحتی ویرایشسال 95 شیمیمعدنی تقارن رضافالحتی از ابتدای مبحث تقارن تا ابتدای مبحث جداول کاراکتر مربوط به کنکور ارشد می باشد افرادی که این قسمت ها را تسلط دارند می توانند از ابتدای مبحث جداول کاراکتر به مطالعه

Διαβάστε περισσότερα

فعالیت = ) ( )10 6 ( 8 = )-4( 3 * )-5( 3 = ) ( ) ( )-36( = m n m+ m n. m m m. m n mn

فعالیت = ) ( )10 6 ( 8 = )-4( 3 * )-5( 3 = ) ( ) ( )-36( = m n m+ m n. m m m. m n mn درس»ریشه ام و توان گویا«تاکنون با مفهوم توان های صحیح اعداد و چگونگی کاربرد آنها در ریشه گیری دوم و سوم اعداد آشنا شده اید. فعالیت زیر به شما کمک می کند تا ضمن مرور آنچه تاکنون در خصوص اعداد توان دار و

Διαβάστε περισσότερα

معادلهی مشخصه(کمکی) آن است. در اینجا سه وضعیت متفاوت برای ریشههای معادله مشخصه رخ میدهد:

معادلهی مشخصه(کمکی) آن است. در اینجا سه وضعیت متفاوت برای ریشههای معادله مشخصه رخ میدهد: شکل کلی معادلات همگن خطی مرتبه دوم با ضرایب ثابت = ٠ cy ay + by + و معادله درجه دوم = ٠ c + br + ar را معادلهی مشخصه(کمکی) آن است. در اینجا سه وضعیت متفاوت برای ریشههای معادله مشخصه رخ میدهد: c ١ e r١x

Διαβάστε περισσότερα

بسم اهلل الرحمن الرحیم آزمایشگاه فیزیک )2( shimiomd

بسم اهلل الرحمن الرحیم آزمایشگاه فیزیک )2( shimiomd بسم اهلل الرحمن الرحیم آزمایشگاه فیزیک )( shimiomd خواندن مقاومت ها. بررسی قانون اهم برای مدارهای متوالی. 3. بررسی قانون اهم برای مدارهای موازی بدست آوردن مقاومت مجهول توسط پل وتسون 4. بدست آوردن مقاومت

Διαβάστε περισσότερα

ارزیابی بهره وری متقاطع DEA بر پایه بهبود پارتو

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

Διαβάστε περισσότερα

تلفات خط انتقال ابررسی یک شبکة قدرت با 2 به شبکة شکل زیر توجه کنید. ژنراتور فرضیات شبکه: میباشد. تلفات خط انتقال با مربع توان انتقالی متناسب

تلفات خط انتقال ابررسی یک شبکة قدرت با 2 به شبکة شکل زیر توجه کنید. ژنراتور فرضیات شبکه: میباشد. تلفات خط انتقال با مربع توان انتقالی متناسب تلفات خط انتقال ابررسی یک شبکة قدرت با 2 به شبکة شکل زیر توجه کنید. ژنراتور فرضیات شبکه: این شبکه دارای دو واحد کامال یکسان آنها 400 MW میباشد. است تلفات خط انتقال با مربع توان انتقالی متناسب و حداکثر

Διαβάστε περισσότερα

هندسه تحلیلی بردارها در فضای R

هندسه تحلیلی بردارها در فضای R هندسه تحلیلی بردارها در فضای R فصل اول-بردارها دستگاه مختصات سه بعدی از سه محور ozوoyوox عمود بر هم تشکیل شده که در نقطه ای به نام o یکدیگر را قطع می کنند. قرارداد: دستگاه مختصات سه بعدی راستگرد می باشد

Διαβάστε περισσότερα

هدایت روبات موبایل توسط کنترل کننده فازي با هدف مانع گریزي و هدف گرایی در محیط هاي پیچیده آیدین تیهویی دکتر ایرج حسن زاده دانشگاه تبریز- دانشکده ي مهندسی برق E-mal: teyhooe@yahoo.com چکیده بسیاري از الگوریتم

Διαβάστε περισσότερα

مسائل. 2 = (20)2 (1.96) 2 (5) 2 = 61.5 بنابراین اندازه ی نمونه الزم باید حداقل 62=n باشد.

مسائل. 2 = (20)2 (1.96) 2 (5) 2 = 61.5 بنابراین اندازه ی نمونه الزم باید حداقل 62=n باشد. ) مسائل مدیریت کارخانه پوشاک تصمیم دارد مطالعه ای به منظور تعیین میانگین پیشرفت کارگران کارخانه انجام دهد. اگر او در این مطالعه دقت برآورد را 5 نمره در نظر بگیرد و فرض کند مقدار انحراف معیار پیشرفت کاری

Διαβάστε περισσότερα

سلسله مزاتب سبان مقدمه فصل : زبان های فارغ از متن زبان های منظم

سلسله مزاتب سبان مقدمه فصل : زبان های فارغ از متن زبان های منظم 1 ماشیه ای توریىگ مقدمه فصل : سلسله مزاتب سبان a n b n c n? ww? زبان های فارغ از متن n b n a ww زبان های منظم a * a*b* 2 زبان ها پذیرفته می شوند بوسیله ی : ماشین های تورینگ a n b n c n ww زبان های فارغ

Διαβάστε περισσότερα

هدف از این آزمایش آشنایی با رفتار فرکانسی مدارهاي مرتبه اول نحوه تأثیر مقادیر عناصر در این رفتار مشاهده پاسخ دامنه

هدف از این آزمایش آشنایی با رفتار فرکانسی مدارهاي مرتبه اول نحوه تأثیر مقادیر عناصر در این رفتار مشاهده پاسخ دامنه آزما ی ش شش م: پا س خ فرکا نس ی مدا رات مرتبه اول هدف از این آزمایش آشنایی با رفتار فرکانسی مدارهاي مرتبه اول نحوه تأثیر مقادیر عناصر در این رفتار مشاهده پاسخ دامنه و پاسخ فاز بررسی رفتار فیلتري آنها بدست

Διαβάστε περισσότερα

آموزش SPSS مقدماتی و پیشرفته مدیریت آمار و فناوری اطالعات -

آموزش SPSS مقدماتی و پیشرفته مدیریت آمار و فناوری اطالعات - آموزش SPSS مقدماتی و پیشرفته تهیه و تنظیم: فرزانه صانعی مدیریت آمار و فناوری اطالعات - مهرماه 96 بخش سوم: مراحل تحلیل آماری تحلیل داده ها به روش پارامتری بررسی نرمال بودن توزیع داده ها قضیه حد مرکزی جدول

Διαβάστε περισσότερα

1 دایره فصل او ل کاربردهای بسیاری داشته است. یک قضیۀ بنیادی در هندسه موسوم با محیط ثابت دایره دارای بیشترین مساحت است. این موضوع در طراحی

1 دایره فصل او ل کاربردهای بسیاری داشته است. یک قضیۀ بنیادی در هندسه موسوم با محیط ثابت دایره دارای بیشترین مساحت است. این موضوع در طراحی فصل او ل 1 دایره هندسه در ساخت استحکامات دفاعی قلعهها و برج و باروها از دیرباز کاربردهای بسیاری داشته است. یک قضیۀ بنیادی در هندسه موسوم به»قضیۀ همپیرامونی«میگوید در بین همۀ شکلهای هندسی بسته با محیط ثابت

Διαβάστε περισσότερα

فصل چهارم : مولتی ویبراتورهای ترانزیستوری مقدمه: فیدبک مثبت

فصل چهارم : مولتی ویبراتورهای ترانزیستوری مقدمه: فیدبک مثبت فصل چهارم : مولتی ویبراتورهای ترانزیستوری مقدمه: فیدبک مثبت در تقویت کننده ها از فیدبک منفی استفاده می نمودیم تا بهره خیلی باال نرفته و سیستم پایدار بماند ولی در فیدبک مثبت هدف فقط باال بردن بهره است در

Διαβάστε περισσότερα

بخش غیرآهنی. هدف: ارتقاي خواص ابرکشسانی آلياژ Ni Ti مقدمه

بخش غیرآهنی. هدف: ارتقاي خواص ابرکشسانی آلياژ Ni Ti مقدمه بخش غیرآهنی هدف: ارتقاي خواص ابرکشسانی آلياژ Ni Ti مقدمه رفتار شبه کشسان )Pseudoelasticity( که به طور معمول ابرکشسان )superelasticity( ناميده می شود رفتار برگشت پذیر کشسان ماده در برابر تنش اعمالی است

Διαβάστε περισσότερα

یک سیستم تخصیص منابع هوشمند بر مبنای OFDMA در یک سیستم بیسیم توزیع شده با استفاده از تئوری بازیها

یک سیستم تخصیص منابع هوشمند بر مبنای OFDMA در یک سیستم بیسیم توزیع شده با استفاده از تئوری بازیها یک سیستم تخصیص منابع هوشمند بر مبنای OFDMA در یک سیستم بیسیم توزیع شده با استفاده از تئوری بازیها حامد رشیدی 1 و سیامک طالبی 2 1 -دانشگاه شهید باهنر كرمان 2 -دانشگاه شهید باهنر كرمان Hamed.hrt@gmail.com

Διαβάστε περισσότερα

2/13/2015 حمیدرضا پوررضا H.R. POURREZA 2 آخرین گام در ساخت یک سیستم ارزیابی آن است

2/13/2015 حمیدرضا پوررضا H.R. POURREZA 2 آخرین گام در ساخت یک سیستم ارزیابی آن است 1 ارزیا ی م حمیدرضا پوررضا قد 2 آخرین گام در ساخت یک سیستم ارزیابی آن است 1 ف ی ا ط لاحات 3 :Degrees of Freedom (DOF) این اصطلاح در سیستمهاي ردیاب استفاده میشود و بنابه تعریف عبارتست از آزادي حرکت انتقالی

Διαβάστε περισσότερα

6- روش های گرادیان مبنا< سر فصل مطالب

6- روش های گرادیان مبنا< سر فصل مطالب 1 بنام خدا بهینه سازی شبیه سازی Simulation Optimization Lecture 6 روش های بهینه سازی شبیه سازی گرادیان مبنا Gradient-based Simulation Optimization methods 6- روش های گرادیان مبنا< سر فصل مطالب 2 شماره

Διαβάστε περισσότερα

- - - کارکرد نادرست کنتور ها صدور اشتباه قبض برق روشنایی معابر با توجه به در دسترس نبودن آمار و اطلاعات دقیق و مناسبی از تلفات غیر تاسیساتی و همچنین ب

- - - کارکرد نادرست کنتور ها صدور اشتباه قبض برق روشنایی معابر با توجه به در دسترس نبودن آمار و اطلاعات دقیق و مناسبی از تلفات غیر تاسیساتی و همچنین ب عنوان مقاله اولویت بندي روشهاي رفع افت ولتاژ به منظور کاهش تلفات در شبکه هاي فشار ضعیف امیر کاظمی شرکت توزیع نیروي برق خراسان جنوبی واژه هاي کلیدي : تلفات- افت ولتاژ- فیدر- شبکه- بار- بالانس - - - کارکرد

Διαβάστε περισσότερα

کیوان بهزادپور محدرضا امینی

کیوان بهزادپور محدرضا امینی 1000 / 1004 کنترل فیلترهاي توان اکتیو (APF) تکفاز و سه فاز با استفاده از یک سنسور جریان کیوان بهزادپور محدرضا امینی keivan_bp@yahoo.com دانشجوي کارشناسی ارشد دانشگاه آزاد اسلامی واحد اصفهان چکیده عضو هیي

Διαβάστε περισσότερα

به نام خدا. الف( توضیح دهید چرا از این تکنیک استفاده میشود چرا تحلیل را روی کل سیگنال x[n] انجام نمیدهیم

به نام خدا. الف( توضیح دهید چرا از این تکنیک استفاده میشود چرا تحلیل را روی کل سیگنال x[n] انجام نمیدهیم پردازش گفتار به نام خدا نیمسال اول 59-59 دکتر صامتی تمرین سری سوم پیشبینی خطی و کدینگ شکلموج دانشکده مهندسی کامپیوتر زمان تحویل: 32 آبان 4259 تمرینهای تئوری: سوال 1. می دانیم که قبل از انجام تحلیل پیشبینی

Διαβάστε περισσότερα

دانشکده علوم ریاضی دانشگاه گیلان آزمون پایان ترم درس: هندسه منیفلد 1 باشد. دهید.f (gx) = (gof 1 )f X شده باشند سوالات بخش میان ترم

دانشکده علوم ریاضی دانشگاه گیلان آزمون پایان ترم درس: هندسه منیفلد 1 باشد. دهید.f (gx) = (gof 1 )f X شده باشند سوالات بخش میان ترم آزمون پایان ترم درس: هندسه منیفلد 1 زمان آزمون 120 دقیقه نیمسال: اول 95-94 رشته تحصیلی : ریاضی محض 1. نشان دهید X یک میدان برداري روي M است اگر و فقط اگر براي هر تابع مشتقپذیر f روي X(F ) M نیز مشتقپذیر

Διαβάστε περισσότερα

Spacecraft thermal control handbook. Space mission analysis and design. Cubesat, Thermal control system

Spacecraft thermal control handbook. Space mission analysis and design. Cubesat, Thermal control system سیستم زیر حرارتی ماهواره سرفصل های مهم 1- منابع مطالعاتی 2- مقدمه ای بر انتقال حرارت و مکانیزم های آن 3- موازنه انرژی 4 -سیستم های کنترل دما در فضا 5- مدل سازی عددی حرارتی ماهواره 6- تست های مورد نیاز

Διαβάστε περισσότερα

طراحی و تجزیه و تحلیل کنترل کننده منطق فازي براي کنترل فرکانس بار در سیستم هاي قدرت

طراحی و تجزیه و تحلیل کنترل کننده منطق فازي براي کنترل فرکانس بار در سیستم هاي قدرت طراحی و تجزیه و تحلیل کنترل کننده منطق فازي براي کنترل فرکانس بار در سیستم هاي قدرت 2 1 مهرداد احمدي کمرپشتی هدي کاظمی موسسه آموزش عالی روزبهان ساري گروه برق ساري ایران Mehrdad.ahmadi.k@gmail.com hoda.kazemi.aski@gmail.com

Διαβάστε περισσότερα

نظریه زبان ها و ماشین ها

نظریه زبان ها و ماشین ها نظریه زبان ها و ماشین ها Theory of Languages & Automatas سید سجاد ائم ی زمستان 94 به نام خدا پیش گفتار جزوه پیش رو جهت استفاده دانشجویان عزیز در درس نظریه زبانها و ماشینها تهیه شده است. در این جزوه با

Διαβάστε περισσότερα

تعیین محل قرار گیری رله ها در شبکه های سلولی چندگانه تقسیم کد

تعیین محل قرار گیری رله ها در شبکه های سلولی چندگانه تقسیم کد تعیین محل قرار گیری رله ها در شبکه های سلولی چندگانه تقسیم کد مبتنی بر روش دسترسی زلیخا سپهوند دانشکده مهندسى برق واحد نجف آباد دانشگاه آزاد اسلامى نجف آباد ایر ان zolekhasepahvand@yahoo.com روح االله

Διαβάστε περισσότερα

شاخصهای پراکندگی دامنهی تغییرات:

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

Διαβάστε περισσότερα

تمرین اول درس کامپایلر

تمرین اول درس کامپایلر 1 تمرین اول درس 1. در زبان مربوط به عبارت منظم زیر چند رشته یکتا وجود دارد (0+1+ϵ)(0+1+ϵ)(0+1+ϵ)(0+1+ϵ) جواب 11 رشته کنند abbbaacc را در نظر بگیرید. کدامیک از عبارتهای منظم زیر توکنهای ab bb a acc را ایجاد

Διαβάστε περισσότερα

مثلث بندی دلونی فصل 9 مژگان صالحی- دی 92 استاد راهنما: جناب آقای دکتر محمد فرشی

مثلث بندی دلونی فصل 9 مژگان صالحی- دی 92 استاد راهنما: جناب آقای دکتر محمد فرشی مثلث بندی دلونی فصل 9 مژگان صالحی- دی 92 استاد راهنما: جناب آقای دکتر محمد فرشی 1 روش اول گراف دوگان دیاگرام ورونوی : دیاگرام ورونوی مثلث بندی وجوهی که مثلث نیستند 2 : روش دوم )الگوریتم تصادفی افزایشی(

Διαβάστε περισσότερα

CD = AB, BC = ٢DA, BCD = ٣٠ الاضلاع است.

CD = AB, BC = ٢DA, BCD = ٣٠ الاضلاع است. 1.چهار مثلث چوبی مساوي با اضلاع 3 و 4 و 5 داریم. با استفاده از این چهار مثلث چه تعداد چندضلعی محدب می توان ساخت نیازي به اثبات نیست و تنها کافی است چندضلعی هاي موردنظر را رسم کنید. چندضلعی محدب به چندضلعی

Διαβάστε περισσότερα

فصل 5 :اصل گسترش و اعداد فازی

فصل 5 :اصل گسترش و اعداد فازی فصل 5 :اصل گسترش و اعداد فازی : 1-5 اصل گسترش در ریاضیات معمولی یکی از مهمترین ابزارها تابع می باشد.تابع یک نوع رابطه خاص می باشد رابطه ای که در نمایش زوج مرتبی عنصر اول تکراری نداشته باشد.معموال تابع

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

متلب سایت MatlabSite.com

متلب سایت MatlabSite.com طراحی و ساخت هایبرید 18 درجه باند وسیع بر پایه ي مقسم توان گایسل 1 مهدي فرتوك زاده سید 3 حسین محسنی ارمکی مرتضی کازرونی 1 دانشگاه صنعتی مالک اشتر mahdi.fartookzadeh@gmail.com دانشگاه صنعتی مالک اشتر mohseni@ee.iust.ac.ir

Διαβάστε περισσότερα

جریان نامی...

جریان نامی... مقاومت نقطه نوترال (NGR) مشخصات فنی فهرست مطالب 5 5... معرفی کلی... مشخصات... 1-2- ولتاژ سیستم... 2-2- ولتاژ نامی... -2- جریان نامی... -2- مقدار مقاومت -5-2 زمان... -2- جریان پیوسته... 7-2- ضریب دماي مقاومت...

Διαβάστε περισσότερα

یک مدل ریاضی براي حل همزمان مسي له زمانبندي پروژه و تخصیص نیروي انسانی

یک مدل ریاضی براي حل همزمان مسي له زمانبندي پروژه و تخصیص نیروي انسانی 5 نشریه تخصصی مهندسی صنایع دوره 8 سال 9 ویژه نامه دهمین کنفرانس بین المللی مهندسی صنایع از صفحه 5 تا 5 مقدمه یک مدل ریاضی براي حل همزمان مسي له زمانبندي پروژه و تخصیص چکیده نیروي انسانی * عرفان مهمانچی

Διαβάστε περισσότερα

بررسی خرابی در سازه ها با استفاده از نمودارهاي تابع پاسخ فرکانس مجتبی خمسه

بررسی خرابی در سازه ها با استفاده از نمودارهاي تابع پاسخ فرکانس مجتبی خمسه بررسی خرابی در سازه ها با استفاده از نمودارهاي تابع پاسخ فرکانس پیمان ترکزاده مجتبی خمسه یونس گودرزي - استادیار بخش مهندسی عمران دانشگاه شهید باهنر کرمان - دانشجوي کارشناسی ارشد سازه دانشگاه تحصیلات تکمیلی

Διαβάστε περισσότερα

فصل دهم: همبستگی و رگرسیون

فصل دهم: همبستگی و رگرسیون فصل دهم: همبستگی و رگرسیون مطالب این فصل: )r ( کوواریانس ضریب همبستگی رگرسیون ضریب تعیین یا ضریب تشخیص خطای معیار برآور ( )S XY انواع ضرایب همبستگی برای بررسی رابطه بین متغیرهای کمی و کیفی 8 در بسیاری

Διαβάστε περισσότερα

چکیده مقدمه کلید واژه ها:

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

Διαβάστε περισσότερα

تاثیر مدهاي کاري جبرانساز خازن سري در خطوط انتقال بر عملکرد رلهدیستانس

تاثیر مدهاي کاري جبرانساز خازن سري در خطوط انتقال بر عملکرد رلهدیستانس و 3 تاثیر مدهاي کاري جبرانساز خازن سري در خطوط انتقال بر رلهدیستانس مظاهرساغري 3 2 1 مهدي فرزینفر و الهام وزیري 1 2 دانشگاه آزاد اسلامی واحد علوم تحقیقات سمنان ایران 1 saghari.mazaher@yahoo.com 2 Farzinfar.mehdi@gmail.com

Διαβάστε περισσότερα

بسمه تعالی «تمرین شماره یک»

بسمه تعالی «تمرین شماره یک» بسمه تعالی «تمرین شماره یک» شماره دانشجویی : نام و نام خانوادگی : نام استاد: دکتر آزاده شهیدیان ترمودینامیک 1 نام درس : ردیف 0.15 m 3 میباشد. در این حالت یک فنر یک دستگاه سیلندر-پیستون در ابتدا حاوي 0.17kg

Διαβάστε περισσότερα

فناوري اطلاعات و ارتباطات ایران

فناوري اطلاعات و ارتباطات ایران سال پنجم شمارههاي 15 و 16 بهار و تابستان 1392 صص: -49 58 فصلنامه علمی- پژوهشی فناوري اطلاعات و ارتباطات ایران الگوریتمهاي ابتکاري براي شبه مثلثبندي مجموعه نقاط تصادفی در صفحه فهیمه منا نقده علی ** نوراله

Διαβάστε περισσότερα

اصول انتخاب موتور با مفاهیم بسیار ساده شروع و با نکات کاربردی به پایان می رسد که این خود به درک و همراهی خواننده کمک بسیاری می کند.

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

Διαβάστε περισσότερα

نحوه سیم بندي استاتورآلترناتور

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

Διαβάστε περισσότερα

ﻞﻜﺷ V لﺎﺼﺗا ﺎﻳ زﺎﺑ ﺚﻠﺜﻣ لﺎﺼﺗا هﺎﮕﺸﻧاد نﺎﺷﺎﻛ / دﻮﺷ

ﻞﻜﺷ V لﺎﺼﺗا ﺎﻳ زﺎﺑ ﺚﻠﺜﻣ لﺎﺼﺗا هﺎﮕﺸﻧاد نﺎﺷﺎﻛ / دﻮﺷ 1 مبحث بيست و چهارم: اتصال مثلث باز (- اتصال اسكات آرايش هاي خاص ترانسفورماتورهاي سه فاز دانشگاه كاشان / دانشكده مهندسي/ گروه مهندسي برق / درس ماشين هاي الكتريكي / 3 اتصال مثلث باز يا اتصال شكل فرض كنيد

Διαβάστε περισσότερα

هدف از این آزمایش آشنایی با برخی قضایاي ساده و در عین حال مهم مدار از قبیل قانون اهم جمع آثار مدار تونن و نورتن

هدف از این آزمایش آشنایی با برخی قضایاي ساده و در عین حال مهم مدار از قبیل قانون اهم جمع آثار مدار تونن و نورتن آزما ی ش سوم: ربرسی اقنون ا ه م و قوانین ولتاژ و جریان اهی کیرشهف قوانین میسقت ولتاژ و میسقت جریان ربرسی مدا ر تونن و نورتن قضیه ااقتنل حدا کثر توان و ربرسی مدا ر پ ل و تس ون هدف از این آزمایش آشنایی با

Διαβάστε περισσότερα

تئوری جامع ماشین بخش سوم جهت سادگی بحث یک ماشین سنکرون دو قطبی از نوع قطب برجسته مطالعه میشود.

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

Διαβάστε περισσότερα

آزمون فرضیه و بازة اطمینان دقیق براي میانگین توزیع نمایی تحت سانسور دورگە پیش روندة نوع اول

آزمون فرضیه و بازة اطمینان دقیق براي میانگین توزیع نمایی تحت سانسور دورگە پیش روندة نوع اول اندیشە آماري سال بیست و یکم شمارة اول بهار و تابستان 1395 شمارة پیاپی 41 صص 87-81 81 آزمون فرضیه و بازة اطمینان دقیق براي میانگین توزیع نمایی تحت سانسور دورگە پیش روندة نوع اول 2 حسین نادب 1 و حمزه ترابی

Διαβάστε περισσότερα

زا هدﺎﻔﺘﺳا هزو. ﺖﺳا هﺪﺷ ﻪﯾارا قﻮﻓ فاﺪﻫا ﻪﺑ ﯽﺑﺎﯿﺘﺳد ياﺮﺑ ﺮﺛﻮﻣ ﯽﺷور. دﻮﺷ ﯽﻣ هدﺎﻔﺘﺳا ﯽﻟﺎﺘﯿﺠﯾد ﻢﺘﺴﯿﺳ ﮏﯾ

زا هدﺎﻔﺘﺳا هزو. ﺖﺳا هﺪﺷ ﻪﯾارا قﻮﻓ فاﺪﻫا ﻪﺑ ﯽﺑﺎﯿﺘﺳد ياﺮﺑ ﺮﺛﻮﻣ ﯽﺷور. دﻮﺷ ﯽﻣ هدﺎﻔﺘﺳا ﯽﻟﺎﺘﯿﺠﯾد ﻢﺘﺴﯿﺳ ﮏﯾ طراحی و شبیه سازي یک فیلتر اکتیو تکفاز جهت حذف هار مونیک هاي جریان شرکت برق منطقه اي زنجان پژوهشگران: مهندس آرام کنعانی ودکتر محسن کلانتر دانشکده برق -دانشگاه علم و صنعت ایران کلمات کلیدي : هارمونیک ها

Διαβάστε περισσότερα

Beta Coefficient نویسنده : محمد حق وردی

Beta Coefficient نویسنده : محمد حق وردی مفهوم ضریب سهام بتای Beta Coefficient نویسنده : محمد حق وردی مقدمه : شاید بارها در مقاالت یا گروهای های اجتماعی مربوط به بازار سرمایه نام ضریب بتا رو دیده باشیم یا جایی شنیده باشیم اما برایمان مبهم باشد

Διαβάστε περισσότερα

که روي سطح افقی قرار دارد متصل شده است. تمام سطوح بدون اصطکاك می باشند. نیروي F به صورت افقی به روي سطح شیبداري با زاویه شیب

که روي سطح افقی قرار دارد متصل شده است. تمام سطوح بدون اصطکاك می باشند. نیروي F به صورت افقی به روي سطح شیبداري با زاویه شیب فصل : 5 نیرو ها 40- شخصی به جرم جرم به وسیله طنابی که از روي قرقره بدون اصطکاکی عبور کرده و به یک کیسه شن به متصل است از ارتفاع h پایین می آید. اگر شخص از حال سکون شروع به حرکت کرده باشد با چه سرعتی به

Διαβάστε περισσότερα

هدف از انجام این آزمایش بررسی رفتار انواع حالتهاي گذراي مدارهاي مرتبه دومRLC اندازهگيري پارامترهاي مختلف معادله

هدف از انجام این آزمایش بررسی رفتار انواع حالتهاي گذراي مدارهاي مرتبه دومRLC اندازهگيري پارامترهاي مختلف معادله آزما ی ش پنج م: پا س خ زمانی مدا رات مرتبه دوم هدف از انجام این آزمایش بررسی رفتار انواع حالتهاي گذراي مدارهاي مرتبه دومLC اندازهگيري پارامترهاي مختلف معادله مشخصه بررسی مقاومت بحرانی و آشنایی با پدیده

Διαβάστε περισσότερα

7- روش تقریب میانگین نمونه< سر فصل مطالب

7- روش تقریب میانگین نمونه< سر فصل مطالب 1 بنام خدا بهینه سازی شبیه سازی Simulation Optimization Lecture 7 روش تقریب میانگین نمونه Sample Average Approximation 7- روش تقریب میانگین نمونه< سر فصل مطالب 2 شماره عنوان فصل 1-7 معرفی 2-7 تقریب 3-7

Διαβάστε περισσότερα

جلسه ی ۱۱: درخت دودویی هرم

جلسه ی ۱۱: درخت دودویی هرم دانشکده ی علوم ریاضی ساختمان داده ا بان جلسه ی : درخت دودویی هرم مدر س: دکتر شهرام خزاي ی نگارنده: احمدرضا رحیمی مقدمه الگوریتم مرتب سازی هرمی یکی دیگر از الگوریتم های مرتب سازی است که دارای برخی از بهترین

Διαβάστε περισσότερα

هر عملگرجبر رابطه ای روی يک يا دو رابطه به عنوان ورودی عمل کرده و يک رابطه جديد را به عنوان نتيجه توليد می کنند.

هر عملگرجبر رابطه ای روی يک يا دو رابطه به عنوان ورودی عمل کرده و يک رابطه جديد را به عنوان نتيجه توليد می کنند. 8-1 جبررابطه ای يک زبان پرس و جو است که عمليات روی پايگاه داده را توسط نمادهايی به صورت فرمولی بيان می کند. election Projection Cartesian Product et Union et Difference Cartesian Product et Intersection

Διαβάστε περισσότερα

فصل اول هدف های رفتاری: پس از پایان این فصل از هنرجو انتظار می رود: 5 روش های اجرای دستور را توضیح دهد. 6 نوارهای ابزار را توصیف کند.

فصل اول هدف های رفتاری: پس از پایان این فصل از هنرجو انتظار می رود: 5 روش های اجرای دستور را توضیح دهد. 6 نوارهای ابزار را توصیف کند. فصل اول آشنایی با نرم افزار اتوکد هدف های رفتاری: پس از پایان این فصل از هنرجو انتظار می رود: 1 قابلیت های نرم افزار اتوکد را بیان کند. 2 نرم افزار اتوکد 2010 را روی رایانه نصب کند. 3 محیط گرافیکی نرم

Διαβάστε περισσότερα