基于Web应用前端行为模型的测试用例生成

基于Web应用前端模型的测试用例生成是Web应用测试的重要过程,但现有的大多数针对Web应用的模型都只关注Web页面及其事件,忽略了事件触发条件和后续动作。为了更准确地描述现代Web应用程序的动态行为,文中定义了一种新的Web应用前端行为模型(Front-end Behavior Model, FBM)。由于模型中迁移的触发条件可能存在内部变量,即迁移之间存在依赖关系,使得生成的测试用例不能按照输入序列执行,从而影响测试效果。为此,提出了一种优化分组遗传算法来实现可执行迁移路径FTP的自动生成,该算法考虑FTP生成问题的特点,对染色体初始化和适应度函数做出合理的设计,加入修补算子调整个体长度生成了满足迁移覆盖的FTP,并且通过引入自适应的遗传算子和模拟退火接收机制来减少迭代次数,从而加快求解速度。实验结果表明,该算法能够在更高的求解效率的基础上有效保证迁移路径的可行性以及覆盖率。

基于聚类分析和Pearson相关系数法的电网负荷数据清洗与去重

针对电网负荷数据存在冗余和价值密度低等问题,本文提出一种结合K-means算法与Pearson相关系数计算的集成学习方法,对负荷数据进行清洗与去重。设置仿真实验将某地区连续730日的负荷数据进行聚类、切片、排序、比对、去重等分析处理,得到清洗后的新数据集,将新数据集与原数据集代入相同的BP神经网络模型和随机森林模型进行负荷预测,实验结果表明新旧数据集具有相似的特征特性与数据挖掘潜力。与传统的数据去重方法相比,本文提出的数据清洗策略在进行训练集的预处理时,效率和准确度方面均有更好表现,可以为训练用于负荷预测的网络模型提供支持。

基于独立成分分析的被动红外光谱弱信号检测

简要阐述了独立成分分析(independent component analysis,ICA)的基本模型及其假设、含混性、非高斯性度量和通用求解过程,介绍了一种基于峰度的快速ICA算法。提出了基于基本ICA模型的从被动遥感红外光谱中分离出弱目标信号的信号检测方法。实验结果表明:基于ICA的信号提取方法可不依赖于预先采集的"干净"背景光谱,并且与差谱法的结果进行了对比。

无线局域网持续时间自适应调度算法

针对增强的分布式协调功能EDCA和混合轮询协调功能HCCA分别适合于变比特VBR业务和常比特CBR业务的特点,提出了一种有效的自适应调整EDCA和CAP(controlled access phase)持续时间比例的调度算法ADS(adaptive duration scheduling)。ADS算法将VBR业务和CBR业务分别调度,在EDCA和HCCA模式下发送,并通过接入点AP统计系统中VBR业务和CBR业务的比例,来动态实时地调整EDCA和CAP持续时间,实现不同业务的服务质量保障。仿真实验与参考调度机制的对比证明,所提出的ADS调度机制能有效地提高实时业务的吞吐量、降低时延。

三维反卷积显微成像技术中两种线性算法的比较

针对宽场显微镜下三维显微图像由于光学系统影响产生模糊的问题 ,分析两种基于线性图像恢复算法在该方面的应用。从理论上、算法实现上和处理的结果上系统地研究了其优缺点 。

基于组合连接器的潜在无限动态结构的规范

动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。

连接器层次组合的形式化方法研究

连接器是软件体系结构设计和开发的一级实体。针对已有的体系结构描述语言难以有效提供连接器的重用,从而使得连接器的建模和分析面临较大的困难和挑战的问题,提出了一种连接器层次组合的形式化方法。该方法以体系结构描述语言Wright为基础,将一个连接器层次化定义为一个体系结构配置。实例表明,它能为连接器提供一种增量式的开发方式,从而能适用于体系结构重用的目的。还使用CSP符号给出了层次组合连接器的形式语义。

用递归法计算行列式

行列式是代数学的一个基本工具,但也是学习中的一个难点。本文针对行列式的结构特点,分析了递归法在行列式计算的作用,并通过几个例题讨论了递归求解的方法和技巧。

特殊化策略应用初探

本文通过对两个例题的分析,阐述了特殊化策略的强大的功效和它的不可替代的作用,说明在数学学习中,既要重视问题的一般化,又要重视问题的特殊化,以期引起教师的思考。

