Automated reasoning is an important research direction in artificial intelligence, and resolution method is an efficient logical reasoning tool, it deserves to be studied. This paper establishes linguistic truth-value...
详细信息
This paper considers the stabilization of the coupled wave systems with spatially-varying *** authors design a state feedback controller by backstepping *** contrast to the previous work in the literature,the kernel e...
详细信息
This paper considers the stabilization of the coupled wave systems with spatially-varying *** authors design a state feedback controller by backstepping *** contrast to the previous work in the literature,the kernel equations become more complicated and the main difficulty lies in proving the existence and uniqueness of the solution to the kernel ***,using the backstepping approach,the authors verify the kernel equations,which is a system of coupled hyperbolic equations with spatially-varying ***,the existence and uniqueness of the kernel matrices is ***,the authors use a Lyapunov function to get the exponential stabilization of the closed-loop system.A numerical example is presented to illustrate the effectiveness of the proposed controller.
A system’s fault tolerance is its capacity to function even if one or more of its components fail. Implementing a fault-tolerant network becomes an important criterion for reliable computing. Reliability measures pla...
详细信息
Many practical problems emphasize the importance of not only knowing whether an element is selectedbut also deciding to what extent it is selected,which imposes a challenge on submodule *** this study,we consider the ...
详细信息
Many practical problems emphasize the importance of not only knowing whether an element is selectedbut also deciding to what extent it is selected,which imposes a challenge on submodule *** this study,we consider the monotone,nondecreasing,and non-submodular maximization on the integer lattice with a *** first design a two-pass streaming algorithm by refining the estimation interval of the optimal *** element,the algorithm not only decides whether to save the element but also gives the number of ***,we introduce the binary search as a subroutine to reduce the time ***,we obtain a one-passstreaming algorithm by dynamically updating the estimation interval of optimal ***,we improve the memorycomplexity of this algorithm.
We investigate the problem of maximizing the sum of submodular and supermodular functions under a fairness *** sum function is non-submodular in *** an offline model,we introduce two approximation algorithms:A greedy ...
详细信息
We investigate the problem of maximizing the sum of submodular and supermodular functions under a fairness *** sum function is non-submodular in *** an offline model,we introduce two approximation algorithms:A greedy algorithm and a threshold greedy *** a streaming model,we propose a one-pass streaming *** also analyze the approximation ratios of these algorithms,which all depend on the total curvature of the supermodular *** total curvature is computable in polynomial time and widely utilized in the literature.
Virtual Reality(VR)is a key industry for the development of the digital economy in the *** VR has advantages in terms of mobility,lightweight and cost-effectiveness,which has gradually become the mainstream implementa...
详细信息
Virtual Reality(VR)is a key industry for the development of the digital economy in the *** VR has advantages in terms of mobility,lightweight and cost-effectiveness,which has gradually become the mainstream implementation of *** this paper,a mobile VR video adaptive transmission mechanism based on intelligent caching and hierarchical buffering strategy in Mobile Edge computing(MEC)-equipped 5G networks is proposed,aiming at the low latency requirements of mobile VR services and flexible buffer management for VR video adaptive *** support VR content proactive caching and intelligent buffer management,users’behavioral similarity and head movement trajectory are jointly used for viewpoint *** tile-based content is proactively cached in the MEC nodes based on the popularity of the VR ***,a hierarchical buffer-based adaptive update algorithm is presented,which jointly considers bandwidth,buffer,and predicted viewpoint status to update the tile chunk in client ***,according to the decomposition of the problem,the buffer update problem is modeled as an optimization problem,and the corresponding solution algorithms are ***,the simulation results show that the adaptive caching algorithm based on 5G intelligent edge and hierarchical buffer strategy can improve the user experience in the case of bandwidth fluctuations,and the proposed viewpoint prediction method can significantly improve the accuracy of viewpoint prediction by 15%.
If there is at least one neighbour in K for each vertex in V that is not in K, then a set K⊆V(G) is a dominating set (DS) in G(V,E). The minimal cardinality of a DS of G is the domination number(DN) of G, represented...
详细信息
Influence maximization (IM), which aims to identify the most influential k nodes in a network, is fundamental to numerous applications, including viral marketing and recommendation systems. This topic has garnered sig...
详细信息
For the fractional diffusion equation, it has received extensive study from various angles on the inverse problem. This paper is dedicated to determining a source term with time-dependence of the time-space fractional...
详细信息
The fuzzy C-means (FCM) algorithm is a classical clustering algorithm which is widely used. However, especially for high-dimensional data sets with complex structures, the large-scale calculation of FCM suffers from d...
详细信息
暂无评论