Sharif Digital Repository

پیش بینی کارایی برنامه ی کلان داده و پیشنهاد منابع ناهمگون ابری بر مبنای هزینه Big Data Application Performance Prediction and Heterogeneous Resource Recommendation in Cloud

Author

آسمان منظر، محمد محسن Aseman Manzar, Mohammd Mohsen

Publisher

صنعتی شریف

Pub. Year

1399

Subjects

محیط ابری Cloud Environment / منابع ناهمگن Heterogeneous Resources / آپاچی اسپارک Apache Spark / کلان داده Big Data / برنامه های مبتنی بر گراف جهت دار بدون دور Directed Acyclic Graph (DAG)-Based Applications / پیشنهاد منابع Resource Recommendation / پیش‌بینی کارایی برنامه‌ی کلان‌داده Big Data Application Performance Prediction

Call Number

‭19-53350

جمع آوری و ترکیب دانش خبرگان برای پیش بینی خروجی رخداد Elicitation and Aggregation of Experts’ Knowledge for Event Outcome Prediction

Author

قاضی متین، آذین Ghazimatin, Azin

Publisher

صنعتی شریف

Pub. Year

1393

Subjects

تشکیل گروه Group Construction / ترکیب اطلاعات Data Fusion / مساله های ان - پی سخت NP-Hard Problems / برنامه ریزی درجه دوم Quadratic Programming / تشکیل عقاید Opinion Formation / اتحاد عقاید Opinion Pooling

Call Number

‭19-46018

وارسی مدل شبکه های فعالیت تصادفی Model Checking of Stochastic Activity Networks

Author

باقری، مریم Maryam Bagheri

Publisher

دانشگاه صنعتی شریف

Pub. Year

1392

Subjects

منطق تصادفی پیوسته Continuous Stochastic Logic / مدل پریزم PRISM Model / زنجیره مارکوف زمان پیوسته Continuous Time Markov Chain / شبکه های فعالیت تصادفی Stochastic Activity Networks / وارسی الگو Model Cheking

Call Number

‭19-44873

ارائه جبر تصادفی برای درستی یابی قراردادهای شبکه های موردی A Stochastic Process Algebra for Ad Hoc Protocols Verification

Author

طالبی، محمود Talebi, Mahmood

Publisher

صنعتی شریف

Pub. Year

1389

Subjects

ارزیابی عملکرد Performance Evaluation / شبکه خودجوش Ad Hoc Network / جبر فرایندی Process Algebra / درستی یابی Verification

Call Number

‭19-41701

وارسی مدل شبکه های فعالیت زمانی Model Checking of Timed Activity Networks

Author

سیدصالحی، مهدی Salehi, Mehdi

Publisher

صنعتی شریف

Pub. Year

1392

Subjects

وارسی الگو Model Cheking / شبکه های پتری زمانی Time Petri Networks / شبکه های فعالیت زمانی Time Activity Networks / سیستم بلادرنگ Real Time System / سیستم های وابسته به زمان Time-Dependent Systems

Call Number

‭19-44699

ارزیابی کارایی سیستم های تشخیض نفوذ شبکه های موردی متحرک با استفاده از شبکه ای فعالیت تصادفی (SANs) Performance Evaluation of MANET’s IDSs Using Stochastic Activity Networks (SANs)

Author

خسروی، مریم Khosravi, Maryam

Publisher

صنعتی شریف

Pub. Year

1392

Subjects

شبکه خودجوش سیار Mobile Ad Hoc Network / سیستم تشخیص تهاجم Intrusion Detection System / فیلتر همکارانه Collaborative Filtering / شبکه های فعالیت تصادفی Stochastic Activity Networks / ارزیابی عملکرد Performance Evaluation

Call Number

‭19-44761

رعایت حریم خصوصی برای شبکه های خودرویی بدون زیرساخت قابل اطمینان Privacy Consideration for Trustworthy Vehicular Ad Hoc Networks

Author

خمجانی، شبنم Khomejani, Shabnam

Publisher

صنعتی شریف

Pub. Year

1388

Subjects

