检索结果-内蒙古大学图书馆

计算机学报 2011年第6期34卷 965-984页

作者：刘攀缪淮扣曾红卫刘阳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海200072

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试... 详细信息

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

关键词：基于FSM的测试测试评估测试生成算法基于FSM的测试理论冗余约简

来源：评论

学校读者我要写书评

暂无评论

基于决策变量时域变化特征分类的动态多目标进化算法

引用

自动化学报 2024年第11期50卷 2154-2176页

作者：闵芬董文波丁炜超华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海201112

动态多目标优化问题(Dynamic multi-objective optimization problems,DMOPs)广泛存在于科学研究和工程实践中,其主要考虑在动态环境下同时联合优化多个冲突目标.现有方法往往关注于目标空间的时域特征,忽视了对单个决策变量变化特性的... 详细信息

动态多目标优化问题(Dynamic multi-objective optimization problems,DMOPs)广泛存在于科学研究和工程实践中,其主要考虑在动态环境下同时联合优化多个冲突目标.现有方法往往关注于目标空间的时域特征,忽视了对单个决策变量变化特性的探索与利用,从而在处理更复杂的问题时不能有效引导种群收敛.为此,提出一种基于决策变量时域变化特征分类的动态多目标进化算法(Dynamic multi-objective evolutionary algorithm based on classification of decision variable temporal change characteristics,FT-DMOEA).所提算法在环境动态变化时,首先基于决策变量时域变化特征分类方法将当前时刻决策变量划分为线性变化和非线性变化两种类型;然后分别采用拉格朗日外插法和傅里叶预测模型对线性和非线性变化决策变量进行下一时刻的初始化操作.为了更有效地识别非线性决策变量变化模式,傅里叶预测模型通过傅里叶变换将历史种群数据从时域转换到频域,在分析周期性频率特征后,使用自回归模型进行频谱估计后再反变换至时域.在多个基准数据集上和其他算法进行对比,实验结果表明,所提算法是有效的.

关键词：傅里叶变换动态多目标优化问题决策变量分类动态多目标进化算法预测策略

来源：评论

学校读者我要写书评

暂无评论

基于多特征融合和深度学习的微观扩散预测

引用

清华大学学报（自然科学版） 2024年第4期64卷 688-699页

作者：张雪芹刘岗王智能罗飞吴建华华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海201112

准确地预测社交网络中的信息扩散节点可以对谣言、计算机病毒等不良信息的传播以及信息泄露做到早检测、早溯源和早抑制。为了提高微观扩散预测精度,该文提出了一个基于多特征融合和深度学习的微观信息扩散预测通用框架(MFFDLP)。为了... 详细信息

准确地预测社交网络中的信息扩散节点可以对谣言、计算机病毒等不良信息的传播以及信息泄露做到早检测、早溯源和早抑制。为了提高微观扩散预测精度,该文提出了一个基于多特征融合和深度学习的微观信息扩散预测通用框架(MFFDLP)。为了获取信息扩散的时序特征,基于信息扩散序列和社交网络图,采用门控循环神经网络提取局部时序特征和全局时序特征,并融合形成信息扩散序列表征;为了获取用户交互行为和兴趣爱好的动态表示,根据历史信息构建信息扩散图,使用级联图注意力网络提取信息扩散子图中节点特征和边特征,并通过嵌入查找,融合形成当前信息扩散序列中相应节点的动态扩散表征;使用双多头注意力机制,进一步捕获静态和动态扩散特征的上下文信息,实现了高精度微观扩散预测。在3个公共数据集上的对比实验结果表明:所提方法优于对比方法,在微观扩散预测的精度上最高提高了9.98%。

关键词：社交网络微观扩散预测循环神经网络图注意力网络多头注意力机制

来源：评论

学校读者我要写书评

暂无评论

软件功能测试规模估算模型的研究及其应用

引用

计算机工程 2011年第7期37卷 47-49页

作者：宋巍沈建雄杨根兴蔡立志上海市计算机软件评测重点实验室上海201112 上海市软件评测中心上海200233

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型... 详细信息

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。

关键词：软件测试功能测试规模功能点分析 Mark Ⅱ功能点法

来源：评论

学校读者我要写书评

暂无评论

抽象精化和可满足性结合的EFSM模型测试用例优化生成

引用

计算机学报 2016年第11期39卷 2236-2252页

作者：陆公正缪淮扣苏州市职业大学计算机工程学院江苏苏州215104 上海大学计算机工程与科学学院上海200072 上海市计算机软件测评重点实验室上海201112

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据... 详细信息

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例(测试用例);给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明:该方法的测试用例数目约简比例最高达76%(警报侦测组件EFSM),总长度约简比例最高达68%(ATM EFSM),同时不会影响测试用例集的迁移覆盖率和查错能力.

关键词：测试用例约简扩展有穷状态机公式簇抽象反例引导的精化可满足性

来源：评论

学校读者我要写书评

暂无评论

融合分类和情境偏好的矩阵分解电影推荐算法

引用

华东理工大学学报（自然科学版） 2021年第3期47卷 348-353页

