咨询与建议

限定检索结果

文献类型

  • 13 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 11 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 4 篇 控制科学与工程
    • 2 篇 机械工程
  • 6 篇 管理学
    • 6 篇 管理科学与工程(可...

主题

  • 3 篇 人脸识别
  • 2 篇 任务调度
  • 1 篇 多分类器决策层融...
  • 1 篇 彩色点云
  • 1 篇 优先级
  • 1 篇 准入阈值
  • 1 篇 安全策略
  • 1 篇 gabor
  • 1 篇 相关熵
  • 1 篇 bpa构造新方法
  • 1 篇 比例公平
  • 1 篇 准入控制
  • 1 篇 多特征
  • 1 篇 累积直方图
  • 1 篇 注意力机制
  • 1 篇 程序不变量
  • 1 篇 呼损率
  • 1 篇 虚拟机
  • 1 篇 lda
  • 1 篇 ike

机构

  • 13 篇 西安交通大学
  • 3 篇 华侨大学
  • 3 篇 北京航空航天大学
  • 2 篇 清华大学
  • 1 篇 中国航空工业集团...
  • 1 篇 中国科学院计算技...
  • 1 篇 南华大学
  • 1 篇 西安电子科技大学
  • 1 篇 北京大学
  • 1 篇 中国科学院研究生...
  • 1 篇 陕西省科学技术情...
  • 1 篇 北京工业大学
  • 1 篇 湖南涉外经济学院

作者

  • 3 篇 王成
  • 3 篇 赖雄鸣
  • 3 篇 郭飞
  • 3 篇 钱德沛
  • 3 篇 郑黎晓
  • 2 篇 杨志华
  • 2 篇 齐勇
  • 2 篇 伍卫国
  • 1 篇 侯义斌
  • 1 篇 刘荧
  • 1 篇 阳小华
  • 1 篇 黄建辉
  • 1 篇 肖春华
  • 1 篇 刘轶
  • 1 篇 孙滔
  • 1 篇 王纪川
  • 1 篇 付靖文
  • 1 篇 余国良
  • 1 篇 刘渭锋
  • 1 篇 刘树锟

语言

  • 13 篇 中文
检索条件"机构=西安交通大学计算机科学技术系计算机软件研究所"
13 条 记 录,以下是11-20 订阅
排序:
非函数依赖程序不变量动态检测技术研究
收藏 引用
计算机工程与应用 2008年 第35期44卷 158-162页
作者: 刘树锟 陈继锋 阳小华 湖南涉外经济学院计算机科学与技术学部 长沙410205 西安交通大学计算机软件研究所 西安710049 南华大学计算机科学与技术学院 湖南衡阳421001
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见... 详细信息
来源: 评论
一种摄像机采集图像的二值化算法
收藏 引用
计算机工程与应用 2007年 第30期43卷 202-205页
作者: 王纪川 刘宇 齐勇 侯迪 西安交通大学计算机科学技术系计算机软件研究所 清华大学计算机科学与技术系 北京100084
在无损探伤自动检测线上,为了记录每根管材的有关参数,需在管端进行打号、读号处理。详细介绍了管号识别统中关键的图像预处理二值化算法。该算法称之为Stamp算法,是在分析Phototshop图像处理软件Stamp滤镜功能的基础上,结合自动检测... 详细信息
来源: 评论
基于IPSec的VPN网关设计
收藏 引用
计算机应用研究 2004年 第9期21卷 243-246页
作者: 刘渭锋 梁力 张玉清 王磊 西安交通大学计算机科学与技术系 陕西西安710049 中国科学院研究生院国家计算机网络入侵防范中心 北京100039 西安电子科技大学软件工程研究所 陕西西安710071
基于IPSec的VPN网关实现方案包括通过插入IPSec模块和融合IPSec在统内核中的两种方法。通过修改Linux内核实现IPSec具有处理速度快,可避免来自操作统的安全漏洞的优点。讨论了在Linux统下采用融合IPSec的VPN网关实现。
来源: 评论