In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model bas...In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.展开更多
In this work, a smart strategy that combines three-way high performance liquid chromatography-diode array detection(HPLCDAD) data with second-order calibration method based on alternating trilinear decomposition(ATLD)...In this work, a smart strategy that combines three-way high performance liquid chromatography-diode array detection(HPLCDAD) data with second-order calibration method based on alternating trilinear decomposition(ATLD) algorithm was proposed for simultaneous determination of eleven non-steroidal anti-inflammatory drugs(NSAIDs) illegally added into Chinese patent drugs and health products. All target analytes were rapidly eluted out within 14.5 min under a simple gradient elution. With the aid of the prominent "second-order advantage" of the ATLD algorithm, three HPLC problems, i.e. peak overlaps, unknown interferences and baseline drift, could be mathematically calibrated, and pure signals of target analytes could be extracted out from heavy-interference but information-rich HPLC-DAD data. The average spiked recoveries for all target analytes were in the range of 95.9%–106.4% with standard deviations lower than 7.5%. Validation parameters including sensitivity(SEN), selectivity(SEL), limit of detection(LOD), limit of quantitation(LOQ) and precisions of intra-day and inter-day were calculated to validate the accuracy of the proposed method, quantitative results were further confirmed by the classic HPLC method, which proved that chemometrics-assisted HPLC-DAD analytical strategy was highly efficient, accurate and green for drug-abuse monitoring of NSAIDs in Chinese patent drugs and health products.展开更多
Based on the immersed boundary method, a numerical simulation for an oscillating airfoil is established and a preliminary analysis of the oscillating airfoil is presented with an emphasis on the physical understanding...Based on the immersed boundary method, a numerical simulation for an oscillating airfoil is established and a preliminary analysis of the oscillating airfoil is presented with an emphasis on the physical understanding of fluid-structure interaction. In order to validate the method, two simulation cases： oscillating circular cylinder at low K-C number and two degrees of freedom oscillating cylinder are carded out first and the results are in good agreement with the previous re：searches. In the oscillating airfoil simulation, it is found that the reduced velocity U^＊. is a very sensitive factor and especially U^＊-2.8 is the critical stable boundary in the present work. The method shows the predominance of time saving in computational process for such a complicated fluid-structure interac- tion problem.展开更多
文摘In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.
基金supported by the National Natural Science Foundation of China (21575039, 21775039, 21521063)
文摘In this work, a smart strategy that combines three-way high performance liquid chromatography-diode array detection(HPLCDAD) data with second-order calibration method based on alternating trilinear decomposition(ATLD) algorithm was proposed for simultaneous determination of eleven non-steroidal anti-inflammatory drugs(NSAIDs) illegally added into Chinese patent drugs and health products. All target analytes were rapidly eluted out within 14.5 min under a simple gradient elution. With the aid of the prominent "second-order advantage" of the ATLD algorithm, three HPLC problems, i.e. peak overlaps, unknown interferences and baseline drift, could be mathematically calibrated, and pure signals of target analytes could be extracted out from heavy-interference but information-rich HPLC-DAD data. The average spiked recoveries for all target analytes were in the range of 95.9%–106.4% with standard deviations lower than 7.5%. Validation parameters including sensitivity(SEN), selectivity(SEL), limit of detection(LOD), limit of quantitation(LOQ) and precisions of intra-day and inter-day were calculated to validate the accuracy of the proposed method, quantitative results were further confirmed by the classic HPLC method, which proved that chemometrics-assisted HPLC-DAD analytical strategy was highly efficient, accurate and green for drug-abuse monitoring of NSAIDs in Chinese patent drugs and health products.
基金supported by NSFC under grants 50736007 and 50136010
文摘Based on the immersed boundary method, a numerical simulation for an oscillating airfoil is established and a preliminary analysis of the oscillating airfoil is presented with an emphasis on the physical understanding of fluid-structure interaction. In order to validate the method, two simulation cases： oscillating circular cylinder at low K-C number and two degrees of freedom oscillating cylinder are carded out first and the results are in good agreement with the previous re：searches. In the oscillating airfoil simulation, it is found that the reduced velocity U^＊. is a very sensitive factor and especially U^＊-2.8 is the critical stable boundary in the present work. The method shows the predominance of time saving in computational process for such a complicated fluid-structure interac- tion problem.
