期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到625篇文章
< 1 2 … 32 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
光学字符识别技术与展望 被引量：40
1
作者 荆涛 王仲 《计算机工程》 CAS CSCD 北大核心 2003年第2期1-2,80,共3页
光学字符识别技术在人机交互中，发挥了界面友好的作用。根据识别时所提取具体特征的不同，字符识别通常可以分为：统计字符识别、结构字符识别和神经网络字符识别技术3种。该文分析了文字识别中的典型方法，并结合模式识别领域取得的... 光学字符识别技术在人机交互中，发挥了界面友好的作用。根据识别时所提取具体特征的不同，字符识别通常可以分为：统计字符识别、结构字符识别和神经网络字符识别技术3种。该文分析了文字识别中的典型方法，并结合模式识别领域取得的理论成果，介绍了模糊技术识别、基于语义理解的识别等发展中的识别技术。光学字符识别为大量数据的自动录入提供了一条有效的途径，在文档自动分析、图像检索、人机交互方面有广阔的发展空间。 展开更多
关键词 光学字符识别 特征提取 模式匹配 结构分析 模式识别 文字识别 计算机
下载PDF
一种改进的基于光流的运动目标的检测算法 被引量：27
2
作者 王晓卫 宁固 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2003年第3期351-353,362,共4页
讨论了序列图像的运动目标检测算法 ,在传统的光流场计算方法的基础上 ,提出了基于帧间差阈值法的快速光流算法。整个算法简单、有效 ,保证了序列图像中运动目标跟踪的实时性和鲁棒性。
关键词 光流 序列图像 运动目标检测 目标跟踪 运动约束方程 差值图像
下载PDF
基于MAPX控件的电子地图控制 被引量：26
3
作者 齐超 何新华 《计算机应用》 CSCD 2000年第12期69-71,共3页
分析了MapX的特点 ,给出了利用MapX构建地图的各种方法。详细介绍了图层操作、信息查询、轨迹回放等功能的实现。
关键词 电子地图 MAPX控件 地理信息系统 面向对象
下载PDF
Linux下图形用户界面程序的开发与实现 被引量：27
4
作者 王子强 刘海燕 李媛州 《计算机应用与软件》 CSCD 北大核心 2005年第6期81-83,共3页
在Linux下开发图形用户界面应用程序是Linux推广的重要基础。本文首先介绍了Linux下图形用户界面程序开发的主流工具,然后重点分析了Qt及其提供的一种真正可视化的编程工具QtDesigner的特点及开发步骤,最后从我们实际开发经验出发总结... 在Linux下开发图形用户界面应用程序是Linux推广的重要基础。本文首先介绍了Linux下图形用户界面程序开发的主流工具,然后重点分析了Qt及其提供的一种真正可视化的编程工具QtDesigner的特点及开发步骤,最后从我们实际开发经验出发总结了Qt的优点。 展开更多
关键词 LINUX 用户界面程序 DESIGNER 图形用户界面 应用程序 程序开发 编程工具 开发步骤 开发经验 QT 可视化
下载PDF
基于主从异步复制技术的容灾实时系统研究与实现 被引量：20
5
作者 杨朝红 宫云战 +2 位作者 桑伟前 刘海燕 李庆艳 《计算机研究与发展》 EI CSCD 北大核心 2003年第7期1104-1109,共6页
介绍了一个实用的容灾实时系统SDPR 为提高系统的性能 ,SDPR采用严格的主从异步复制技术和多线程技术 实验表明 ,多线程技术和多进程技术能够较大地提高系统的性能 ,而且相比多进程技术 ,多线程技术所需的内存要少得多 详细探讨了采用... 介绍了一个实用的容灾实时系统SDPR 为提高系统的性能 ,SDPR采用严格的主从异步复制技术和多线程技术 实验表明 ,多线程技术和多进程技术能够较大地提高系统的性能 ,而且相比多进程技术 ,多线程技术所需的内存要少得多 详细探讨了采用多线程技术时怎样保证数据的一致性 SDPR系统不仅满足容灾系统设计准则 ,而且与Oracle以及Informix等数据库提供商提供的数据复制技术相比 ,SDPR通过数据库底层函数层可以屏蔽不同数据库产品或版本之间的差异 ,从而实现不同数据库产品和版本之间的数据复制 SDPR适用于使用多种数据库产品或版本的系统 ,如智能网系统 同时 ,SDPR系统可以处理数据拷贝图为任意拓扑结构的情况 容灾系统SDPR已经实现 。 展开更多
关键词 数据复制 多线程 主从异步复制技术 容灾实时系统
下载PDF
基于TCP/IP的网络单片机应用 被引量：13
6
作者 谢晓竹 傅军 《计算机工程》 CAS CSCD 北大核心 2003年第15期171-172,192,共3页
介绍了RTL8019芯片的内部结构及其使用方法，详细阐述了AVR系列单片机如何通过RTL8019实现TCP/IP协议的数据通信。此项功能完成一个成本低廉但功能强大的基于Internet/Intranet的网络终端设备的核心设计，并可广泛使用于各种智能信息设... 介绍了RTL8019芯片的内部结构及其使用方法，详细阐述了AVR系列单片机如何通过RTL8019实现TCP/IP协议的数据通信。此项功能完成一个成本低廉但功能强大的基于Internet/Intranet的网络终端设备的核心设计，并可广泛使用于各种智能信息设备和网络控制类产品。 展开更多
关键词 网络单片机 TCP/IP 网络通信
下载PDF
一种路径敏感的静态缺陷检测方法 被引量：29
7
作者 肖庆 宫云战 +2 位作者 杨朝红 金大海 王雅文 《软件学报》 EI CSCD 北大核心 2010年第2期209-217,共9页
提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性... 提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文分析的组合爆炸问题.该算法已应用于缺陷检测系统DTS(defect testing system).实际测试结果表明,该方法能够减少误报. 展开更多
关键词 缺陷检测 静态分析 路径敏感 数据流分析 程序分析
下载PDF
基于图像特征的烟叶分级 被引量：24
8
作者 张惠民 韩力群 段正刚 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2003年第3期359-362,共4页
讨论了基于图像特征的烤烟烟叶分级系统的建模及其实现 ,给出了烟叶分级模型的数学描述 ,探讨了模型库的优化和特征隶属度及烟叶模式的可信度的计算问题 。
关键词 图像识别 模糊分类 隶属度 可信度
下载PDF
软件测试的故障模型 被引量：18
9
作者 宫云战 《装甲兵工程学院学报》 2004年第2期1-5,12,共6页
故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概... 故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C++中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型. 展开更多
关键词 软件 测试方法 故障模型
原文传递
车辆监控地理信息系统中的地图控制及实现 被引量：14
10
作者 齐超 何新华 《计算机自动测量与控制》 CSCD 2001年第1期33-35,共3页
分析了MapX的特点和车辆监控系统的基本要求 ,以及利用MapX实现基于MAPINFO矢量地图的图层、图标控制、地理信息控制。
关键词 地理信息系统 电子地图 MAPX 车辆监控 地图控制 车辆高度
下载PDF
基于软件缺陷模型的测试系统 被引量：22
11
作者 杨朝红 宫云战 +1 位作者 肖庆 王雅文 《北京邮电大学学报》 EI CAS CSCD 北大核心 2008年第5期1-4,共4页
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有... 设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点. 展开更多
关键词 软件测试 静态分析 区间运算 缺陷模型 状态机
下载PDF
基于文本的内容过滤算法的比较 被引量：11
12
作者 何静 刘海燕 张惠民 《计算机工程》 CAS CSCD 北大核心 2002年第11期9-10,113,共3页
内容过滤技术在信息检索技术的基础上发展起来，并逐渐形成了自身的理论体系。文章总结了目前常用的几种内容过滤算法，并对它们的优缺点进行了分析和比较，为不同领域采用适当的内容过滤算法提供了思路。
关键词 文本 内容过滤算法 潜在语义索引 神经网络 用户模板 信息查询 网络安全 计算机网络
下载PDF
数据驱动自动化测试方法研究 被引量：9
13
作者 金大海 宫云战 《装甲兵工程学院学报》 2004年第2期95-97,共3页
介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使... 介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试. 展开更多
关键词 数据驱动 自动化测试 测试数据 控制数据
原文传递
一种面向故障的软件测试新方法 被引量：19
14
作者 宫云战 《装甲兵工程学院学报》 2004年第1期21-25,共5页
面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的... 面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题. 展开更多
关键词 故障 软件测试 人工测试 自动测试 自盒测试 黑盒测试
原文传递
用波前平面提高全息体视图成像分辨率 被引量：18
15
作者 黄应清 赵锴 +1 位作者 蒋晓瑜 闫兴鹏 《中国激光》 EI CAS CSCD 北大核心 2016年第2期206-214,共9页
针对全息体视图成像分辨率较低的问题,提出了用波前平面提高成像分辨率的方法。定量分析了空间采样、角采样和衍射效应对全息体视图成像极限分辨率的影响;以人眼在距离全息图600 mm处观察的极限分辨能力为标准,给出了全息体视图的成像... 针对全息体视图成像分辨率较低的问题,提出了用波前平面提高成像分辨率的方法。定量分析了空间采样、角采样和衍射效应对全息体视图成像极限分辨率的影响;以人眼在距离全息图600 mm处观察的极限分辨能力为标准,给出了全息体视图的成像极限分辨率与三维场景深度及全息单元(Hogel)尺寸之间的关系;得出了在波长取632.8 nm时,全息体视图能够高分辨率再现的三维场景的极限深度为12.80 mm,最佳Hogel尺寸为90μm,并且依据极限深度设置了波前平面。选择2个三维场景进行了验证实验:数字模拟再现了结构较为复杂的坦克模型,可以准确表现出模型的各个深度上的精细结构;用基于空间光调制器的全息三维显示系统对茶壶模型进行了光学再现,再现图像很好地提供了深度和光泽等三维感知因素。 展开更多
关键词 全息 计算全息 全息显示 成像分辨率
原文传递
基于RTP协议H.264视频流传输QoS保证的研究 被引量：11
16
作者 陶桂东 张占军 《装甲兵工程学院学报》 2006年第5期58-60,68,共4页
提出一个Linux环境下基于RTP／RTCP的H．264视频流传输的方案，在Linux中调用V4L（Video four Linux）的API函数采集视频流，经X264压缩，RTP／RTCP协议打包进行传输。并通过RTCP的RR（接收方报告）包反馈信息和吞吐量公式来计算近似带... 提出一个Linux环境下基于RTP／RTCP的H．264视频流传输的方案，在Linux中调用V4L（Video four Linux）的API函数采集视频流，经X264压缩，RTP／RTCP协议打包进行传输。并通过RTCP的RR（接收方报告）包反馈信息和吞吐量公式来计算近似带宽，以起始帧量化参数start-qp为视频编码的调节参数，由近似带宽来控制视频编码的参数调整，达到控制输出码率的目的，实现对视频传输的QoS（Quality of Service）保证。 展开更多
关键词 H.264 RTWRTCP QOS
原文传递
软件质量模型及其评价 被引量：11
17
作者 陈建明 王海峰 《微电子学与计算机》 CSCD 北大核心 2003年第5期64-67,共4页
本文从实用的角度出发,提出了软件质量评价的定性模型,并用模糊方法对其进行定量评价。最后用一模拟实例进行了说明。
关键词 软件质量模型 评价 软件开发 软件系统 模糊评价
下载PDF
基于抽象解释的变量值范围分析及应用 被引量：16
18
作者 王雅文 宫云战 +1 位作者 肖庆 杨朝红 《电子学报》 EI CAS CSCD 北大核心 2011年第2期296-303,共8页
精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值... 精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undefined),使用函数摘要来计算过程调用对程序上下文状态的影响.该方法能有效压缩变量取值空间,检测出程序中的矛盾语句节点和不可达路径,实验表明基于RABAI方法的缺陷检测工具DTS能有效降低误报率. 展开更多
关键词 软件测试 静态分析 抽象解释 区间抽象 范围分析 不可达路径
下载PDF
扩展区间运算的变量值范围分析技术 被引量：15
19
作者 王雅文 宫云战 +1 位作者 肖庆 杨朝红 《北京邮电大学学报》 EI CAS CSCD 北大核心 2009年第3期36-41,共6页
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方... 首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率. 展开更多
关键词 软件测试 静态分析 区间运算 范围分析
下载PDF
遗传算法在武器目标分配中的应用 被引量：16
20
作者 曹伟华 焦红革 魏建辉 《四川兵工学报》 CAS 2008年第5期119-121,共3页
从问题编码、初始种群产生、遗传操作等方面给出了武器目标分配问题的遗传算法详细设计,以及不同武器射击精度和射击规则下的编码方式.将遗传算法和仿真模型相结合,实现了适应度函数的动态变化,为解决对抗作战中大规模的武器目标动态分... 从问题编码、初始种群产生、遗传操作等方面给出了武器目标分配问题的遗传算法详细设计,以及不同武器射击精度和射击规则下的编码方式.将遗传算法和仿真模型相结合,实现了适应度函数的动态变化,为解决对抗作战中大规模的武器目标动态分配问题提供了一种有效方法. 展开更多
关键词 遗传算法 编码 火力单元 动态分配
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 32 下一页 到第 页
使用帮助 返回顶部