针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图...针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图的图形编辑工具,强有力地支持TTCN-3测试套的开发。一方面提高了TTCN-3测试套的开发效率,测试套的可读性;另一方面,对图形元素的添加限制也有效地保障了开发的TTCN-3代码符合TTCN-3核心语言规则。展开更多
一、GFT的计算 GFT是离散富里叶变换DFT的一种推广.它在许多方面有实际应用,其定义为: 设a,b为二个实数,x_n(n=0,1,…,N—1)为一实序列,称 X_k=sum from n=0 to N-1 x_nW_N^((n+a)(k+b)),k=0,1…,N-1,为具有时间参数a及频率参数b的广义D...一、GFT的计算 GFT是离散富里叶变换DFT的一种推广.它在许多方面有实际应用,其定义为: 设a,b为二个实数,x_n(n=0,1,…,N—1)为一实序列,称 X_k=sum from n=0 to N-1 x_nW_N^((n+a)(k+b)),k=0,1…,N-1,为具有时间参数a及频率参数b的广义DFT.简记为GFT(a,b),其中W_N=e^(-i2π/N)。展开更多
Let (xn,(?)n) be a uniform amart. If sap E||xn||=∞, then there exists a stopping time τsuch that E||xτ||I(τ<∞)=∞. Moreover, if E has RNP, then every vector-valued mil (GFT) of class (C) converges a. s. (in pr...Let (xn,(?)n) be a uniform amart. If sap E||xn||=∞, then there exists a stopping time τsuch that E||xτ||I(τ<∞)=∞. Moreover, if E has RNP, then every vector-valued mil (GFT) of class (C) converges a. s. (in probability) strongly.展开更多
In this paper, we have proved that the lower bound of the number of real multiplications for computing a length 2(t) real GFT(a,b) (a = +/-1/2, b = 0 or b = +/-1/2, a = 0) is 2(t+1) - 2t - 2 and that for computing a l...In this paper, we have proved that the lower bound of the number of real multiplications for computing a length 2(t) real GFT(a,b) (a = +/-1/2, b = 0 or b = +/-1/2, a = 0) is 2(t+1) - 2t - 2 and that for computing a length 2t real GFT(a,b)(a = +/-1/2, b = +/-1/2) is 2(t+1) - 2. Practical algorithms which meet the lower bounds of multiplications are given.展开更多
The aim of the study is to investigate the contents of trace element Se, Cd, Pb in three plants including burdock, ginkgol and garlic via graphite furnace atomic absorption and standard addition method. The results sh...The aim of the study is to investigate the contents of trace element Se, Cd, Pb in three plants including burdock, ginkgol and garlic via graphite furnace atomic absorption and standard addition method. The results show that Se in burdock stem, skin and leaf are 32.40, 48.63, 38.10 μg/g, respectively; Cd in burdock stem, skin and leaf are 0. 160 0, 0. 300 0, 0. 140 0 μg/g, respectively; Cd in burdock stem, skin and leaf are 2. 020, 3. 960, 2. 410 μg/g, respectively. In the ginkgo and ginko leaf, Se contents are 17.63 and 16.91 μg/g, respectively ; for Cd are 0. 181 0 and 0.2020μg/g, respectively ; for Pb are 3. 572 and 4. 021 μg/g, respectively. In garlic, Se, Cd and Pb are 73. 900 0, 6. 900 0 and 0. 390 0, respectively. All the standard deviations of measured results are below 2.3%, recovery rate are from 99% to 101%.展开更多
文摘针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图的图形编辑工具,强有力地支持TTCN-3测试套的开发。一方面提高了TTCN-3测试套的开发效率,测试套的可读性;另一方面,对图形元素的添加限制也有效地保障了开发的TTCN-3代码符合TTCN-3核心语言规则。
文摘一、GFT的计算 GFT是离散富里叶变换DFT的一种推广.它在许多方面有实际应用,其定义为: 设a,b为二个实数,x_n(n=0,1,…,N—1)为一实序列,称 X_k=sum from n=0 to N-1 x_nW_N^((n+a)(k+b)),k=0,1…,N-1,为具有时间参数a及频率参数b的广义DFT.简记为GFT(a,b),其中W_N=e^(-i2π/N)。
基金Project supported by the National Natural Science Foundation of China
文摘Let (xn,(?)n) be a uniform amart. If sap E||xn||=∞, then there exists a stopping time τsuch that E||xτ||I(τ<∞)=∞. Moreover, if E has RNP, then every vector-valued mil (GFT) of class (C) converges a. s. (in probability) strongly.
文摘In this paper, we have proved that the lower bound of the number of real multiplications for computing a length 2(t) real GFT(a,b) (a = +/-1/2, b = 0 or b = +/-1/2, a = 0) is 2(t+1) - 2t - 2 and that for computing a length 2t real GFT(a,b)(a = +/-1/2, b = +/-1/2) is 2(t+1) - 2. Practical algorithms which meet the lower bounds of multiplications are given.
基金School Fund of Xuzhou Institute of Technology (XKY200614)~~
文摘The aim of the study is to investigate the contents of trace element Se, Cd, Pb in three plants including burdock, ginkgol and garlic via graphite furnace atomic absorption and standard addition method. The results show that Se in burdock stem, skin and leaf are 32.40, 48.63, 38.10 μg/g, respectively; Cd in burdock stem, skin and leaf are 0. 160 0, 0. 300 0, 0. 140 0 μg/g, respectively; Cd in burdock stem, skin and leaf are 2. 020, 3. 960, 2. 410 μg/g, respectively. In the ginkgo and ginko leaf, Se contents are 17.63 and 16.91 μg/g, respectively ; for Cd are 0. 181 0 and 0.2020μg/g, respectively ; for Pb are 3. 572 and 4. 021 μg/g, respectively. In garlic, Se, Cd and Pb are 73. 900 0, 6. 900 0 and 0. 390 0, respectively. All the standard deviations of measured results are below 2.3%, recovery rate are from 99% to 101%.
