咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 28 篇 期刊文献
  • 9 篇 专利
  • 4 篇 会议
  • 1 篇 学位论文

馆藏范围

  • 42 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 28 篇 工学
    • 16 篇 计算机科学与技术...
    • 14 篇 软件工程
    • 5 篇 控制科学与工程
    • 5 篇 兵器科学与技术
    • 4 篇 电子科学与技术（可...
    • 4 篇 信息与通信工程
    • 3 篇 测绘科学与技术
    • 3 篇 地质资源与地质工...
    • 2 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程（可...
    • 1 篇 水利工程
  • 7 篇 理学
    • 3 篇 地理学
    • 3 篇 系统科学
  • 5 篇 军事学
    • 4 篇 战术学
    • 4 篇 军队指挥学
    • 1 篇 战略学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 法学
    • 1 篇 政治学
  • 1 篇 管理学
    • 1 篇 工商管理
  • 1 篇 艺术学
    • 1 篇 设计学（可授艺术学...

主题

  • 4 篇 软件测试
  • 3 篇 地理信息系统
  • 3 篇 模型检测
  • 2 篇 复杂电磁环境
  • 2 篇 面向对象
  • 2 篇 软件缺陷
  • 2 篇 软件思维
  • 2 篇 旅游地理信息系统
  • 2 篇 软件验证
  • 2 篇 系统测试
  • 2 篇 map objects
  • 1 篇 用户网
  • 1 篇 编码
  • 1 篇 脉冲压缩雷达
  • 1 篇 控制部分
  • 1 篇 抗干扰
  • 1 篇 等值线图
  • 1 篇 测评质量
  • 1 篇 测试流程管理
  • 1 篇 测试方法

机构

  • 14 篇 吉林大学
  • 8 篇 中国人民解放军91...
  • 6 篇 解放军91413部队
  • 4 篇 91404部队
  • 2 篇 91413部队
  • 2 篇 解放军92117部队
  • 2 篇 河北省应用数学研...
  • 2 篇 中国人民解放军91...
  • 1 篇 中国科学院计算技...
  • 1 篇 米巴精密零部件有...
  • 1 篇 长春吉林大学
  • 1 篇 天津中科蓝鲸信息...
  • 1 篇 解放军91404部队
  • 1 篇 空军航空大学
  • 1 篇 燕山大学

作者

  • 41 篇 顾滨兵
  • 11 篇 gu bin-bing
  • 9 篇 gu binbing
  • 8 篇 高忠民
  • 7 篇 李向山
  • 7 篇 高宇
  • 5 篇 李军锋
  • 5 篇 李海浩
  • 4 篇 孙吉贵
  • 4 篇 田地
  • 4 篇 郭亚东
  • 4 篇 王勇利
  • 3 篇 li junfeng
  • 3 篇 刘金明
  • 3 篇 刘艳平
  • 3 篇 于慧媛
  • 3 篇 孟葳
  • 3 篇 yu hui-yuan
  • 3 篇 王艳军
  • 2 篇 guo ya-dong

语言

  • 42 篇 中文
