Search

A new anamorphic genus and species, Mesocorynespora sinensis collected on decaying culms of bamboo in China, is described and illustrated. The fungus is distinguished by short, unbranched, clavate conidiophores with monotretic, conidiogenous cells that produce solitary, acrogenous, obclavate, euseptate conidia. A key to Mesocorynespora and morphologically similar genera is provided.

Four anamorphic fungal species of Solicorynespora are described and illustrated from specimens collected on dead branches of unidentified plants in southern China. Solicorynespora guangdongensis sp. nov. differs from other species by obclavate, 8-13-euseptate, usually 1-distoseptate below, 105–182 × 14.5–20 µm, smooth conidia with 1–7 mucous tunica on the rostrum. Solicorynespora Jiangxiensis sp. nov. is easily distinguished by obclavate, upper cells becoming cylindrical, (62-)108–220 × 11–13 µm, smooth conidia with 9-23-euseptate. Solicorynespora biseptata and S. insolita are recorded for the first time from China.

This article selects HOL theorem proving systems for hardware Trojan detection and gives the symbol and meaning of theorem proving systems, and then introduces the symbol table, item and the meaning of HOL theorem proving systems. In order to solve the theorem proving the application of the system in hardware Trojan detection requirements, this article analyses basic hardware Trojan detection methods which applies for theorem proving systems and introduces the implementation methods and process of theorem proving about hardware Trojan detection.