Manin triples associated to nn-Lie bialgebras

In this paper, we study the Manin triples associated to $n$-Lie bialgebras. We develop the method of double constructions as well as operad matrices to make $n$-Lie bialgebras into Manin triples. Then, the related Manin triples lead to a natural construction of metric $n$-Lie algebras. Moreover, a one-to-one correspondence between the double of $n$-Lie bialgebras and Manin triples of $n$-Lie algebras be established

V2I-Based Platooning Design with Delay Awareness

This paper studies the vehicle platooning system based on vehicle-to-infrastructure (V2I) communication, where all the vehicles in the platoon upload their driving state information to the roadside unit (RSU), and RSU makes the platoon control decisions with the assistance of edge computing. By addressing the delay concern, a platoon control approach is proposed to achieve plant stability and string stability. The effects of the time headway, communication and edge computing delays on the stability are quantified. The velocity and size of the stable platoon are calculated, which show the impacts of the radio parameters such as massive MIMO antennas and frequency band on the platoon configuration. The handover performance between RSUs in the V2I-based platooning system is quantified by considering the effects of the RSU's coverage and platoon size, which demonstrates that the velocity of a stable platoon should be appropriately chosen, in order to meet the V2I's Quality-of-Service and handover constraints

Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case

Classifications and phylogenetic inferences of organismal groups change in light of new insights. Over time these changes can result in an imperfect tracking of taxonomic perspectives through the re-/use of Code-compliant or informal names. To mitigate these limitations, we introduce a novel approach for aligning taxonomies through the interaction of human experts and logic reasoners. We explore the performance of this approach with the Perelleschus use case of Franz & Cardona-Duque (2013). The use case includes six taxonomies published from 1936 to 2013, 54 taxonomic concepts (i.e., circumscriptions of names individuated according to their respective source publications), and 75 expert-asserted Region Connection Calculus articulations (e.g., congruence, proper inclusion, overlap, or exclusion). An Open Source reasoning toolkit is used to analyze 13 paired Perelleschus taxonomy alignments under heterogeneous constraints and interpretations. The reasoning workflow optimizes the logical consistency and expressiveness of the input and infers the set of maximally informative relations among the entailed taxonomic concepts. The latter are then used to produce merge visualizations that represent all congruent and non-congruent taxonomic elements among the aligned input trees. In this small use case with 6-53 input concepts per alignment, the information gained through the reasoning process is on average one order of magnitude greater than in the input. The approach offers scalable solutions for tracking provenance among succeeding taxonomic perspectives that may have differential biases in naming conventions, phylogenetic resolution, ingroup and outgroup sampling, or ostensive (member-referencing) versus intensional (property-referencing) concepts and articulations.Comment: 30 pages, 16 figure

Agreeing to disagree: reconciling conflicting taxonomic views using a logic-based approach

Taxonomy alignment is a way to integrate two or more taxonomies. Semantic interoperability between datasets, information systems, and knowledge bases is facilitated by combining the different input taxonomies into merged taxonomies that reconcile apparent differences or conflicts. We show how alignment problems can be solved with a logic-based region connection calculus (RCC-5) approach, using five base relations to compare concepts: congruence, inclusion, inverse inclusion, overlap, and disjointness. To illustrate this method, we use different “geo-taxonomies”, which organize the United States into several, apparently conflicting, geospatial hierarchies. For example, we align T(CEN), a taxonomy derived from the Census Bureau’s regions map, with T(NDC), from the National Diversity Council (NDC), and with T(TZ), a taxonomy capturing the U.S. time zones. Using these case studies, we show how this logic-based approach can reconcile conflicts between taxonomies. We have implemented these case studies with an open source tool called Euler/X which has been applied primarily for solving complex alignment problems in biological classification. In this paper, we demonstrate the feasibility and broad applicability of this approach to other domains and alignment problems in support of semantic interoperability.DEB- 1155984DBI-1342595DBI-1643002Ope

Study on the Physical and Chemical Properties of Cement-Based Grout Containing Coal–Fly Ash

To study the physical and chemical properties of grout containing fly ash, Class II fly ash was used as a mineral admixture and mixed with silicate cement to produce grout, and the rheological properties, strength properties, hydration properties, and microscopic mechanism were studied. The results of the study showed the following. The incorporation of fly ash reduced the thixotropic area of the composite cement slurry, which facilitated pumping in the pipeline conveying process. The inclusion of fly ash reduced the yield stress and plastic viscosity of the cement paste, but the rheological index increased and then decreased with the increase in fly ash, and the composite paste had the lowest degree of shear thinning at 30% fly ash inclusion. The incorporation of fly ash reduced the hydration exothermic rate and total hydration exothermic amount of the composite slurry and prolonged the hydration induction period, but the promotion effect of fly ash on the hydration rate of cement was obvious at 10% fly ash admixture. The admixture of fly ash increased the empty volume of the composite slurry, but the effect on the most probable aperture was not significant, and the porosity of the system increased, resulting in a decrease in compressive strength. The effect of adding fly ash on the hydration products was reflected mainly by the C-S-H gel produced by cement hydration and the change in calcium alumina and Ca(OH)2. Fly ash does not directly participate in the hydration reaction of cement, but it can promote cement hydration and increase the reaction rate of cement. By analyzing the rheological properties, mechanical properties, and hydration properties of fly ash composite cement paste, the comprehensive analysis found that the rheological properties are excellent when the fly ash admixture is 20–30%, and the water–cement ratio can be reduced to improve the strength without affecting the pumping demand