基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

On convergence of a new secant-like method for solving nonlinear equations

In this paper, we prove that the order of a new secant-like method presented recently with the so-called order of 2.618 is only 2.414. Some mistakes in the derivation leading to such a conclusion are pointed out. Meanwhile, under the assumption that the second derivative of the involved function is bounded, the convergence radius of the secant-like method is given, and error estimates matching its convergence order are also provided by using a generalized Fibonacci sequence.     

Transformation formulae for continuous semimartingales and certain non-regular real functions on the sequence space i p

Transformation formulae for continuous semimartingales and twice continuously partially differentiable real functions on the sequence spaces l^p, 1<p<oo, are proved. Also mappings f are treated for which the derivatives do not exist at the zeroes of f, but which fulfil some boundedness conditions. Furthermore, an approximative formula for the function x^x, x>1/2, is obtained. As an application a representation for the p-norm of a semimartingale is given.     

Applications of Floquet–Magnus expansion,average Hamiltonian theory and Fer expansion to study interactions in solid state NMR when irradiated with the magic-echo sequence

This work presents the possibility of applying the Floquet–Magnus expansion and the Fer expansion approaches to the most useful interactions known in solid-state nuclear magnetic resonance using the magic-echo scheme. The results of the effective Hamiltonians of these theories and average Hamiltonian theory are presented.     

Topological centers of module actions induced by unitary representations

In this paper, we study the topological centers of bilinear maps induced by unitary representations, giving a characterization when the center is minimal and also conditions which guarantee that the center is maximal. Various examples whose topological centers are maximal, minimal or neither will be given. We will also investigate the topological centers of sub-representations, direct sums and tensor products.     

低场核磁共振仪器振铃抑制新方法及其电路实现

加快天线残余能量释放以减弱天线振铃信号有利于缩短低场核磁共振仪器的回波间隔（TE）,从而提高快弛豫组分的测量分辨率和信噪比（SNR）．而天线Q值对能量的发射效率和泄放速度起着相反的作用．为此,我们首先设计了一种新型Q转换电路,在保证发射效率的同时,可以大大缩短能量泄放时间．在此基础上,应用了一种优化的脉冲序列以弥补传统相位交替对脉冲序列（PAPs）不能消除90°脉冲振铃的缺陷,通过相位循环的方法进一步提高了信噪比．最后,在2 MHz岩心分析仪上测试了新型Q转换电路,当天线Q值降为发射期间的约1/5时,天线恢复时间由280.0 μs降为18.2 μs;而且,使用新型Q转换电路和优化的脉冲序列后,TE=60 μs时,可以有效获得快弛豫组分的T₂信号．     

On a problem of Mariusz Meszka

We consider a problem due to Mariusz Meszka similar to the well-known conjecture of Marco Buratti. Does there exist a near-1-factor in the complete graph on _Zp$Z_p$, p$p$ is an odd prime, whose set of edge-lengths equals a given multiset L$L$? We establish several sufficient conditions for the answer to be yes.     

Extensions and traces of functions of bounded variation on metric spaces

In the setting of a metric space equipped with a doubling measure and supporting a Poincaré inequality, and based on results by Björn and Shanmugalingam (2007) [7], we show that functions of bounded variation can be extended from any bounded uniform domain to the whole space. Closely related to extensions is the concept of boundary traces, which have previously been studied by Hakkarainen et al. (2014) [17]. On spaces that satisfy a suitable locality condition for sets of finite perimeter, we establish some basic results for the traces of functions of bounded variation. Our analysis of traces also produces novel pointwise results on the behavior of functions of bounded variation in their jump sets.     

D-T2二维核磁共振脉冲序列及反演方法改进设计

面对日益复杂的勘探对象, D-T₂二维核磁共振技术在实际应用中面临无法兼顾扩散系数测量范围和横向弛豫分辨率的困境. 脉冲序列作为D-T₂二维核磁共振数据采集的核心技术, 其性能优劣直接影响应用效果, 在综合对比PFG, STE-PFG, BP-PFG、改良式CPMG, 扩散编程, 多回波间隔CPMG脉冲序列性能的基础上, 有效融合脉冲梯度场、恒定梯度场D-T₂脉冲序列的优点, 本文提出一种基于脉冲梯度场的双变量、两窗口D-T₂脉冲序列改进设计. 针对两个窗口的D-T₂二维核磁共振数据反演, 为突破现有反演方法无法兼顾反演精度和解谱效率的瓶颈, 本着第二个窗口回波信号为主、第一个窗口回波信号为辅的原则, 本文提出一种同时使用两个窗口数据参与解谱的联合TSVD反演方法. 气水、油水、稠油、油气水模型不同信噪比条件下的数值模拟结果表明, 本文提供的D-T₂改进脉冲序列达到了平衡扩散系数测量范围和横向弛豫分辨率的设计要求, 本文提供的联合TSVD反演方法也有效平衡了反演精度要求和解谱效率. 文中的D-T₂改进脉冲序列及联合TSVD反演方法在复杂油气藏流体识别和产能预测中具有广泛的应用前景, 可为促进国内D-T₂二维核磁共振岩心分析技术的发展提供有利条件.     

交替寻优生成元素幅值结合混沌随机相位构造循环测量矩阵

循环矩阵由于其对应离散卷积且具有快速算法被广泛应用于压缩测量矩阵. 本文从循环测量矩阵生成元素的幅值和相位两个方面探索循环测量矩阵的优化构造, 提出交替寻优生成元素的幅值并结合混沌随机相位实现循环测量矩阵的最优构造. 由一维和二维信号循环测量矩阵的不同表示形式出发, 将等价字典列向量之间互相干系数的Welch界作为逼近目标, 推导出了一维和二维信号循环测量矩阵生成元素幅值优化的统一数学模型, 提出采用交替寻优方法求解生成元素幅值的最优解. 利用混沌序列构造循环测量矩阵生成元素的随机相位. 与已有的典型循环测量矩阵相比, 本文优化构造的循环测量矩阵所对应的等价字典列向量之间具有更低的互相干性, 这正是所构造的循环测量矩阵优越性的本质所在.