دروس منطق صوری

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

کتاب «دروس علم منطق» شامل یک دوره کامل از دروس علم منطق صوری میباشد که با روشی نوین به رشته تحریر درآمده است. نویسنده این اثر «سیدرضا حسینی نسب»، فقیه، فیلسوف، شاعر و نویسنده علوم شیعه مقیم کشور کانادا است. وی مدیریت و امامت مرکز اسلامی هامبورگ را تا سال 1382 برعهده داشت.

پاور پوینت پیاده سازی مدارهای منطق فازی

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

دانلود پاور پوینت پیاده سازی مدارهای منطق فازی با فرمت ppt و قابل ویرایش تعداد اسلاید 27

دانلود پاور پوینت آماده

مقدمه

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

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

کتاب دروس علم منطق ( نویسنده : سید رضا حسینی نسب )

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

توضیحات : 

کتاب “دروس علم منطق” شامل یک دوره کامل از دروس علم منطق صوری می باشد که با روشی نوین به رشته تحریر در آمده است. نویسنده ی این اثر سید “سید رضا حسینی نسب”، فقیه، فیلسوف، شاعر، و نویسنده علوم شیعه مقیم کشور کانادا است. وی مدیریت و امامت مرکز اسلامی هامبورگ را تا سال ۱۳۸۲ بر عهده داشت.

نام کتاب : دروس علم منطق
نویسنده : سید رضا حسینی نسب
تعداد صفحه  : 203

منطق فازی 65 صفحه

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

منطق فازی

65 صفحه در قالب word

فهرست مطالب:

• چکیده 

• مقدمه ( چرا سیستم های فازی؟)

• تاریخچة مختصری از نظریه و کاربردهای فازی 

• زندگینامة پروفسور لطفی‌زاده 

• منطق فازی 

5- متغیرهای زبانی 

6-  سیستم های فازی چگونه سیستم هایی هستند ؟ 

     6-1) سیستم های فازی خالص 

     6-2) سیستم فازی TSK 

     6-3) سیستم فازی ساز و غیرفازی ساز 

7- سیستم های فازی کجا و چگونه استفاده می شوند ؟

8- تئوری مجموعه های فازی 

9- مفاهیم مشترک منطق فازی و کلاسیک 

10- روابط فازی 

11- ساخت قوانین فازی 

11-1) ویژگی های مجموعه فازی 

12- موتور استنتاج 

         12-1) ستنتاج مبتنی بر ترکیب قواعد 

    12-2) استنتاج مبتنی بر قواعد جداگانه 

13- فازی ساز ها 

14- غیرفازی سازی 

15-یک مثال کلی 

   منابع 

مقدمه :

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

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

دکتر لطفی زاده در سال 1921 در شهر باکو در جمهوری آذربایجان به دنیا آمد. پدرش یک ژورنالیست ایرانی بود که در آن زمان به دلایل شغلی در باکو بسر می برد و مادرش یک پزشک روس بود.
وی ده ساله بود که در اثر قحطی و گرسنگی سراسری پدید آمده در سال 1931، به اتفاق خانواده به وطن پدری اش ایران بازگشت. لطفی زاده در دبیرستان البرز تهران، تحصیلات متوسطه را به پایان رساند و در امتحانات کنکور سراسری، مقام دوم را کسب نمود. در سال 1942 رشته الکترونیک دانشگاه تهران را با موفقیت به پایان رساند و در طی جنگ دوم جهانی برای ادامه تحصیلات به آمریکا رفت.
او در سال 1946 موفق به اخذ مدرک لیسانس از دانشگاه ماساچوست شد. در سال 1949 به دریافت مدرک دکترا از دانشگاه کلمبیا نائل شد و در همین دانشگاه با تدریس در زمینه "تئوری سیستم ها" کارش را آغاز کرد. او در سال 1959 به برکلی رفت تا به تدریس الکتروتکنیک بپردازد و در سال 1963 ابتدا در رشته الکتروتکنیک و پس از آن در رشته علوم کامپیوتر کرسی استادی گرفت.
لطفی زاده به طور رسمی از سال 1991 بازنشسته شده است، وی مقیم سانفرانسیسکو است و در آنجا به پروفسور "زاده" مشهور است. لطفی زاده به هنگام فراغت به سرگرمی محبوبش عکاسی می پردازد. او عاشق عکاسی است و تاکنون شخصیت های معروفی همچون روسای جمهور آمریکا، ترومن و نیکسون، رو به دوربین وی لبخند زده اند.
پروفسور لطفی زاده دارای بیست و سه دکترای افتخاری از دانشگاه های معتبر دنیاست، بیش از دویست مقاله علمی را به تنهایی در کارنامه علمی خود دارد.

