期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
嵌入式软件内存泄露检测方法研究
被引量:
9
1
作者
张鹏
杨秋辉
李海怒
《计算机工程与应用》
CSCD
2013年第14期56-59,65,共5页
动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的...
动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。
展开更多
关键词
嵌入式软件
内存泄露检测
动态插装
动态检测
分布式检测
下载PDF
职称材料
反应堆压力容器老化管理信息系统设计与实现
被引量:
1
2
作者
张明星
邓时滔
李海怒
《软件导刊》
2018年第2期89-92,共4页
核电站压力容器的老化管理信息系统,是老化管理的基础信息平台。分析了核电站RPV的老化管理过程,根据软件流程对系统功能模块和数据库结构进行了设计,研究了文件读取、表格化数据图形重构显示等软件开发技术,建立了老化管理信息系统。...
核电站压力容器的老化管理信息系统,是老化管理的基础信息平台。分析了核电站RPV的老化管理过程,根据软件流程对系统功能模块和数据库结构进行了设计,研究了文件读取、表格化数据图形重构显示等软件开发技术,建立了老化管理信息系统。通过在某核电站应用,实现了RPV部件、运行信息、辐照监督等老化数据的信息化管理,为老化管理提供了直观、趋势化的分析途径。系统能满足核电站老化数据存储进行老化过程管理等应用需求,真实反映老化管理活动现状,提高老化管理效率。
展开更多
关键词
反应堆压力容器
老化管理
信息系统
C#
下载PDF
职称材料
反应堆操纵人员试题库管理系统设计与实现
被引量:
1
3
作者
张明星
邓时滔
李海怒
《软件导刊》
2017年第1期97-99,共3页
核反应堆操纵人员考试考核非常重要,为此设计了试题库管理系统。通过构建试题库对试题进行信息化管理,并在此基础上,对HFETR、MJTR等反应堆操纵员、值班长等各类操纵运行人员的考试试卷抽题组卷规则进行研究,设计了试卷自动组卷程序。...
核反应堆操纵人员考试考核非常重要,为此设计了试题库管理系统。通过构建试题库对试题进行信息化管理,并在此基础上,对HFETR、MJTR等反应堆操纵员、值班长等各类操纵运行人员的考试试卷抽题组卷规则进行研究,设计了试卷自动组卷程序。根据组卷条件快速准确地从试题库中抽取试题并生成试卷和答案,实现了手工组卷向计算机自动组卷的转变,提高了反应堆操纵人员试题库管理系统效率。
展开更多
关键词
核反应堆
试题库管理系统
自动组卷
下载PDF
职称材料
基于效益函数的软件分布式自动化测试调度算法研究
4
作者
许眉扬
洪玫
+1 位作者
阙舒
李海怒
《电脑知识与技术(过刊)》
2012年第4X期2502-2505,2520,共5页
该文以分布式软件持续质量保证思想为基础,对软件分布式自动化测试平台的任务调度算法进行了讨论分析,发现其存在的问题。通过引入三种效益函数并结合测试任务调度的特点,提出了新的改进算法,文章给出了改进算法的仿真实验以及评价。虽...
该文以分布式软件持续质量保证思想为基础,对软件分布式自动化测试平台的任务调度算法进行了讨论分析,发现其存在的问题。通过引入三种效益函数并结合测试任务调度的特点,提出了新的改进算法,文章给出了改进算法的仿真实验以及评价。虽然新算法在性能上有所改进,但是仍存在不足之处,文章最后提出了今后改进的方向,以使调度算法进一步趋于完善。
展开更多
关键词
软件质量
分布式软件测试
调度算法
效益函数
下载PDF
职称材料
基于VSM的文件密级检测系统设计与实现
5
作者
张明星
邓时滔
李海怒
《软件导刊》
2017年第3期156-158,共3页
基于科研单位内部系统向外导出文件的实际情况,针对人工在对文件密级判定过程中存在效率低、易失误等方面的局限,分析了向量空间模型、相似度算法和分词技术,设计了一套基于VSM的文件密级检测系统,将涉密文件资源库中的文件转化为向量...
基于科研单位内部系统向外导出文件的实际情况,针对人工在对文件密级判定过程中存在效率低、易失误等方面的局限,分析了向量空间模型、相似度算法和分词技术,设计了一套基于VSM的文件密级检测系统,将涉密文件资源库中的文件转化为向量从而构建涉密文件向量集。系统运行时,将待检测文件转化为文件向量,并与向量集中的文件向量进行余弦相似度计算,判断待检测文件密级,从而在一定程度上实现了基于内容的密级检测功能。实验结果表明,系统能够在较短时间内完成对文件密级的检测,正确率较高,系统的应用能够有效提高密级文件管理的安全性和智能性。
展开更多
关键词
向量空间模型
密级检测
信息安全
下载PDF
职称材料
基于模糊匹配的数据库模式测试方法
6
作者
阙舒
洪玫
李海怒
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第5期1003-1008,共6页
数据库模式测试是数据库系统测试的重要工作,在前期的研究中已经实现了一种简单的数据库模式测试方法,该方法针对数据库ER模型和逻辑模型不一致的问题进行了研究.但是该匹配方法单一,属于一对一的语义匹配,为了解决这一局限性,提出了一...
数据库模式测试是数据库系统测试的重要工作,在前期的研究中已经实现了一种简单的数据库模式测试方法,该方法针对数据库ER模型和逻辑模型不一致的问题进行了研究.但是该匹配方法单一,属于一对一的语义匹配,为了解决这一局限性,提出了一套基于"模糊匹配"的数据库模式测试方法.该方法考虑了以上方法的不足,使用"模糊匹配"对数据库模式进行测试,解决了由于数据库结构复杂导致测试结论误报率高的问题,并且将数据字典信息作为匹配标准,对匹配信息进行种类划分,减少了匹配工作量,同时还将语义信息和结构信息相结合,提高了匹配准确度.
展开更多
关键词
数据库模式测试
冲突
模糊匹配
原文传递
题名
嵌入式软件内存泄露检测方法研究
被引量:
9
1
作者
张鹏
杨秋辉
李海怒
机构
四川大学计算机学院
出处
《计算机工程与应用》
CSCD
2013年第14期56-59,65,共5页
文摘
动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。
关键词
嵌入式软件
内存泄露检测
动态插装
动态检测
分布式检测
Keywords
embedded software
memory leak detection
dynamic instrumentation
dynamic detection
distributed detection
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
反应堆压力容器老化管理信息系统设计与实现
被引量:
1
2
作者
张明星
邓时滔
李海怒
机构
中国核动力研究设计院
出处
《软件导刊》
2018年第2期89-92,共4页
文摘
核电站压力容器的老化管理信息系统,是老化管理的基础信息平台。分析了核电站RPV的老化管理过程,根据软件流程对系统功能模块和数据库结构进行了设计,研究了文件读取、表格化数据图形重构显示等软件开发技术,建立了老化管理信息系统。通过在某核电站应用,实现了RPV部件、运行信息、辐照监督等老化数据的信息化管理,为老化管理提供了直观、趋势化的分析途径。系统能满足核电站老化数据存储进行老化过程管理等应用需求,真实反映老化管理活动现状,提高老化管理效率。
关键词
反应堆压力容器
老化管理
信息系统
C#
Keywords
reactor pressure vessel
aging management
information system
C#
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
反应堆操纵人员试题库管理系统设计与实现
被引量:
1
3
作者
张明星
邓时滔
李海怒
机构
中国核动力研究设计院
出处
《软件导刊》
2017年第1期97-99,共3页
文摘
核反应堆操纵人员考试考核非常重要,为此设计了试题库管理系统。通过构建试题库对试题进行信息化管理,并在此基础上,对HFETR、MJTR等反应堆操纵员、值班长等各类操纵运行人员的考试试卷抽题组卷规则进行研究,设计了试卷自动组卷程序。根据组卷条件快速准确地从试题库中抽取试题并生成试卷和答案,实现了手工组卷向计算机自动组卷的转变,提高了反应堆操纵人员试题库管理系统效率。
关键词
核反应堆
试题库管理系统
自动组卷
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于效益函数的软件分布式自动化测试调度算法研究
4
作者
许眉扬
洪玫
阙舒
李海怒
机构
四川大学计算机学院
出处
《电脑知识与技术(过刊)》
2012年第4X期2502-2505,2520,共5页
文摘
该文以分布式软件持续质量保证思想为基础,对软件分布式自动化测试平台的任务调度算法进行了讨论分析,发现其存在的问题。通过引入三种效益函数并结合测试任务调度的特点,提出了新的改进算法,文章给出了改进算法的仿真实验以及评价。虽然新算法在性能上有所改进,但是仍存在不足之处,文章最后提出了今后改进的方向,以使调度算法进一步趋于完善。
关键词
软件质量
分布式软件测试
调度算法
效益函数
Keywords
software quality
distributed software testing
scheduling algorithm
utility function
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于VSM的文件密级检测系统设计与实现
5
作者
张明星
邓时滔
李海怒
机构
中国核动力研究设计院
出处
《软件导刊》
2017年第3期156-158,共3页
文摘
基于科研单位内部系统向外导出文件的实际情况,针对人工在对文件密级判定过程中存在效率低、易失误等方面的局限,分析了向量空间模型、相似度算法和分词技术,设计了一套基于VSM的文件密级检测系统,将涉密文件资源库中的文件转化为向量从而构建涉密文件向量集。系统运行时,将待检测文件转化为文件向量,并与向量集中的文件向量进行余弦相似度计算,判断待检测文件密级,从而在一定程度上实现了基于内容的密级检测功能。实验结果表明,系统能够在较短时间内完成对文件密级的检测,正确率较高,系统的应用能够有效提高密级文件管理的安全性和智能性。
关键词
向量空间模型
密级检测
信息安全
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于模糊匹配的数据库模式测试方法
6
作者
阙舒
洪玫
李海怒
机构
四川大学计算机学院
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第5期1003-1008,共6页
文摘
数据库模式测试是数据库系统测试的重要工作,在前期的研究中已经实现了一种简单的数据库模式测试方法,该方法针对数据库ER模型和逻辑模型不一致的问题进行了研究.但是该匹配方法单一,属于一对一的语义匹配,为了解决这一局限性,提出了一套基于"模糊匹配"的数据库模式测试方法.该方法考虑了以上方法的不足,使用"模糊匹配"对数据库模式进行测试,解决了由于数据库结构复杂导致测试结论误报率高的问题,并且将数据字典信息作为匹配标准,对匹配信息进行种类划分,减少了匹配工作量,同时还将语义信息和结构信息相结合,提高了匹配准确度.
关键词
数据库模式测试
冲突
模糊匹配
Keywords
database schema testing, collision, fuzzy-match
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
嵌入式软件内存泄露检测方法研究
张鹏
杨秋辉
李海怒
《计算机工程与应用》
CSCD
2013
9
下载PDF
职称材料
2
反应堆压力容器老化管理信息系统设计与实现
张明星
邓时滔
李海怒
《软件导刊》
2018
1
下载PDF
职称材料
3
反应堆操纵人员试题库管理系统设计与实现
张明星
邓时滔
李海怒
《软件导刊》
2017
1
下载PDF
职称材料
4
基于效益函数的软件分布式自动化测试调度算法研究
许眉扬
洪玫
阙舒
李海怒
《电脑知识与技术(过刊)》
2012
0
下载PDF
职称材料
5
基于VSM的文件密级检测系统设计与实现
张明星
邓时滔
李海怒
《软件导刊》
2017
0
下载PDF
职称材料
6
基于模糊匹配的数据库模式测试方法
阙舒
洪玫
李海怒
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2012
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部