期刊文献+
共找到437篇文章
< 1 2 22 >
每页显示 20 50 100
软件工程专业实践教学质量保障体系探索 被引量:24
1
作者 徐玲 高旻 +2 位作者 文俊浩 吴映波 熊庆宇 《实验室研究与探索》 CAS 北大核心 2015年第8期205-208,217,共5页
针对当前软件工程实践教学存在的质量保障机制不健全,过程管理不规范,评价方法不科学等问题,在对软件工程专业质量管理模式及企业对实用型人才的需求充分调研的基础上,围绕实用型软件工程创新人才的培养目标,构建了量化可控的软件工程... 针对当前软件工程实践教学存在的质量保障机制不健全,过程管理不规范,评价方法不科学等问题,在对软件工程专业质量管理模式及企业对实用型人才的需求充分调研的基础上,围绕实用型软件工程创新人才的培养目标,构建了量化可控的软件工程专业实践教学质量保障体系。该质量保障体系依托软件工程实践教学平台,构建了包含"实践知识域、能力单元、素质特点"的层次化分级评价指标体系,改革实践教学评价方法,实施以"知识-能力-素质"综合为优的教学评价模式,形成了系统、规范、可度量的教学质量保障机制,实现了对实践教学过程化管理。实践证明,该体系激发了学生的学习兴趣,培养了学生的工程实践能力和创新能力,应用实施成效显著。 展开更多
关键词 软件工程 实践教学 质量保障 教学平台 评价方法
在线阅读 下载PDF
分布式实时系统的软件故障注入 被引量:3
2
作者 徐光侠 陈蜀宇 +2 位作者 常光辉 刘宴兵 刘国良 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第2期62-68,共7页
针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统... 针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。 展开更多
关键词 分布实时系统 系统可信验证平台 软件故障注入 故障模型
在线阅读 下载PDF
基于广义软件框架的开发过程研究 被引量:2
3
作者 文俊浩 徐传运 +1 位作者 于杨 徐玲 《计算机应用研究》 CSCD 北大核心 2006年第5期41-43,共3页
阐述了广义框架的概念,分析了广义框架在软件过程改进中的作用,最后建立了基于广义框架开发软件的过程模型。
关键词 过程改进 软件框架 开发过程模型 软件复用
在线阅读 下载PDF
基于SWRL的软件需求一致性验证方法
4
作者 胡海波 张雷 《计算机工程与应用》 CSCD 北大核心 2010年第21期72-75,共4页
需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言... 需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言描述的需求分解成若干结构良好的最小需求项,使用领域本体的概念模型对其进行形式化和结构化的表示。通过领域本体中的知识来映射需求语义,采用语义万维网规则语言(SWRL)来定义需求一致性验证的推理规则,并通过实例对此方法进行了分析和验证。 展开更多
关键词 需求分解 领域本体 采用语义万维网规则语言(SWRL) 形式化方法 需求验证
在线阅读 下载PDF
防止差分功耗分析攻击的软件掩码方案 被引量:3
5
作者 徐佩 傅鹂 《计算机应用研究》 CSCD 北大核心 2016年第1期245-248,共4页
以差分功耗分析(DPA)为代表的旁路攻击对包含AES算法的加密设备构成了极大威胁,目前关于防御DPA的方法研究主要针对硬件加密电路,对软件加密系统研究不足。提出一种引入掩码矩阵的软件防护方案,对智能卡加密算法运行过程中每个可能泄露... 以差分功耗分析(DPA)为代表的旁路攻击对包含AES算法的加密设备构成了极大威胁,目前关于防御DPA的方法研究主要针对硬件加密电路,对软件加密系统研究不足。提出一种引入掩码矩阵的软件防护方案,对智能卡加密算法运行过程中每个可能泄露的中间值添加随机掩码,并对掩码矩阵采取动态更新策略以提高效率。实验结果表明,提出的方案具有抵抗差分功耗攻击的能力,同时效率相较于未采用动态更新的方案提高了将近1倍,该方案设计简单且易于实现,从而为智能卡的安全设计提供参考。 展开更多
关键词 差分功耗分析 AES 智能卡 掩码矩阵 随机掩码 动态更新
在线阅读 下载PDF
基于改进模糊C均值的软件缺陷预测研究 被引量:2
6
作者 张焯 徐玲 杨丹 《计算机工程与应用》 CSCD 北大核心 2015年第7期136-140,共5页
软件缺陷预测用来预测软件系统各个模块中是否存在BUG。传统的软件缺陷预测技术研究主要局限在有监督方法上,这类方法需要大量的已标注数据进行训练,但在工程实际中,这类标签数据不易获取。提出了一种结合模拟退火和遗传算法的改进模糊... 软件缺陷预测用来预测软件系统各个模块中是否存在BUG。传统的软件缺陷预测技术研究主要局限在有监督方法上,这类方法需要大量的已标注数据进行训练,但在工程实际中,这类标签数据不易获取。提出了一种结合模拟退火和遗传算法的改进模糊C均值算法,以解决模糊C均值容易受初始聚类中心影响而收敛到局部最优的缺陷。实验结果表明提出的方法在软件缺陷预测中具备高鲁棒性和较高预测精度。 展开更多
关键词 软件缺陷预测 模糊C均值 模拟退火 遗传算法 无监督
在线阅读 下载PDF
软件体系结构获取过程的形式化描述方法比较 被引量:1
7
作者 鄢波 桑军 +1 位作者 向宏 胡海波 《计算机工程》 CAS CSCD 北大核心 2009年第21期29-32,共4页
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方... 为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方法的相似处及不同的应用领域。 展开更多
关键词 软件体系结构 着色PETRI网 状态机 形式化描述语言
在线阅读 下载PDF
重庆主城老旧居民区居家养老改造模块化绿色建筑方案 被引量:2
8
作者 南天辰 李诗尧 赵泽华 《土木建筑与环境工程》 CSCD 北大核心 2015年第S1期106-112,共7页
近年来,中国社会面临老龄化严重,养老资源不足的问题。预计2020年60岁以上老年人口将达到2.4亿人,占全国总人口的比重为17.71%。老年群体较集中地分布在70—80年代老旧居民区,这类建筑在全国范围内保有量大。重庆80年代前后住宅广泛分... 近年来,中国社会面临老龄化严重,养老资源不足的问题。预计2020年60岁以上老年人口将达到2.4亿人,占全国总人口的比重为17.71%。老年群体较集中地分布在70—80年代老旧居民区,这类建筑在全国范围内保有量大。重庆80年代前后住宅广泛分布于重庆市主城区,目前存量约400万平方米。基于对重庆老旧居民区老年人生活质量的调查与研究,结合70—80年代老旧住宅特点,形成了模块化居家养老改造方案。方案包含性能化改造、活动场所改造、舒适度改造、安全性改造四大核心模块,并引入绿色建筑技术。通过文献查阅及能耗模拟,结果证明,按照方案进行改造后,老旧居民区在舒适度、便利度等方面都将有较大的改善,并且全年最大能耗和全年累计能耗都有所降低。 展开更多
关键词 绿色建筑 节能 既有建筑改造 居家养老
在线阅读 下载PDF
软件过程改进策略的研究与实践
9
作者 胡凯 王时龙 《四川兵工学报》 CAS 2006年第5期55-58,共4页
在规定的时间、合理的投资情况下,保质保量地交付软件产品是一个巨大的挑战。本文研究了软件能力成熟度模型(CMM)在我国企业实施中应注意的技术细节,个体软件过程(PSP)改进的步骤和阶梯式进化框架,提出了软件过程改进策略。最后结合一... 在规定的时间、合理的投资情况下,保质保量地交付软件产品是一个巨大的挑战。本文研究了软件能力成熟度模型(CMM)在我国企业实施中应注意的技术细节,个体软件过程(PSP)改进的步骤和阶梯式进化框架,提出了软件过程改进策略。最后结合一个实际案例,简介了软件过程改进策略实施的步骤。 展开更多
关键词 软件工程 软件过程改进 软件能力成熟度模型CMM 个体软件过程PSP
在线阅读 下载PDF
共享软件加解密与注册方法
10
作者 夏治国 陈林 《重庆工学院学报(自然科学版)》 2008年第12期144-147,159,共5页
介绍了软件注册模块的整体设计方案,并从磁盘序列号加密的实现、打开电子邮件程序发送注册文件、利用注册文件和用户名解密生成注册号、程序注册并生成注册信息等几个方面具体分析了软件注册模块的设计,还探讨了程序启动检查模块的设计... 介绍了软件注册模块的整体设计方案,并从磁盘序列号加密的实现、打开电子邮件程序发送注册文件、利用注册文件和用户名解密生成注册号、程序注册并生成注册信息等几个方面具体分析了软件注册模块的设计,还探讨了程序启动检查模块的设计方法,并给出了部分相关代码.最后提出了加密方式和使用限制中存在的问题. 展开更多
关键词 磁盘序列号 加密 解密 注册表控制
在线阅读 下载PDF
Faster-RCNN的车型识别分析 被引量:47
11
作者 桑军 郭沛 +2 位作者 项志立 罗红玲 陈欣 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2017年第7期32-36,共5页
车型识别是目标检测领域在智能交通的重要应用,也是近年来国内外学者的研究热点之一。针对已有车辆检测方法缺乏识别车型能力的问题,提出了基于Faster-RCNN目标检测模型与ZF、VGG-16以及ResNet-101 3种卷积神经网络分别结合的策略,实验... 车型识别是目标检测领域在智能交通的重要应用,也是近年来国内外学者的研究热点之一。针对已有车辆检测方法缺乏识别车型能力的问题,提出了基于Faster-RCNN目标检测模型与ZF、VGG-16以及ResNet-101 3种卷积神经网络分别结合的策略,实验对比了该策略中的3种结合模型方案在BIT-Vehicle和CompCars2种大型车型数据库的车型识别能力。在BIT-Vehicle数据集上,基于Faster-RCNN与ResNet-101结合模型方案的车型识别率高与其余2种结合模型方案,其车型识别率高达91.3%;在迁移测试CompCars数据集上,3种结合模型方案均展现了很好的泛化能力。 展开更多
关键词 车型识别 目标检测 Faster-RCNN 卷积神经网络
在线阅读 下载PDF
教育数据挖掘研究进展综述 被引量:101
12
作者 周庆 牟超 杨丹 《软件学报》 EI CSCD 北大核心 2015年第11期3026-3042,共17页
教育数据挖掘(educational data mining,简称EDM)技术运用教育学、计算机科学、心理学和统计学等多个学科的理论和技术来解决教育研究与教学实践中的问题.在大数据时代背景下,EDM研究将迎来新的转折点.为方便读者了解EDM的研究进展或从... 教育数据挖掘(educational data mining,简称EDM)技术运用教育学、计算机科学、心理学和统计学等多个学科的理论和技术来解决教育研究与教学实践中的问题.在大数据时代背景下,EDM研究将迎来新的转折点.为方便读者了解EDM的研究进展或从事相关研究和实践,首先介绍EDM研究的概貌、特点和发展历程,然后重点介绍和分析了EDM近年来的研究成果.在成果介绍部分,选取的研究成果大部分发表于2013年以后,包括以往较少涉及的几种新型教育技术.在成果分析部分,对近年来的典型案例作了分类、统计和对比分析,对EDM研究的特点、不足及发展趋势进行了归纳和预测.最后讨论了大数据时代下EDM面临的机遇和挑战. 展开更多
关键词 大数据 教育环境 交叉学科 MOOCs ITS
在线阅读 下载PDF
数字化校园设计与构建方法研究 被引量:9
13
作者 祝伟华 杨丹 +3 位作者 桑军 方蔚涛 文俊浩 徐光侠 《计算机科学》 CSCD 北大核心 2005年第8期97-99,160,共4页
本文就数字化校园中软件系统建设提出了一套较为完整的、系统的具有较强可操作性的方法,应用 EAI的各种关键技术,对该方法中各个环节要解决的问题进行了较详细的分析,并对解决这些问题的方案进行了较深入的研究和探讨。提出了以视图设... 本文就数字化校园中软件系统建设提出了一套较为完整的、系统的具有较强可操作性的方法,应用 EAI的各种关键技术,对该方法中各个环节要解决的问题进行了较详细的分析,并对解决这些问题的方案进行了较深入的研究和探讨。提出了以视图设计为主体的自上而下的数字化校园规划设计方法,和一种自下而上的搭建系统的方案。 展开更多
关键词 数字化校园 URP EAI 构建方法 校园设计 系统建设 规划设计方法 可操作性 自上而下 图设计
在线阅读 下载PDF
手机二维码识别系统的设计与实现 被引量:107
14
作者 徐玲 蒋欣志 张杰 《计算机应用》 CSCD 北大核心 2012年第5期1474-1476,共3页
在研究二维码及其手机识别技术的基础上,开发了基于Android平台的手机二维码识别系统,在系统架构设计中将二维码识别系统的平台支撑层、客户端应用层、云端处理层进行分层设计,保证了系统的安全性,根据需求给出系统的功能模块划分和用... 在研究二维码及其手机识别技术的基础上,开发了基于Android平台的手机二维码识别系统,在系统架构设计中将二维码识别系统的平台支撑层、客户端应用层、云端处理层进行分层设计,保证了系统的安全性,根据需求给出系统的功能模块划分和用例分析,最后实现了手机二维码的编码解码的核心功能。 展开更多
关键词 二维码识别 手机 QR码 J2EE SSH2 ANDROID
在线阅读 下载PDF
一种基于流行度分类特征的托攻击检测算法 被引量:16
15
作者 李文涛 高旻 +3 位作者 李华 熊庆宇 文俊浩 凌斌 《自动化学报》 EI CSCD 北大核心 2015年第9期1563-1576,共14页
基于协同过滤的推荐系统容易受到托攻击的危害,如何检测托攻击成为推荐系统可靠性的关键.针对现有托攻击检测手段使用基于评分的分类特征易受混淆技术干扰的局限,本文从用户选择评分项目方式入手,分析由此造成的用户概貌中已评分项目的... 基于协同过滤的推荐系统容易受到托攻击的危害,如何检测托攻击成为推荐系统可靠性的关键.针对现有托攻击检测手段使用基于评分的分类特征易受混淆技术干扰的局限,本文从用户选择评分项目方式入手,分析由此造成的用户概貌中已评分项目的流行度分布情况的不同,提出用于区分正常用户与虚假用户基于流行度的分类特征,进而得到基于流行度的托攻击检测算法.实验表明该算法在托攻击检测中具有更强的检测性能与抗干扰性. 展开更多
关键词 协同过滤 托攻击 项目流行度 幂律分布 基于流行度的分类特征
在线阅读 下载PDF
一种三维数字城市的构建和实现方法 被引量:26
16
作者 任海军 文俊浩 徐玲 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第4期101-104,共4页
对三维数字城市建设中的关键技术,提出了一种三维数字城市的构建和实现方法,首先就三维地形的数据采集和建立、三维模型的建立和导入、纹理的采集和处理等方面探讨了数据的采集和处理问题;然后针对三维地理信息系统的数据量远远大于二... 对三维数字城市建设中的关键技术,提出了一种三维数字城市的构建和实现方法,首先就三维地形的数据采集和建立、三维模型的建立和导入、纹理的采集和处理等方面探讨了数据的采集和处理问题;然后针对三维地理信息系统的数据量远远大于二维地理信息系统等问题,从选择合适的DEM行列数、三维模型建模规范、使用结点替换、使用LOD模型优化等方面实现了对三维数字城市海量数据的的优化,并将该技术成功应用于重庆高新区三维数字城市项目.运行结果显示,该系统运行稳定流畅,能够逼真地虚拟高新区现状. 展开更多
关键词 数字城市 VRMAP 三维模型 纹理 三维地理信息系统
在线阅读 下载PDF
基于评论与评分的协同过滤算法 被引量:27
17
作者 李伟霖 王成良 文俊浩 《计算机应用研究》 CSCD 北大核心 2017年第2期361-364,412,共5页
针对传统协同过滤算法中存在的数据稀疏性问题,结合用户评分及用户评论信息的特点,提出了基于评论与评分的user-based协同过滤算法和基于评论与评分的item-based协同过滤算法。该算法利用主题模型产生评论主题分布,利用评分数据生成评... 针对传统协同过滤算法中存在的数据稀疏性问题,结合用户评分及用户评论信息的特点,提出了基于评论与评分的user-based协同过滤算法和基于评论与评分的item-based协同过滤算法。该算法利用主题模型产生评论主题分布,利用评分数据生成评论态度影响因子,并通过评论态度影响因子来放大评论主题分布中的突出特征,建立更为准确的用户偏好与物品特征,进而进行评分预测与物品推荐。实验结果表明,该算法在稀疏数据集上可以获得较好的推荐效果,提高了推荐质量。 展开更多
关键词 协同过滤 数据稀疏性 评论分析 主题模型 用户偏好
在线阅读 下载PDF
基于视觉显著性的指针式仪表读数识别算法 被引量:46
18
作者 张文杰 熊庆宇 +3 位作者 张家齐 王玉平 江鹏 王成疆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2015年第12期2282-2295,共14页
针对指针式仪表读数算法对光照变化影响较大、识别精度不高的问题,提出一种基于视觉显著性区域检测的指针式仪表读数方法.首先利用区域对比度、空间关系、中心先验性等视觉显著性区域检测先验知识,提取仪表图像指针区域;然后用无向图排... 针对指针式仪表读数算法对光照变化影响较大、识别精度不高的问题,提出一种基于视觉显著性区域检测的指针式仪表读数方法.首先利用区域对比度、空间关系、中心先验性等视觉显著性区域检测先验知识,提取仪表图像指针区域;然后用无向图排序算法进行优化,抑制非指针区域的干扰,突出指针区域;再通过依次旋转仪表指针图像统计旋转不同角度时仪表指针图像在纵轴上的投影最大值,计算指针至平行于横轴需要旋转的角度,并判断指针旋转至平行于横轴时指针顶部区域与底部区域在横轴上的投影最大值在仪表图像中位置,获取指针与横轴的夹角;最后采用最小二乘法拟合指针夹角与指针刻度之间的线性函数参数,计算仪表读数.实验结果表明,该方法在不同光照下能较好地提取指针区域,得到的仪表读数与人工读数误差较小,算法稳定可靠. 展开更多
关键词 仪表指针 仪表读数 显著性区域 指针夹角
在线阅读 下载PDF
基于Harris多尺度角点检测的图像配准新算法 被引量:32
19
作者 李博 杨丹 张小洪 《计算机工程与应用》 CSCD 北大核心 2006年第35期37-40,共4页
为改进角点检测算子的检测性能,提高基于角点的图像配准算法的配准精度,把多分辨分析的思想引入到经典的Harris角点检测中,构造了基于小波变换的灰度强度变化公式,并得到了具有尺度变换特性的自相关矩阵,从而构建了一种新的Harris多尺... 为改进角点检测算子的检测性能,提高基于角点的图像配准算法的配准精度,把多分辨分析的思想引入到经典的Harris角点检测中,构造了基于小波变换的灰度强度变化公式,并得到了具有尺度变换特性的自相关矩阵,从而构建了一种新的Harris多尺度角点检测算法。这样,使得新的角点检测可以在不同的尺度下获取角点,并克服了单一尺度的Harris角点检测可能存在的角点信息丢失、位置偏移和易受噪而提取出伪角点等问题。然后根据角度直方图得到的旋转角度,和提取的以角点为中心的特征子图,定义了角点点对的对齐度。最后,运用最大化对齐度准则来精确地确定角点匹配点对。实验表明,该配准算法具有精确性、有效性和抗噪性,实现了良好的配准效果。 展开更多
关键词 图像配准 多尺度 角点检测 不变性 角点点时时齐度
在线阅读 下载PDF
一种新的Harris多尺度角点检测 被引量:80
20
作者 张小洪 李博 杨丹 《电子与信息学报》 EI CSCD 北大核心 2007年第7期1735-1738,共4页
Harris角点检测是一种经典的角点检测算法,但不具有尺度变化特性。该文把多分辨分析的思想引入到该算法中,构造了基于小波变换的灰度强度变化公式,并得到了具有尺度变换特性的自相关矩阵,从而构建了一种新的基于小波变换的Harris多尺度... Harris角点检测是一种经典的角点检测算法,但不具有尺度变化特性。该文把多分辨分析的思想引入到该算法中,构造了基于小波变换的灰度强度变化公式,并得到了具有尺度变换特性的自相关矩阵,从而构建了一种新的基于小波变换的Harris多尺度角点检测算法。这样,使得新的角点检测可以在不同的尺度下获取角点,并克服了单一尺度的Harris角点检测可能存在的角点信息丢失、角点位置偏移和易受噪而提取出伪角点等问题。通过对比实验,新算法明显地提高了图像角点检测性能。 展开更多
关键词 多尺度角点检测 Moravec算法 HARRIS角点检测
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部