The present catalogue of Anthomyiidae attempts to list all species (173) described or recorded from mainland China (165) and Taiwan (8) that for various reasons are not treated in "Flies of China" from 1998. The catalogue further lists Chinese species that are presently standing in new generic combinations compared to those of "Flies of China", species that have changed name because of synonymy...

From results of Ishihara it is known that the weak (that is, binary) form of König’s lemma (WKL) implies Brouwer’s fan theorem (Fan). Moreover, Berger and Ishihara [MLQ 2005] have shown that a weakened form WKL! of WKL, where as an additional hypothesis it is required that in an effective sense infinite paths are unique, is equivalent to Fan. The proof that WKL! implies Fan is done explicitely....

Axial flow fan has been used for large amount of flow rate in air handling units of industrial application fields. The fan involves a shrouding duct as flow guidance for uniform flows. Pressure difference between before and ahead of rotating blades causes the flows movements. The case where the flow resistance such as a heat exchanger is located prior to the rotors is typical in-field model for...

Understanding why sport fans socially interact with other fans, participate in team-related discussions, recruit new members, and retain membership in sport fan communities is an important issue for sport marketers. In this study, we tested a model of fan community identification that included outcome and moderator variables in the contexts of two major professional sport leagues (soccer and ba...

In a fan-planar drawing of a graph an edge can cross only edges with a common end-vertex. Fan-planar drawings have been recently introduced by Kaufmann and Ueckerdt, who proved that every n-vertex fan-planar drawing has at most 5n − 10 edges, and that this bound is tight for n ≥ 20. We extend their result, both from the combinatorial and the algorithmic point of view. We prove tight bounds on t...

We consider boolean circuits computing n-operators f : {0, 1} n → {0, 1} n. As gates we allow arbitrary boolean functions; neither fanin nor fanout of gates is restricted. An operator is linear if it computes n linear forms, that is, computes a matrix-vector product A x over GF (2). We prove the existence of n-operators requiring about n 2 wires in any circuit, and linear n-operators requiring ...

This paper presents a parametrized design technique for cellular permutation arrays based on coset decompositions of symmetric groups. A new type of permutation cell, referred to as a coset generator, is introduced to customize the propagation delay, fan-in, fan-out, and number of edges in the target network. To aid in the design process, a cost function is derived expressing the number of edge...

We show an efficient method for converting a logic circuit of gates with fan-out 1 into an equivalent circuit that works even if some fraction of its gates are short-circuited, i.e., their output is shortcircuited to one of their inputs. Our conversion can be applied to any circuit with fan-in k>= 2, yielding a resilient circuit whose size is polynomial in the size of the (non-resilient) input ...

Single Electron Tunneling (SET) is an emerging technology, with a switching behavior which is completely different from MOS technology. The ability to control the transport of individual electrons within SET circuits creates the conditions for Single Electron Encoded Logic (SEEL). Although it is expected that, when compared with other approaches, SEEL circuits have both reduced delay and reduce...

Groundwater plays important roles in human community development and the urbanization process as results of global environmental change rapid population growth. A clear understanding vertical horizontal spatial distribution characteristics groundwater sediment is premise efficient resource management utilization alluvial plains. To explore evolution Yongding River (YDR) fan, a typical profile f...