断言技术在SOC验证中的应用

主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller的sharp接口时序为实例讲解了该方法的优点。     

Hapten heterology for a specific and sensitive indirect enzyme-linked immunosorbent assay for organophosphorus insecticide fenthion

Five haptens with different spacer-arm attachment sites on the structure of the organophosphorus insecticide fenthion were designed and synthesized. All of the haptens were conjugated with ovalbumin (OVA) for the coating antigen, and three haptens containing all or most of the structure of fenthion were conjugated with bovine serum albumin (BSA) for the immunogen. Six polyclonal antisera were raised against the three BSA conjugates, and 30 antibody/coating conjugate combinations were selected for studies of assay sensitivity and specificity for fenthion. The study revealed the best combination with high sensitivity (I₅₀ of 0.08 ng mL⁻¹) and high assay specificity, which indicated that when structural difference between the analyte and an immunizing hapten is less than that between a coating hapten and the immunizing hapten, a high sensitive enzyme-linked immunosorbent assay (ELISA) in the heterologous system may stand a good chance to be developed. The immunity results showed that heterology in the hapten spacer-arm attachment site of the immunogen could achieve a remarkable improvement in the quantity, sensitivity, and/or specificity of antibody, and that the moiety of an analyte, which is the same as the moiety near/on the immunizing spacer-arm hapten attachment site, contributes greatly to the interaction of antibody and hapten.     

Generation of anti-azoxystrobin monoclonal antibodies from regioisomeric haptens functionalized at selected sites and development of indirect competitive immunoassays

Azoxystrobin is a modern strobilurin fungicide used around the world to combat prime diseases affecting highly valuable crops. Accordingly, residues of this chemical are frequently found in food, even though mostly under maximum tolerated levels. We herein describe the development of an indirect competitive immunoassay for the determination of azoxystrobin residues. A panel of monoclonal antibodies displaying subnanomolar affinity to azoxystrobin was generated using, as immunizing haptens in mice, four functionalized derivatives carrying the same spacer arm located at different rationally chosen positions. This collection of antibodies was thoroughly characterized with homologous and heterologous antigens, and the immunoassay consisting of monoclonal antibody AZo6#49 and the coating conjugate OVA–AZb6, which displayed an IC₅₀ value of 0.102 μg L⁻¹ and a LOD of 0.017 μg L⁻¹, was eventually optimized. The response to different pH and ionic strength conditions of the specific assay was studied using a biparametric approach. In addition, the influence of Tween 20 and organic solvents over the assay parameters was also evaluated. After optimization, the developed immunochemical assay was applied to the analysis of azoxystrobin in spiked juices of relevant fruits and vegetables, showing excellent recoveries between 2 and 500 μg L⁻¹.     

Monitoring of progestins: Development of immunochemical methods for purification and detection of levonorgestrel

A polyclonal antibody (Ab) for the progestin levonorgestrel (LNG) was generated, and immunochemical assays for its detection, clean-up and concentration were developed. A highly specific microplate diagnostic assay for the detection of LNG was developed that used the enzyme linked immunosorbent assay (ELISA) method. The LNG ELISA developed was sensitive and reproducible; it exhibited I₅₀ and I₂₀ values of 3.3 ± 1.8 ng mL⁻¹ and 0.6 ± 0.4 ng mL⁻¹, respectively, and the Abs did not cross react with any of the tested steroid hormones. The above Abs were used to develop a sol-gel-based immunoaffinity purification (IAP) method for concentration and clean-up of LNG that is compatible with subsequent immunochemical or instrumental chemical analytical procedures, such as liquid chromatography followed by mass spectrometry (LC-MS/MS). Development of the columns included successful entrapment of Abs within a tetramethoxysilane (TMOS)-based SiO₂ polymer network. The Abs could bind the free analyte from solution, and the bound analyte could be easily eluted from the sol-gel matrix at high recoveries. The Ab selectivity towards the antigen was high, in both ELISA and the sol-gel columns, but the entrapped Abs cross-reacted with two other steroid hormones - ethynylestradiol (EE2) and nortestosterone (NT) - which share similar epitopes with LNG, despite the lack of cross reactivity in the ELISA. The validity of the method was investigated by LC-MS/MS and a good analytical correlation was obtained.     