检索条件"作者=顾滨兵"
共 42 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于模型检测的软件验证技术研究
基于模型检测的软件验证技术研究
收藏
分享
引用
作者： 顾滨兵 吉林大学
学位级别：硕士
模型检测是一种重要的自动化验证技术。该技术应用于保证软件正确性和可靠性已成为近年来的一个研究热点。本文参与了基于规划方法的协议验证器jluPV的设计和开发,在进行经验总结和分析的同时,重点探讨和研究了协议验证器和软件验证器... 详细信息
来源： 评论
基于定时Petri网的舰艇保障能力仿真与评估
收藏
分享
引用
火力与指挥控制 2017年 第11期42卷 91-96页
作者： 顾滨兵 郭亚东 解放军91413部队 解放军92117部队
舰艇保障是一种主要依赖后勤技术装备的专业化后勤,也是涉及并行、冲突,并受资源、装配时间等限制的复杂离散事件过程。借助定时Petri网强大的描述能力标记过程中的各种动态行为,在此基础上对包括后勤装备在内的后勤实体、保障任务、保... 详细信息
来源： 评论
军事智能装备试验鉴定的几点思考
收藏
分享
引用
火力与指挥控制 2024年 第7期49卷 162-168页
作者： 顾滨兵 李军锋 王鑫 解放军91404部队 河北秦皇岛066000
为推动新质新域作战力量生成,有效支撑军事智能装备建设发展,从军事智能装备的本质出发,围绕规格试验、能力考核、状态评估3个主要方面,总结智能装备试验“融智赋能”增量考核的内涵要义,并形成“验推较评”一体的军事智能装备试验鉴定... 详细信息
来源： 评论
一种软件模型检测方法及其原型系统
收藏
分享
引用
微计算机应用 2010年 第11期31卷 39-46页
作者： 顾滨兵 中国人民解放军91413部队
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技... 详细信息
来源： 评论
软件思维在武器装备系统建设中的体现和应用
收藏
分享
引用
火力与指挥控制 2010年 第10期35卷 106-109页
作者： 顾滨兵 郭亚东 解放军91413部队 解放军92117部队
软件在其自身的发展过程中,相对于硬件,有其相对独立的设计思路和开发方法,形成了独特的思考问题角度和新的思维体系。从确立装备软件在武器装备系统的逻辑中心地位出发,形成新的思维角度和新的思维方法,借助其理解和分析信息化条件下... 详细信息
来源： 评论
软件测试中的测量不确定性及对软件测试的影响
收藏
分享
引用
计量与测试技术 2015年 第12期42卷 41-43页
作者： 顾滨兵 91413部队
根据测量中的不确定性问题,本文提出了软件测试中的测量不确定性,分析了来源,与一般测量不确定性的区别。
来源： 评论
网上扬声调度系统管理控制部分的设计
收藏
分享
引用
计算机系统应用 2005年 第10期14卷 87-90,61页
作者： 顾滨兵 张磊 樊雪 长春吉林大学计算机学院 130012
本文在介绍如何设计数字化的实时语音服务的基础上,提出了一种基于软件的网上扬声调度系统。该系统可以很好的支持网上通播、专向对讲、开会讨论等应用,并重点介绍了该系统中管理控制模块的设计。该控制模块可以很好地完成用户管理、指... 详细信息
来源： 评论
美军担心被奥巴马“忽悠”
收藏
分享
引用
环球军事 2009年 第4期 12-13页
作者： 郭亚东 顾滨兵
“上帝的宠儿”——巴拉克·奥巴马带领着民主党终于在美国民众狂热的拥趸下人主白宫。但是，在众多的簇拥者中，有一个群体心态复杂，这个特殊的群体就是近230万人的美军部队。
来源： 评论
星火燎原——“华盛顿”号航母失火事件的真相
收藏
分享
引用
现代舰船 2009年 第2期 21-24页
作者： 郭亚东 顾滨兵
2008年5月22日7时50分,在南美洲太平洋海域航行的美国海军"华盛顿"号核动力航母正在为编队中的"克罗姆林"号护卫舰进行燃料补给时,航母下层甲板突发大火,舰员们通过12小时的奋力扑救才将大火熄灭,共有37人受到不同... 详细信息
来源： 评论
面向对象技术对软件测试的影响
收藏
分享
引用
河北省科学院学报 2005年 第Z1期22卷 171-173页
作者： 朱书超 顾滨兵 河北省应用数学研究所 河北石家庄050081 吉林大学吉林050081
面向对象技术的大量使用成为一种新的流行趋势,而软件测试成为软件开发中越来越重要的一环.本文分析了面向对象技术对软件测试工具开发、测试流程管理、测试信息复用的影响,还探讨了面向对象软件测试的测试层次、测试内容和方法.
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共5页 <<  < 1 2 3 4 5 >  >>
回到顶部
执行限定条件