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

标准科学 2021年第4期 25-31页

作者：赵毅胡芸龚家瑜崔健上海计算机软件技术开发中心上海市计算机软件评测重点实验室

软件产业是引领新一轮科技革命的关键力量,在全球经济发展中占据重要地位。软件质量对促进软件产业健康有序发展具有重要意义,软件测试是保证软件质量的可靠手段。标准化作为规范软件质量与软件测试的技术手段,可以提高软件产品质量、... 详细信息

软件产业是引领新一轮科技革命的关键力量,在全球经济发展中占据重要地位。软件质量对促进软件产业健康有序发展具有重要意义,软件测试是保证软件质量的可靠手段。标准化作为规范软件质量与软件测试的技术手段,可以提高软件产品质量、减少软件开发与测试费用,为软件行业的发展提供引领与支撑。本文详细给出了国内软件质量与软件测试的标准化情况,并分析了国内软件质量与软件测试标准之间的关系,最后总结了国内软件质量与测试标准存在的问题及建议。该论文有利于需方、开发方、独立评价方以及质量保证与控制人员更好地理解、使用软件质量与测试的相关标准。

关键词：软件质量软件测试标准化 SQuaRE标准 GB/T 38634

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检验的云渲染任务调度定量验证

引用

软件学报 2020年第6期31卷 1839-1859页

作者：高洪皓缪淮扣刘浩宇许华虎于芷若上海大学计算中心上海200444 上海大学计算机工程与科学学院上海200444 上海大学信息化办公室上海200444 上海市计算机软件评测重点实验室上海201112

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的... 详细信息

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的,这要求云渲染系统应具备智能化以实现计算资源优化调度和多端任务管理,并对系统可靠性提出了更高要求.针对这一问题,提出了采用概率模型检验对云渲染系统任务调度进行定量评估.首先,考虑渲染服务失效等因素引发的随机系统异常和指令错误,如文件损坏和渲染任务超时等,提出了基于离散马尔可夫链(DTMC)的概率模型对云渲染系统的文件准备模块、资源请求模块、渲染任务执行模块进行形式化建模;其次,从服务质量属性角度提出了9类验证性质用于定义云渲染系统的可靠性,采用概率计算树逻辑(PCTL)描述检验性质公式并执行工具PRISM计算和验证渲染系统可靠性;最后,结合案例和实验证明了该方法的可行性和有效性,尤其是对改进前后云渲染系统进行定量检验,可用于指导如何进行失效恢复和任务切换.因此,该方法在一定程度上可提高云渲染系统的可靠性.

关键词：云渲染系统任务调度概率模型检验 PRISM定量验证可靠性分析

来源：评论

学校读者我要写书评

暂无评论

基于程序转化的SCADE模型检测

引用

计算机科学 2021年第12期48卷 125-130页

作者：冉丹陈哲孙毅杨志斌南京航空航天大学计算机科学与技术学院南京211106 华东师范大学上海市高可信计算重点实验室上海200062 南京大学计算机软件新技术国家重点实验室南京210093

SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语... 详细信息

SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码。目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后。为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测。此外,通过理论推导和大量实验证明了工具的模型检测的正确性。实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低。

关键词：模型检测安全有限状态机词法分析语法分析抽象语法树 JKind

来源：评论

学校读者我要写书评

暂无评论

试析云计算环境下网络安全等级保护测评

引用

数字化用户 2021年第20期27卷 29-30页

作者：杨舒怡上海市计算机软件评测重点实验室上海 201112 上海计算机软件技术开发中心上海 201112

全球科技在进入二十一世纪之后取得了迅猛的发展.这一切发展都是在信息与计算的不断创新与进步的基础之上.计算机电子信息工程技术的研发与创新是继前几次工业革命之后,对全世界社会发展再一次掀起全新的浪潮.我国在计算机电子信息工程... 详细信息

全球科技在进入二十一世纪之后取得了迅猛的发展.这一切发展都是在信息与计算的不断创新与进步的基础之上.计算机电子信息工程技术的研发与创新是继前几次工业革命之后,对全世界社会发展再一次掀起全新的浪潮.我国在计算机电子信息工程领域的发展相比于其他国家来说相对较晚,一些先进的计算机电子信息工程技术还不算成熟,其中云计算环境的安全防护是最为重要的一个环节.相较于传统的信息系统,数据量大与覆盖范围广都是云计算的主要优势,如此一来其自身的安全性问题也就更为突出,为了能够确保其信息的安全,就需要对云计算环境下的网络安全等

