Abstract: An automatic test pattern generation-based circuit verification method, comprises: determining a to-be-detected first logic cone from a fan-out logic cone corresponding to the target line; determining, based on the first logic cone, a to-be-detected second logic cone from a fan-in logic cone corresponding to the target line; generating a first CNF based on the first logic cone and the second logic cone, and detecting the target line by using the first CNF to obtain a first detection result; and if the first logic cone is a partial region in the fan-out logic cone, and the first detection result meets a first specified condition corresponding to the first logic cone, determining a first verification result of the target line based on the first detection result.

Abstract: Three artificial intelligence (AI) linguistic processing architectures are proposed for early detection of Alzheimer's Disease based entirely on a patient's language abilities. Three C-Attention network architectures are presented: one that uses only PoS features, one that uses only the latent features (e.g., language embeddings) and a unified architecture, which uses both features. (FIG. 3).

Abstract: The present invention relates to a method for purifying a salt of bis (fluorosulfonyl) imide which is economically feasible at industrial scale and provides a high-purity product. Said method comprises the steps of providing a crude salt of bis (fluorosulfonyl) imide, dissolving the crude salt of bis (fluorosulfonyl) imide in at least one first solvent, crystallizing the salt of bis (fluorsulfonyl) imide by means of at least one second solvent and separating the crystallized salt of bis (fluorsulfonyl) imide, which can optionally be further reacted with an alkali salt, to obtain an alkali salt of bis (fluorosulfonyl) imide.

Abstract: The disclosure belongs to the technical field of surface coating, and particularly relates to a flux-cored welding wire, a preparation method and use thereof, a porous coating and a preparation method thereof. The disclosure provides a flux-cored welding wire, including a core wire and a sheath, where the core wire includes the following components by mass percentage: 15.0-30.0% of Cr, 1.5-2.5% of Si, 5.0-10.0% of Ni, 1.0-5.0% of TiH2, and Fe as balance; and the sheath is made of steel. Test results of examples show that, the porous coating obtained by supersonic arc spraying the flux-cored welding wire provided by the disclosure has a porosity of up to 46% and a coating adhesive strength of 45 MPa, which are desired.