فصل 1 : تفکر فازی
بر اساس مبانی و اصول علم، همه چیز تنها مشمول یک قاعده ثابت می شود که به موجب آن یا آن چیز درست یا غلط است. دانشمندان نیز در گذشته بر اساس همین منطق محیط خود را تحلیل می کردند. در علم منطق و ریاضیات نیز همین استدلال حاکم بوده است.
اشتباه علم در چنین تحلیلی بیانگر این است که آنچه را که تنها برای موارد خاصی مصداق دارد به تمام پدیده ها تعمیم داده است. در حالیکه در عالم واقعی همه چیز کاملا درست یا غلط نیست. اما تحت این شرایط، افزایش تغییر ابهام و عدم اطمینان در محیط، تصمیم گیران را با مشکلات عدیده ای مواجه کرده است. اگر مبنای تصمیم گیری، منطق کلاسیک باشد، انحراف از واقعیت افزایش خواهد یافت. در شرایطی که انحرافات اپسیلونی موجب خروج سازمان ها از صحنه رقابت می شود، استفاده از این منطق علمی صحیح به نظر نمی رسد. لذا برای توانمند سازی مدیران، که وظیفه اصلی آن ها تصمیم گیری است، در مواجهه با شرایط نامطمئن لازم است که آن ها را به علوم و فنون خاص این محیط ها مجهز کرد. واضح است که در تمامی محیط های سازمان شرایط تصمیم گیری نادقیق و مبهم است و عمدتا داده های مورد استفاده ناقص، مبهم، سربسته و نادقیق می باشند. تحلیل چنین داده هایی نیازمند منطق و دستگاه تحلیل یویژه ای است که امروزه تحت عنوان تئوری مجموعه های فازی یا منطق فازی (Fuzzy logic) به دنیا معرفی شده است.
در محیط فازی، استدلالهای انسانی عامل اصلی تصمیم گیری است. شواهد نشان می دهد که بهره وری تصمیم گیرانی که منطق فازی را به کار می گیرند، ممکن است از 3000 درصد افزایش یابد. رویکرد فازی به تصمیم گیری، می تواند امکان استنباط شهودی، ابتکارات و تجربه های انسان را فراهم کند
در مقابل منطق کلاسیک، در سال 1965 منطق فازی توسط پروفسور لطفی زاده، استاد ایران الاصل دانشگاه برکلی کالیفرنیا، طی مقاله ای تحت عنوان مجموعه های فازی (Fuzzy sets) ارائه شد. گرچه تا حدود یک دهه پیش بحث فازی با مخالفت شدید دانشمندان، ریاضیدانان و مهندسین رو به رو بود، اما به دلیل ارائه نتایج خارق العاده در مسائل عملی و بهبود قابل توجه در پدیده های کاربردی این مخالفت ها به تشویق و تحسین بدل شد. کاربرد اصلی این منطق در شرایط عدم اطمینان است. طبق این منطق، براحتی می توان بسیاری از مفاهیم و تفسیرها را که در قالب اعداد کمی نمی گنجند و به نوعی متغیر زبانی به حساب می آیند، را صورتبندی ریاضی کرد و از آن ها در جهت تصمیم گیری و استدلال استفاده کرد. بر اساس منطق فازی، این متغیرهای مبهم و نادقیق عوامل مهمی در هوشمندی انسان به شمار می آیند. بنابراین می توان گفت که در محیط فازی، استدلالهای انسانی عامل اصلی تصمیم گیری است. شواهد نشان می دهد که بهره وری تصمیم گیرانی که منطق فازی را به کار می گیرند، ممکن است از 3000 درصد افزایش یابد. رویکرد فازی به تصمیم گیری، می تواند امکان استنباط شهودی، ابتکارات و تجربه های انسان را فراهم کند.
رویکرد ستنی غربی به دنیای مدیریت بر مبنای منطق دودویی متکی بود. این نوع تحلیل در عصر اطلاعات که رایانه های دیجیتالی همه شرایط را کنترل می کنند غیر ممکن است. به طور خلاصه، مدیریت اثربخش وابسته به اخذ تصمیمات مناسب و تجزیه و تحلیل صحیح داده ها است. لذا استفاده از منطق کلاسیک موجب انحراف مدیران خواهد شد و مدیران ملزم به بررسی فاصله بین دو گزینه و به صورت یک پیوستار هستند. منطق فازی رویکردی نوین برای پاسخ به ابهامات موجود در تصمیمات بر مبنای منطق کلاسیک است. سیستم های مدیریت فازی با بهره گیری از منطق فازی، همانند حافظه انسان داده ها را پردازش کرد و اطلاعات مورد نیاز مدیران را جهت تصمیم گیری فراهم می کند. علاوه بر این، این سیستم با ترکیب شدن با شبکه های عصبی و به کارگیری توابع یادگیرنده براحتی قادر است که تجربه های مدیران را در نظر گرفته و به طور خودکار خود را به روز کند.
سیستم های مدیریت فازی با بهره گیری از منطق فازی، همانند حافظه انسان داده ها را پردازش کرد و اطلاعات مورد نیاز مدیران را جهت تصمیم گیری فراهم می کند
با به کارگیری نظریه سیستم های فازی، مدیریت قادر خواهد بود در برابر موقعیت های پویای اقتصادی و اجتماعی به طور انعطاف پذیری پاسخگو باشد. علم مدیریت فازی قادر است مدل هایی ایجاد کند که تقریبا همانند انسان، اطلاعات کیفی را به صورت هوشمند پردازش نماید. بدین ترتیب سیستم های مدیریت، انعطاف بیشتری پیدا می کنند و اداره سازمان پیچیده و بزرگ در محیط هایی با تغییرات متناوب امکان پذیر می شود.

