Nucleotide variation and recombination along the fourth chromosome in Drosophila simulans

The fourth chromosome of Drosophila melanogaster and its sister species are believed to be nonrecombining and have been a model system for testing predictions of the effects of selection on linked, neutral variation. We recently examined nucleotide variat

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

土壤团聚体的形成与分散及其在农业生产上的应用

土壤团聚体是保持土壤水分和土壤透性的基本单元。本综述的目的是通过围绕团聚体理论的讨论,明确影响团聚体形成的因素,为农田维护提出可靠的理论依据。首先总结了团聚体形成的主要理论,即Emerson的粘团理论、Edwards和Bremner的微团聚体理论和Oades及Waters的团聚体分级构建理论,然后讨论了土壤有机质、可溶性阳离子和氧化铁、铝3个影响团聚体形成的主要因素,最后分析了团聚体破坏的机理和评价团聚体稳定性的主要方法,指出保持土壤颗粒的凝聚状态、增加各种形态的土壤有机质是增加土壤团聚性的主要措施。