装甲兵工程学院信息工程系 
导出分析报告
研究主题：软件测试 网络安全 信息系统 无线传感器网络 装甲车辆
研究学科：自动化类 电子信息类 机械类 兵器类 经济学类
被引量：1,867H指数：16WOS: 6 EI: 45 北大核心: 174 CSSCI: 2 CSCD: 179
-
排序方式：
- 光学字符识别技术与展望
- 1
- 《计算机工程》国防科技大学计算机学院;装甲兵工程学院信息工程系 荆涛 王仲 出版年：2003
- 国家教育部高等院校青年骨干教师基金项目(2001JC12)
- 光学字符识别技术在人机交互中，发挥了界面友好的作用。根据识别时所提取具体特征的不同，字符识别通常可以分为：统计字符识别、结构字符识别和神经网络字符识别技术3种。该文分析了文字识别中的典型方法，并结合模式识别领域取得的理论...
- 关键词：光学字符识别 特征提取 模式匹配 结构分析 模式识别 文字识别 计算机
- 一种改进的基于光流的运动目标的检测算法 ( EI收录)
- 2
- 《武汉大学学报（信息科学版）》装甲兵工程学院信息工程系 王晓卫 宁固 出版年：2003
- 教育部高等院校青年骨干教师基金资助项目 ( 2 0 0 1JC12 )
- 讨论了序列图像的运动目标检测算法 ,在传统的光流场计算方法的基础上 ,提出了基于帧间差阈值法的快速光流算法。整个算法简单、有效 ,保证了序列图像中运动目标跟踪的实时性和鲁棒性。
- 关键词：光流 序列图像 运动目标检测 目标跟踪 运动约束方程 差值图像
- 基于MAPX控件的电子地图控制
- 3
- 《计算机应用》装甲兵工程学院信息系 齐超 何新华 出版年：2000
- 分析了MapX的特点 ,给出了利用MapX构建地图的各种方法。详细介绍了图层操作、信息查询、轨迹回放等功能的实现。
- 关键词：电子地图 MAPX控件 地理信息系统 面向对象
- Linux下图形用户界面程序的开发与实现
- 4
- 《计算机应用与软件》装甲兵工程学院信息工程系 王子强 刘海燕 李媛州 出版年：2005
- 在Linux下开发图形用户界面应用程序是Linux推广的重要基础。本文首先介绍了Linux下图形用户界面程序开发的主流工具,然后重点分析了Qt及其提供的一种真正可视化的编程工具QtDesigner的特点及开发步骤,最后从...
- 关键词：LINUX 用户界面程序 DESIGNER 图形用户界面 应用程序 程序开发 编程工具 开发步骤 开发经验 QT 可视化
- 基于主从异步复制技术的容灾实时系统研究与实现 ( EI收录)
- 5
- 《计算机研究与发展》北京装甲兵工程学院信息工程系;上海欣方智能网有限公司北京分公司;北京邮电大学计算机学院 杨朝红 宫云战 桑伟前 刘海燕 李庆艳 出版年：2003
- 教育部高等学校实验室访问学者基金 ( 2 0 0 0 12 3 ) ;交换技术与通信网国家重点实验室基金
- 介绍了一个实用的容灾实时系统SDPR 为提高系统的性能 ,SDPR采用严格的主从异步复制技术和多线程技术 实验表明 ,多线程技术和多进程技术能够较大地提高系统的性能 ,而且相比多进程技术 ,多线程技术所需的内存要少得多 ...
- 关键词：数据复制 多线程 主从异步复制技术 容灾实时系统
- 一种路径敏感的静态缺陷检测方法 ( EI收录)
- 6
- 《软件学报》北京邮电大学网络与交换技术国家重点实验室;装甲兵工程学院信息工程系 肖庆 宫云战 杨朝红 金大海 王雅文 出版年：2010
- 国家高技术研究发展计划(863)Nos.2007AA010302;2009AA012404~~
- 提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的...
- 关键词：缺陷检测 静态分析 路径敏感 数据流分析 程序分析
- 基于图像特征的烟叶分级 ( EI收录)
- 7
- 《武汉大学学报（信息科学版）》装甲兵工程学院信息工程系;北京工商大学信息工程学院 张惠民 韩力群 段正刚 出版年：2003
- 讨论了基于图像特征的烤烟烟叶分级系统的建模及其实现 ,给出了烟叶分级模型的数学描述 ,探讨了模型库的优化和特征隶属度及烟叶模式的可信度的计算问题 。
- 关键词：图像识别 模糊分类 隶属度 可信度
- 车辆监控地理信息系统中的地图控制及实现
- 8
- 《计算机自动测量与控制》装甲兵工程学院信息工程系 齐超 何新华 出版年：2001
- 分析了MapX的特点和车辆监控系统的基本要求 ,以及利用MapX实现基于MAPINFO矢量地图的图层、图标控制、地理信息控制。
- 关键词：地理信息系统 电子地图 MAPX 车辆监控 地图控制 车辆高度
- 基于软件缺陷模型的测试系统 ( EI收录)
- 9
- 《北京邮电大学学报》装甲兵工程学院信息工程系;北京邮电大学网络与交换技术国家重点实验室 杨朝红 宫云战 肖庆 王雅文 出版年：2008
- 国家“863计划”项目(2006AA012184);国家“863计划”重点项目(2007AA010302)
- 设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.D...
- 关键词：软件测试 静态分析 区间运算 缺陷模型 状态机
- 软件测试的故障模型
- 10
- 《装甲兵工程学院学报》装甲兵工程学院信息工程系 北京 100072 宫云战 出版年：2004
- 故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较...
- 关键词：软件 测试方法 故障模型
