فی فوو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

فی فوو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود تحقیق کمک پایان نامه با موضوع عکاسی

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

دانلود تحقیق کمک پایان نامه با موضوع عکاسی


دانلود تحقیق کمک پایان نامه با موضوع عکاسی

دانلود پروژه پایان نامه با موضوع نگاه و معنا در هنر عکاسی که شامل 115 صفحه میباشد:

نوع فایل : Word

پایان‌ نامه‌ جهت‌ اخذ مدرک‌ کارشناسی‌ رشته‌ عکاسی‌ 

موضوع‌ نظری‌

نگاه‌ و معنا در هنر عکاسی‌ 

موضوع‌ عملی‌

عکاسی‌ ماکروفتوگرافی‌ (چشم‌ها)

پیشگفتار:

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

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

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

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

فهرست مطالب
عنوان صفحه
- پیشگفتار................................................ 1
- مقدمه..................................... 3
فصل اول – دستگاه بینایی.......................................... 8
فصل دوم – ژاک لکان............................................ 13
1-2- لحظة رویت چگونگی دیدن از دیدگاه ژاک لکان.............. 15
2-2- چشم – روشنایی.................... 29
فصل سوم – رولان بارت.................................... 35
1-3- رویت در عکاسی از دیدگاه رولان بارت......................................................... 38
فصل چهارم – دیدن در عکاسی.................................... 45
1-4- خواستگاه عکاسی...................................... 46
2-4- دیدن و مشاهده عکاس – هنرمند......... 51
فصل پنجم – زیبایی شناسی در عکاسی............................. 62
1-5- گزینش کادر............................................... 63
2-5- نحوة ارائه عکس........................................ 70
3-5- نگاه و معنا........................................ 72
فهرست منابع و مأخذ.................................. 83
گزارش کار عملی.......................................... 85


دانلود با لینک مستقیم


دانلود تحقیق کمک پایان نامه با موضوع عکاسی

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

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

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


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

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

 

 

 

 

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:48

فهرست مطالب :

پیش‌بینی پیشرفت نانوتکنولوژی با کمک شاخصهای علم و فناوری 1

مرکز جدید نانوتکنولوژی ارتش آمریکا 11

همکاری تایوان با کانادا در زمینة نانوتکنولوژی 14

گزارشی از شرکتهای نانوتکنولوژی ژاپن 16

تلاش برای توسعة نانوتکنولوژی در اروپا 18

سرمایه‌گذاری در نانوتکنولوژی 18

امتیازی برای ساخت حسگرهای زیستی 20

اولین نمایشگاه بین‌المللی نانوتکنولوژی در سوئیس 21

اندازه‌گیری؛ چالشی در نانوتکنولوژی 23

ذخیرة 250 ترابیت در یک اینچ مربع 25

حسگرهای هیدروژنی جدید 27

تولید هزاران کیلو نانوذرات در یک شرکت نانومواد 28

دو موفقیت بزرگ در ترانزیستور تک سلولی 30

تهیة زیروژلهای کروموفوریک 32

توسعة کریستال فوتونیک 34

انستیتو نانوتکنولوژی نظامی 35

اختراع ابزار آشکارسازی DNA با درجة تفکیک بالا 42

چکیده :

قرار است نانوتکنولوژی یکی از فناوریهای کلیدی و کارآمد قرن 21 شود. قابلیت اقتصادی آن، حاکی از وجود بازاری بالغ بر چندصد میلیارد یورو برای این فناوری در دهة بعد است. بنابراین نانوتکنولوژی موجب جهت‌دهی فعالیتهای بسیاری از بخشهای صنعتی و تعداد زیادی از شرکتها در جهت آماده‌سازی آنها برای این رقابت جدید شده است. در همین زمان دولتمردان در بخشهای تحقیق و توسعه در سراسر دنیا نیز در حال اجرای برنامه‌های تحقیقاتی خاص در زمینة نانوتکنولوژی هستند تا آیندة کشورهای خود را به وضعیتی مطلوب برسانند. هدف این مقاله، استفاده از شاخصهای تکنولوژیکی و علمی برای پیش‌بینی پیشرفت اقتصادی و مقایسة وضعیت کشورهای مختلف است.

1- مقدمه

