A hybrid modified grasshopper optimization algorithm and genetic algorithm to detect and prevent DDoS attacks

S Mohammadi, M Babagoli - International Journal of Engineering, 2021 - ije.ir
Cybersecurity has turned into a brutal and vicious environment due to the expansion of
cyber-threats and cyberbullying. Distributed Denial of Service (DDoS) is a network menace …

Graph neural networks for propositional model counting

G Saveri, L Bortolussi - arXiv preprint arXiv:2205.04423, 2022 - arxiv.org
Graph Neural Networks (GNNs) have been recently leveraged to solve several logical
reasoning tasks. Nevertheless, counting problems such as propositional model counting (# …

Combining bounded solving and controllable randomization for approximate model counting

S Lü, T Zhang, Y Xu, W Zhou, Y Lai - Journal of Experimental & …, 2024 - Taylor & Francis
Propositional model counting is the problem of computing the satisfying assignments count
of a given CNF formula. Due to the weak solving ability of the existing exact model counters …

两种新的基于扩展规则# SAT 问题求解算法

吕帅, 张桐搏, 王强, 刘磊 - 东北大学学报(自然科学版), 2019 - xuebao.neu.edu.cn
提出一种新的基于扩展规则的# SAT 求解算法NCER, 该算法在# ER 的基础上加入启发式策略.
该策略每次选择当前子句集的最长子句来减小极大项空间, 使得递归调用的次数减少 …

تکنیک تشخیص نفوذ اکتشافی مبتنی بر رگرسیون غیرخطی و تابع سیگموئید

محمدی, شهریار, باباگلی - مجله علمی رایانش نرم و فناوری اطلاعات, 2023‎ - jscit.nit.ac.ir
گسترش فن آوری های اینترنتی طی دهه های گذشته به وابستگی فعالیت های کاربران در فضای
مجازی به خدمات ارائه شده توسط شبکه های رایانه ای منجر شده است. در این فضا سیستمی به نام …

[PDF][PDF] Heuristic intrusion detection technique based on nonlinear regression and sigmoid function

S Mohammadi, M Babagoli - Journal of Soft Computing and Information …, 2023 - jscit.nit.ac.ir
The expansion of Internet technologies during the last decades has led to the dependence
of user's activities in cyberspace on services provided by computer networks. One of the …

TLBO-Based Optimal Speed Controller Design for Induction Motors Using Fuzzy Sliding Mode Controller

A Alfi - مجله علمی رایانش نرم و فناوری اطلاعات, 2017‎ - jscit.nit.ac.ir
Mobile Ad Hoc Network (MANET) is a special and attractive type of new wireless networks. It
is an autonomous system that can dynamically be set up anywhere and anytime without …

تشخیص و مکان‌یابی رویداد‌های رایج و نادر در ویدیو با بکارگیری شبکه تخاصمی مولد

خالوئی, محمد, فخردانش, محمد, سبک رو, محمد - مجله علمی رایانش نرم و فناوری …, 2019‎ - jscit.nit.ac.ir
ظهور تکنولوژی اینترنت اشیا مفهوم شهر هوشمند را ایجاد کرده که در این پارادایم، دستگاه‌های هوشمند
به عنوان یک ضرورت شناخته می‌شوند. برنامه‌های کاربردی نصب‌شده بر روی این دستگاه‌ها باعث …

تعیین نرخ نمونه‌برداری به صورت وفقی در راستای بهینگی مصرف انرژی در شبکه های بدنی بی سیم

مهرانی, محمد, عطارزاده, ایمان, حسین زاده - مجله علمی رایانش نرم و فناوری اطلاعات, 2019‎ - jscit.nit.ac.ir
ظهور تکنولوژی اینترنت اشیا مفهوم شهر هوشمند را ایجاد کرده که در این پارادایم، دستگاه‌های هوشمند
به عنوان یک ضرورت شناخته می‌شوند. برنامه‌های کاربردی نصب‌شده بر روی این دستگاه‌ها باعث …

کاهش نمونه در داده‌ها به کمک الگوریتم بهینه‌سازی چندهدفه ازدحام ذرات آشوبی

حمیدزاده, کاشفی, مرادی - مجله علمی رایانش نرم و فناوری اطلاعات, 2019‎ - jscit.nit.ac.ir
ظهور تکنولوژی اینترنت اشیا مفهوم شهر هوشمند را ایجاد کرده که در این پارادایم، دستگاه‌های هوشمند
به عنوان یک ضرورت شناخته می‌شوند. برنامه‌های کاربردی نصب‌شده بر روی این دستگاه‌ها باعث …