实时荧光PCR法检测动物源性成分的定性方法验证

本文以鸡源性成分为例,研究了GB/T 38164-2019《常见畜禽动物源性成分检测方法实时荧光PCR法》的定性方法验证,以证明该方法的可行性及适用性,以期为基因扩增检测领域的方法验证工作提供参考。验证参数为DNA提取效果评价、重复性、检出限和基质效应。结果显示,DNA提取效果良好,不存在抑制剂;该方法重复性较好;基质效应无影响;检出限为0.1%。各参数均满足标准的要求,该方法具有较好的可行性及适用性。

应用超高效液相色谱-四极杆-飞行时间质谱建立茶叶中农药残留的筛查与确证方法

基于超高效液相色谱-四极杆-飞行时间质谱(UPLC-QTOF-MS),使用UNIFI软件建立91种农药残留的筛查与确证方法,进行定性方法验证并应用于流通市场中茶叶的筛查检测。通过对收集的农药认证标准物质(CRM)分析,构建91种农药化合物的质谱数据库。样品经乙腈提取,固相萃取柱净化,Acquity BEH C18色谱柱分离,在MSE模式下进行全信息采集(ESI+),UNIFI软件对数据进行匹配分析。设置保留时间最大偏差为±0.1 min,精确质量偏差阈值为±5×10^-6,可识别加合物形式包括[M+H]^+、[M+Na]^+、[M+K]^+、[M+NH4]^+。参照SANTE/11813/2017指南进行定性方法学验证。在21份茶叶样品中添加混合标准溶液至4个水平(0.01、0.05、0.10、0.20 mg/kg),确定每种农药在茶叶样品中的筛查检出限(SDL),共评估了1911种农药/样品组合。发现有66种农药的SDL为0.01 mg/kg,8种农药的SDL为0.05 mg/kg,1种农药的SDL为0.10 mg/kg,3种农药的SDL为0.20 mg/kg,共有13种农药的SDL大于0.20 mg/kg。一种农药在筛查检测中存在基质抑制效应。最后,应用建立的方法分析了流通市场中22份茶叶样品的农药残留情况,从6份茶叶样品中筛查检测出6种农药化合物,经人工鉴定均为阳性。该法为茶叶中农药残留的高通量筛查检测提供了参考。

Verified Solution for a Statically Determinate Truss Structure with Uncertain Node Locations

We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed to be inexact but bounded and are represented by intervals. Such uncertainty may typically arise from imprecision during the process of manufacturing or construction, or round-off errors. In this case the application of the finite element method results in a system of linear equations with numerous interval parameters which cannot be solved conventionally. Applying a suitable variable substitution, an iteration method for the solution of a parametric system of linear equations is firstly employed to obtain initial bounds on the node displacements. Thereafter, an interval tightening （pruning） technique is applied, firstly on the element forces and secondly on the node displacements, in order to obtain tight guaranteed enclosures for the interval solutions for the forces and displacements.

Titration Method Validation of Live Vaccines against Infectious Bursal Disease

Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement （i.e., accuracy and correctness）, and finally, define the control tests of non degradation of the method performances. This paper outlines the steps for validating a biological method of analysis. It involves the construction of an experimental design, a statistical model, and the preparation of an interne laboratory reference material （pilot vaccine）. The latter is used to study the impact of deviation and variation factors, in order to, optimize the analytical method, to evaluate the bias （random error）, and to calculate the uncertainty of measurement, and make the control charts. This method is applied in the titration of live viral vaccines of Gumboro disease on chicken＇s embryos fibroblasts. The experimental results show that potential influence factors related to the titration method had no significant influence on the obtained results. Taking into account these results, an operating mode has been elaborated. The finalized method proved to be faithful to standard deviation of repeatability and reproducibility of 0.21 and 0.22, respectively, with a confidence level of 95%. The calculated uncertainty of measurement is equal to 0.2, which represents the average error level of a titer. A homogeneous stock of interne laboratory reference vaccine （MRIL）, with an average titer of 5.9 log DIT 50, was produced and the control chart set in away to provide the laboratory with an important tool of control and monitoring of the viral titers evolution in time, as well as, the mastery of the validated titration method performances.

Monte-Carlo based cascade control approach with focus on real overactuated space systems

The present research relies on a cascade control approach through the Monte-Carlo based method in the presence of uncertainties to evaluate the performance of the real overactuated space systems.A number of potential investigations in this area are first considered to prepare an idea with respect to state-of-the-art.The insight proposed here is organized to present attitude cascade control approach including the low thrust in connection with the high thrust to be implemented,while the aforementioned Monte-Carlo based method is carried out to guarantee the approach performance.It is noted that the investigated outcomes are efficient to handle a class of space systems presented via the center of mass and the moments of inertial.And also a number of profiles for the thrust vector and the misalignments as the disturbances all vary in its span of nominal variations.The acquired results are finally analyzed in line with some well-known benchmarks to verify the approach efficiency.The key core of finding in the research is to propose a novel 3-axis control approach to deal with all the mentioned uncertainties of space systems under control,in a synchronous manner,as long as the appropriate models in the low-high thrusts are realized.

Method study and uncertainty analysis of calibration coefficients validation based on the Inner Mongolia test site

Calibration coefficients validation is the foundation for ascertaining the sensor performance and carrying out the quantitative application.Based on the analysis of the differences between the calibration and validation,two calibration coefficients validation methods were introduced in this paper.Taking the HJ-1A satellite CCD1 camera as an example,the uncertainties of calibration coefficients validation were analyzed.The calibration coefficients validation errors were simulated based on the measured data at an Inner Mongolia test site.The result showed that in the large view angle,the ground directional reflectance variation and the atmospheric path variation were the main error sources in calibration coefficients validation.The ground directional reflectance correction and atmospheric observation angle normalization should be carried out to improve the validation accuracy of calibration coefficients.

Formal verification with projection temporal logic

Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.