The authors study the binary codes spanned by the adjacency matrices of the strongly regular graphs(SRGs)on at most two hundred vertices whose existence is *** authors show that in length less than one hundred they ca...
详细信息
The authors study the binary codes spanned by the adjacency matrices of the strongly regular graphs(SRGs)on at most two hundred vertices whose existence is *** authors show that in length less than one hundred they cannot be cyclic,except for the exceptions of the SRGs of parameters(85,42,20,21)and(96,60,38,36).In particular,the adjacency code of a(85,42,20,21)is the zero-sum *** the range[100,200]the authors find 29 SRGs that could possibly have a cyclic adjacency code.
A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L_(3)-valued propositional logic, a multisequent is a triple Δ∣Θ∣Γ, which i...
详细信息
A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L_(3)-valued propositional logic, a multisequent is a triple Δ∣Θ∣Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. There is a sound, complete and monotonic Gentzen deduction system G for sequents. Dually, there is a sound, complete and nonmonotonic Gentzen deduction system G′ for co-sequents Δ: Θ: Γ. By taking different quantifiers some or every, there are 8 kinds of definitions of validity of multisequent Δ∣Θ∣Γ and 8 kinds of definitions of validity of co-multisequent Δ: Θ: Γ, and correspondingly there are 8 sound and complete Gentzen deduction systems for sequents and 8 sound and complete Gentzen deduction systems for co-sequents. Correspondingly their monotonicity is discussed.
This paper is concerned with global practical stabilization of the double integrator system with an imperfect sensor and subject to an additive bounded output *** imperfect sensor nonlinearity possesses the nonlinear ...
详细信息
This paper is concerned with global practical stabilization of the double integrator system with an imperfect sensor and subject to an additive bounded output *** imperfect sensor nonlinearity possesses the nonlinear characteristics of saturation and dead *** of the presence of output dead zone and the additive disturbance,the states cannot be expected to driven into an arbitrarily small neighborhood of the *** solve the global practical stabilization problem,we proposes a low gain-based linear dynamic output feedback law,under which the first state enters and remains in a bounded set whose size is depended on the bound of disturbance and the range of dead zone and the second state enters and remains in a pre-specified arbitrarily small set,both in finite *** results illustrate the effectiveness of our proposed control method.
An inspection allocation algorithm based on different starting points and endurance capabilities of unmanned aerial vehicles (UAVs) is proposed for the multi-UAVs forest inspection process. Firstly, the area map to be...
详细信息
This paper presents a new feature extraction method for Electroencephalogram (EEG)-based motor imagery (MI) classification. Current researches mostly classify different MIs by detecting the event-related desynchroniza...
详细信息
In order to address the detection and segmentation of partial blur for natural images,a no-reference and training-free algorithm was proposed. Firstly, the test image was re-blurred by a Gaussian low-pass filter. Seco...
详细信息
In this paper, high-speed train is regarded as a single prime point, a new tracking control method combining adaptive control and Kalman filtering is proposed. This paper solves the noise interference problem in the t...
详细信息
ISBN:
(数字)9798350352399
ISBN:
(纸本)9798350352405
In this paper, high-speed train is regarded as a single prime point, a new tracking control method combining adaptive control and Kalman filtering is proposed. This paper solves the noise interference problem in the tracking control process of high-speed train. The method first linearises the original system, then uses Kalman filtering to do model estimation, and the controller is designed for the predictive model through adaptive control. Finally, MATLAB is used to simulate and verify the effectiveness of this method. This proposed method successfully solves the problems of nonlinearity, noise interference and unknown parameters in system. The error caused by resistance in the high-speed train tracking control process can be dealt with effectively.
Community detection is essential for identifying cohesive groups in complex networks. Artificial benchmarks are critical for evaluating community detection algorithms, offering controlled environments with known commu...
详细信息
Transformer-based neural machine translation (NMT) models have achieved performance close to human-level on some languages, but still suffer from poor interpretability and scalability of the models. Many advanced stud...
详细信息
Given the complexities inherent in visual scenes, such as object occlusion, a comprehensive understanding often requires observation from multiple viewpoints. Existing multi-viewpoint object-centric learning methods t...
ISBN:
(纸本)9798331314385
Given the complexities inherent in visual scenes, such as object occlusion, a comprehensive understanding often requires observation from multiple viewpoints. Existing multi-viewpoint object-centric learning methods typically employ random or sequential viewpoint selection strategies. While applicable across various scenes, these strategies may not always be ideal, as certain scenes could benefit more from specific viewpoints. To address this limitation, we propose a novel active viewpoint selection strategy. This strategy predicts images from unknown viewpoints based on information from observation images for each scene. It then compares the object-centric representations extracted from both viewpoints and selects the unknown viewpoint with the largest disparity, indicating the greatest gain in information, as the next observation viewpoint. Through experiments on various datasets, we demonstrate the effectiveness of our active viewpoint selection strategy, significantly enhancing segmentation and reconstruction performance compared to random viewpoint selection. Moreover, our method can accurately predict images from unknown viewpoints.
暂无评论