امنیت Security / شبکه خودجوش خودرویی Vehicular Ad Hoc Network (VANET) / حریم خصوصی Privacy / امضاهای با حد آستانه Threshold Signatures / پیام آگاهی دهنده قابل اطمینان Trust Worthy Announcement

Call Number

‭52-40668

ارائه الگوریتم مضاعف سازی داده برای بهبود کارایی در مراکز داده ابری A Data Replication Algorithm to Improve Performance of Cloud Data Centers

Author

مهری، سعیده Mehri, Saeedeh

Publisher

صنعتی شریف

Pub. Year

1392

Subjects

رایانش ابری Cloud Computing / دسترس پذیری Availability / مقیاس پذیری Scalability / مرکز داده Data Center / رونوشت برداری از داده Data Replication / محبوبیت داده Data Popularity

Call Number

‭19-45667

شناسایی کاربران مؤثر در شبکه های دوبخشی و کاربرد آن در سامانه های توصیه گر Identifying Influential Users in Bipartite Networks and it’s Application in Recommender Systems

Author

طاهری، محمد Taheri, Mohammad

Publisher

صنعتی شریف

Pub. Year

1395

Subjects

سیستم توصیه گر Recommender System / شبکه های اجتماعی Social Networks / شبکه های دوقسمتی Bipartite Networks / شبکه های دوقسمتی Bipartite Networks / کاربران تاثیرگذار Influential Users / کاربران نمایان گر رفتاری Behavioral Representative Users / الگوریتم های توصیه اجتماعی Social Recommendation Algorithms

Call Number

‭19-48808

شناسایی صفحات وب آلوده‌ساز Detection of Malicious Webpages

Author

ارشد، الهام Arshad, Elham

Publisher

صنعتی شریف

Pub. Year

1394

Subjects

شناسایی Identification / امنیت Security / بدافزارها Malwares / صفحه های وب آلوده ساز Malicious Webpages / بدافزارهای تحت وب Web-based Malware / امضای تشخیص بدافزار Malware Detection Signature

Call Number

‭19-48196

مسیریابی صادقانه در شبکه های ویژه سیار Truthful Routing in Mobile Ad Hoc Networks

Author

شیرزاد، فاطمه Shirzad, Fatemeh

Publisher

صنعتی شریف

Pub. Year

1388

Subjects

گره خودخواهانه Selfish Node / نظریه بازی Game Theory / شبکه خودجوش سیار Mobile Ad Hoc Network / تحریک همکاری Cooperation Simulation / مکانیزم صادقانه Truthful Mechanism

Call Number

‭19-40594

بهینه سازی ساختار درختی در شبکه های چندپخشی رویین Tree Optimization in Overlay Multicast

Author

باقری، مریم Bagheri, Maryam

Publisher

صنعتی شریف

Pub. Year

1388

Subjects

شبکه روگستر Overlay Network / قرارداد چندبخشی لایه کاربرد Application Layer Multicast Protocol / پخش چندگانه Multicast / چندبخشی روگستر Overlay Multicast

Call Number

‭52-39952

بررسی خواص Pancyclicity شبکه OTIS On Some Pancyclicity Properties of OTIS Network

Author

شفیعی، طیبه Shafiei, Tayebeh

Publisher

صنعتی شریف

Pub. Year

1388

Subjects

شبکه واسطه Interconnect Network / مسیرها Routes / پنسایسلیسیتی Pancyclicity / مساله دور هامیلتونی Hamiltonian Cycle Problem / چندکامپیوتری اوتیس Optical Transpose Interconnection System (OTIS)Multicomputer

Call Number

‭19-40121

انتقال کارا و مقیاس پذیر پردازش در ابر محیط Efficient and Scalable Offloading in Ambient Cloud

Author

خونساری، فراز Khonsari, Faraz

Publisher

صنعتی شریف

Pub. Year

1396

Subjects

ابر محیط Ambient Cloud / انتقال پردازش Computation Offloading / بارسپاری Offloading / دستگاه هوشمند Smart Device

Call Number

‭19-51507

ارائه چارچوب مدل‌سازی و تحلیل صوری رویه‌های پخش پیغام در شبکه‌های اقتضایی خودرویی با گسترشی از ربکا A Framework for Formal Analysis of Warning Message Dissemination Schemes in VANETs Using an Extension of Rebeca

