Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Determination of sulfa antibiotic residues in river and particulate matter by field-amplified sample injection-capillary zone electrophoresis

In the present research, field-amplified sample injection–CZE (FASI–CZE) coupled with a diode array detector was established to determine trace level sulfa antibiotic. Sulfathiazole, sulfadiazine, sulfamethazine, sulfadimethoxine, sulfamethoxazole, and sulfisoxazole were selected as analytes for the experiments. The background electrolyte solution consisted of 70.0 mmol/L borax and 60.0 mmol/L boric acid (including 10% methanol, pH 9.1). The plug was 2.5 mmol/L borax, which was injected into the capillary at a pressure of 0.5 psi for 5 s. Then the sample was injected into the capillary at an injection voltage of –10 kV for 20 s. The electrophoretic separation was carried out under a voltage of +19 kV. The capillary temperature was maintained at 20˚C throughout the analysis, and six sulfonamides were completely separated within 35 min. Compared with pressure injection-CZE, the sensitivity of FASI-CZE was increased by 6.25–10.0 times, and the LODs were reduced from 0.2–0.5 to 0.02–0.05 μg/mL. The method was applied to the determination of sulfonamides in river water and particulate matter samples. The recoveries were 78.59–106.59%. The intraday and interday precisions were 2.89–7.35% and 2.77–7.09%, respectively. This provides a simpler and faster method for the analysis of sulfa antibiotic residues in environmental samples.     

A sensitive and efficient method for trace analysis of some phenolic compounds using simultaneous derivatization and air‐assisted liquid–liquid microextraction from human urine and plasma samples followed by gas chromatography–nitrogen phosphorous detection

In present study, a simultaneous derivatization and air‐assisted liquid–liquid microextraction method combined with gas chromatography–nitrogen phosphorous detection has been developed for the determination of some phenolic compounds in biological samples. The analytes are derivatized and extracted simultaneously by a fast reaction with 1‐flouro‐2,4‐dinitrobenzene under mild conditions. Under optimal conditions low limits of detection in the range of 0.05–0.34 ng mL^?1 are achievable. The obtained extraction recoveries are between 84 and 97% and the relative standard deviations are less than 7.2% for intraday (n = 6) and interday (n = 4) precisions. The proposed method was demonstrated to be a simple and efficient method for the analysis of phenols in biological samples. Copyright © 2015 John Wiley & Sons, Ltd.     

The High Energy X-ray telescope (HE) onboard the Insight-HXMT astronomy satellite

The Insight-Hard X-ray Modulation Telescope(Insight-HXMT) is a broadband X-ray and γ-ray(1-3000 ke V) astronomy satellite. One of its three main telescopes is the High Energy X-ray telescope(HE). The main detector plane of HE comprises 18 Na I(Tl)/Cs I(Na) phoswich detectors, where Na I(Tl) is used as the primary detector to measure ~ 20-250 ke V photons incident from the field of view(FOV) defined by collimators, and Cs I(Na) is used as the active shielding detector to Na I(Tl) by pulse shape discrimination. Additionally, Cs I(Na) is used as an omnidirectional γ-ray monitor. The HE collimators have a diverse FOV,i.e. 1.1°×5.7°(15 units), 5.7°×5.7°(2 units), and blocked(1 unit). Therefore, the combined FOV of HE is approximately5.7°×5.7°. Each HE detector has a diameter of 190 mm resulting in a total geometrical area of approximately 5100 cm2, and the energy resolution is ~15% at 60 ke V. For each recorded X-ray event by HE, the timing accuracy is less than 10 μs and the deadtime is less than 10 μs. HE is used for observing spectra and temporal variability of X-ray sources in the 20-250 ke V band either by pointing observations for known sources or scanning observations to unveil new sources. Additionally, HE is used for monitoring the γ-ray burst in 0.2-3 Me V band. This paper not only presents the design and performance of HE instruments but also reports results of the on-ground calibration experiments.     

Surface passivation in n-type silicon and its application in silicon drift detector

Based on the surface passivation of n-type silicon in a silicon drift detector(SDD), we propose a new passivation structure of SiO2/Al2O3/SiO2 passivation stacks. Since the SiO2 formed by the nitric-acid-oxidation-of-silicon(NAOS)method has good compactness and simple process, the first layer film is formed by the NAOS method. The Al2O3 film is also introduced into the passivation stacks owing to exceptional advantages such as good interface characteristic and simple process. In addition, for requirements of thickness and deposition temperature, the third layer of the SiO2 film is deposited by plasma enhanced chemical vapor deposition(PECVD). The deposition of the SiO2 film by PECVD is a low-temperature process and has a high deposition rate, which causes little damage to the device and makes the SiO2 film very suitable for serving as the third passivation layer. The passivation approach of stacks can saturate dangling bonds at the interface between stacks and the silicon substrate, and provide positive charge to optimize the field passivation of the n-type substrate.The passivation method ultimately achieves a good combination of chemical and field passivations. Experimental results show that with the passivation structure of SiO2/Al2O3/SiO2, the final minority carrier lifetime reaches 5223 μs at injection of 5×10¹⁵ cm^-3. When it is applied to the passivation of SDD, the leakage current is reduced to the order of nA.     

不等式约束条件下回归模型的参数估计及检验

本文研究了具有不等式约束条件的回归模型的参数估计，给出了检验的统计量和一个实例．     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。