جستجوي پيشرفته | کتابخانه مجازی الفبا

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

چکیده ندارد.

سوسری هال بخاطر وضعیت بدنی خاص، بیولوژی، عادات ورفتار ویژهمستعد بخطر انداختن سلامتی انسان هستند.داشتن اگاهی از سوسری ها و زیان های حاصله، مهمترین راه جلوگیری از این خطرات است که بدین منظور این تحقیق بر مبنای دستیابی به چنین آگاهی در بیمارستان و منازل مسکونی شهر اسلام آباد غرب به انجام رسید. 4 گونه سوسری در منطقه شناسایی شد که گونه اس.1 برای اولین بار در منطقه گزارش شد. 12 نوع باکتری از سوسری ها جدا شد که استافیلوکوک غیر بیماری زا دارای بیشترین میزان بود.از نظر آلودگی انگلی سه عدد از یک نوع تک یاخته ‏‎Entamoeba coli‎‏ و یک عدد از یک شبه نماتد ‏‎Nematodomorpha‎‏ از دستگاه گوارش سوسری ها تشخیص داده شد.پس از آلوده کردن مصنوعی سوسری آلمانی به باکتری ‏‎E.coli‎‏ تا مدت 17 روز بعد از تماس، باکتری مورد نظر از سوسری ها جدا شد.

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