Trapezoidal pulse shaping algorithm is widely applied to improve signal-to-noise ratio(SNR), throughput and energy resolution with the properties of noise suppression, pile-up pulse separation and ballistic deficit co...Trapezoidal pulse shaping algorithm is widely applied to improve signal-to-noise ratio(SNR), throughput and energy resolution with the properties of noise suppression, pile-up pulse separation and ballistic deficit correction. The algorithm can be acquired by z transform method which is easier for derivation. However, the baseline drift of trapezoidal pulse appears because the noise superimposes on the input signal. In this paper,two new methods based on convergence analysis and noise suppression are proposed to remove the baseline drift resulting from trapezoidal pulse shaping. Simulations and experimental tests are carried out to verify the methods. The results demonstrate that the proposed methods can remove baseline drift in trapezoidal pulse shaping.展开更多
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基...OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.展开更多
基金Supported by National High Technology Research and Development Program of China(863 Program)(No.2012AA061804-03)
文摘Trapezoidal pulse shaping algorithm is widely applied to improve signal-to-noise ratio(SNR), throughput and energy resolution with the properties of noise suppression, pile-up pulse separation and ballistic deficit correction. The algorithm can be acquired by z transform method which is easier for derivation. However, the baseline drift of trapezoidal pulse appears because the noise superimposes on the input signal. In this paper,two new methods based on convergence analysis and noise suppression are proposed to remove the baseline drift resulting from trapezoidal pulse shaping. Simulations and experimental tests are carried out to verify the methods. The results demonstrate that the proposed methods can remove baseline drift in trapezoidal pulse shaping.
基金Higher Education Institutions Science&Technology Development Fund Planning Project of Tianjin(20090711)National Natural Science Foundation of China(61001042)Natural Science Foundation of Tianjin(09JCYBJC 15500)
文摘OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