ممکن است هنگام انتقال از فایل ورد به داخل سایت بعضی متون به هم بریزد یا بعضی نمادها و اشکال درج نشود ولی در فایل دانلودی همه چیز مرتب و کامل است

متن کامل را می توانید در ادامه دانلود نمائید

چون فقط تکه هایی از متن برای نمونه در این صفحه درج شده است ولی در فایل دانلودی متن کامل همراه با تمام ضمائم (پیوست ها) با فرمت ورد word که قابل ویرایش و کپی کردن می باشند موجود است

دانلود پروژه منطق فازی

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

فرمت فایل : word(قابل ویرایش)

تعداد صفحات:50

فهرست مطالب:

عنوان: منطق فازی

چکیده

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

منابع

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

ایجاد قاعده فازی:
در اکثر مسایل فازی، قواعد براساس تجربیات گذشته ایجاد می شود. در مسایل مورد علاقه ای که بصورت کنترل فازی یا ماشین فازی برریس می شود. طراح باید تمام روابط ورودی و خروجی راحتی بصورت جملات فازی بداند. پس از این مرحله، روابط ورودی – خروجی یا قواعد را می توان به آسانی به وسیله جملات اگر آنگاه (if…then) بیان نمود.
در فصل دوم به غیرفازی کردن منطق فازی پرداخته شده است. روند غیرفازی کردن مرحله بسیار مهم است که این مرحله می تواند موجب عملکرد موفقیت آمیز یا عدم موفقیت خروجی باشد.
همچنین به منطق فازی موقتی (TFL) که به اهمیت به زمان در سیستم های پایگاه دانش از زمانهای دور وجود داشته پرداخته شده است. در فصل سوم به کاربردهای منطق فازی پرداخته شده است.
این مباحث در بسیاری از مصنوعات به کار گرفته شده اند که مثال هایی مرتبط با این زمینه های کاربردی، بسیار زیادند: در قطارهای مترو، از منطق فازی برای تعیین بهترین زمان راه اندازی و توقف و تعیین مناسب ترین سرعت چرخش قطار استفاده می شود. منطق فازی در ماشین های لباسشویی میزان آب و تعداد دفعات آبکشی را تعیین می کند.
در دوربین ها وسایل تصویربرداری، میزان رنگ وضوح روشنایی تمرکز را تعیین می کند. در جاروبرقی ها قدرت مکش را بسته میزان و اندازه ذرات کنترل می کند.
در اتومبیل های با قدرت انتقال خودکار بهترین دنده را تعیین می نماید.
نتیجه:
منطق فازی در پیشرفت تکنولوژی و سرعت تکامل آن سهم عمده ای دارد.
در سیستم های کنترلی هوشمند، بهترین فرمان را پیدا کرده و بصورت خودکار یک اتومبیل را هدایت می کند، در سیستم های مخابراتی، سیگنال ها را پردازش کرده کانالها را تنظیم و با فرمان مناسب خود سیستم را کنترل می کند. در مهندسی مالی به کمک آنها مشخصات میزان موجودی می تواند پیشگویی شود، در تشخیص یک الگوی مناسب الگوی گفتاری و طرز نمایش بصری را تشخیص می دهد. در سیستم های امنیتی اثر انگشت و یا صدا را برای تشخیص اعتبار تایید فرد به کار می برد و در علم روباتیک منطق فازی حرکت را هدایت و کنترل کرده الگوی نوری را تشخیص داده وظایف مربوط را انجام می دهد.