作者：王文铃虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

为提高个性化影视推荐的准确率,提出了一种融合了决策树模型和包含了用户情境信息的矩阵分解算法的混合推荐算法。通过融入了情境偏置的矩阵分解算法,得到初始的影视推荐列表,之后通过分类模型的训练,得出用户在特定情境下对电影类型的... 详细信息

为提高个性化影视推荐的准确率,提出了一种融合了决策树模型和包含了用户情境信息的矩阵分解算法的混合推荐算法。通过融入了情境偏置的矩阵分解算法,得到初始的影视推荐列表,之后通过分类模型的训练,得出用户在特定情境下对电影类型的偏好。将初始推荐列表根据分类模型得出的用户特定情境下的偏好进行二次筛选,得到最终推荐结果。相较于传统的协同过滤算法、矩阵分解算法和Baseline算法,该混合推荐算法通过两层筛选的过程,推荐准确率得到了提高,提高了推荐系统的性能。

关键词：矩阵分解情境信息分类模型影视推荐

来源：评论

学校读者我要写书评

暂无评论

基于能耗降低的虚拟机动态迁移算法

引用

华东理工大学学报（自然科学版） 2017年第5期43卷 692-697页

作者：李飞标虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

在云计算环境中,有效的虚拟机动态迁移算法有助于降低能耗和SLA违反率。本文提出了一种改进的虚拟机动态迁移算法,通过双阈值策略、基于最小迁移代价的虚拟机选择策略和目标物理节点的概率选择策略来降低能耗,并降低SLA违反率。仿真实... 详细信息

在云计算环境中,有效的虚拟机动态迁移算法有助于降低能耗和SLA违反率。本文提出了一种改进的虚拟机动态迁移算法,通过双阈值策略、基于最小迁移代价的虚拟机选择策略和目标物理节点的概率选择策略来降低能耗,并降低SLA违反率。仿真实验表明,该方法在虚拟机动态迁移中能够降低系统的能源消耗,同时也降低了SLA违反率。

关键词：云计算虚拟机动态迁移算法能耗 SLA违反率

来源：评论

学校读者我要写书评

暂无评论

基于镜像空间的平移嵌入模型

引用

华东理工大学学报（自然科学版） 2023年第2期49卷 269-275页

作者：葛学伟范贵生虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

知识图广泛应用于许多人工智能(AI)任务。然而,现有知识图通常是不完整的,需对知识图进行补全或链接预测。本文通过对知识图中的实体和关系进行嵌入来预测知识图的缺失环节:首先,引入镜像空间的概念,使得模型具有学习对称和反对称模式... 详细信息

知识图广泛应用于许多人工智能(AI)任务。然而,现有知识图通常是不完整的,需对知识图进行补全或链接预测。本文通过对知识图中的实体和关系进行嵌入来预测知识图的缺失环节:首先,引入镜像空间的概念,使得模型具有学习对称和反对称模式的能力;其次,在新的空间模型中,关系仍然被建模为平移,而实体被建模为具有镜像点的点;最后,提出了MTransE模型将镜像空间的概念应用到TransE上,并在4个广泛使用的数据集上进行实验。实验结果表明,该方法能减少参数的规模,并提高了在4个广泛使用的知识补全数据集上的性能。

关键词：知识表示和推理知识图嵌入关系模式镜像空间平移模型

来源：评论

学校读者我要写书评

暂无评论

基于CEGAR的Web应用验证

引用

计算机学报 2014年第4期37卷 976-992页

作者：高洪皓缪淮扣曾红卫上海大学计算机工程与科学学院上海 200444 上海大学计算中心上海 200444 上海市计算机软件评测重点实验室上海 201114

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展... 详细信息

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.

关键词： Web应用导航模型抽象精化模型检验伪反例

来源：评论

学校读者我要写书评

暂无评论

基于归一化文档频率的文本分类特征选择方法

引用

华东理工大学学报（自然科学版） 2019年第5期45卷 809-814页

作者：赵鸿山范贵生虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

特征选择是文本分类的一个重要过程,对分类性能的提升发挥着重要的作用。传统的文档频率(Document Frequency,DF)特征选择指标只是从全局的角度统计包含特征的文档数作为选择的依据,没有考虑特征与类别的相关性。针对该问题,本文从特征... 详细信息

特征选择是文本分类的一个重要过程,对分类性能的提升发挥着重要的作用。传统的文档频率(Document Frequency,DF)特征选择指标只是从全局的角度统计包含特征的文档数作为选择的依据,没有考虑特征与类别的相关性。针对该问题,本文从特征和类别的相关性出发,对文档频率分别进行局部和全局的归一化处理,提出了一种归一化文档频率(Normalized Document Frequency,NDF)的特征选择指标,并在不同的特征维度下验证特征选择对文本分类性能的影响。结果表明,应用NDF特征选择指标可以得到更高的分类准确率和Macro-F1值。因此,对文档频率进行归一化处理可以更好地选择出有价值的特征,有效提升文本的分类性能。

关键词：文本分类特征选择文档频率归一化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：