علوم نانو در دو دهه گذشته، پیشرفت بزرگی حاصل کرده است. ما شاهد کشفیات علمی و پیشرفتهای تکنولوژیکی مهمی بوده‌ایم. به عنوان مثال، این پیشرفتها شامل اختراع میکروسکوپ تونل‌زنی پیمایشگر (STM) در سال 1982 ]1[ یا کشف فولرینها در سال 1985 می‌باشد]2[. در حال حاضر تعداد اندکی از محصولات مبتنی بر نانوتکنولوژی به استفادة تجاری رسیده‌اند. با این وجود، آیا دانش واقعی علمی، جوابگوی اشتیاق جهانی نسبت به این فناوری هست ؟ تا چه حد احتمال دارد که بازار جهانی در طی 10 تا 15 سال آینده به هزار میلیارد دلار در سال برسد]3[؟

ارزیابی قابلیت فناوریهای تکامل یافته کار آسانی نیست و برای یک فناوری جدید مثل نانوتکنولوژی، این کار دشوارتر است. البته در پیش‌بینی سعی می‌شود از شاخصهایی استفاده شود که توانشان در پیش‌بینی قابلیت دیگر فناوریهای جدید به اثبات رسیده باشد. دو تا از واضح‌ترین شاخصهای پیش‌بینی، تعداد مقاله‌های علمی و تعداد اختراعات ثبت شده هستند. اولی معمولاً شاخص خوبی برای فعالیتهای علمی و دومی برای قابلیت انتقال نتایج علمی به کاربردهای عملی است. شکل 1 تکامل تدریجی انتشارات و اختراعات نانوتکنولوژی از شروع دهة 1980 تا 1998 را نشان می‌دهد. اطلاعات انتشارات جهانی نانوتکنولوژی از داده‌های Science Citation Index (SCI) اقتباس شده است. اختراعات نانو، آنهایی هستند که در European Patent Office (EPO) در مونیخ ثبت شده‌اند. اختراعاتEPO داده‌های بسیاری از کشورها را در بر می‌گیرد. از نظر گسترة کار و هزینة بالا، منطقی به نظر می‌رسد که مخترعین از اختراعات به صورت تجاری بهره‌برداری کنند. لیستی از کلمات کلیدی علوم و فناوری نانو جهت دستیابی به انتشارات، اختراعات و روشها منتشر شده‌است]4[.

تعداد انتشارات در سالهای 1980 و 1985 نسبتاً اندک است، اما در سالهای بعد سیر صعودی می‌یابد و از سال 1986 به بعد سرعت افزایش آنها محسوس می‌باشد. این تغییر ناگهانی را می‌توان به اختراع میکروسکوپ تونل‌زنی پیمایشگر در چند سال قبل از آن]1[، آغاز حضور وسایل تحقیقاتی مفید در آزمایشگاههای تحقیقاتی، دانشگاهی و صنعتی و نیز توجه تحقیقات به سوی مقیاس نانو نسبت داد. افزایش سرعت انتشار مقالات همچنان ادامه پیدا کرده و سیر صعودی آنرا می‌توان ناشی از دسترسی به میکروسکوپ نیروی اتمی که گسترة کاربرد وسیعتری نسبت به STM در مواد غیرهادی دارد (اختراع در سال 1986 ]5[) و نیز کشف مولکول C60 در سال 1985

2[ و یا نانولوله‌های کربنی در سال 1991 ]6[ دانست. افزایش تعداد انتشارات در بازة زمانی 1989 تا 1998 بسیار چشمگیر است؛ جهش از 1000 مقاله تا بیش از 12000 مقاله در سال 1998.

میانگین رشد سالانه معادل 27 درصد بوده و رشد سالیانه از 10 تا 80 درصد در نوسان است. اطلاعات بدست آمده از دفتر ثبت اختراعات ایالات متحده]7[ نیز رشدی مشابه با اطلاعات اروپا نشان می‌دهد.

تعداد اختراعات ثبت شده، شاخص‌ مناسبی برای اندازه‌گیری ظرفیت آزمایشگاهها جهت انتقال نتایج تحقیقات به مصارف صنعتی می‌باشد. شکل (1) بیانگر گسترش تعداد اختراعات نانوتکنولوژی در EPO و انتشارات علمی در یک دوره یکسان می‌باشد. به طور معمول، تعداد اختراعات پیرو الگوی انتشارات علمی، البته با تأخیر زمانی محسوسی می‌باشد. منحنی فوق در تمام سالهای 1981 تا 1998 رشد مشخص 28 تا 180 عددی اختراعات را با ضریب رشد %7 در دهة 90 نشان می‌دهد. منحنی اختراعات نوسانات بیشتری را نسبت به منحنی انتشارات نشان می‌دهد. این امر به این علت است که هرگاه تعداد داده‌ها کمتر باشد، نوسانات آماری تاثیرات بیشتری بر روی آنها می‌گذارد. به علاوه پیشرفتهای صنعتی در هر سال تأثیر بیشتری بر روی اختراعات دارد.

تکامل فعالیتهای تکنولوژیکی و علمی نانوتکنولوژی را می‌توان با فناوریهای قبلی مقایسه کرد. در وهلة اول می‌توان از مدل توسعه تکنولوژیکی عمودی (Lineal) استفاده کرد. گراپ]8[، برای چنین مدلی که در شکل (2) به آن اشاره شده است، هشت مرحله را ارائه داده و تکامل از تحقیقات بنیادی تا ورود آن به تولیدات را تشریح نموده است. مرحلة (1) زمان شروع کار تحقیقاتی علمی را نشان می‌دهد. هنگامی که فناوری شروع به ظاهر شدن می‌کند، پیشرفت بیشتری در علوم مشاهده می‌شود (مرحله 2). در مرحلة (3) درک اصول علمی بیشتر شده و اولین نمونه‌های تکنولوژیکی ظاهر می‌گردند.

در مرحلة 4 مشکلات انتقال فناوری به کاربردهای تجاری نمایان می‌شود و در مرحلة 5 پیشرفت در علوم و فناوری راکد می‌ماند. با جهت‌دهی مجدد تحقیقات صنعتی، فرصتهای جدیدی ظاهر می‌شود (مرحله 6) و استفاده‌های تجاری که باعث شروع تحقیقات هزینه‌بر صنعتی می‌شود آشکار می‌گردد (مرحله 7). نهایتاً ورود به تمام بازارها انجام شده و با تولید محصولات حاصل از اختراعات، میزان تحقیقات انک اندک کاهش می‌یابد (مرحلة 8).

2[ و یا نانولوله‌های کربنی در سال 1991 ]6[ دانست. افزایش تعداد انتشارات در بازة زمانی 1989 تا 1998 بسیار چشمگیر است؛ جهش از 1000 مقاله تا بیش از 12000 مقاله در سال 1998.

میانگین رشد سالانه معادل 27 درصد بوده و رشد سالیانه از 10 تا 80 درصد در نوسان است. اطلاعات بدست آمده از دفتر ثبت اختراعات ایالات متحده]7[ نیز رشدی مشابه با اطلاعات اروپا نشان می‌دهد.

تعداد اختراعات ثبت شده، شاخص‌ مناسبی برای اندازه‌گیری ظرفیت آزمایشگاهها جهت انتقال نتایج تحقیقات به مصارف صنعتی می‌باشد. شکل (1) بیانگر گسترش تعداد اختراعات نانوتکنولوژی در EPO و انتشارات علمی در یک دوره یکسان می‌باشد. به طور معمول، تعداد اختراعات پیرو الگوی انتشارات علمی، البته با تأخیر زمانی محسوسی می‌باشد. منحنی فوق در تمام سالهای 1981 تا 1998 رشد مشخص 28 تا 180 عددی اختراعات را با ضریب رشد %7 در دهة 90 نشان می‌دهد. منحنی اختراعات نوسانات بیشتری را نسبت به منحنی انتشارات نشان می‌دهد. این امر به این علت است که هرگاه تعداد داده‌ها کمتر باشد، نوسانات آماری تاثیرات بیشتری بر روی آنها می‌گذارد. به علاوه پیشرفتهای صنعتی در هر سال تأثیر بیشتری بر روی اختراعات دارد.

تکامل فعالیتهای تکنولوژیکی و علمی نانوتکنولوژی را می‌توان با فناوریهای قبلی مقایسه کرد. در وهلة اول می‌توان از مدل توسعه تکنولوژیکی عمودی (Lineal) استفاده کرد. گراپ]8[، برای چنین مدلی که در شکل (2) به آن اشاره شده است، هشت مرحله را ارائه داده و تکامل از تحقیقات بنیادی تا ورود آن به تولیدات را تشریح نموده است. مرحلة (1) زمان شروع کار تحقیقاتی علمی را نشان می‌دهد. هنگامی که فناوری شروع به ظاهر شدن می‌کند، پیشرفت بیشتری در علوم مشاهده می‌شود (مرحله 2). در مرحلة (3) درک اصول علمی بیشتر شده و اولین نمونه‌های تکنولوژیکی ظاهر می‌گردند.

در مرحلة 4 مشکلات انتقال فناوری به کاربردهای تجاری نمایان می‌شود و در مرحلة 5 پیشرفت در علوم و فناوری راکد می‌ماند. با جهت‌دهی مجدد تحقیقات صنعتی، فرصتهای جدیدی ظاهر می‌شود (مرحله 6) و استفاده‌های تجاری که باعث شروع تحقیقات هزینه‌بر صنعتی می‌شود آشکار می‌گردد (مرحله 7). نهایتاً ورود به تمام بازارها انجام شده و با تولید محصولات حاصل از اختراعات، میزان تحقیقات انک اندک کاهش می‌یابد (مرحلة 8).

و...

NikoFile


دانلود با لینک مستقیم


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

پروژه تعیین مدول یانگ چوب به کمک تست ضربه

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

این مجموعه درباره بررسی تعیین مدول یانگ چوب به کمک تست ضربه میباشد که در مجموع 10 صفحه در قالب PDF ارائه میگردد


دانلود با لینک مستقیم


پروژه تعیین مدول یانگ چوب به کمک تست ضربه

دانلود کمک پایان نامه بررسی نقش رسانه‌های جمعی در الگوپذیری و رفتار کودکان

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

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

 

فهرست عناوین این پایان نامه 184 صفحه ای عبارتند از :

  • پیشگفتار
  • مقدمه

فصل اول : مبانی نظری تحقیق    

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

فصل دوم: رسانه چیست و چه توانایی‌هایی دارد؟    

  • ارتباط جمعی-  تاریخچه رسانه‌های جمعی    
  • کارکرد رسانه‌های جمعی    
  • وظیفه رسانه چیست؟    
  • قدرت تأثیر رسانه‌های جمعی    

فصل سوم: جهان جدید تلویزیون    

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

فصل چهارم: یادگیری از تلویزیون    

  • چگونگی یادگیری از تلویزیون    
  • موارد یادگیری اتفاقی    
  • میزان هوش و رفتار کودک در ارتباط با برنامه‌های تلویزیون    
  • چه آموزشی را باید انتظار داشته باشیم؟    
  • تلویزیون در مدرسه    
  • چگونگی اکتساب در کودکان    
  • مقایسه    

فصل پنجم: تاثیرات جسمی و روانی تلویزیون بر کودکان    

  • الگوی تأثیر- رسانه
  • تلویزیون به کودکان چه می‌دهد؟    
  • الگوی تأثیر- کودک    
  • الگوی تأثیر- تعامل    
  • دیگر ویژگیهای تعامل    
  • اثرات فیزیکی تلویزیون بر کودکان    
  • آیا تلویزیون بر بینایی کودکان اثر بدی دارد؟    
  • آیا تلویزیون کودکان را خواب آلود و خسته به مدرسه می‌فرستد؟    
  • اثرات عاطفی تلویزیون برکودکان    
  • اثرات شناختی تلویزیون بر کودکان    
  • آیا تلویزیون حاوی تصویر غیر دقیقی از زندگی بزرگسالان است؟    
  • آیا تلویزیون موجب بزرگسالی زود رس میشود ؟    
  • اثرات رفتاری    
  • آیا تلویزیون کودکان را منفعل می‌کند؟    
  • آیا خشونت ارائه شده در تلویزیون، آموزش خشونت می‌دهد؟    
  • نتیجه گیری
  • پیامدهای منفی تلویزیون

فصل ششم: اینترنت رسانه جدید قرن بیستم    

  • اینترنت چیست؟    
  • فواید اینترنت برای کودکان
  • خطرات اینترنت
  • سودجویان از اینترنت برای به دام انداختن کودکان استفاده می‌کنند
  • مطالب نامناسب و غیر مجاز در اینترنت
  • ارتکاب جرایم: بمبها، مواد مخدر، دزدی و شخصیتهای غیر واقعی    
  • تهاجم به حریم خصوصی
  • چگونگی اجتناب و کاهش خطراتی که کودکان در ایترنت با آن مواجهند
  • نتیجه گیری و آزمون فرضیات
  • منابع مآخذ

 


دانلود با لینک مستقیم


دانلود کمک پایان نامه بررسی نقش رسانه‌های جمعی در الگوپذیری و رفتار کودکان

دانلود مقالات ISI یادگیری به کمک قضیه اثبات با میلیونها لم

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

موضوع فارسی : یادگیری به کمک قضیه اثبات با میلیونها  لم

موضوع انگلیسی : Learning-assisted  theorem  proving with millions of  lemmas

تعداد صفحه : 20

فرمت فایل :pdf

سال انتشار : 2015

زبان مقاله : انگلیسی

چکیده

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

کلمات کلیدی: یادگیری ماشین هوش مصنوعی معدن ذره لم


دانلود با لینک مستقیم


دانلود مقالات ISI یادگیری به کمک قضیه اثبات با میلیونها لم