Interaction of quercetin with ovalbumin: Spectroscopic and molecular modeling studies

The binding of quercetin (QCT) to ovalbumin (OVA) in aqueous solution was investigated by molecular spectroscopy and modeling at pH 7.4. The fluorescence, synchronous fluorescence and UV-absorption spectroscopies were employed to study the mode and the mechanism for this interaction. QCT binding is characterized by one high affinity binding site with the association constants of the order of 10⁵. The distance between donor (OVA) and acceptor (QCT) was estimated according to Forster's theory of non-radiation energy transfer. Molecular docking showed that the QCT can bind to the active site of OVA. The binding dynamics was expounded by thermodynamic parameters, molecular modeling and accessible surface area calculation, which entails that hydrophobic interactions, hydrogen bonding and electrostatic forces stabilizes the interaction.     

X-ray absorption fine structure of artificial antigens for cadmium

Immunoassay technology as a quick and large-scale screening method to detect metal ions in foods and environmental samples has rapidly been developed due to several advantages over conventional instrument-intensive methods. Unlike biomacromolecule, metal ions are haptens without immunogenicity, so successful preparation of artificial antigens is the first critical step for establishing immunoassay methods for them. In the current paper, cadmium ions were conjugated to BSA and OVA, respectively, using bifunctional chelator, p-SCN-Bn-DTPA. The ultraviolet analysis indicated that the maximum absorption peak of Cd–p-SCN-DTPA–BSA and Cd–p-SCN-DTPA–OVA had a small peak shift and an apparent absorbance increase compared to that of BSA and OVA, and the extents of substitution of ?-amino in both conjugates were 51.2% and 58.6%, respectively. In addition, the EXAFS of conjugates implied that Cd²⁺ coordinated with N and O atoms of DTPA in artificial antigens, the coordination type and number of Cd–DTPA, Cd–p-SCN-Bn-DTPA–BSA, Cd–p-SCN-Bn-DTPA–OVA were the same. XANES region and geometries of the three compounds were also same. These results implied that the three antigens had the similar local structure and atomic geometry.This was the first time that the XAFS was attempted for the identification of artificial heavy metal ion antigens.     

基于断言的硬件功能验证技术

针对排除芯片设计流程中RTL级的错误时,需要花费大量时间看仿真波形与日志文件的问题,本文介绍了基于断言的硬件功能验证技术的基础,以及利用断言技术在黑盒验证中测试一设备输出信号时的应用,总结了断言验证的优点,以及断言与半形式化验证结合的特点,断言技术与动态仿真、形式验证、激励自动生成等技术结合,能更快更有效的发现硬件设计过程中RTL级的错误,成为验证方法学的焦点.     

基于断言的SoC设计验证方法

随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.     

Therapeutic Effect of Renifolin F on Airway Allergy in an Ovalbumin-Induced Asthma Mouse Model In Vivo

Renifolin F is a prenylated chalcone isolated from Shuteria involucrata, a traditional minority ethnic medicine used to treat the respiratory diseases and asthma. Based on the effects of the original medicine plant, we established an in vivo mouse model of allergic asthma using ovalbumin (OVA) as an inducer to evaluate the therapeutic effects of Renifolin F. In the research, mice were sensitized and challenged with OVA to establish an allergic asthma model to evaluate the effects of Renifolin F on allergic asthma. The airway hyper-reactivity (AHR) to methacholine, cytokine levels, ILC2s quantity and mircoRNA-155 expression were assessed. We discovered that Renifolin F attenuated AHR and airway inflammation in the OVA-induced asthmatic mouse model by inhibiting the regulation of ILC2s in the lung, thereby, reducing the upstream inflammatory cytokines IL-25, IL-33 and TSLP; the downstream inflammatory cytokines IL-4, IL-5, IL-9 and IL-13 of ILC2s; and the co-stimulatory factors IL-2 and IL-7; as well as the expression of microRNA-155 in the lung. The findings suggest a therapeutic potential of Renifolin F on OVA-induced airway inflammation.