关键词：云计算网络安全等级保护

来源：评论

学校读者我要写书评

暂无评论

一种操作系统函数级安全监控方案

引用

计算机应用与软件 2021年第1期38卷 330-333页

作者：孙书彤王祥武蔡立志中国银联股份有限公司上海201201 中国海洋石油集团有限公司北京100010 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

当前我国自主研发的操作系统已经具备许多实际应用环境和场景,尤其多用于重要服务器、核心设备等关键环节,因此挖掘并修复它们的内核漏洞十分重要。目前业界的漏洞挖掘技术基本上还是局部的、人工的和技术性的手段,缺乏一种广义的、全... 详细信息

当前我国自主研发的操作系统已经具备许多实际应用环境和场景,尤其多用于重要服务器、核心设备等关键环节,因此挖掘并修复它们的内核漏洞十分重要。目前业界的漏洞挖掘技术基本上还是局部的、人工的和技术性的手段,缺乏一种广义的、全局的、算法级别上的思想和方法。在已知源码的基础上,提出一种以函数为粒度的自动变造、自动追踪和自动分析验证算法。实现了操作系统内核函数运行时监控和调用序列分析,实时发现利用内核漏洞的入侵,并精确定位出现漏洞的源码,阻塞漏洞入侵代码的运行。

关键词：控制转移型漏洞非控制转移型漏洞函数级调用序列图库脱序调用脱序拐点函数

来源：评论

学校读者我要写书评

暂无评论

基于自适应粒子群的WSN覆盖优化

引用

计算机科学 2020年第7期47卷 243-249页

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

数据感知层的无线传感器网络覆盖范围对感知服务质量具有非常重要的意义。鉴于无线传感器网络初始部署的随机性所造成的覆盖冗余、覆盖空洞以及粒子群算法自身的早熟收敛等问题,提出一种基于二项感知覆盖的自适应虚拟力粒子群优化算法,... 详细信息

数据感知层的无线传感器网络覆盖范围对感知服务质量具有非常重要的意义。鉴于无线传感器网络初始部署的随机性所造成的覆盖冗余、覆盖空洞以及粒子群算法自身的早熟收敛等问题,提出一种基于二项感知覆盖的自适应虚拟力粒子群优化算法,以优化网络的有效覆盖率。该算法通过在网络中添加移动节点来进行位置调度的重部署分布,并计算种群进化程度和相对聚合程度以自适应调节惯性权重,同时利用适应度方差阈值判断当前状态是否需要引入虚拟力策略的干扰。文中重点分析了初始部署类别和移动节点占比对重部署覆盖性能的影响,并给出了相应的算法实现。仿真实验表明,相比ACPSO,DACPSO,DVPSO算法,改进的粒子群算法的覆盖率达到了98.33%,并且具有较高的移动效率,充分证明了该算法的有效性。

关键词：混合传感器网络自适应粒子群虚拟力策略覆盖控制重部署

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的面部动作单元识别算法

引用

华东理工大学学报（自然科学版） 2020年第2期46卷 269-276页

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

面部动作单元识别任务是理解人脸表情最重要的环节之一,但因为类别极度不平衡和属于多标签分类等问题,给算法设计带来了不小的困难。针对这些问题设计了一种基于深度学习的面部动作单元识别算法。首先,基于迁移学习理论,以人脸识别任务... 详细信息

面部动作单元识别任务是理解人脸表情最重要的环节之一,但因为类别极度不平衡和属于多标签分类等问题,给算法设计带来了不小的困难。针对这些问题设计了一种基于深度学习的面部动作单元识别算法。首先,基于迁移学习理论,以人脸识别任务为目标驱动,使用大规模数据集预训练卷积网络,使模型具有提取人脸抽象特征的能力;其次,设计了一个根据分类置信度来动态加权样本损失大小的目标函数,使得模型更关注于优化少数类样本;最后,结合多标签共现关系拟合和人脸关键点回归两个相关任务,联合训练模型并测试。实验结果表明,该方法在CK+和MMI数据集上能有效提升分类正确率与F1分数。

关键词：面部动作单元识别迁移学习类别不平衡动态加权损失多任务训练

来源：评论

学校读者我要写书评

