期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
对软件工程中经验研究的调查 被引量:5
1
作者 张莉 蒲梦媛 +3 位作者 刘奕君 田家豪 岳涛 蒋竞 《软件学报》 EI CSCD 北大核心 2018年第5期1422-1450,共29页
为了描述、理解、评估、预测、控制、管理或者改善与软件相关的内容,研究者常常使用经验研究的方法.经验研究在软件工程领域已经得到广泛的应用并备受关注.为了了解近年来软件工程中经验研究的特点,并希望经验研究方法为更多研究者所了... 为了描述、理解、评估、预测、控制、管理或者改善与软件相关的内容,研究者常常使用经验研究的方法.经验研究在软件工程领域已经得到广泛的应用并备受关注.为了了解近年来软件工程中经验研究的特点,并希望经验研究方法为更多研究者所了解,通过系统映射的方法,对软件工程中经验研究的典型期刊《Empirical Software Engineering》(ESE)近5年的论文做了调研,搜集了2013年1月~2017年6月发表在该期刊的250篇论文.通过定性和定量的分析,给出了软件工程领域采用经验研究的主要目的、常用的经验研究方法以及这些方法在软件工程各个领域中的使用情况和呈现的一些新特征.之后,分析了经验研究的主要数据来源、采集手段、常用的数理统计方法以及开源项目在经验研究中的使用情况等,给出了研究者对有效性和可重现性问题的关心程度.最后进行了有效性分析,并进一步探讨了经验研究的发展方向和大数据时代下经验研究面临的机遇和一些开放性问题. 展开更多
关键词 经验方法 文献调研 经验软件工程
在线阅读 下载PDF
面向产品线交互配置不一致性修复的差分IBEA算法 被引量:1
2
作者 路红 张莉 岳涛 《软件学报》 EI CSCD 北大核心 2016年第4期901-915,共15页
在大规模复杂系统产品线工程中,人工配置难免会导致配置的不一致,即,配置数据会违背预定义的约束(也可以称为一致性约束).对于大规模复杂系统产品线体系结构,比如信息物理系统产品线,往往存在成百上千的可变点以及约束,而且约束与可变... 在大规模复杂系统产品线工程中,人工配置难免会导致配置的不一致,即,配置数据会违背预定义的约束(也可以称为一致性约束).对于大规模复杂系统产品线体系结构,比如信息物理系统产品线,往往存在成百上千的可变点以及约束,而且约束与可变点之间存在复杂的依赖关系,为不一致配置的修复带来很大的挑战.为了解决这个问题,针对前期提出的基于多目标搜索以及约束求解技术的自动不一致配置修复推荐框架(Zen-Fix),提出一种改进的IBEA算法(De IBEA).De IBEA通过将差分引入IBEA算法,搜索过程中,基于可行解和不可行解的差分变异产生后代,最终为用户推荐符合预定义约束并且对于配置效率来说最优的配置修复方案.基于一个工业案例海底油田采控系统产品线为例,通过模拟一个产品的配置过程,产生了10 189个优化问题,结果表明:Zen-Fix框架结合De IBEA算法,可以实时地为用户提供较优的不一致配置修复方案.此外,通过对这10 189个问题的推荐方案进行对比,证明了De IBEA算法无论从时间效率还是搜索性能上都优于原始的IBEA算法. 展开更多
关键词 信息物理系统产品线 一致性检查 不一致修复 基于搜索的软件工程 多目标搜索 约束求解
在线阅读 下载PDF
MPTCP协议的鲁棒性评估模型研究及分析 被引量:1
3
作者 谭齐宁 程玺 +3 位作者 周星 Thomas Dreibholz 符发 谭毓银 《海南大学学报(自然科学版)》 CAS 2018年第3期226-234,共9页
对多路径传输协议的鲁棒性进行研究分析,首先定义了子流影响因子用于定量分析网络子流对网络整体鲁棒性的影响情况,基于该因子提出多路径传输协议网络鲁棒性的评估模型,解决了多路径传输协议鲁棒性评估问题,然后使用数理统计假设检验理... 对多路径传输协议的鲁棒性进行研究分析,首先定义了子流影响因子用于定量分析网络子流对网络整体鲁棒性的影响情况,基于该因子提出多路径传输协议网络鲁棒性的评估模型,解决了多路径传输协议鲁棒性评估问题,然后使用数理统计假设检验理论论证该模型的正确性,最后在Nor Net国际测试床上的IPv6环境下设计了相应的测试场景,其结果证明了该模型的有效性,为多路径传输协议鲁棒性的深入研究提供了理论参考. 展开更多
关键词 IPV6 MPTCP 鲁棒性 假设检验 评估模型
在线阅读 下载PDF
Quantifying a critical marl thickness for vertical fracture extension using field data and numerical experiments 被引量:2
4
作者 Filiz Afsar Elco Luijendijk 《Geoscience Frontiers》 SCIE CAS CSCD 2019年第6期2135-2145,共11页
In fractured reservoirs characterized by low matrix permeability,fracture networks control the main fluid flow paths.However,in layered reservoirs,the vertical extension of fractures is often restricted to single laye... In fractured reservoirs characterized by low matrix permeability,fracture networks control the main fluid flow paths.However,in layered reservoirs,the vertical extension of fractures is often restricted to single layers.In this study,we explored the effect of changing marl/shale thickness on fracture extension using comprehensive field data and numerical modeling.The field data were sampled from coastal exposures of Liassic limestone-marl/shale alternations in Wales and Somerset(Bristol Channel Basin,UK).The vertical fracture traces of more than 4000 fractures were mapped in detail.Six sections were selected to represent a variety of layer thicknesses.Besides the field data also thin sections were analyzed.Numerical models of fracture extension in a two-layer limestone-marl system were based on field data and laboratory measurements of Young's moduli.The modeled principal stress magnitude σ3 along the lithological contact was used as an indication for fracture extension through marls.Field data exhibit good correlation(R^2=0.76) between fracture extension and marl thickness,the thicker the marl layer the fewer fractures propagate through.The model results show that almost no tensile stress reaches the top of the marl layer when the marls are thicker than 30 cm.For marls that are less than 20 cm,the propagation of stress is more dependent on the stiffness of the marls.The higher the contrast between limestone and marl stiffness the lower the stress that is transmitted into the marl layer.In both model experiments and field data the critical marl thickness for fracture extension is ca.15-20 cm.This quantification of critical marl thicknesses can be used to improve predictions of fracture networks and permeability in layered rocks.Up-or downsampling methods often ignore spatially continuous impermeable layers with thicknesses that are under the detection limit of seismic data.However,ignoring these layers can lead to overestimates of the overall permeability.Therefore,the understanding of how fractures propagate and terminate through impermeable layers will help to improve the characterization of conventional reservoirs. 展开更多
关键词 Boundary element modelling Marl/limestone multilayer Layer thickness and stiffness control PERMEABILITY Fractured reservoirs
在线阅读 下载PDF
Empirical Research in Software Engineering -- A Literature Survey
5
作者 Li Zhang Jia-Hao Tian +3 位作者 Jing Jiang Yi-Jun Liu Meng-Yuan Pu Tao Yue 《Journal of Computer Science & Technology》 SCIE EI CSCD 2018年第5期876-899,共24页
Empirical research is playing a significant role in software engineering (SE), and it has been applied to evaluate software artifacts and technologies. There have been a great number of empirical research articles p... Empirical research is playing a significant role in software engineering (SE), and it has been applied to evaluate software artifacts and technologies. There have been a great number of empirical research articles published recently. There is also a large research community in empirical software engineering (ESE). In this paper, we identify both the overall landscape and detailed implementations of ESE, and investigate frequently applied empirical methods, targeted research purposes, used data sources, and applied data processing approaches and tools in ESE. The aim is to identify new trends and obtain interesting observations of empirical software engineering across different sub-fields of software engineering. We conduct a mapping study on 538 selected articles from January 2013 to November 2017, with four research questions. We observe that the trend of applying empirical methods in software engineering is continuously increasing and the most commonly applied methods are experiment, case study and survey. Moreover, open source projects are the most frequently used data sources. We also observe that most of researchers have paid attention to the validity and the possibility to replicate their studies. These observations are carefully analyzed and presented as carefully designed diagrams. We also reveal shortcomings and demanded knowledge/strategies in ESE and propose recommendations for researchers. 展开更多
关键词 empirical software engineering empirical method systematic mapping study
原文传递
Computational Aspects of Multiscale Simulationwith the Lumped Particle Framework
6
作者 Omar al-Khayat Hans Petter Langtangen 《Communications in Computational Physics》 SCIE 2012年第9期1257-1274,共18页
First introduced in[2],the lumped particle framework is a flexible and numerically efficient framework for the modelling of particle transport in fluid flow.In this paper,the framework is expanded to simulate multicom... First introduced in[2],the lumped particle framework is a flexible and numerically efficient framework for the modelling of particle transport in fluid flow.In this paper,the framework is expanded to simulate multicomponent particle-laden fluid flow.This is accomplished by introducing simulation protocols tomodel particles over a wide range of length and time scales.Consequently,we present a time ordering scheme and an approximate approach for accelerating the computation of evolution of different particle constituents with large differences in physical scales.We apply the extended framework on the temporal evolution of three particle constituents in sandladen flow,and horizontal release of spherical particles.Furthermore,we evaluate the numerical error of the lumped particle model.In this context,we discuss the Velocity-Verlet numerical scheme,and show how to apply this to solving Newton’s equations within the framework.We show that the increased accuracy of the Velocity-Verlet scheme is not lost when applied to the lumped particle framework. 展开更多
关键词 Multiscale modelling lumped particle model Velocity-Verlet scheme
原文传递
A Lumped Particle Modeling Framework for Simulating Particle Transport in Fluids
7
作者 Omar al-Khayat Are Magnus Bruaset Hans Petter Langtangen 《Communications in Computational Physics》 SCIE 2010年第6期115-142,共28页
This paper presents a lumped particle model for simulating a large number of particles.The lumped particle model is a flexible framework in modeling particle flows,embodying fundamental features that are intrinsic in ... This paper presents a lumped particle model for simulating a large number of particles.The lumped particle model is a flexible framework in modeling particle flows,embodying fundamental features that are intrinsic in particle laden flow,including advection,diffusion and dispersion.In this paper,the particles obey a simplified version of the Bassinet-Boussinesq-Oseen equation for a single spherical particle.However,instead of tracking the individual dynamics of each particle,a weighted spatial averaging procedure is used where the external forces are applied to a“lump”of particles,from which an average position and velocity is derived.The temporal evolution of the particles is computed by partitioning the lumped particle into smaller entities,which are then transported throughout the physical domain.These smaller entities recombine into new particle lumps at their target destinations.For particles prone to the effects of Brownian motion or similar phenomena,a symmetric spreading of the particles is included as well.Numerical experiments show that the lumped particle model reproduces the effects of Brownian diffusion and uniform particle transport by a fluid and gravity.The late time scale diffusive nature of particle motion is also reproduced. 展开更多
关键词 Particle modeling framework particle transport lumped particle model
原文传递
Particle Collisions in a Lumped Particle Model
8
作者 Omar al-Khayat Are Magnus Bruaset Hans Petter Langtangen 《Communications in Computational Physics》 SCIE 2011年第9期823-843,共21页
This paper presents an extension of the lumped particle model in[1]to include the effects of particle collisions.The lumped particle model is a flexible framework for the modeling of particle laden flows,that takes in... This paper presents an extension of the lumped particle model in[1]to include the effects of particle collisions.The lumped particle model is a flexible framework for the modeling of particle laden flows,that takes into account fundamental features,including advection,diffusion and dispersion of the particles.In this paper,we transform a binary collision model and concepts from kinetic theory into a collision procedure for the lumped particle framework.We apply this new collision procedure to investigate numerically the role of particle collisions in the hindered settling effect.The hindered settling effect is characterized by an increase in the effective drag coefficient CD that influences each particle in the flow.This coefficient is given by CD=(1−φ)−nC∗D,whereφis the volume fraction of particles,C∗D is the drag coefficient for a single particle,and n≃4.67 for creeping flow.We obtain an approximation for CD/C∗D by calculating the effective work done by collisions,and comparing that to the work done by the drag force.In our numerical experiments,we observe a minimal value of n=3.0.Moreover,by allowing high energy dissipation,an approximation for the classical value for creeping flow,n=4.7,is reproduced.We also obtain high values for n,up to n=6.5,which is consistent with recent physical experiments on the sedimentation of sand grains. 展开更多
关键词 Lumped particle model particle collision hindered settling
原文传递
A Finite Element Method for Modelling Electromechanical Wave Propagation in Anisotropic Piezoelectric Media
9
作者 S.Rahman H.P.Langtangen C.H.W.Barnes 《Communications in Computational Physics》 SCIE 2007年第2期271-292,共22页
We describe and evaluate a numerical solution strategy for simulating surface acoustic waves(SAWs)through semiconductor devices with complex geometries.This multi-physics problem is of particular relevance to the desi... We describe and evaluate a numerical solution strategy for simulating surface acoustic waves(SAWs)through semiconductor devices with complex geometries.This multi-physics problem is of particular relevance to the design of SAW-based quantum electronic devices.The mathematical model consists of two coupled partial differential equations for the elastic wave propagation and the electric field,respectively,in anisotropic piezoelectric media.These equations are discretized by the finite element method in space and by a finite difference method in time.The latter method yields a convenient numerical decoupling of the governing equations.We describe how a computer implementation can utilize the decoupling and,via object-oriented programming techniques reuse independent codes for the Poisson equation and the linear time-dependent elasticity equation.First we apply the simulator to a simplified model problem for verifying the implementation,and thereafter we show that the methodology is capable of simulating a real-world case from nanotechnology,involving SAWs in a geometrically non-trivial device made of Gallium Arsenide.PACS:02.70.Dh,41.20.Jb,46.25.Hf Key words:Finite element method,piezoelectric surface acoustic waves,Gallium Arsenide. 展开更多
关键词 Finite element method piezoelectric surface acoustic waves Gallium Arsenide.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部