Author

یوسفی، فرناز Yousefi, Farnaz

Publisher

صنعتی شریف

Pub. Year

1397

Subjects

وارسی الگو Model Cheking / شبکه خودجوش خودرویی Vehicular Ad Hoc Network (VANET) / همه پخشی پیغام خطر Warning Message Dissemination / زبان مدل سازی ربکا Rebeca Modeling language / ارث بری Inheritance / چارچوب مدل سازی Modeling Framework

Call Number

‭19-51566

ارائه چهارچوبی برای پیام‌ رسان‌های فوری در شبکه‌های اجتماعی موبایل در جهت حفظ و ارتقای حریم خصوصی کاربران A Framework for Users' Privacy Preserving of Instant Messaging on Mobile Social Networks

Author

صافی، محمد Safi, Mohammad

Publisher

صنعتی شریف

Pub. Year

1401

Subjects

حریم خصوصی Privacy / رمزنگاری مبتنی بر ویژگی Attribute Based Encryption / کنترل دسترسی Access Control / رمزنگاری انتشار Broadcast Encryption / شبکه های اجتماعی همراه Mobile Social Networks / پیام رسان فوری Instant Messaging

Call Number

‭52-55431

پروتکلی برای مسیریابی در شبکه مبتنی برداده های نام گذاری شده براساس بردار فاصله A Distance Vector Based Routing Protocol for Named Data Networking

Author

آقاجانی، مهسا Aghajani, Mahsa

Publisher

صنعتی شریف

Pub. Year

1397

Subjects

شبکه داده نام گذاری شده Named Data Network (NDN) / قرارداد مسیریابی Routing Protocol / بردار فاصله Distance Vector / الگوریتم بلمن - فورد Belman-Ford Algorithm

Call Number

‭19-51759

ﭘﯿﺸﻨﻬﺎﺩ الگوریتمی ﺑﺮﺍﯼ ﺗﺨﺼﯿﺺ ﻣﻨﺎﺑﻊ ﺩﺭ ﻣﺤﺎﺳﺒﺎﺕ ﻟﺒﻪ ﺑﺎ ﺑﻬﺮەﮔﯿﺮﯼ ﺍﺯ ﯾﺎﺩﮔﯿﺮﯼ تقویتی ﻋﻤﯿﻖ A Novel Resource Allocation Algorithm in Edge Computing with Deep Reinforcement Learning

Author

رحمتی، ﺍﯾﻤﺎﻥ Rahmati, Iman

Publisher

صنعتی شریف

Pub. Year

1401

Subjects

تخصیص منابع Resources Allocation / مصرف انرژی Energy Consumption / یادگیری تقویتی عمیق Deep Reinforcement Learning / رایانش در لبه Edge Computing / انتقال پردازش Computation Offloading / حافظه کوتاه مدت بلند Long Short Term Memory (LSTM) / رایانش لبه ای سیار Mobile Edge Computing

Call Number

‭19-55900

مدیریت جریان با جاسازی زنجیره‌ی خدمات در شبکه‌های مبتنی بر نرم‌افزار Flow Management with Service Chain Embedding in Software-Defined Networks

Author

گلکاری‌فرد، مرتضی Golkarifard, Morteza

Publisher

صنعتی شریف

Pub. Year

1399

Subjects

الگوریتم ابتکاری Heuristic Algorithm / بهینه سازی Optimization / شبکه سلولی نسل پنجم 5th Generation Cellular Network / مجازی‌سازی وظایف شبکه Network Function Virtualization / شبکه های تعریف شده با نرم افزار Software Defined Networks (SDN)

Call Number

‭19-53808

مدل های افزایش همکاری در فدرال سازی ابر ها Collaboration Enhancement Models for Federated Clouds

Author

حبیبی، مسلم Habibi, Moslem

Publisher

صنعتی شریف

Pub. Year

1397

Subjects

رایانش ابری Cloud Computing / ابر فدرال Federated Cloud / بین ابری Intercloud / ساز و کار فدرال سازی Federation Mechanism / توزیع درخواست های ابری Cloud Request Partitioning

Call Number

‭19-51734