期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于变量依赖关系模型的变量重要性度量方法 被引量:2
1
作者 田兴亚 牟永敏 张志华 《科学技术与工程》 北大核心 2020年第19期7772-7779,共8页
为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现... 为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现有节点重要性度量方法存在的局限性问题,提出一种新的基于变量依赖关系模型的变量重要性度量方法。实验表明,该方法在变量重要性度量方面的准确性相比其他方法有所提升。 展开更多
关键词 变量变更 变量依赖关系 变量依赖关系模型 重要性度量
下载PDF
基于依赖的污点分析方法改进研究 被引量:1
2
作者 郭帆 周轩 《计算机应用研究》 CSCD 北大核心 2016年第10期3065-3073,共9页
在总结污点分析研究现状基础上,给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关系以及依赖关系传播的操作语义,改进分析的精度。引入迭代求精方法对分析结果进行多阶段和验证,改进分... 在总结污点分析研究现状基础上,给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关系以及依赖关系传播的操作语义,改进分析的精度。引入迭代求精方法对分析结果进行多阶段和验证,改进分析的性能。在SOOT平台实现改进分析的原型系统并与现有分析比较,实验结果表明改进方案有效提高了精度和性能。 展开更多
关键词 污点分析 迭代求精 变量 变量依赖
下载PDF
变量动态跟踪及精确定位方法研究
3
作者 周航 蒋欣欣 +2 位作者 周世康 张杨 张灿恒 《河南科学》 2018年第12期1865-1872,共8页
程序错误很多都是以变量值的错误表现并通过变量间的依赖关系导致错误的传播.而目前由编程工具提供的单步Debug的调试方法,很难对复杂依赖变量依赖关系的程序通过对比变量值及其传播途径的方法来分析定位错误的来源.为了解决此问题,提... 程序错误很多都是以变量值的错误表现并通过变量间的依赖关系导致错误的传播.而目前由编程工具提供的单步Debug的调试方法,很难对复杂依赖变量依赖关系的程序通过对比变量值及其传播途径的方法来分析定位错误的来源.为了解决此问题,提出了一种基于依赖关系变量跟踪定位的方法,解析源程序中变量的行号、依赖关系、值的变化等相关信息;构建出变量之间的依赖关系矩阵,设计变量直接及间接的检测方法,并给出了变量间的传递关系矩阵;根据项目需求实现了基于Eclipse的C语言分析插件.最后通过试验,证明了该方法可以有效跟踪记录变量的实时变化,准确分析变量间的依赖关系,有效减少了错误查找的范围,明显减少了错误调试的工作量和时间. 展开更多
关键词 变量跟踪定位 变量依赖 辅助调试 变量错误
下载PDF
软件的变量完整性测试方法 被引量:3
4
作者 黄光燕 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1584-1589,共6页
由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率 同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程... 由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率 同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程序中的各个有意义的变量 ,正如调试过程中设置断点观察的那些变量 。 展开更多
关键词 软件测试 变量依赖 变量完整性 程序切片
下载PDF
基于模型的软件安全预测与分析 被引量:5
5
作者 晁永胜 郑秋梅 《计算机工程与设计》 CSCD 北大核心 2008年第14期3669-3672,共4页
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离... 为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析。基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段。 展开更多
关键词 安全建模 安全预测 变量依赖 安全距离 安全依赖
下载PDF
面向危险函数调用的多粒度影响分析方法研究
6
作者 郭严磊 牟永敏 张志华 《计算机应用研究》 CSCD 北大核心 2021年第5期1491-1497,共7页
针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响。通过静态分析源代码,提取变量定义、引用及依赖关... 针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响。通过静态分析源代码,提取变量定义、引用及依赖关系信息、危险函数调用信息和函数调用关系等内容;构建变量依赖关系集合,对变更变量进行数据拓扑分析,结合变量在栈内的分布规律,获取变量影响域;结合函数调用关系信息建立变量影响分析模型,获取路径影响域;根据变量影响域和路径影响域获取变更变量对危险函数调用的影响。实验结果表明,此方法界定变量变更对危险函数调用的影响更加精准。该方法可理解性和可用性较高,能够有效提高软件回归测试的精度和效率。 展开更多
关键词 变量依赖 数据拓扑 危险函数 函数调用关系 影响分析
下载PDF
非模型依赖多变量置信区间法用于药品体外溶出评价的探讨 被引量:2
7
作者 刘畅 周学海 +1 位作者 缪子敬 李静 《药物评价研究》 CAS 2018年第5期816-820,共5页
目的在口服固体制剂仿制药体外溶出相似性评价研究中,针对批内溶出量相对标准偏差(RSD)较大、无法满足相似因子(f_2)法适用条件的情况,验证非模型依赖多变量置信区间法在溶出曲线相似性评价中的使用区别。方法参考FDA和CFDA发布的《口... 目的在口服固体制剂仿制药体外溶出相似性评价研究中,针对批内溶出量相对标准偏差(RSD)较大、无法满足相似因子(f_2)法适用条件的情况,验证非模型依赖多变量置信区间法在溶出曲线相似性评价中的使用区别。方法参考FDA和CFDA发布的《口服固体制剂溶出度试验技术指导原则》,使用两种不同的非模型依赖多变量置信区间法,即Bootstrap统计验证方法(BS)和Mahalanobis distance多变量分析法(MD)对模拟的参比制剂与仿制制剂溶出数据相似性进行评价。结果利用BS法得出仿制批与参比批的f_2预期值(f_2~*)=59.965,大于50。MD法得到参比批次间多变量统计矩最大值是1.559 4,并将其确定为相似性限度,仿制批与参比批多变量置信区间90%上限为2.656 7,大于相似限度。结论采用BS法评价体外溶出具备相似性,而采用MD评价方法则不具备相似性。因此,对于同一组数据,选用不同的评价方式可能会得出不同的结论。 展开更多
关键词 口服固体制剂一致性评价 体外溶出 相似性评价 非模型依赖变量置信区间法 相似因子f2法
原文传递
态度对第二语言学习的影响
8
作者 彭欢 彭学 《辽宁行政学院学报》 2007年第12期125-126,共2页
多数语言研究者相信对老师,语言,学习和英语的态度影响着第二语言的学习。学习者的态度影响他们在语言学习中的表现。尽管已经有许多研究在该领域展开,但之前关于态度的研究要来说服读者就不是很有系统性和具体性了。为了找出这些态度... 多数语言研究者相信对老师,语言,学习和英语的态度影响着第二语言的学习。学习者的态度影响他们在语言学习中的表现。尽管已经有许多研究在该领域展开,但之前关于态度的研究要来说服读者就不是很有系统性和具体性了。为了找出这些态度是否会影响第二语言学习,该文对这四种态度之间的关联以及他们与学习者的英语掌握程度的关系做了调查。我们经过仔细的研究发现结果刚好与大家通常认为的态度会影响英语熟练度的假定相反。该文还建议对于态度的角色以及教学的提高问题要做进一步的研究。 展开更多
关键词 态度 关联 熟练水平 独立变量 依赖变量
下载PDF
中国农地流转对非农就业的影响
9
作者 袁威 《中外企业家》 2014年第2X期31-32,共2页
当前,对农地流转和非农就业关系的研究主要聚焦于非农就业对农地租赁的影响,但实际上大量的非自愿农地流转的存在使得农地流转后农民并不一定全部选择进入非农行业。笔者在引入游和远、吴次芳(2010)提出的中间变量进行实证的基础上,进... 当前,对农地流转和非农就业关系的研究主要聚焦于非农就业对农地租赁的影响,但实际上大量的非自愿农地流转的存在使得农地流转后农民并不一定全部选择进入非农行业。笔者在引入游和远、吴次芳(2010)提出的中间变量进行实证的基础上,进一步分析了工业化、农村工业化、农地禀赋、机械投入和农村社会保障在农地流转对非农就业的影响中发挥的作用。 展开更多
关键词 农地流转 非农就业 依赖变量
下载PDF
路径条件生成中的优化策略 被引量:1
10
作者 于亚南 周喜 《计算机工程与设计》 CSCD 北大核心 2012年第10期3995-3998,4003,共5页
为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每... 为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。 展开更多
关键词 符号执行 路径条件 前向遍历 后向遍历 依赖变量
下载PDF
非线性项依赖于时间和空间变量的梁方程拟周期解的存在性
11
作者 王怡 司建国 《中国科学:数学》 CSCD 北大核心 2017年第2期257-290,共34页
本文研究带有空间周期和时间拟周期非线性项的常数势能梁方程,证明了对于大多数频率向量和大多数势能常数,方程存在小振幅、线性稳定的时间拟周期解.通过对本质上无穷多个小除数的测度估计,本文构建了一个实解析的辛坐标变换,将Hamilto... 本文研究带有空间周期和时间拟周期非线性项的常数势能梁方程,证明了对于大多数频率向量和大多数势能常数,方程存在小振幅、线性稳定的时间拟周期解.通过对本质上无穷多个小除数的测度估计,本文构建了一个实解析的辛坐标变换,将Hamilton函数化为其Birkhoff标准型.利用一个无穷维Kolmogorov-Arnold-Moser(KAM)定理,本文证明了拟周期解的存在性. 展开更多
关键词 无穷维Hamilton 系统 KAM理论 非自治梁方程 依赖于空间变量 拟周期解 标准型
原文传递
Exact Wave Function of a Time-Dependent Quantum System
12
作者 彭彦泽 彭松清 范天佑 《Journal of Beijing Institute of Technology》 EI CAS 2002年第4期422-423,共2页
To solve the problem in dispute about a Schrdinger equation with time-depenelent mass and frequency, by means of a simple transformation of variables, the time-dependent Schrdinger equation is transformed into the tim... To solve the problem in dispute about a Schrdinger equation with time-depenelent mass and frequency, by means of a simple transformation of variables, the time-dependent Schrdinger equation is transformed into the time-independent one first and then an exact wave function can be found. 展开更多
关键词 quantum system wave function transformation of variables
下载PDF
Scale dependency of Liolaemus lizards' home range in response to different environmental variables 被引量:2
13
作者 Oscar Anibal STELLATELLI Carolina BLOCK +3 位作者 Debora Lina MORENO-AZOCAR Laura Estela VEGA Juan Pablo ISACCH Felix Benjamin CRUZ 《Current Zoology》 SCIE CAS CSCD 2016年第6期521-530,共10页
Animal habitat-use patterns cannot be isolated from scale issues. Consequently, multi-scale studies provide a complete characterization of ecological patterns that can further explain the observed variation. Liolaemus... Animal habitat-use patterns cannot be isolated from scale issues. Consequently, multi-scale studies provide a complete characterization of ecological patterns that can further explain the observed variation. Liolaemus constitutes the world's second most speciose lizard genus. In this study, we assessed the relationships between home range size and environmental variables at 3 different spatial scales. The study at a local and regional scale was focused on the habitat specialist Liolaemus multimaculatus. The lizard's home range was calculated using the minimum convex polygon method in populations from grassland sites of the coastal sand dunes of the Argentinean Pampas under 2 different conditions, with or without forestations of Acacia Iongifolia. On the other hand, at a geographical scale we considered the evolutionary implications of 20 species of Liolaemus. Home range size, phylogeny, ecological, environmental, and climatic data were ob- tained from the literature and remote sensing. L. multimaculatus home range varied from 12.66 to 570.00 m. Regionally, this species had smaller home ranges in forested habitats (X: 94.02 m2) com- pared with the non-forested sites (X: 219.78m2). Habitat structure, vegetation types, and food availability would explain the space use at finer scales. When the 20 species of Liolaernus were considered, high mean air temperature and broad thermal amplitudes showed an inverse relationship with home range size. Neither net primary productivity nor phylogeny was good predictors for home range variation at geographical scale. This study highlights the scale dependence of the explicative capability of a set of environmental and intrinsic variables on home range patterns. 展开更多
关键词 environmental factors home range Liolaemus LIZARD scales
原文传递
Quantum theory on protein folding 被引量:4
14
作者 LUO LiaoFu 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2014年第3期458-468,共11页
The conformational change of biological macromolecule is investigated from the point of quantum transition.A quantum theory on protein folding is proposed.Compared with other dynamical variables such as mobile electro... The conformational change of biological macromolecule is investigated from the point of quantum transition.A quantum theory on protein folding is proposed.Compared with other dynamical variables such as mobile electrons,chemical bonds and stretching-bending vibrations the molecular torsion has the lowest energy and can be looked as the slow variable of the system.Simultaneously,from the multi-minima property of torsion potential the local conformational states are well defined.Following the idea that the slow variables slave the fast ones and using the nonadiabaticity operator method we deduce the Hamiltonian describing conformational change.It is shown that the influence of fast variables on the macromolecule can fully be taken into account through a phase transformation of slow variable wave function.Starting from the conformation-transition Hamiltonian the nonradiative matrix element was calculated and a general formulas for protein folding rate was deduced.The analytical form of the formula was utilized to study the temperature dependence of protein folding rate and the curious non-Arrhenius temperature relation was interpreted.By using temperature dependence data the multi-torsion correlation was studied.The decoherence time of quantum torsion state is estimated.The proposed folding rate formula gives a unifying approach for the study of a large class problems of biological conformational change. 展开更多
关键词 conformational change of macromolecule quantum transition torsion potential slow variable nonadiabaticity opera-tor Berry's phase quantum decoherence time protein folding
原文传递
The need for alternative plant species interaction models 被引量:2
15
作者 Christian Damgaard Jacob Weiner 《Journal of Plant Ecology》 SCIE CSCD 2021年第5期771-780,共10页
Aims The limitations of classical Lotka–Volterra models for analyzing and interpreting competitive interactions among plant species have become increasingly clear in recent years.Three of the problems that have been ... Aims The limitations of classical Lotka–Volterra models for analyzing and interpreting competitive interactions among plant species have become increasingly clear in recent years.Three of the problems that have been identified are(i)the absence of frequency-dependence,which is important for long-term coexistence of species,(ii)the need to take unmeasured(often unmeasurable)variables influencing individual performance into account(e.g.spatial variation in soil nutrients or pathogens)and(iii)the need to separate measurement error from biological variation.Methods We modified the classical Lotka–Volterra competition models to address these limitations.We fitted eight alternative models to pin-point cover data on Festuca ovina and Agrostis capillaris over 3 years in an herbaceous plant community in Denmark.A Bayesian modeling framework was used to ascertain whether the model amendments improve the performance of the models and increase their ability to predict community dynamics and to test hypotheses.Important Findings Inclusion of frequency-dependence and measurement error,but not unmeasured variables,improved model performance greatly.Our results emphasize the importance of comparing alternative models in quantitative studies of plant community dynamics.Only by considering possible alternative models can we identify the forces driving community assembly and change,and improve our ability to predict the behavior of plant communities. 展开更多
关键词 plant competition plant-plant interaction interspecific interaction model FREQUENCY-DEPENDENCE unmeasured variables measurement uncertainty hierarchical modeling
原文传递
New exact solutions of the reaction-diffusion equation with variable coefficients via the mathematical computation
16
作者 Jin Hyuk Choi Hyunsoo Kim 《International Journal of Biomathematics》 SCIE 2018年第4期111-124,共14页
In this paper, we construct new exact solutions of the reaction-diffusion equation with time dependent variable coefficients by employing the mathematical computation via the Painleve test. We describe the behaviors a... In this paper, we construct new exact solutions of the reaction-diffusion equation with time dependent variable coefficients by employing the mathematical computation via the Painleve test. We describe the behaviors and their interactions of the obtained solutions under certain constraints and various variable coefficients. 展开更多
关键词 Painleve test wave transformation exact solution mathematical computa-tion.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部