![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Multi-UAV Cooperative Moving Target Search Based on Improved Pigeon-Inspired Optimization
Aiming at the problem of multi-UAV cooperative moving target search, a cooperative search decision based on improved pigeon-inspired optimization is designed. Firstly, based on the independence of moving targe...
-
Chapter and Conference Paper
Design of Multi-channel Ethernet System Based on FPGA
In some autonomous vehicle test scenarios, signal generators are required for generating the testing signals to simulate the real surrounding environment of the vehicle. This paper demonstrated a design scheme...
-
Chapter and Conference Paper
Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking
With the rapid development of IoT in recent years, Smart Home, one of the IoT application markets, has also been gaining popularity. The emergence of Smart Homes has brought convenience to people’s lives, espe...
-
Chapter and Conference Paper
Genetic Fuzzy Tree Based Learning Algorithm Toward the Weapon-Target Assignment Problem
Weapon-target assignment (WTA) is essential ability for command and control (C2) systems. The requirement for real-time decision-making, heterogeneous combat platforms are required to make effective weapon-tar...
-
Chapter and Conference Paper
Data Analysis of Human Resource Performance Appraisal Based on Intelligent Attendance Web Platform
With the development of economy, market competition is becoming increasingly fierce, and the importance of human resource management in enterprise management has become increasingly prominent. At the same time...
-
Chapter and Conference Paper
A Reliable Transmission Protocol for Multiple Unmanned Vehicles with Self-organized Network
The potential application of unmanned systems has fostered interest from academia and industry researchers for their development and utilization in various domains. For some complex missions, however, unmanned...
-
Chapter and Conference Paper
Multi-species Generalized Rock-Paper-Scissors Model Based on Cyclic Dominant Mechanism
The simplest non-trivial example of cyclical interaction is children’s rock-paper-scissors games. Although they seem simple, they describe the fascinating evolution of species. The rock-paper-scissors (RPS) sy...
-
Chapter and Conference Paper
Optimal Features Subset Selection for Large for Gestational Age Classification Using GridSearch Based Recursive Feature Elimination with Cross-Validation Scheme
In the large for gestational age infant’s classification and prediction, noisy features are distilled to improve the classifier performance. It is accomplished with the creation of a suitable feature vector fo...
-
Chapter and Conference Paper
Study on Rapidity Decision of Highway Lane Changing Based on OS-ELM
When drivers make a lane changing maneuver in highway merging area, the personalized lane changing models of traditional ADAS usually combine several algorithms, which make the time of running models become lo...
-
Chapter and Conference Paper
SPSS-Based Research on Language Learning Strategy Use
This research aims to investigating the language learning strategies use of foreign language learners. The computer program SPSS (Statistical Package for Social Science) was adopted, and a questionnaire with 2...
-
Chapter and Conference Paper
Graphic Modelling Approach as a Support for Event-B Modelling
Event-B method, as an evolution of B-method, is a formal method for system-level modelling and analysis based on extended first order logic and set theory, which provides flexible approaches of refinement and ...
-
Chapter and Conference Paper
Design and Implementation of Wireless Sensor Network Gateway with Multimode Access
Wireless sensor network has the characteristics of large-scale, ad-hoc network and wireless communication, it is one of research hotspots. The gateway plays a very important role as a conversion device between...
-
Chapter and Conference Paper
The Mobile Robot SLAM Based on Depth and Visual Sensing in Structured Environment
Simultaneous localization and map** (SLAM) is becoming one of the most attractive research focuses of robot control and visual processing. In this paper, robot performs a SLAM mission in an unknown and struc...
-
Chapter and Conference Paper
The Identification of Convex Function on Riemannian Manifold
The necessary and sufficient condition of convex function is significant in nonlinear convex programming. This paper presents the identification of convex function on Riemannian manifold by use of Penot genera...
-
Chapter and Conference Paper
Algorithm to Find Ground Instances in Linguistic Truth-Valued Lattice-Valued First-Order Logic \( \mathcal{L}_{{V({n} \times 2)}}F(X) \)
α-Resolution-based automated reasoning in linguistic truth-valued lattice-valued first-order logic $$ \mathcal{L}_{V(n \times 2)...
-
Chapter and Conference Paper
Comparisons Among α-Generalized Resolution Methods in \(\fancyscript{L}_{n \times 2}\) F(X)
This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in ...
-
Chapter and Conference Paper
A Femtocell Self-Configuration Deployment Scheme in Hierarchical Networks
More Femtocells will be deployed in existing cell networks, improving system capacity and enhancing indoor coverage. However new Femtocells will introduce a series of several interferences, whether which are w...
-
Chapter and Conference Paper
\(\alpha \) -Generalized Lock Resolution with Deleting Strategies in \(\fancyscript{L}_n\) F(X)
This paper focuses on refined non-clausal resolution methods in a Łukasiewicz first order logic \(\fancyscript{L}_n\) ...
-
Chapter and Conference Paper
A Rule-Based Inference Method Using Dempster–Shafer Theory
The Dempster–Shafer theory of evidence for attribute aggregation provides a method to deal with uncertainty reasoning. In this paper, uncertainty reasoning method based on rule-base with certainty interval is ...
-
Chapter and Conference Paper
The Relationship of Filters in Lattice Implication Algebra
In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative fil...