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

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

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

در سالهاي اخير تلاشهاي زيادي براي طراحي روشهاي يادگيري و خودکار سازي فرايند ساخت هستان نگار در جهان انجام شده است. هستان نگارها در زمينه هاي زيادي نظير وب معنايي، جويشگرها، تجارت الکترونيکي، پردازش زبان طبيعي، مهندسي دانش، استخراج و بازيابي اطلاعات، طراحي دادگان، سامانه‌هاي چند کارگزاره و کتابخانه‌هاي ديجيتال و غيره کاربرد دارند. مشکل عمده در ساختن هستان نگارها، اکتساب دانش و زمانبر بودن ساخت آنها براي کاربردهاي مختلف است. بنابراين ساخت خودکار هستان نگار راه حل مناسبي براي چيره شدن بر اين مشکلات است. در دو دهة اخير فعاليت‌هاي زيادي در زمينة يادگيري هستان نگار انجام شده و روش ها، ابزارها و سامانه‌هاي مختلفي نيز ارائه شده که از روشها و الگوريتم هاي رشته‌هاي مختلفي مانند پردازش زبان طبيعي، يادگيري ماشيني، اكتساب دانش، استخراج اطلاعات ، پردازش نمادين و احتمالاتي بهره مي‌‌گيرند. سامانه‌هاي پيشنهاد شده در بسياري از شاخصها، خصيصه‌ها و روشهاي يادگيري از ساير سامانه‌هاي متمايز هستند. در اين رساله روش نويني براي يادگيري هوشمند هستان نگار در تمام سطوح يادگيري ارائه شده که مي توان از آن در کاربردها و حوزه‌هاي مختلف استفاده کرد. در اين روش نيازي به وجود هستان نگارهاي عمومي يا تخصصي اوليه و واژگان معنايي از پيش تعريف شده نبوده و پايگاه دانش اولية آن تنها شامل مجموعه‌اي از متون ورودي است. سامانة يادگيرندة پيشنهادي با شروع از متون ورودي و با استفاده از رهيافت پيشنهادي در اين رساله قادر خواهد بود هستان نگار حوزه‌هاي مختلف را استخراج کند. در اين روش از ترکيبي از روشهاي زباني، آماري، مبتني بر الگو و روشهاي يادگيري ماشين بر اساس روش C-value، شبکه عصبي نظرية تشديد وفقي و شبکة بيز استفاده شده است. از طرفي به منظور مواجهه با عدم قطعيت داده‌ها و غني سازي هستان نگار قطعي، با استفاده از ترکيب شبکة عصبي و نظرية فازي روش نويني براي استخراج هستان نگار فازي پيشنهاد شده است. از اين روش در استخراج هستان نگارهاي قطعي و فازي حوزة فنّاوري اطلاعات استفاده شده است. هستان نگارهاي استخراج شده به منظور جستجوي معنايي اسناد کتابخانة محلي (که در آن اسناد مرتبط با حوزة فنّاوري اطلاعات قرار داده شده) بر اساس رويکرد بسط پرسمان به‌کار برده شده‌اند. نتايج حاصل از پياده‌سازي هستان نگار فازي بيانگر دقت بالاتر حدود 0/07 و نتايج حاصل ازپياده‌سازي هستان نگار قطعي بيانگر دقت بالاتر حدود 05/0 نسبت به روشهاي مبتني بر کليد واژه است. همچنين ميانگين دقت مفاهيم هستان نگار فازي حدود 0/09 و ميانگين دقت مفاهيم هستان نگار قطعي حدود 06/0 نسبت به ميانگين دقت مفاهيم ساير روشهاي مشابه بهبود داشته است.

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

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

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

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

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

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

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