基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

柱头进样结合气相色谱质谱分析动物源食品中热不稳定性氨基甲酸酯类农药

对柱头进样结合气相色谱-质谱法(GC/MS)应用于复杂基体中热不稳定性氨基甲酸酯农药检测的可行性及可靠性进行了探讨.在常规不分流进样和柱头进样模式下,对13种氨基甲酸酯类农药的热不稳定性进行了比较.以猪肉、鸡蛋、牛奶为研究基体,采用乙腈提取,凝胶渗透色谱结合中性氧化铝固相萃取柱净化,柱头进样-GC/MS检测.研究表明:...     

Decay vertex reconstruction and 3-dimensional lifetime determination at BESⅢ

This paper focuses mainly on the vertex reconstruction of resonance particles with a relatively long lifetime such as Ks^0, A, as well as on lifetime measurements using a 3-dimensional fit. The kinematic constraints between the production and decay vertices and the decay vertex fitting algorithm based on the least squares method are both presented. Reconstruction efficiencies including experimental resolutions are discussed. The results and systematic errors are calculated based on a Monte Carlo simulation.     

Track reconstruction in the BESⅢ muon counter

The reconstruction algorithm for BESⅢ Muon Counter, MucRecAlg, is developed with the objectoriented language C＋＋ in BESⅢ offine software environment. MucRecAlg consists of the following functions：to find track seeds either from extrapolation of tracks in the main drift chamber or from the fired strips in muon counter, to select fired strips associated to the candidate tracks, to fit the candidate tracks with a linear or quadratic function and to calculate other parameters of the tracks for muon identification. Monte Carlo samples are generated to check the performance of the reconstruction package, such as reconstruction effciency, muon remaining rate and pion rejection rate, etc. The preliminary results show that the pion rejection rate is around 3%—4% while the muon remaining rate is better than 90% in 0.4—1.6 GeV/c momentum region, which meets the requirement as shown in the design report.     

分子印迹固相萃取-液相色谱-质谱法测定果蔬中20种三唑类农药残留

以三唑酮为模板分子,三氟甲基丙烯酸为功能单体,乙二醇二甲基丙烯酸酯为交联剂,合成了对三唑类农药具有高选择性的分子印迹聚合物。将印迹聚合物作为固相萃取填料,优化分离、富集三唑类农药的最优上样、淋洗和洗脱条件。结合液相色谱串联质谱法,实现了果蔬样品中20种三唑类杀菌剂的高通量特异性检测。对样品前处理过程中的加标回收率进行了考察,并对比了分子印迹固相萃取和ENVI-Carb/SPE小柱的基质效应。结果表明:在1.0,2.0和10.0μg/kg加标水平下,三唑类农药的回收率在81.0%~109.7%之间,相对标准偏差小于12.6%,基质效应在91.1%~121.8%之间。方法灵敏、准确度高,与ENVI-Carb/SPE小柱相比,能更有效减弱基体效应。     

次氮基三丙酸与铍离子螯合作用的研究

采用分光光度法研究了次氮基三丙酸(3,3',3'-Nitrilotripropionic Acid,NTP)与稀有金属铍元素之间的螯合作用,并测定了NTP在不同时间,pH值,Be2+浓度等条件下对Be2+的螯合性能。研究发现在室温25℃,pH=6.0条件下,NTP对Be2+的螯合在较短的时间内完成,2h左右达到最大,NTP对Be2+螯合物的摩尔比为1∶1,条件稳定常数lgK为4.35。螯合反应时pH值对NTP与Be2+螯合量有着重要的影响。当螯合反应显弱酸性时,NTP对Be2+的螯合较为稳定。     

膜去溶-电感耦合等离子体质谱法测定高纯氟化铍中痕量稀土元素

建立了膜去溶与电感耦合等离子体质谱联用法（MD-ICP-MS）测定高纯氟化铍（BeF₂）中的稀土元素,比较研究了冷雾化湿法与膜去溶干法进样技术在痕量稀土元素分析中的应用。在优化膜去溶装置参数后,MD-ICP-MS显著提高了元素的分析灵敏度,Ce的信号强度显著增加约5倍;CeO⁺/Ce⁺下降了约2个数量级,变化范围降在0.013%～0.019%之间。通过酸纯化器对本底进行了严格的控制,MD-ICP-MS的检出限范围为0.2～2.6 ng/L。对高纯BeF₂进行了分析,除了含量极低的稀土元素,ICP-MS与MD-ICP-MS法测定稀土元素的相对偏差均在5%以内。MD-ICP-MS的加标回收率在92.4%～105.2%之间。该方法可为高纯BeF₂中痕量稀土元素提供分析支持。     

Study of BESⅢ MUC offine software with cosmic-ray data

Cosmic-ray data of 90 M events have been collected and used for calibration,alignment as well as detector tuning. A special tracking algorithm for the BESⅢ muon counter is developed and verified with Monte-Carlo simulation and then further confirmed with the cosmic-ray data. The obtained strip resolutions are in good agreement with the design values. A new alignment approach for the BESⅢ muon counter is confirmed with the cosmic-ray data and proposed to be used in future analysis of experimental data.     

电感耦合等离子体原子发射光谱法测定氟铍酸铵中的杂质元素

采用电感耦合等离子体原子发射光谱法测定氟铍酸铵中的8种主要杂质元素。以超声辅助溶解样品,然后用电感耦合等离子体原子发射光谱法测定氟铍酸铵中的钠、镁、铝、铬、铁、镍、铜、磷等8种杂质元素,8种元素线性相关系数均大于0.999,测定结果的相对标准偏差为0.65%~1.55%(n=6),检出限在0.2~19.1μg/L之间,定量范围满足氟铍酸铵中8种杂质元素的限量要求。磷的加标回收率为76.7%,其余7种杂质元素的加标回收率在80.9%~95.1%之间,测量准确度满足分析要求。将电感耦合等离子体原子发射光谱法和电感耦合等离子体质谱法进行了比较,两种方法测定结果基本一致。     

Histogram comparison used in BESⅢ software and data validation

The performance of histogram comparison is studied for the various types of hypothesis test methods. The Kolmogorov test is recommended for the software and data validation and the minimum event numbers for different distributions are given in order to get more reliable results. A new bin content comparison method is implemented to deal with the hitmap-like histograms.