期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
Static Analysis and Code Complexity Metrics as Early Indicators of Software Defects
1
作者 Safa Omri Pascal Montag Carsten Sinz 《Journal of Software Engineering and Applications》 2018年第4期153-166,共14页
Software is an important part of automotive product development, and it is commonly known that software quality assurance consumes considerable effort in safety-critical embedded software development. Increasing the e... Software is an important part of automotive product development, and it is commonly known that software quality assurance consumes considerable effort in safety-critical embedded software development. Increasing the effectiveness and efficiency of this effort thus becomes more and more important. Identifying problematic code areas which are most likely to fail and therefore require most of the quality assurance attention is required. This article presents an exploratory study investigating whether the faults detected by static analysis tools combined with code complexity metrics can be used as software quality indicators and to build pre-release fault prediction models. The combination of code complexity metrics with static analysis fault density was used to predict the pre-release fault density with an accuracy of 78.3%. This combination was also used to separate high and low quality components with a classification accuracy of 79%. 展开更多
关键词 static Analysis Tools COMPLEXITY metrics Software Quality ASSURANCE STATISTICAL Methods FAULT Proneness
下载PDF
Plane Symmetric Solutions to the Nonlinear Spinor Field Equations in General Relativity Theory 被引量:5
2
作者 A. Adomou Jonas Edou Siaka Massou 《Journal of Modern Physics》 2019年第10期1222-1234,共13页
We have obtained exact static plane-symmetric solutions to the spinor field equations with nonlinear terms which are arbitrary functions of invariant , taking into account their own gravitational field. It is shown th... We have obtained exact static plane-symmetric solutions to the spinor field equations with nonlinear terms which are arbitrary functions of invariant , taking into account their own gravitational field. It is shown that the initial set of the Einstein and spinor field equations with a power-law nonlinearity have regular solutions with a localized energy density of the spinor field only if m=0 (m is the mass parameter in the spinor field equations). Equations with power and polynomial nonlinearities are studied in detail. In this case, a soliton-like configuration has negative energy. We have also obtained exact static plane-symmetric solutions to the above spinor field equations in flat space-time. It is proved that in this case soliton-like solutions are absent. 展开更多
关键词 LAGRANGIAN static plane-symmetric metric Field EQUATIONS ENERGY-MOMENTUM Tensor Charge Density Current Vector SOLITON-LIKE Solution
下载PDF
The Singularities of Gravitational Fields of Static Thin Loop and Double Spheres Reveal the Impossibility of Singularity Black Holes 被引量:2
3
作者 Xiaochun Mei 《Journal of Modern Physics》 2013年第7期974-982,共9页
In the classical Newtonian mechanics, the gravity fields of static thin loop and double spheres are two simple but foundational problems. However, in the Einstein’s theory of gravity, they are not simple. In fact, we... In the classical Newtonian mechanics, the gravity fields of static thin loop and double spheres are two simple but foundational problems. However, in the Einstein’s theory of gravity, they are not simple. In fact, we do not know their solutions up to now. Based on the coordinate transformations of the Kerr and the Kerr-Newman solutions of the Einstein’s equation of gravity field with axial symmetry, the gravity fields of static thin loop and double spheres are obtained. The results indicate that, no matter how much the mass and density are, there are singularities at the central point of thin loop and the contact point of double spheres. What is more, the singularities are completely exposed in vacuum. Space near the surfaces of thin loop and spheres are highly curved, although the gravity fields are very weak. These results are inconsistent with practical experience and completely impossible. By reasonable analogy, black holes with singularity in cosmology and astrophysics are something illusive. Caused by the mathematical description of curved space-time, they do not exist in real world actually. If there are black holes in the universe, they can only be the types of the Newtonian black holes without singularities, rather than the Einstein’s singularity black holes. In order to escape the puzzle of singularity thoroughly, the description of gravity should return to the traditional form of dynamics in flat space. The renormalization of gravity and the unified description of four basic interactions may be possible only based on the frame of flat space-time. Otherwise, theses problems can not be solved forever. Physicists should have a clear understanding about this problem. 展开更多
关键词 General Relativity The Einstein’s Equation of Gravity FIELD Axially Symmetrical Solutions SINGULARITY Kerr metric Kerr-Newman metric GRAVITATIONAL FIELD of static Thin LOOP GRAVITATIONAL FIELD of Double SPHERES Black Hole Quasar MECO
下载PDF
Nonlinear Spinor Field Equations in Gravitational Theory: Spherical Symmetric Soliton-Like Solutions 被引量:2
4
作者 V. Adanhounme A. Adomou +1 位作者 F. P. Codo M. N. Hounkonnou 《Journal of Modern Physics》 2012年第9期935-942,共8页
This paper deals with an extension of a previous work [Gravitation & Cosmology, Vol. 4, 1998, pp 107-113] to exact spherical symmetric solutions to the spinor field equations with nonlinear terms which are arbitra... This paper deals with an extension of a previous work [Gravitation & Cosmology, Vol. 4, 1998, pp 107-113] to exact spherical symmetric solutions to the spinor field equations with nonlinear terms which are arbitrary functions of S=ψψ, taking into account their own gravitational field. Equations with power and polynomial nonlinearities are studied in detail. It is shown that the initial set of the Einstein and spinor field equations with a power nonlinearity has regular solutions with spinor field localized energy and charge densities. The total energy and charge are finite. Besides, exact solutions, including soliton-like solutions, to the spinor field equations are also obtained in flat space-time. 展开更多
关键词 Lagrangian static SPHERICAL SYMmetric metric Field EQUATIONS EINSTEIN EQUATIONS Dirac Equation ENERGY-MOMENTUM Tensor Charge Density Current Vector SOLITON-LIKE Solution
下载PDF
基于混合注意力机制的软件缺陷预测方法 被引量:1
5
作者 刁旭炀 吴凯 +2 位作者 陈都 周俊峰 高璞 《计算机测量与控制》 2023年第3期56-62,70,共8页
软件缺陷预测技术用于定位软件中可能存在缺陷的代码模块,从而辅助开发人员进行测试与修复;传统的软件缺陷特征为基于软件规模、复杂度和语言特点等人工提取的静态度量元信息;然而,静态度量元特征无法直接捕捉程序上下文中的缺陷信息,... 软件缺陷预测技术用于定位软件中可能存在缺陷的代码模块,从而辅助开发人员进行测试与修复;传统的软件缺陷特征为基于软件规模、复杂度和语言特点等人工提取的静态度量元信息;然而,静态度量元特征无法直接捕捉程序上下文中的缺陷信息,从而影响了软件缺陷预测的性能;为了充分利用程序上下文中的语法语义信息,论文提出了一种基于混合注意力机制的软件缺陷预测方法 DP-MHA(defect prediction via mixed attention mechanism);DP-MHA首先从程序模块中提取基于AST树的语法语义序列并进行词嵌入编码和位置编码,然后基于多头注意力机制自学习上下文语法语义信息,最后利用全局注意力机制提取关键的语法语义特征,用于构建软件缺陷预测模型并识别存在潜在缺陷的代码模块;为了验证DP-MHA的有效性,论文选取了6个Apache的开源Java数据集,与经典的基于RF的静态度量元方法、基于RBM+RF、DBN+RF无监督学习方法和基于CNN和RNN深度学习方法进行对比,实验结果表明,DP-MHA在F1值分别提升了16.6%、34.3%、26.4%、7.1%、4.9%。 展开更多
关键词 软件缺陷预测 语法语义信息 静态度量元 多头注意力机制 全局注意力机制
下载PDF
动态特征和静态特征自适应融合的目标跟踪算法 被引量:4
6
作者 张立朝 毕笃彦 +2 位作者 查宇飞 汪云飞 马时平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2015年第6期164-172,共9页
由于大多数目标跟踪算法只采用单一静态特征或单一动态特征对目标建模,但静态特征模型不能描述目标的动态特性,并且很难适应场景复杂、快速移动和旋转等问题;而传统运动光流能够描述局部动态特性,却存在孔径问题.提出一种自适应融合动... 由于大多数目标跟踪算法只采用单一静态特征或单一动态特征对目标建模,但静态特征模型不能描述目标的动态特性,并且很难适应场景复杂、快速移动和旋转等问题;而传统运动光流能够描述局部动态特性,却存在孔径问题.提出一种自适应融合动态特征和静态特征的跟踪方法:通过双向光流预测和误差度量自适应提取动态特征,并提取候选目标区域的静态特征,然后构造融合权重函数有效地融合动态特征和静态特征并以此构造协方差矩阵估计误差椭圆,准确描述目标尺度和方向,实现对目标精确表示;通过on-line参数更新机制对权重分配参数进行更新,实现动态特征和静态特征分配的自适应调节,能够适应目标运动速度的变化和场景变化.实验结果表明,在背景复杂的情况下,当目标快速移动或旋转时,与其他相关算法相比,该算法能够获得更好的跟踪效果. 展开更多
关键词 动态特征 运动度量 静态特征 特征融合 自适应
下载PDF
代码质量静态度量的研究与应用 被引量:6
7
作者 黄沛杰 杨铭铨 《计算机工程与应用》 CSCD 北大核心 2011年第23期61-63,107,共4页
代码质量度量是软件质量分析的一个重要研究方向。静态分析方法因其具有成本低、容易实现而且不依赖于程序特定的运行环境的优点,在当前软件网络化、服务化的趋势下倍受关注。针对Java代码质量度量进行研究,使用Ant工具整合各种开源的... 代码质量度量是软件质量分析的一个重要研究方向。静态分析方法因其具有成本低、容易实现而且不依赖于程序特定的运行环境的优点,在当前软件网络化、服务化的趋势下倍受关注。针对Java代码质量度量进行研究,使用Ant工具整合各种开源的静态测试工具,并制定基于静态分析的Java代码质量综合评价方案,可支持包括代码规模、规范性、可维护性、可扩展性和潜在危险等方面的综合检测,为项目的开发者、管理者和使用者提供了实用的代码质量评价方法。 展开更多
关键词 代码质量 静态度量 软件分析 综合评价
下载PDF
基于持续集成的软件度量 被引量:7
8
作者 姜文 刘立康 《计算机测量与控制》 2017年第5期136-139,共4页
软件度量是针对软件开发项目、过程及产品进行数据定义、收集和分析的持续度量化过程;持续集成工具上的的构建工程每天自动完成从版本库更新代码、静态检查、编译、出包、自动化用例测试等任务,在进行集成构建的过程中可以为软件度量提... 软件度量是针对软件开发项目、过程及产品进行数据定义、收集和分析的持续度量化过程;持续集成工具上的的构建工程每天自动完成从版本库更新代码、静态检查、编译、出包、自动化用例测试等任务,在进行集成构建的过程中可以为软件度量提供多种相关的度量数据;结合工作实践,叙述了基于持续集成的软件度量的原理;软件度量管理涉及到的角色;软件度量实现过程;叙述了基于持续集成的两种类型的软件度量指标的定义以及提取方法;最后详细叙述了在软件度量过程中遇到的几个典型案例;工作实践表明在软件的开发过程中做好软件度量工作有助于软件开发部门控制、预测、和改进软件产品的质量与软件开发过程;从而提高软件质量和软件开发效率,降低软件开发成本。 展开更多
关键词 软件度量 持续集成 静态检查 软件版本 集成构建
下载PDF
四川地区青年人鼓室导抗筛查的正常值 被引量:7
9
作者 王昕 梁传余 Shanna Jean Lahr 《听力学及言语疾病杂志》 CAS CSCD 2003年第4期266-269,共4页
目的 探讨四川地区青年人群 (2 0~ 3 0岁 )的鼓室导抗筛查的正常值及其影响因素。方法 采取完全重复Roup(1998)测试成人鼓室导抗筛查值的方法 ,测试了 10 2例四川地区青年人的峰补偿静态声导纳值 (PeakYtm) ,外耳道等效容积 (Vea)和... 目的 探讨四川地区青年人群 (2 0~ 3 0岁 )的鼓室导抗筛查的正常值及其影响因素。方法 采取完全重复Roup(1998)测试成人鼓室导抗筛查值的方法 ,测试了 10 2例四川地区青年人的峰补偿静态声导纳值 (PeakYtm) ,外耳道等效容积 (Vea)和鼓室测量坡度 (TW )的正常值 ,并将结果与Roup的测试值进行了比较。结果 本研究与Roup的测试结果在各项鼓室导抗筛查值之间均存在显著性差异。具体而言 ,本研究的峰补偿静态声导纳值及外耳道等效容积均小于Roup的测试值 ,而鼓室测量坡度大于其测试值。男女分性别比较时 ,本研究中男性的峰补偿静态声导纳值及外耳道等效容积均大于女性。结论 本研究验证了四川地区青年人群与西方人群间的鼓室导抗筛查正常值之间的确存在显著性差异 ,提示我们应该建立自己的正常参考值标准 。 展开更多
关键词 鼓室导抗筛查 正常值 峰补偿静态声导纳值 外耳道等效容积 鼓室测量坡度
下载PDF
高维时空中静态荷电球体的内解(英文) 被引量:1
10
作者 谭振强 黄湘寒 +1 位作者 罗量锱 沈有根 《广西大学学报(自然科学版)》 CAS CSCD 2007年第3期285-287,共3页
在假设静态荷电球体内部物质密度为ρ=μr2,电荷密度为σ=σ0e-λ(r)/2的条件下,严格求解高维Einstein-Maxwell场方程,给出了一个精确的内部解.
关键词 高维时空 Einstein—Maxwell场方程 静态荷电球体 度规
下载PDF
采用状态度量抽取和内插策略的低功耗Turbo译码器 被引量:1
11
作者 李晓峰 冯大政 胡树楷 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第3期58-62,71,共6页
针对采用最大后验概率算法的Turbo译码器,提出了一种新颖的前向、后向度量计算和存储器管理的策略.通过在前向状态度量计算时对部分度量值等间隔抽取存储,然后在对数似然比计算时经过内插还原出未存储的状态度量值,极大地减少了状态度... 针对采用最大后验概率算法的Turbo译码器,提出了一种新颖的前向、后向度量计算和存储器管理的策略.通过在前向状态度量计算时对部分度量值等间隔抽取存储,然后在对数似然比计算时经过内插还原出未存储的状态度量值,极大地减少了状态度量存储单元,从而降低了功耗和实现面积.与传统的实现方法比较,当滑窗为128时,可以节省80%的状态度量存储单元.在65nm的工艺下,约束工作电压为1.18V和时钟频率为350MHz时,该方法实现的HSDPA Turbo译码器可以达到21.4Mbit/s的吞吐量和29.3mW的功耗,且每次迭代的能量效率仅为0.171nJ/bit. 展开更多
关键词 TURBO码 最大后验概率译码器 状态度量抽取和内插 超大规模集成电路
下载PDF
基于度量元的静态软件缺陷预测技术 被引量:2
12
作者 常瑞花 贾鹏 《火力与指挥控制》 CSCD 北大核心 2015年第2期1-5,共5页
软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷... 软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。 展开更多
关键词 度量元 软件缺陷 预测 静态
下载PDF
FPGA软件静态质量度量 被引量:2
13
作者 李晨阳 《计算机与数字工程》 2017年第12期2547-2551,共5页
针对FPGA软件质量依靠商业工具评价不足现象,通过对软件代码静态质量度量模型研究,结合FPGA软件自身特性,提出了FPGA软件静态质量度量新方法,以量化数据表示代码质量水平,给出评价算法和评价流程,并对商业工具Alint质量评价系统进行了改... 针对FPGA软件质量依靠商业工具评价不足现象,通过对软件代码静态质量度量模型研究,结合FPGA软件自身特性,提出了FPGA软件静态质量度量新方法,以量化数据表示代码质量水平,给出评价算法和评价流程,并对商业工具Alint质量评价系统进行了改造,运用于实际案例分析中。测试结果表明,新的度量方法能够有效地对软件静态质量进行度量,为评价FPGA软件质量水平提供了一条新的验证途径,减少了软件质量评价中的主观性。 展开更多
关键词 FPGA软件 静态质量 度量元 规则集 加权
下载PDF
荷电柱状天体外部度规的计算
14
作者 吕君丽 周启煌 《湖南师范大学自然科学学报》 CAS 1989年第1期28-35,共8页
本文从静态轴对称度规的一般表达式ds^2=-e^(2u)(dx^0)~2+e^(-2u)[e^(2k)(dx^1)~2+e^(2k)(dx^2)~2+ρ~2(dx^3)~2]出发,结合Einstein-Maxwell方程组,应用渐近平直条件求出弯曲空间中的静电场,解出了荷电柱状天体(静态)外部度规的四级近... 本文从静态轴对称度规的一般表达式ds^2=-e^(2u)(dx^0)~2+e^(-2u)[e^(2k)(dx^1)~2+e^(2k)(dx^2)~2+ρ~2(dx^3)~2]出发,结合Einstein-Maxwell方程组,应用渐近平直条件求出弯曲空间中的静电场,解出了荷电柱状天体(静态)外部度规的四级近似解。 展开更多
关键词 柱状天体 引力场 度规 计算
下载PDF
关于获得静态电磁真空解的一个生成技术 被引量:1
15
作者 朱星星 《湖南师范大学自然科学学报》 CAS 1995年第3期41-45,共5页
本文证明了静态电磁真空解的一个生成技术,这一生成技术是由一个已知的Einstein场方程的静态真空解生成一个静态电磁真空解。并对其应用和物理意义作了讨论。
关键词 度规 静态电磁直空解 生成技术 电磁真空解
下载PDF
对称引力场中的电磁波
16
作者 潘鹏鹏 黄增光 陆惠卿 《上海大学学报(自然科学版)》 CAS CSCD 2004年第6期616-620,共5页
星体的质量、电量或角动量都会产生时空弯曲,它的两个重要的广义相对论效应就是光线偏折和雷达回波延迟.作者利用流形中的对称性群及它们的Killing方程严格推导了一般静态球对称度规的表达式,并得出了一般静态球对称引力场中光子运动的... 星体的质量、电量或角动量都会产生时空弯曲,它的两个重要的广义相对论效应就是光线偏折和雷达回波延迟.作者利用流形中的对称性群及它们的Killing方程严格推导了一般静态球对称度规的表达式,并得出了一般静态球对称引力场中光子运动的运动方程;详细求解了Reissner Nordstr m度规中雷达回波的延迟;以Kerr度规作为一般稳态轴对称度规的特例讨论了其中的光线偏折效应,为日后的引力透镜效应的研究提供了理论基础. 展开更多
关键词 引力场 球对称 度规 流形 时空弯曲 广义相对论 角动量 偏折 特例 一般
下载PDF
软件度量的研究与进展 被引量:5
17
作者 徐晓燕 赵荣彩 闫丽景 《信息工程大学学报》 2014年第5期622-627,共6页
介绍了软件度量的发展阶段,分析了当今软件度量的发展程度。在研究软件度量方法框架和软件度量指标的基础上,重点研究了当前的3类度量方法,对各方法中典型产品的功能和特点进行分析。最后给出了软件度量的当前研究难点和将来发展趋势。
关键词 软件度量 度量指标 静态度量 动态度量 可信性
下载PDF
轴对称理想流体内部度规的研究——EinStein场方程的一组严格解析解
18
作者 周启煌 吕君丽 《湖南师范大学自然科学学报》 CAS 1992年第2期131-133,共3页
本文讨论了静态轴对称理想流体的内部度规,其能量密度消除了中心发散性,并得到一套精确解析解.文章所讨论的流体具有内压强,因而此解在理论上较其它解普遍.
关键词 理想流体 内部度规
下载PDF
Transmission of Electromagnetic Waves and Deflection of Light in Gravitational Fields
19
作者 潘鹏鹏 陆惠卿 《Journal of Shanghai University(English Edition)》 CAS 2003年第3期241-245,共5页
The gauge invariance of the electromagnetic field in gravitational field is an important question. We prove d' Alembert equation in gravitational field with gauge invariance under the Lorentz condition. Using the ... The gauge invariance of the electromagnetic field in gravitational field is an important question. We prove d' Alembert equation in gravitational field with gauge invariance under the Lorentz condition. Using the kinematic equation of photon in normal static and spherically symmetric gravitational fields, we deduce the orbital equation of photon. As a special example, we explicate the deduction and discussion about the deviation angular of light in Reissner-Nordstrom space-time. 展开更多
关键词 gauge transformation static spherically symmetric metric Reissner-Nordstrom metric deviation of light.
下载PDF
SPGD算法高精度静态像差校正方法 被引量:4
20
作者 陈梅蕊 姜律 +6 位作者 毛红敏 孙会娟 彭建涛 徐国定 胡立发 陆焕钧 曹召良 《光学学报》 EI CAS CSCD 北大核心 2023年第5期97-109,共13页
随机并行梯度下降(SPGD)算法广泛应用于光学系统静态像差校正,其性能指标对校正效果影响较大。由于传统的环围能量(EE)校正精度低、平均半径(MR)稳定性差,提出性能指标组合法,以实现静态像差的高精度、稳定校正。所提方法将EE与MR性能... 随机并行梯度下降(SPGD)算法广泛应用于光学系统静态像差校正,其性能指标对校正效果影响较大。由于传统的环围能量(EE)校正精度低、平均半径(MR)稳定性差,提出性能指标组合法,以实现静态像差的高精度、稳定校正。所提方法将EE与MR性能指标相结合进行像差校正,首先以EE作为性能指标对畸变图像进行校正,待能量集中于环围区域后,利用MR性能指标继续进行校正,直至能量分布均匀,校正终止。首先进行了校正仿真,结果显示:相比于EE和MR方法,性能指标组合法对静态像差的校正精度高、稳定性好。搭建实验光路,验证了所提方法的有效性。模拟和实验结果均表明,采用性能指标组合法可以获得高的校正精度且校正稳定。该方法可以应用于光学系统静态像差的校正和消除,实现其接近衍射极限的光学性能。 展开更多
关键词 成像系统 随机并行梯度下降算法 静态像差 性能指标 校正精度 稳定性
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部