中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
武汉岩土力学研究所 [3]
软件研究所 [3]
力学研究所 [1]
金属研究所 [1]
计算技术研究所 [1]
长春光学精密机械与物... [1]
更多
采集方式
OAI收割 [10]
内容类型
期刊论文 [7]
学位论文 [3]
发表日期
2023 [1]
2019 [1]
2014 [1]
2012 [1]
2008 [1]
2005 [2]
更多
学科主题
计算机软件::软件工... [1]
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
某深厚覆盖层闸坝渗流变形耦合模拟方法与应用
期刊论文
OAI收割
水电能源科学, 2023, 卷号: 41, 期号: 07, 页码: 113-117
作者:
吴梦喜
;
宋世雄
;
房彬
;
张浩然
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2023/08/02
有限元法
水闸
覆盖层
渗流
变形
大口径激光发射系统卷帘式窗口密封特性分析
期刊论文
OAI收割
红外与激光工程, 2019, 卷号: 48, 期号: 05, 页码: 87-94
作者:
任天赐
;
邵帅
;
孟令武
;
汪奎
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2020/08/24
激光光学
强激光
卷帘式密封
覆盖压紧
有限元分析
软件结构化测试数据生成技术
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2014
吴添勇
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2014/05/29
软件测试
结构化测试
测试数据生成
扩展有限状态机
修改的条件/判断覆盖
基于有限非阿贝尔群的密钥交换
期刊论文
OAI收割
武汉大学学报(理学版), 2012, 卷号: 58, 期号: 6, 页码: 488-492
巨春飞
;
闫静卫
;
王保仓
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2013/09/17
公钥密码
密钥交换
有限非阿贝尔群
一般线性群
对称群
矩阵覆盖问题
共轭问题
高强钢汽车覆盖件冲压工艺参数优化与回弹的预测
学位论文
OAI收割
硕士, 金属研究所: 中国科学院金属研究所, 2008
程幸叶
收藏
  |  
浏览/下载:63/0
  |  
提交时间:2012/04/10
汽车覆盖件
有限元模拟
冲压成形
高强钢
成形参数
裂纹扩展时物理覆盖与流形单元的生成算法
期刊论文
OAI收割
岩土工程学报, 2005, 期号: 06, 页码: 662-666
作者:
韩有民
;
罗先启
;
王水林
;
张润峰
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2018/06/25
流形方法
物理覆盖
流形单元
有限元网格
悬挂节点
流形单元链表
生成算法
有限覆盖无单元法在多裂纹岩体断裂特性数值分析中的应用
期刊论文
OAI收割
岩石力学与工程学报, 2005, 期号: 24, 页码: 4403-4408
作者:
栾茂田
;
杨新辉
;
田荣
;
杨庆
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2018/06/25
数值分析
流形元法
有限覆盖
无单元法
非连续变形分析
裂纹岩体
裂纹扩展
厚覆盖岩层下采矿引起地表变形的三维有限元分析
期刊论文
OAI收割
岩石力学与工程学报, 2003, 期号: 10, 页码: 1629-1635
作者:
杨家岭
;
丰定祥
;
葛修润
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2018/06/25
岩石力学
厚覆盖岩层
地下采矿
地表变形
三维有限元法
模拟验证中的覆盖评估准则
期刊论文
OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 40
作者:
吕涛
;
李晓维
;
樊建平
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
模拟验证
覆盖评估准则
电路结构
可观测性
有限自动机
错误模型
集成电路
软件测试的自动分析工具
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
王晓旭
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2011/03/17
静态分析
路径覆盖
前置条件
不可行路径
测试数据生成
约束求解
扩展的有限状态自动机