机构

• 软件研究所 [61]
• 国家授时中心 [12]
• 高能物理研究所 [7]
• 计算技术研究所 [6]
• 长春光学精密机械与物... [6]
• 成都山地灾害与环境研... [2]
• 更多

采集方式

• OAI收割 [115]

内容类型

• 期刊论文 [70]
• 学位论文 [26]
• 会议论文 [15]
• 专利 [2]
• 中文期刊论文 [1]
• 项目 [1]
• 更多

发表日期

• 2016 [2]
• 2015 [2]
• 2012 [3]
• 2011 [5]
• 2010 [6]
• 2009 [5]
• 更多

学科主题

• 计算机应用 [2]
• Computer S... [1]
• 固体力学::微纳米力... [1]
• 地球科学 [1]
• 地球科学::空间物理... [1]
• 天文和天体物理 [1]
• 更多

筛选

浏览/检索结果: 共115条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于国产异构平台暨等离子体统计物理的高能粒子空间天气灾害预警软件 会议论文  OAI收割 中国陕西西安, 2023-10-17 作者:  朱伯靖;  李燕;  马志阔;  颜辉;  钟英   |  收藏  |  浏览/下载：18/0  |  提交时间：2024/05/06 高能粒子空间灾害自主预警软件  GeV能级高能粒子事件  预警预报方法  国产DCU加速卡异构超算  等离子体统计物理模型   基于可信度的DSP软件冗余容错表决方法研究 学位论文  OAI收割 硕士: 中国科学院国家空间科学中心, 2016 作者:  梁贺斌 收藏  |  浏览/下载：20/0  |  提交时间：2016/07/15 可信度  容错表决方法  三模冗余  软件冗余  COTS器件   软件形式化方法与应用专题前言 期刊论文  OAI收割 软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496 詹乃军; 王戟; 李宣东   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09 软件形式化方法  应用专题  前言   基于统一表格的软件产品线可变性建模 中文期刊论文  OAI收割 2015 作者:  胡月莹;  陈立潮;  潘理虎 收藏  |  浏览/下载：28/0  |  提交时间：2015/12/18 软件产品线  统一表格方法  变量  特征模型   植物代谢组学数据分析和数据库 期刊论文  OAI收割 生命科学, 2015, 卷号: 27, 期号: 08, 页码: 995-999 作者:  申国安;  段礼新;  漆小泉   |  收藏  |  浏览/下载：26/0  |  提交时间：2022/08/01 植物  代谢组学  数据分析  统计方法  软件  数据库   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   基于问题模式的形式化软件规格说明生成方法 期刊论文  OAI收割 计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 形式化软件规格说明  生成方法  问题模式  模型精化演算  算法程序   一种适用于文蛤家系鉴定的微卫星标记方法 专利  OAI收割 专利类型: 发明, 专利号: CN201210112325.X, 申请日期: 2012-10-10, 公开日期: 2012-10-10 作者:  刘保忠 收藏  |  浏览/下载：30/0  |  提交时间：2014/08/04 一种适用于文蛤家系鉴定的微卫星标记方法  2)引物设计：在微卫星重复的侧翼序列利用软件Primer?Premier?5.0设计引物  GC含量为40％?60％  退火温度为45?65℃  预期PCR产物长度为100?400bp  3)引物优化：根据不同引物的Tm值进行温度梯度优化  4)微卫星标记家系鉴定体系的确立：微卫星位点的多态性水平可用信息含量值(PIC)衡量  包括微卫星位点来源  引物设计条件为：引物长度为19?25mer  在Tm值上下各10℃  根据上述优化获得的Ta值  引物设计  温度梯度优化扩增得到的PCR产物用8％非变性聚丙烯酰胺凝胶电泳?EB染色系统进行检测  选取多个体作为群体进行计算微卫星位点的多态性水平可用信息含量值(PIC)进而衡量多态性信息  引物优化和微卫星标记家系鉴定体系  选取杂带较少  根据PIC值  其特征在于：1)微卫星位点的来源：提取文蛤的基因组DNA利用提取的DNA  特异性产物亮度较高的PCR反应对应的温度为该引物的最佳退火温度Ta  PIC小于0.25的标记  采用限制性内切酶法获得文蛤基因组DNA片段  筛选得到重复性好  并构建微卫星磁珠富集文库  稳定性好  检测阳性克隆  PIC值大于0.25的位点  经测序得到含有微卫星重复的DNA序列  作为文蛤微卫星标记家系鉴定体系  用于文蛤的家系区分与个体识别。   多算法融合的软件可靠性分配工具的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 赵武元   |  收藏  |  浏览/下载：7/0  |  提交时间：2012/06/01 软件可靠性分配  AHP方法  遗传算法  构件   分子统计热力学(MST)计算软件的开发 期刊论文  OAI收割 科研信息化技术与应用/e-Science Technology & Application, 2012, 卷号: 3, 期号: 1, 页码: 15-23 作者:  肖攀;  杨荣;  王军;  柯孚久;  白以龙 收藏  |  浏览/下载：157/0  |  提交时间：2013/01/16 分子统计热力学方法(MST)  分子模拟并行计算软件  微纳米尺度力学  Helmholtz自由能