A partial order on a bounded lattice L is called t-order if it is defined by means of the t-norm on L. It is obtained that for a t-norm on a bounded lattice L the relation a⪯Tb iff a=T(x,b) for some x∈L is a partial order. The goal of the paper is to determine some conditions such that the new partial order induces a bounded lattice on the subset of all idempotent elements of L and a complete lattice on the subset A of all elements of L which are the supremum of a subset of atoms.
The Japanese species of Asteiidae are revised. Six species of Asteia Meigen, 1830, are recorded here in addition to Astiosoma okinawae Sabrosky, 1957, hitherto recorded from Japan. Among them, Asteia gemina, A. longistylus, A. lunaris, and A. nigrigena are described as new to science. Asteia angustipennis Duda, 1934, and A. megalophthalma Duda, 1927, are recorded from Japan for the first time. There are conspicuous morphological differences in the male and female genitalia of the seven species of Asteia. It is suggested that Asteia angustipennis, A. concinna, and A. gemina are very closely related and may be reproductively isolated because of their body markings and male genitalia. These species are assigned to the concinna group of Asteia, newly designated in this study. A key to Japanese species and distribution maps are provided.
In this paper a fuzzy relation-based framework is shown to be suitable to describe not only knowledge-based medical systems, explicitly using fuzzy approaches, but other ways of knowledge representation and processing. A particular example, the practically tested medical expert system Disco, is investigated from this point of view. The system is described in the fuzzy relation-based framework and compared with CADIAG-II-like systems that are a "pattern" for computer-assisted diagnosis systems based on a fuzzy technology. Similarities and discrepancies in - representation of knowledge, patient's information, inference mechanism and interpretation of results (diagnoses) - of the systems are established. This work can be considered as another step towards a general framework for computer-assisted medical diagnosis.
Utilizing the theory of fixed point index for compact maps, we establish new results on the existence of positive solutions for a certain third order boundary value problem. The boundary conditions that we study are of nonlocal type, involve Stieltjes integrals and are allowed to be nonlinear.
Water-filled tree holes are abundant microhabitats in forests worldwide and are inhabited by specialized communities of invertebrates. Despite their importance, the temporal dynamics of communities within and between years are largely unknown. Here, I present a case study on the phenology of insect larvae in two holes in a beech tree (lower and upper canopy) located in southern Germany over a period of three years. I asked whether water temperature and the characteristics of insect larvae at the community and population levels are similar in periodicity every year and whether they differ in the lower and upper canopy. The water temperature in tree holes differed greatly from air temperature, and this effect was more pronounced in the lower than in the upper canopy, which resulted in a lower probability of drying out occurring in the lower canopy. This was associated with a higher species richness in the lower canopy and greater abundance of drought tolerant species in the upper canopy. There was a significant periodicity in larval abundance, biomass, species richness and body size distribution of abundant species in both tree holes, but it was not seasonal. This result indicates that unpredictable drying out of tree holes are more important drivers of tree hole community dynamics than changes in water temperature. The community of larvae in the tree hole in the upper canopy lagged behind that in the lower canopy, which indicates that most species mainly colonize the more stable microhabitats in the lower canopy. Hopefully this case study will encourage future larger-scale phenological studies to test (1) whether the patterns observed in this study can be generalized over larger spatial scales and (2) the relative importance of abiotic and biotic drivers of the dynamics of communities in tree holes., Martin M. Gossner., and Obsahuje bibliografii
In this paper we present a topological duality for a certain subclass of the Fω-structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic Cω. Actually, the duality introduced here is focused on Fω-structures whose supports are chains. For our purposes, we characterize every Fω-chain by means of a new structure that we will call down-covered chain (DCC) here. This characterization will allow us to prove the dual equivalence between the category of Fω-chains and a new category, whose objects are certain special topological spaces (together with a distinguished family of open sets) and whose morphisms are particular continuous functions.
We get the following result. A topological space is strongly paracompact if and only if for any monotone increasing open cover of it there exists a star-finite open refinement. We positively answer a question of the strongly paracompact property.