تشخیص نقص (مقاله رایگان pdf)

چکیده

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

سیستم عامل تلفن همراه (مقاله رایگان pdf)

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

نرم ‌افزارهای پیشرفته (مقاله رایگان pdf)

چکیده

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

پروژه های ساختمانی (مقاله رایگان pdf)

چکیده 

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

ابزاری از متلب (مقاله رایگان pdf)

چکیده

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

نتایج: با استفاده از تعدادی از جایگاه‌های ریزآرایه و گونه‌ها، مصرف‌کنندگان قادرند تا امتیازات PRS را به همراه امتیاز z مطابق برای مقایسه محاسبه کنند. ارزیابی بیشتر اهمیت مسیر ممکن است برای افزایش اعتماد به مسیرهای به‌دست‌آمده انجام شود و مصرف‌کنندگان می‌توانند دایره المعارف Kyoto نمودارهای مسیر ژن و ژنوم را که برای تأکید بر ژن‌های نهفته علامت‌گذاری شده است، ببینند.

نتیجه‌گیری: ابزار PRS، فیلتری برای منزوی‌سازی بینش‌های زیستی از داده‌های نسخه‌برداری‌شده پیچیده ارائه می‌کند.

بهداشت و درمان هوشمند (مقاله رایگان pdf)

چکیده

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

طراحی چیدمان حفره (مقاله رایگان pdf)

چکیده

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

طراحی گیمیفیکیشن (مقاله رایگان pdf)

چکیده 

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

طراحی چیدمان تسهیلات (مقاله رایگان pdf)

چکیده

         در این مقاله یک روش تحلیل پوششی برای داده های فازی شبیه سازی شده به صورت فازی یکپارچه (FDEA) –فرآیند تحلیلی سلسله مراتبی (AHP) برای مقابله با مشکلات طراحی جریان طرح بندی(FSFLD) با ورودی ها و خروجی های غیر فطعی ارائه شده است.ورودی ها و خروجی های غیر قطعی به عنوان عملیات،کیفی، و شاخص های وابسته غیر واضح مطرح می شوند.در ابتدا طرح های امکان پذیر پیشنهاد شده به وسیله یک بسته نرم افزاری تولید می شود. سپس ، AHP فازی برای سنجش وزن کیفی داده های غیر واضح مورد استفاده قرار می گیرد(نگهداری،در دسترس بودن،و انعاف پذیری).سپس شبیه سازی فازی را می توان برای ترکیب عدم قطعیت با زمان پردازش در فلو شاپ(Flow shop) با در نظر گیری تمامی گزینه های طرح بندی تولیدی با ورودی نا مشخص مورد استفاده قرار داد.خروجی شبیه سازی فازی یا شاخص های عملیاتی نا مشخص عبارتند از ،میانگین زمان انتظار در صف، میانگین زمان حضور در سیستم، و میانگین استفاده از ماشین آلات است.در نهایت ، FDEA برای یافتن طرح مطلوب جایگزین در میان تمامی جایگزین های ممکن و با توجه به شاخص های عملیاتی، کیفی و شاخص های وابسته به طرح (مانند فاصله،مجاورت و نسبت شکل) مورد استفاده قرار می گیرد.روش یکپارچه این مطالعه دقیق تر و کارآمد تر از مطالعات قبلی با ورودی های مبهم است.همچنین در این مقاله تجزیه و تحلیل جامعی در مورد مشکلات FSFLD با استفاده از شاخص های عملیاتی، درونی، فازی آورده شده است.اعتبار سنجی و تایید نتایج با استفاده از  DEA برای تجزیه و تحلیل مولفه های اصلی، و طبقه بندی عددی انجام شده است.ویژگی منحصر به فرد این مطالعه توانایی مقابله با ورودی ها و خروجی های متعدد غیر قطعی می باشد.همچنین از برنامه نویسی ریاضی فازی برای بهبود  طرح های پیشنهادی مطلوب استفاده شده است.علاوه بر آن این یک ابزار عملی است و می توان آن را بر روی نمونه های واقعی با در نظر گیری جنبه های نامشخص فرآیند تولید در داخل مشکلات FSFLD  به کار برد.

روش های فازی چندمعیاری (مقاله رایگان pdf)

چکیده 

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