Skip to main content

and
  1. No Access

    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...

    Weiming Zheng, Delin Luo, Zhenwen Zhou in Proceedings of 2021 5th Chinese Conference… (2023)

  2. No Access

    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...

    **aosong Cui, **n Wen, Yunxia Zhang, Li Zou in Practical Applications of Intelligent Syst… (2014)

  3. No Access

    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)...

    **aomei Zhong, Yang Xu, Peng Xu in Foundations and Applications of Intelligent Systems (2014)

  4. No Access

    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 ...

    **ngxing He, Yang Xu, Jun Liu, **aomei Zhong, Peng Xu in Foundations of Intelligent Systems (2014)

  5. No Access

    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...

    Peng Xu, Fangli Ma, Jun Wang, Yang Xu, **ngxing He in Knowledge Engineering and Management (2014)

  6. No Access

    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\) ...

    **ngxing He, Yang Xu, Jun Liu, Peng Xu in Knowledge Engineering and Management (2014)

  7. No Access

    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 ...

    Liuqian **, Yang Xu in Knowledge Engineering and Management (2014)

  8. No Access

    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...

    Ruijuan Lv, Yang Xu in Foundations of Intelligent Systems (2012)

  9. No Access

    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 ...

    Ling Guo, Yang Xu, Shaokun Du in Foundations of Intelligent Systems (2012)

  10. No Access

    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}\) ...

    **aomei Zhong, Jun Liu, Shuwei Chen, Yang Xu in Foundations of Intelligent Systems (2012)

  11. No Access

    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...

    Li Zhao, Yang Xu in Foundations of Intelligent Systems (2012)

  12. No Access

    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...

    Haihe Zhou, Dingyu Yang, Yang Xu in Practical Applications of Intelligent Systems (2012)

  13. No Access

    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...

    Iván Palomares, Jun Liu, Yang Xu, Luis Martínez in Knowledge Engineering and Management (2011)