![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae
The theory of the quasi-truth degrees of predicate formulae is a preliminary test of quantitative predicate logic. Corresponding to quantitative propositional logic, we know that it’s just a beginning. In this...
-
Chapter and Conference Paper
On Fuzzy Prime Filters of Lattice H Implication Algebras
In this paper,firstly, we introduce the fuzzy annihilator A* of a fuzzy set A and its properties are obtained. Secondly, the fuzzy prime filter of lattice H implication algebras are studied by using the fuzzy ann...
-
Chapter and Conference Paper
Using OWA Operators to Integrate Group Attitudes towards Consensus
Nowadays decisions that affect organizations or big amounts of people are normally made by a group of experts, rather than a single decision maker. These decisions would require more than a majority rule to be...
-
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...
-
Chapter and Conference Paper
Further Research of Generated Filters in Lattice Implication Algebra
In this paper we combining LHIA research the generated filters of lattice implication algebra. Firstly some new properties of lattice implication algebra are discussed. Then a structure of generated filter of ...
-
Chapter and Conference Paper
α-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic \(\mathcal{L}_{V(n\times2)}\) P(x)
On the basis of α-quasi-lock semantic resolution method in lattice-valued propositional logic ( \(\mathcal{L}_{n}\times\mathcal{L}_{2}\) ...
-
Chapter and Conference Paper
Duality in Lattice Implication Algebra
According to the general form of principle of duality in the sense of class [1], this paper tries to study the dual operators of operators in lattice implication algebra [2], especially the dual operator of im...
-
Chapter and Conference Paper
An ETL Strategy for Real-Time Data Warehouse
Real-time data warehouse as an extension of traditional data warehouse, it is effectively shortening the delay of information and providing timely and accurate decision support to decision makers. The ETL proc...
-
Chapter
Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000
An internationally highly recognized expert in computational intelligence and decision making and senior researcher of Belgian Nuclear Research Centre (SCK·CEN), Belgian-Chinese Professor Da Ruan died unexpect...
-
Chapter
Chairing the FLINS Conference Series (1994-2012)
Prof. Da Ruan took the initiative in the FLINS conferences and has been the chair from the first to the 7th, and the general chair from the 8th to the 10th FLINS conferences.
-
Chapter
Chairing the ISKE Conference Series (2006-2011)
To promote international cooperation of the research on intelligent systems and knowledge engineering, Prof Da Ruan, together with Profs Etienne E. Kerre (Belgium), Guoqing Chen (China), Yang Xu (China), Geert...
-
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 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
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
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...