基于反射的连接器组合重用方法

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.

常用渗碳材料渗层碳浓度分布数值模拟系统

建立了不同渗碳条件下渗碳层深度和渗层碳浓度分布模型,通过VisualBasic程序设计语言开发了常用渗碳材料渗层碳浓度分布的数值模拟系统。该系统可方便、快捷地得到在一定工艺条件下相应渗层碳浓度分布和渗碳层深度,为渗碳工艺参数的优化设计和渗碳过程的自动控制提供了重要的参考价值。

从数学证明的二重性看其教育价值

随着数学课程改革的深入,关于数学证明的教育价值的研究已经引起了越来越广泛的关注.数学证明是以一些基本概念和公理为基础,使用合乎逻辑的推理去决定判断是否正确.数学证明具有二重性,即它既是客观的,又是主观的.数学证明的教育价值应该体现在:从文化上,让学生体会数学的理性精神,懂得理性地思考问题;从知识上,证明能加深对概念和定理的理解,并能导致发现;从思维上,证明能训练和培养逻辑和非逻辑的思维能力.

生物资产计量、折旧与披露问题浅探

本文分析了我国《企业会计准则第5号——生物资产》(简称"生物资产准则")在确定计量属性、计提折旧方法、信息披露等方面存在的不足,提出了采用综合计量模式、两阶段折旧方法、强化信息披露内容等改进建议。

面向新工科的电路基础课程教学综合评价研究

新工科的建设与发展内容之一就是需要对课程教学评价进行改革。本文以电路基础课程为例构建面向教学全过程的整体动态发展性评估方法。基于电路基础课程各部分衔接性和时序性强的特点,首先建立面向新工科的电路基础课程的综合评估指标体系,然后有效集成课前、课中、课后各类教学活动实现多维、动态、全面、智能的教学综合评价,从而对学生的能力全面发展有较确切的定量分析和判断,探索出提高新工科时代的教学质量的新途径。

一种支持潜在无限结构的软件体系结构组合方法

潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种规范潜在无限结构的形式化方法.实例表明该方法能为软件体系结构提供一种增量式的开发方式,从而能适用于体系结构重用的目的.

基于组合连接器的动态软件体系结构规范方法

动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。

“新工科”时代电路基础课程模块化教学的探索

在“新工科”时代发展的背景下,基于电路基础课程本身具有多学科交叉及应用实践强的特点,提出了一种基于元学习(基础模块)和个性化学习(多样化模块)为核心的模块化课程教学方法思路。结合已有的教学经验和学生综合素质能力培养的需求,通过构建知识认知能力、工程应用能力与自主创新能力三位一体的电路基础课程模块化教学模式,从而加强与具体专业学科的对接,提高学生学习的兴趣,探索出培养“新工科”时代交叉复合创新人才的新方法,也为学生进一步学习后续专业课程奠定良好的基础。

基于自适应陷波器的电网频率估计方法

文中针对电网频率难以精确测量的问题,提出利用自适应陷波器结构的滤波功能,结合电网电压基波信号及其谐波信号的特性,以陷波器实时输出平方值作为陷波器参数的优化目标函数,根据随机优化理论推导出陷波器参数在线迭代算法,从而对与频率有关的陷波参数进行自适应调整,达到电网频率估计的目的。该方法结构简单,通过仿真分析和实验测试,检验了所提出的频率估计算法的响应速度和估计误差,表明基于自适应陷波器的电网频率估计方法,可以准确估计出电网频率。

基于VMD-PSO-SVR模型的短期负荷预测

准确的短期负荷预测结果可以为电网内机组的调度提供基础,制定出合理的调度方案,从而提高电网运行效率。作者提出了短期电力负荷预测的VMD-PSO-SVR组合模型。首先,对原始负荷数据进行预处理,组合各类特征构建负荷数据集,利用VMD对负荷数据集进行分解,降低数据的非光滑性;其次,利用SVR算法对分解后的每个IMF分量进行单独预测,并使用PSO算法对SVR算法的超参数进行优化,提高SVR算法的预测精度;最后,对所有IMF分量所对应的预测结果进行叠加处理,从而获得最终预测结果。实验结果表明,该模型MAPE为1.55%,RMSE为38.56 MW,优于其他预测模型。