نتایج جستجو برای: صوری سازی

تعداد نتایج: 106807  

هدف از این پژوهش، تعیین سهم نسبی تأثیر فرایند تبدیل دانش بر  مؤلفه­های سرمایه‌ی فکری در  دانشگاه­های­ دولتی اصفهان، با تأکید بر اجتماعی ­سازی دانش بوده است. سؤال‌های پژوهش برمبنای تعیین سهم نسبی تأثیر فرایند تبدیل دانش(اجتماعی سازی، برونی سازی، ترکیب و درونی سازی) بر  مؤلفه­های سرمایه‌ی فکری (سرمایه‌ی انسانی، ساختاری و مشتری) با تأکید بر اجتماعی­ سازی دانش تدوین و بررسی شد. روش پژوهش، توصیفی از...

هدف : شناسائی و رتبه بندی عوامل مؤثر در پیاده سازی مدیریت دانش در کتابخانه های دانشگاهی استان یزد می باشد. روش: روش انجام پژوهش پیمایشی – تحلیلی و جامعه آن شامل تعداد 120 کتابدار شاغل در کتابخانه های دانشگاهی استان یزد در سال تحصیلی 93-1392می باشد که با استفاده از فرمول کوکران تعداد 92 نفر از آنها بصورت تصادفی و به عنوان نمونه انتخاب شدند. ابزار گردآوری داده، پرسش نامه محقق ساخته با مقیاس 5 درج...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1391

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

Journal: :زبان و ادب فارسی 0

معانی مفاهیم«اولی،ضروری،بدیهی،یقینی»به ظاهر،روشن است، اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛به تبع این مواضع و مباحث مختلف،معانی آنها نیز تا حدی تغییر کرده و مختلف خواهد بود.در این مقاله سعی داریم این مواضع و اختلاف معانی را روشن کنیم.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده فنی مهندسی 1389

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

ژورنال: :فصلنامه علمی - ترویجی مدیریت ارتباطات در رسانه های ورزشی 2015
فاطمه دولتشاه رضا صابونچی حمید قاسمی

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده ادبیات و علوم انسانی 1388

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

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

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

ژورنال: :فصلنامه سیاست های متعالیه 0
نجف لکزایی محمد سنقری

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

ژورنال: :فصلنامه نقد کتاب فلسفه،کلام و عرفان 0
اسدالله فلاحی

کتاب فرهنگ نامه منطق اثر نرگس نیمروزی،از انتشارات سال 1392 در حجم 957 صفحه،واژگان تخصصی منطق قدیم و جدید را به صورت توصیفی معرفی می کند. این کتاب، به ویژه در بخش مباحث منطق جدید، دچار ایرادهای جدی ای است که در این مقاله به پاره ای از آنها به عنوان مشت نمونۀ خروار و در قالب چهار بخش زیر اشاره خواهیم کرد: 1. گزینش های بی دلیل مدخل ها 2. برداشت های نادرست فراوان از متون اصلی، (و در نتیجه، ابهام ها...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید