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

限定检索结果

文献类型

  • 398 篇 期刊文献
  • 70 篇 会议
  • 24 篇 专利
  • 5 件 标准
  • 1 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 361 篇 工学
    • 154 篇 计算机科学与技术...
    • 107 篇 软件工程
    • 72 篇 机械工程
    • 61 篇 控制科学与工程
    • 41 篇 仪器科学与技术
    • 24 篇 航空宇航科学与技...
    • 21 篇 电子科学与技术（可...
    • 20 篇 兵器科学与技术
    • 18 篇 信息与通信工程
    • 10 篇 网络空间安全
    • 9 篇 材料科学与工程（可...
    • 6 篇 力学（可授工学、理...
    • 6 篇 地质资源与地质工...
    • 4 篇 建筑学
    • 4 篇 生物医学工程（可授...
    • 4 篇 公安技术
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
  • 79 篇 理学
    • 55 篇 数学
    • 23 篇 系统科学
  • 62 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 15 篇 经济学
    • 14 篇 应用经济学
  • 14 篇 医学
    • 7 篇 口腔医学
    • 4 篇 临床医学
    • 3 篇 中西医结合
  • 9 篇 军事学
    • 4 篇 军制学
    • 3 篇 军事装备学
  • 9 篇 艺术学
    • 9 篇 设计学（可授艺术学...
  • 3 篇 法学
  • 3 篇 农学
  • 2 篇 教育学
  • 1 篇 哲学

主题

  • 19 篇 算法
  • 19 篇 并行算法
  • 19 篇 常微分方程
  • 15 篇 仿真
  • 12 篇 计算机
  • 11 篇 软件
  • 11 篇 数字仿真
  • 11 篇 多处理机系统
  • 11 篇 稳定性
  • 11 篇 软件工程
  • 10 篇 实时仿真
  • 9 篇 飞行器
  • 8 篇 可靠性
  • 8 篇 收敛性
  • 8 篇 专家系统
  • 8 篇 软件可靠性
  • 8 篇 数学模型
  • 7 篇 并行处理
  • 7 篇 刚性大系统
  • 6 篇 导弹

机构

  • 110 篇 中国兵器工业计算...
  • 105 篇 北京计算机应用和...
  • 74 篇 北京计算机应用与...
  • 44 篇 中国科学院大学
  • 23 篇 中国科学院成都计...
  • 20 篇 中国科学院计算技...
  • 20 篇 北京理工大学
  • 15 篇 北京航空航天大学
  • 11 篇 北京师范大学
  • 10 篇 清华大学
  • 9 篇 中国石油勘探开发...
  • 9 篇 中国科学院计算技...
  • 8 篇 中国科学院重庆绿...
  • 7 篇 首都师范大学
  • 6 篇 北京卫星导航中心
  • 6 篇 中国科学院研究生...
  • 6 篇 北京通信与计算机...
  • 6 篇 装甲兵工程学院
  • 6 篇 中国兵器工业集团...
  • 5 篇 中国科学院广州电...

作者

  • 56 篇 费景高
  • 45 篇 刘德贵
  • 26 篇 宋晓秋
  • 20 篇 陈丽容
  • 20 篇 刘培志
  • 17 篇 石柱
  • 16 篇 赵小川
  • 15 篇 李伯虎
  • 13 篇 袁兆鼎
  • 12 篇 杨松龄
  • 12 篇 杨磊
  • 11 篇 李小俚
  • 10 篇 张乾坤
  • 10 篇 丁兆环
  • 10 篇 朱晓杰
  • 10 篇 孟章荣
  • 10 篇 刘华鹏
  • 9 篇 彭炜
  • 9 篇 郭永红
  • 9 篇 刘金刚

语言

  • 498 篇 中文
