一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

复杂地理环境的图像分割及电波传播特性

复杂地理环境是电波传播不可避免的传播环境,不仅不规则地形会对电波传播产生影响,不同的地表媒质对电波传播也会产生不同的影响。为了使得电波传播特性的预测结果更加地准确有效,通过图像分割算法实现地表环境的简单分类,同时对不同的媒质赋予不同的电磁参数,并结合数字高程模型(DEM)数据,实现了既具有地形起伏信息又具有地表电磁环境参数的复杂地理环境建模。在此基础上,对地表电磁环境信息做了网格剖分处理,利用抛物方程(PE)模型对复杂地理环境下的电波传播特性进行了预测。     

储氢长管拖车隧道燃爆事故演化机理研究

储氢长管拖车在城市公路隧道运输时突发异常状况将导致氢气泄漏和燃爆事故,本文通过构建储氢长管拖车隧道事故模型,基于隧道内氢气泄漏浓度、冲击波和温度场等特性参数分析,阐明燃爆事故演化规律和毁伤机理。研究表明,泄漏氢气在隧道口呈竖向羽流扩散,而隧道内扩散时会在一定区域积聚。氢气燃爆处驻留车辆和设备构成边界约束条件,将增强爆炸冲击波的传播速度和峰值超压。此外,冲击波与火焰形成耦合效应,进而增强了破坏后果。     

Effective Action for Noncommutative U（1） Gauge Theory with Higher Dimensional Terms

In this paper we apply the assumption of our recent work in noncommutative scalar models to the noncommutative U（1） gauge theories. This assumption is that the noneommutative effects start to be visible continuously from a scale ANC and that below this scale the theory is a commutative one. Based on this assumption and using background field method and loop calculations, an effective action is derived for noncommutative U（1） gauge theory. It will be shown that the corresponding low energy effective theory is asymptotically free and that under this condition the noncommutative quadratic IR divergences will not appear. The effective theory contains higher dimensional terms, which become more important at high energies. These terms predict an elastic photon-photon scattering due to the noncommutativity of space. The coefficients of these higher dimensional terms also satisfy a positivity constraint indicating that in this theory the related diseases of superluminal signal propagating and bad analytic properties of S-matrix do not exist. In the last section, we will apply our method to the noncommutative extra dimension theories.     

拓朴绝缘体研究的新进展

美国普林斯顿大学的一个研究组于2010年7月15日在《自然》（Nature466，343～34615 July 2010）杂志上面发表题为《拓扑表面态穿越表面障碍》（ Transmission of topological surface states through surface barriers）的文章．在文章中他们用可靠的实验数据给出了拓扑表面态穿越单晶锑材料原子尺度阶梯状表面障碍的传播规律，为研究拓扑绝缘材料的性质做出了重要的贡献．     

Revisiting Chiral Extrapolation by Studying a Lattice Quark Propagator

The quark propagator in the Landau gauge is studied on the lattice, including the quenched and the unquenched results. No obvious unquenched effects are found by comparing the quenched quark propagator with the dynamical one. For the quenched and unquenched configurations, the results with different quark masses have been computed. For the quark mass function, a nonlinear chiral extrapolating behavior is found in the infrared region for both the quenched and dynamical results.     

Intermediate Self-similar Solutions of the Nonlinear Schrodinger Equation with an Arbitrary Longitudinal Gain Profile

We study pulse propagation in a normal-dispersion optical fibre amplifier with an arbitrary longitudinal gain profile by self-similarity techniques. We show the functional form of the development of low-amplitude wings on the parabolic pulse, which are associated with the evolution of an arbitrary input pulse to the asymptotic parabolic pulse solution. It is found that for the increasing gain the amplifier output corresponding to the input Gaussian pulse converges to the asymptotic parabolic pulse solution more quickly than the output obtained with the input hyperbolic secant pulse, whereas for the decreasing gain the input pulse profiles have nearly no effect on the speed of convergence to the parabolic pulse solution. These theoretical results are confirmed by numerical simulations.     

Composite optical vortices in noncollinear Laguerre--Gaussian beams and their propagation in free space

Taking two Laguerre-Gaussian beams with topological charge 1 = ±1 as an example, this paper studies the composite optical vortices formed by two noncollinear Laguerre-Gaussian beams with different phases, amplitudes, waist widths, off-axis distances, and their propagation in free space. It is shown by detailed numerical illustrative examples that the number and location of composite vortices at the waist plane are variable by varying the relative phase β, amplitude ratio η, waist width ratio ξ, or off-axis distance ratio μ. The net topological charge lnet is not always equal to the sum lsum of charges of the two component beams. The motion, creation and annihilation of composite vortices take place in the free-space propagation, and the net charge during the propagation remains unchanged and equals to the net charge at the waist plane.     

在QCD中核子的静态性质

基于参数化的完全穿衣服的夸克传播子,利用量子色动力学（QCD）研究了核子的磁矩和电荷半径平方的平均值与夸克动量的依赖关系。预言的核子磁矩和电荷半径的数值与文献中广泛应用的经验值和其他许多具有QCD特征的理论模型所预言的值一致。结果说明了核子的磁矩和电荷半径不是人们通常所理解的一个不变的常数,而是依赖于核子中夸克动量的一个跑动量,对于不同动量它们的值是不同的。计算结果也清楚地表明了所采用的参数化的夸克传播子的适用性和可靠性。     

信息与信息熵

 有人把当今时代称之为“信息化时代”,也有人把当今社会称之为“信息化社会”,这是因为,随着科学技术的迅速发展,人类社会对信息的需求量及其传播速率也在迅猛提高.