咨询与建议

限定检索结果

文献类型

  • 1,481 篇 期刊文献
  • 257 篇 会议
  • 24 件 标准
  • 1 篇 学位论文
  • 1 篇 成果

馆藏范围

  • 1,764 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,586 篇 工学
    • 1,201 篇 计算机科学与技术...
    • 710 篇 软件工程
    • 242 篇 机械工程
    • 218 篇 网络空间安全
    • 125 篇 控制科学与工程
    • 49 篇 仪器科学与技术
    • 43 篇 信息与通信工程
    • 34 篇 电子科学与技术(可...
    • 7 篇 地质资源与地质工...
    • 6 篇 力学(可授工学、理...
    • 6 篇 材料科学与工程(可...
    • 5 篇 动力工程及工程热...
    • 5 篇 测绘科学与技术
    • 5 篇 航空宇航科学与技...
    • 4 篇 建筑学
    • 4 篇 交通运输工程
  • 240 篇 管理学
    • 231 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
  • 121 篇 理学
    • 82 篇 数学
    • 15 篇 系统科学
    • 8 篇 物理学
    • 4 篇 生物学
    • 3 篇 天文学
  • 27 篇 军事学
    • 26 篇 军队指挥学
  • 22 篇 艺术学
    • 22 篇 设计学(可授艺术学...
  • 17 篇 医学
    • 7 篇 临床医学
    • 4 篇 中医学
  • 13 篇 经济学
    • 12 篇 应用经济学
  • 7 篇 哲学
    • 7 篇 哲学
  • 5 篇 教育学
    • 5 篇 教育学
  • 5 篇 农学
  • 4 篇 文学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 32 篇 云计算
  • 30 篇 计算机图形学
  • 28 篇 人机交互
  • 26 篇 深度学习
  • 24 篇 人工智能
  • 23 篇 模型检测
  • 22 篇 网络安全
  • 20 篇 计算机
  • 20 篇 虚拟现实
  • 19 篇 并行计算
  • 19 篇 gpu
  • 17 篇 形式化方法
  • 16 篇 隐私保护
  • 16 篇 软件开发
  • 15 篇 数据挖掘
  • 15 篇 密码学
  • 15 篇 面向对象
  • 15 篇 可信计算
  • 15 篇 分组密码
  • 14 篇 算法

机构

  • 381 篇 中国科学院软件研...
  • 355 篇 中国科学院大学
  • 184 篇 中国科学院研究生...
  • 145 篇 计算机科学国家重...
  • 143 篇 中国科学院软件研...
  • 138 篇 中国科学院软件研...
  • 130 篇 中国科学院软件研...
  • 106 篇 澳门大学
  • 97 篇 中国科学院软件研...
  • 90 篇 中国科学院软件研...
  • 72 篇 中国科学院软件研...
  • 59 篇 北京大学
  • 54 篇 中国科学技术大学
  • 51 篇 清华大学
  • 50 篇 中国科学院计算技...
  • 47 篇 中国科学院软件研...
  • 40 篇 中国科学院软件研...
  • 38 篇 中国科学院软件研...
  • 38 篇 北京航空航天大学
  • 36 篇 中国科学院软件研...

作者

  • 177 篇 吴恩华
  • 95 篇 张云泉
  • 70 篇 王文成
  • 56 篇 戴国忠
  • 51 篇 冯登国
  • 45 篇 刘学慧
  • 45 篇 魏峻
  • 44 篇 黄涛
  • 35 篇 王宏安
  • 35 篇 张文博
  • 33 篇 王永吉
  • 31 篇 田丰
  • 30 篇 张健
  • 26 篇 张广泉
  • 26 篇 吴文玲
  • 26 篇 薛锦云
  • 25 篇 杨超
  • 25 篇 孙家昶
  • 25 篇 陈彦云
  • 20 篇 柳有权

语言

  • 1,764 篇 中文
检索条件"机构=中国科学院软件研究并行软件与计算科学实验室"
1764 条 记 录,以下是1671-1680 订阅
排序:
一类特殊无限方阵的逆
收藏 引用
数学杂志 2000年 第1期20卷 60-62页
作者: 陈国龙 中国科学院软件所计算机科学实验室 北京100080
研究了除环上一类特殊无限方阵的逆方阵.用紧致性论证给出了除环上无限上三角阵具有左(右)逆和双侧逆方阵的充分条件.
来源: 评论
ω-范畴完全理论的特征
收藏 引用
数学杂志 2000年 第2期20卷 185-188页
作者: 陈国龙 中国科学院软件所计算机科学实验室 北京100080
在一阶理论的型中建立了拓扑空间 ,证明了该拓扑空间的基本性质 ;利用上述性质 ,证明了 ω-范畴完全理论的新特征 .
来源: 评论
虚拟现实系统中飞行器航迹的实时模拟
收藏 引用
系统仿真学报 2000年 第4期12卷 308-310页
作者: 严涛 郑新 吴恩华 中国科学院软件研究所计算机科学实验室 北京100080
烟雾等无定形物质的模拟一直是计算机图形学领域一个具有挑战性的问题 ,烟雾的实时模拟更是一个困难的问题。虽然目前现有技术已经可以生成真实感较强的动态烟雾 ,但由于这些方法多采用基于粒子系统的体绘制技术生成图象 ,因而大多无法... 详细信息
来源: 评论
上下文无关语言分析树的一种表示形式
收藏 引用
计算研究与发展 2000年 第10期37卷 1179-1184页
作者: 陈海明 董韫美 中国科学院软件研究所计算机科学开放实验室 北京100080
介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而... 详细信息
来源: 评论
高度复杂植物场景的构造和真实感绘制
收藏 引用
计算机学报 2000年 第9期23卷 917-924页
作者: 陈彦云 林珲 孙汉秋 吴恩华 中国科学院软件研究所计算机科学开放实验室 北京100080 香港中文大学地球信息科学联合实验室 香港中文大学计算机科学与工程学系
绘制高度真实感的自然场景是计算机图形学研究领域的一个富有挑战性的难题 ,植物对象比如草地和树木是虚拟自然场景的重要组成部分 .植物种类繁多 ,形态各异 ,复杂的结构使其无论在造形、存储还是在绘制上都存在相当的困难 .为了解决这... 详细信息
来源: 评论
有限构模器的扩展及其在形式化方法中的应用
收藏 引用
计算机学报 2000年 第2期23卷 190-194页
作者: 张健 中国科学院软件研究所计算机科学开放研究实验室 北京100080
规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 。
来源: 评论
综合信息的多神经网系统应用于引擎故障诊断
收藏 引用
模式识别与人工智能 2000年 第3期13卷 338-341页
作者: 程晓春 余先川 中国科学院软件研究所计算机科学开放研究实验室 北京师范大学信息科学学院计算机系 北京130026
在数据层和决策层综合信息,采用多人工神经网络系统诊断故障。通过对全互连、前馈、BP人工神经网的学习训练,可识别不同类型的故障;将诊断任务分解为多个子任务,对每个子任务训练相应的神经网,最后将多个神经网的结果综合起来,以提高系... 详细信息
来源: 评论
除环上rcf方阵的对角化
收藏 引用
应用数学 2000年 第2期13卷 62-66页
作者: 陈国龙 中国科学院软件研究所计算机科学开放研究实验室 北京100080
讨论了除环上 rcf方阵的对角化问题 ,证明了除环上 rcf方阵等价于一在特殊对角矩阵
来源: 评论
一种基于视觉约束的当前视点画面生成方法
收藏 引用
软件学报 2000年 第9期11卷 1207-1213页
作者: 刘学慧 孙汉秋 吴恩华 中国科学院软件研究所计算机科学开放研究实验室 北京100080 香港中文大学计算机科学与工程系
由于视点变化中画面可见性的变化以及在当前视点物体表面的扩张 ,仅由一幅带深度的源参考图像的三维重投影所得到的目标视点画面存在空洞问题 .为此 ,人们采取多源参考图像的合成方法来解决此问题 .如何从具有大量冗余信息的多幅源参考... 详细信息
来源: 评论
基于XYZ/RE的多媒体同步器自动构造方法
收藏 引用
软件学报 2000年 第8期11卷 996-1002页
作者: 赵琛 唐稚松 马华东 中国科学院软件研究所计算机科学开放研究实验室 北京100080 北京邮电大学计算机学院 北京100088
XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了... 详细信息
来源: 评论