1 Introduction Local search method is a rising star for solving combinatorial optimization problems in recent years,and the state-of-the-art local search-based incomplete Maximum Satisfiability(MaxSAT)solversshowpromi...
详细信息
1 Introduction Local search method is a rising star for solving combinatorial optimization problems in recent years,and the state-of-the-art local search-based incomplete Maximum Satisfiability(MaxSAT)solversshowpromisingperformance even competitive to many complete solvers in recent MaxSAT Evaluations.
The growing field of artificial intelligence (AI) provides new opportunities to develop inclusive educational tools tailored to diverse student needs. This study introduces SmartSignQuiz, an innovative colour-based in...
详细信息
In order to improve indoor air quality, optimize energy consumption and avoid the accidents due to gas leakage, this paper proposes an intelligent air conditioning system that integrates several sensors such as DHT11,...
详细信息
The next generation of webpages is heavily influenced by large scale, high concurrency, and massive amounts of data. Building data-intensive web apps has made *** popular and effective. We employed scenario testing an...
详细信息
Accurate intervertebral disc image segmentation is necessary for further treatment. However, existing methods are difficult to segment due to the intensity inhomogeneity of intervertebral disc MRI images and the simil...
详细信息
Unmanned aerial vehicles(UAVs),or drones,have revolutionized a wide range of industries,including monitoring,agriculture,surveillance,and supply ***,their widespread use also poses significant challenges,such as publi...
详细信息
Unmanned aerial vehicles(UAVs),or drones,have revolutionized a wide range of industries,including monitoring,agriculture,surveillance,and supply ***,their widespread use also poses significant challenges,such as public safety,privacy,and ***,targetingUAVs have become more frequent,which highlights the need for robust security *** technology,the foundation of cryptocurrencies has the potential to address these *** study suggests a platform that utilizes blockchain technology tomanage drone operations securely and *** incorporating blockchain technology,the proposed method aims to increase the security and privacy of drone *** suggested platform stores information on a public blockchain located on Ethereum and leverages the Ganache platform to ensure secure and private blockchain *** wallet for Ethbalance is necessary for BCT *** present research finding shows that the proposed approach’s efficiency and security features are superior to existing *** study contributes to the development of a secure and efficient system for managing drone operations that could have significant applications in various *** proposed platform’s security measures could mitigate privacy concerns,minimize cyber security risk,and enhance public safety,ultimately promoting the widespread adoption of *** results of the study demonstrate that the blockchain can ensure the fulfillment of core security needs such as authentication,privacy preservation,confidentiality,integrity,and access control.
This work presents an adaptive tracking guidance method for robotic fishes. The scheme enables robots to suppress external interference and eliminate motion jitter. An adaptive integral surge line-of-sight guidance ru...
详细信息
This work presents an adaptive tracking guidance method for robotic fishes. The scheme enables robots to suppress external interference and eliminate motion jitter. An adaptive integral surge line-of-sight guidance rule is designed to eliminate dynamics interference and sideslip issues. Limited-time yaw and surge speed observers are reported to fit disturbance variables in the model. The approximation values can compensate for the system's control input and improve the robots' tracking ***, this work develops a terminal sliding mode controller and third-order differential processor to determine the rotational torque and reduce the robots' run jitter. Then, Lyapunov's theory proves the uniform ultimate boundedness of the proposed method. Simulation and physical experiments confirm that the technology improves the tracking error convergence speed and stability of robotic fishes.
Oil content estimation in palm fruits is a precious property that significantly impacts oil palm production,starting from the upstream and *** content can be used to monitor the progress of the oil palm fresh fruit bu...
详细信息
Oil content estimation in palm fruits is a precious property that significantly impacts oil palm production,starting from the upstream and *** content can be used to monitor the progress of the oil palm fresh fruit bunch(FFB)and be applied to identify product *** on the near-infrared(NIR)signals,this study proposes an empirical mode decomposition(EMD)technique to decompose signals and predict the oil content of palm ***,350 palm fruits with Tenera varieties(Elaeis guineensis ***),at various ages of maturity,were harvested from the Cikabayan Oil Palm Plantation(IPB University,Indonesia).Second,each sample was sent directly to the laboratory for NIR signal measurements and oil content ***,the EMD analysis and arti-ficial neural network(ANN)were employed to correlate the NIR signals and oil ***,a robust EMD-ANN model is generated by optimizing the lowest possible *** on performance evaluation,the proposed technique can predict oil content with a coefficient of determination(R2)of 0.933±0.015 and a root mean squared error(RMSE)of 1.446±*** results demonstrate that the model has a good predictive capacity and has the potential to predict the oil content of palm fruits directly,without neither solvents nor reagents,which makes it environmentally ***,the proposed technique has a promising potential to be applied in the oil palm *** like this will lead to the effective and efficient management of oil palm production.
In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical *** recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of...
详细信息
In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical *** recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing *** with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic *** this article,we propose a novel enumeration justification algorithm,working with a replicated *** replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT ***,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing *** adjusted SAT solver is able to improve the checking efficiency of unexplored *** proposed method is implemented as a tool named *** experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.
In this research, a explore the realm of medical imaging, specifically focusing on early brain pathology detection through the lens of deep learning. The primary objective is to optimize SqueezeNet, lightweight convol...
详细信息
暂无评论