مقدمه :
مغز: پردازشگر نسل جدید
نحوه جدیدی از محاسبه که منطق بولی  نامید9ه میشود و در قرن نوزدهم تکامل یافت. در این منطق پیشنهاد شد، حساب دودویی جای حساب اعشاری را بگیرد . در طول چند دهه، چنین تصور میشد که نمی توان برای این روش کاربردی یافت ؛ با این وجود همراه با پیشرفت علم مدارهای مجتمع ، منطق بولی موجب ظهور ریز پردازنده‌ها و رایانه‌های پیشرفته گردید.
رایانه‌های پیشرفته که اساس کار و برنامه‌هایشان بنا بر منطق دودویی می‌باشد، راهکار ما را در مراودات روزمره و همچنین در تبادل اطلاعات تغییر داده است و در بسیاری موارد حتی روش زندگی و فکر کردن ما را نیز توسعه ماشین های هوشمند و کاربردهایی همچون پردازش اطلاعات (داده، صوت، تصویر و غیره)، شبکه های هوشمند مخابراتی و کاربردهای کنترلی از دستگاه های تحقیقاتی گرفته تا ماشین لباسشویی شده است. علی رغم کارایی برجسته رایانه های امروزی، تقاضای روزافزونی برای رایانه های با سرعت بالاتر، حافظه‌های باظرفیت بیشتر و ماشین های هوشمند بزرگتر و باهوشتر وجود دارد. قدرت رایانه در حال افزایش و اندازه و قیمت آن در حال کاهش است. در صنعت رایانه، ادامه ارائه یک نسل جدید هر شش ماه یا یک سال، با کارایی مطلوب تر و قیمت نازل تر مورد بررسی است.
پیشرفت پیوسته علم میکروالکترونیک، اندازه ترانزیستورها را آنقدر کاهش داده که امکان اجتماع مدارات بیشتری (معادل میلیون ها ترانزیستور) در فضای کمتری از سیلیکون به وجود آمده است. در آغاز دهه 1970 تعداد ترانزیستورهایی که در یک مدار مجتمع (IIC) جای داده می شد، بیش از چند هزار نبود. حال آن که در آغاز دهه 1990 به چندین میلیون رسید. در سال 1980 بزرگترین حافظه با قابلیت دستیابی تصادفی (RAM) حدود 64 کیلوبایت بود و در اواخر دهه به یک میلیون بایت رسید که پس از پایان یافتن این دهه انتظار می رود به 64 میلیون بایت برسد. علاوه بر این، کاهش قدرت مصرفی ترانزیستورها، امکان استفاده از باتری های کوچکتر (برای استفاده در رایانه ها و تلفن های همراه) را فراهم می آورد و این در حالی است که سرعت کلید زنی وهمین طور ضریب بهره ترانزیستورها افزایش یافته است. در حال حاضر، ریزپردازنده هایی با سرعت بیش از 100 مگاهرتز توسط چندین سازنده درست شده اند و چندی طول نخواهد کشید که سرعت های چند صد مگاهرتز را داشته باشیم. تخمین زده می شود که طی چند سال آینده، برترین بازده ریزپردازنده های امروزی با قدرت عملیاتی 100 الی 150 میلیون عمل در هر ثانیه، کمترین بازده ریزپردازنده ها خواهد بود. یکی از معیارهای ارزیابی، کارایی یک پردازنده SPECint92 است. بر اساس این معیار، امروزه بالاترین کارایی SPECint92 از 100 تجاوز می کند و انتظار می رود قبل از پایان یافتن قرن حاضر به SPECint92 1000 برسد و همین که سرعت بالاتری حاصل شود، کاربردهای جدیدی با سرعت بالاتر پدیدار می شود.