检索条件"机构=北京计算机应用与仿真技术研究所"
共 498 条 记 录，以下是51-60 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
并行显式Runge－Kutta公式的实现
收藏
分享
引用
计算机工程与设计 1994年 第5期15卷 34-40页
作者： 费景高 北京计算机应用和仿真技术研究所
本文讨论并行显式Ｒｕｎｇｅ－Ｋｕｔｔａ公式在多处理机系统上的实现方法，并且给出实现的加速比与常微分方程右端函数复杂性的关系曲线。
来源： 评论
区间迭代法的“最优”收敛性分析
收藏
分享
引用
系统工程与电子技术 1990年 第4期12卷 60-68页
作者： 汤铭端 北京计算机应用与仿真技术研究所
本文提出了区间迭代法的“最优”收敛性概念,对Krawczyk类区间迭代法的“最优”收敛性进行了分析,证明了Krawczyk—Moore算法是具有“最优”收敛性的区间迭代法。最后,还给出了一个关于Krawczyk类区间迭代法收敛的必要条件。
来源： 评论
实时专家系统研究
收藏
分享
引用
系统工程与电子技术 1990年 第9期12卷 55-62,39页
作者： 石柱 北京计算机应用与仿真技术研究所
在本文中,我们首先讨论了什么是实时专家系统,研究它的理由及其与通常所说的专家系统有何不同。阐述了实时专家系统的研究现状及未来的研究方向。最后简要地介绍了实时专家系统应用和工具的研究实例。
来源： 评论
求解线性三对角方程组的解耦分解方法
收藏
分享
引用
系统工程与电子技术 1990年 第5期12卷 29-34页
作者： 宋晓秋 袁兆鼎 刘德贵 北京计算机应用与仿真技术研究所
本文给出了求解线性三对角方程组的解耦分解方法,并讨论了在计算机上求解的复杂性分析。理论分析和数值实验的结果表明,该解耦分解方法是有效的。特别值得一提的是,对于MIMD多处理机系统,此解耦分解方法是一求解线性三对角方程组的有效... 详细信息
来源： 评论
实时仿真的数学模型及实时Runge-Kutta算法的收敛性分析
收藏
分享
引用
系统工程与电子技术 1991年 第1期13卷 39-46页
作者： 宋晓秋 李伯虎 刘德贵 袁兆鼎 北京计算机应用与仿真技术研究所
本文讨论了实时仿真的数学模型,和实时Runge—Kutta算法的收敛性分析,给出了补尝阶与实时算法收敛阶之间关系的理论证明。
来源： 评论
源到源转换问题综述
收藏
分享
引用
系统工程与电子技术 1990年 第9期12卷 48-54页
作者： 宛延闿 北京计算机应用与仿真技术研究所
本文综述了源到源转换问题,评述了源到源的各种分类的优缺点以及源到源转换工具的重要性。根据计算机应用和集成的需要,在SUN工作站上借助LEX和YACC,我们对FORTRAN 77到C的转换工作提出了优选方案,对转换中的部分难点作了详细分折。
来源： 评论
软件可靠性GO模型的特性分析
收藏
分享
引用
计算机工程与设计 1996年 第6期17卷 55-57页
作者： 宋晓秋 北京计算机应用与仿真技术研究所
文中对软件可靠性的Ｇｏｅｌ－Ｏｋｕｍｏｔｏ模型的参数估计进行了解结构的理论分析。
来源： 评论
一种并行C语言编程环境
收藏
分享
引用
系统工程与电子技术 1991年 第5期13卷 44-51页
作者： 马京生 北京计算机应用与仿真技术研究所
一种并行C语言编程环境(PCLPE)是为运行Unix操作系统且具有共享存贮器的MIMD并行机设计的并行C语言编程环境,它是由扩充的串行C语言(称为并行C语言)及其支持该语言的环境构成。并行C语言能够描述子进程,共享存贮区,进程间同步以及相关... 详细信息
来源： 评论
软件可靠性Schneidewind模型的特性分析
收藏
分享
引用
计算机工程与设计 1996年 第5期17卷 33-37页
作者： 宋晓秋 北京计算机应用与仿真技术研究所
文中对软件可靠性的Ｓｃｈｎｅｉｄｅｗｉｎｄ计时模型的参数估计进行了解结构的理论分析，并在此基础上给出了方便实用的参数估计算法。
来源： 评论
关于时间的推理
收藏
分享
引用
系统工程与电子技术 1991年 第2期13卷 74-80,F003页
作者： 石柱 北京计算机应用与仿真技术研究所
本文讨论了一种常识性推理方法——时间推理。介绍了构造时间模型的三种方法:基于片断的方法,基于事件的方法及基于时间点的方法。讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。最后讨论了关于时间粒度的问题。
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共50页 <<  < 2 3 4 5 6 7 8 9 10 11 >  >>
回到顶部
执行限定条件