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

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

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

در این سخنرانی که به مناسبت مجمع عمومی انجمن ایرانی زبان و ادبیات فرانسه در تاریخ 30 اردیبهست 1389 در دانشگاه تهران ایراد شد، پژوهشگر به بررسی پیوندی می پردازد که گراک با جنبش سورئالیست بر قرار می کند و این در حالی است که شکل ظاهری آثار نویسنده به نوعی کلاسیک تلقی می شود. تفسیری که گراک از جنبش سورئالیست دارد، آن را از تمامی جنبه های نا خالص آن عاری می سازد و در نتیجه این جنبش را به سوی اساس مدرنیته در هنر سوق می دهد. منظور آن مدرنیته ای است که در اوایل قرن بیستم در تقابل با مفهوم «بورژازی» فرهنگ سر برافراشت. از سوی دیگر این مدرنیته کلیدی است برای خوانش نه تنها آثار داستانی گراک بلکه برای درک آثار نقد این نویسنده.