Let Ak be an integral operator defined by Akf(x):=1K(x)∫Ω2k(x,y)f(y)dμ2(y)where k:Ω1× Ω2 →Ris a general nonnegative kernel, (Ω1,∑1,μ1), (Ω2,∑2,μ2) are measure spaces with a-finite meas...
详细信息
Let Ak be an integral operator defined by Akf(x):=1K(x)∫Ω2k(x,y)f(y)dμ2(y)where k:Ω1× Ω2 →Ris a general nonnegative kernel, (Ω1,∑1,μ1), (Ω2,∑2,μ2) are measure spaces with a-finite measures and K(x):=∫Ω2k(x,y)dμ2(y),x∈Ω*** this paper improvements and reverses of new weighted Hardy type inequalities with integral operators of such type are stated and proved. New Cauchy type mean is introduced and monotonicity property of this mean is proved.
A linear model predictive control (LMPC) based framework is developed for underactuated marine vehicles’ kinematic line following while moving at a constant depth in the presence of disturbance. LMPC is used as a hig...
详细信息
Depth estimation from stereo images remains a challenge even though studied for decades. The KITTI benchmark shows that the state-of-the-art solutions offer accurate depth estimation, but are still computationally com...
详细信息
The limitations of traditional pull-based Web services become significant to users who depend on timely and up-to-date information. Users are forced to frequently check the data of interest, or use clients which pull ...
详细信息
This SpringerBrief presents the fundamental concepts of a specialized class of data stream, spatio-temporal data streams, and demonstrates their distributed processing using Big Data frameworks and platforms. It explo...
ISBN:
(数字)9781493965755
ISBN:
(纸本)9781493965731
This SpringerBrief presents the fundamental concepts of a specialized class of data stream, spatio-temporal data streams, and demonstrates their distributed processing using Big Data frameworks and platforms. It explores a consistent framework which facilitates a thorough understanding of all different facets of the technology, from basic definitions to state-of-the-art techniques. Key topics include spatio-temporal continuous queries, distributed stream processing, SQL-like language embedding, and trajectory stream clustering. Over the course of the book, the reader will become familiar with spatio-temporal data streams management and data flow processing, which enables the analysis of huge volumes of location-aware continuous data streams. Applications range from mobile object tracking and real-time intelligent transportation systems to traffic monitoring and complex event processing. Spatio-Temporal Data Streams is a valuable resource for researchers studying spatio-temporal data streams and Big Data analytics, as well as data engineers and data scientists solving data management and analytics problems associated with this class of data.
This paper presents ontlology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontologies and analyser. The parser subsyst...
详细信息
ISBN:
(纸本)9783540855620
This paper presents ontlology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontologies and analyser. The parser subsystem translates the input coded to AST that is constructed as an XML tree. The OWL ontologies define code patterns and general programming concepts. The analyser subsystem constructs instances of the input code as ontology individuals and asks the reasoner to classify them. The experience gained in the implementation of the proposed system and some practical issues are discussed. The recognition system successfully integrates the knowledge representation field and static code analysis. resulting in greater flexibility of the recognition system.
Technological advances over the past several decades have made it possible to develop increasingly cheap but also increasingly capable and autonomous unmanned marine vehicles. Additionally, this makes cooperative appr...
详细信息
In this paper problem of source-seeking and tracking underwater target by surface vehicle using range measurements with low sampling rate is addressed. Paper compares three extremum seeking schemes: classical extremum...
详细信息
For the purpose of enabling long-term autonomy of a heterogeneous swarm of marine robots, task allocation and sequencing are introduced into the system's energy management procedures. In a scenario where the syste...
详细信息
Virtual power plant(VPP)aggregates large amounts of distributed energy and controllable *** comprehensive consideration of carbon emissions and electricity transactions has great significance in improving the VPP oper...
详细信息
Virtual power plant(VPP)aggregates large amounts of distributed energy and controllable *** comprehensive consideration of carbon emissions and electricity transactions has great significance in improving the VPP operation’s economic *** this paper,the bidding strategy of the VPP by considering the carbon-electricity integration trading in an auxiliary service(AS)market is *** of all,the basic structure and operating features of the VPP are briefly ***,the bidding strategy model of carbon-electricity integration trading in an auxiliary service market is proposed and the corresponding objective function and the constraint conditions are also ***,the GAMS solver is utilized to give the optimal solution of the bidding strategy ***,the effectiveness of the bidding strategy of a VPP based on the consideration of carbon-electricity integration trading is verified through simulation cases.
暂无评论