暂无评论

针对中文分词的带标签注意力的成词记忆网络

引用

计算机应用研究 2022年第6期39卷 1651-1655页

作者：韩士洋马致远杨芳艳李想汪伟上海理工大学机器智能研究院上海200093 上海理工大学机械工程学院上海200093 上海理工大学光电信息与计算机工程学院上海200093 南京大学计算机软件新技术国家重点实验室南京210093

成词信息是一种对中文分词任务十分重要的文本特征。最新中文分词模型之一的WMSEG就是通过引入成词信息来获得最顶尖的分词性能。然而这类模型在建模时并未考虑标签之间的依赖关系,导致其分词性能特别是对未登录词的识别有所欠缺。针对... 详细信息

成词信息是一种对中文分词任务十分重要的文本特征。最新中文分词模型之一的WMSEG就是通过引入成词信息来获得最顶尖的分词性能。然而这类模型在建模时并未考虑标签之间的依赖关系,导致其分词性能特别是对未登录词的识别有所欠缺。针对这一问题,通过在学习过程中引入标签嵌入的注意力机制,提出了一种带标签注意力的成词记忆网络来增强标签之间的依赖关系以及标签和字符之间的相关性。实验结果表明,该模型在四个常用数据集上都取得了不弱于WMSEG的分词性能,同时提高了对未登录词的识别能力。

关键词：成词信息中文分词标签嵌入注意力机制未登录词

来源：评论

学校读者我要写书评

暂无评论

面向细粒度情感分类任务的双通道分类模型

引用

软件工程与应用 2023年第1期12卷 134-146页

作者：汪伟马致远李清都李想韩士洋上海理工大学机器智能研究院上海上海理工大学光电信息与计算机工程学院上海南京大学计算机软件新技术国家重点实验室江苏南京上海理工大学机械工程学院上海

句法信息对情感分类任务十分重要,使用GCN来建模这种信息有助于模型关注情感关键词。然而这类模型仅是利用基本语义信息辅助学习句法信息,且单一地从句法依存角度捕获情感关键词,忽略了从语义角度发掘情感关键词。另外,此类模型过于依... 详细信息

句法信息对情感分类任务十分重要,使用GCN来建模这种信息有助于模型关注情感关键词。然而这类模型仅是利用基本语义信息辅助学习句法信息,且单一地从句法依存角度捕获情感关键词,忽略了从语义角度发掘情感关键词。另外,此类模型过于依赖句法信息,没考虑到使用句法提取工具对分类效果造成的负面影响。针对以上问题,提出一种双通道分类模型。该模型利用双通道分类结构减弱对于句法信息的依赖性,同时采用语义情感通道从语义上捕获情感关键词,进而提升模型获取情感信息的能力。在两个常用中文情感分类数据集上的实验表明,该模型的Micro_F值和Macro_F值相较于现有模型均有提升,模型对比和消融实验验证了双通道分类结构在提升模型分类任务性能上的有效性。

关键词：双通道情感分类句法信息情感关键词

来源：评论

学校读者我要写书评

暂无评论

网站变更监测预警系统的设计与实现

引用

南京师范大学学报（工程技术版） 2021年第1期21卷 30-35页

作者：何诗佳刘晓强李柏岩蔡立志胡芸东华大学计算机科学与技术学院上海201620 上海市计算机软件评测重点实验室上海201112

网站易成为黑客入侵篡改的对象,网站的实时变更监测对于网站安全尤为重要.针对目前大规模进行网站实时变更监测的难点,设计并实现了一种基于非关系型数据库和消息机制的网站变更监测方案.系统采用爬虫技术进行网站页面实时爬取,通过分... 详细信息

网站易成为黑客入侵篡改的对象,网站的实时变更监测对于网站安全尤为重要.针对目前大规模进行网站实时变更监测的难点,设计并实现了一种基于非关系型数据库和消息机制的网站变更监测方案.系统采用爬虫技术进行网站页面实时爬取,通过分布式数据存储和消息机制实现对多网站的实时分析,采用了MD5值与文本对比相结合的算法进行网站内容变更监测,并对监测结果进行可视化.此外,当网站出现异常变更时,支持实时处理告警及紧急切断服务,减少由于网站内容被篡改所带来的不良影响.

关键词：网站内容篡改网站变更监测 MD5 文本对比算法分布式存储消息机制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：