机构

• 软件研究所 [44]
• 沈阳自动化研究所 [13]
• 国家空间科学中心 [3]
• 长春光学精密机械与物... [2]
• 合肥物质科学研究院 [2]
• 力学研究所 [1]
• 更多

采集方式

• OAI收割 [68]

内容类型

• 期刊论文 [44]
• 学位论文 [21]
• 会议论文 [2]
• 中文期刊论文 [1]

发表日期

• 2016 [3]
• 2015 [1]
• 2014 [2]
• 2013 [3]
• 2011 [2]
• 2010 [7]
• 更多

学科主题

• 计算机软件::软件工... [4]
• Computer S... [2]
• 微波遥感 [1]
• 粒子物理 [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共68条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 软件定义的工业控制网架构与高实时调度方法 学位论文  OAI收割 博士: 中国科学院沈阳自动化研究所, 2016 作者:  李栋 收藏  |  浏览/下载：174/0  |  提交时间：2016/12/25 软件定义网络  工业控制网络  网络建模  实时调度  分布式消息总线   复杂电子系统静电放电全链路干扰耦合途径仿真与分析 学位论文  OAI收割 硕士: 中国科学院国家空间科学中心, 2016 作者:  白超平 收藏  |  浏览/下载：22/0  |  提交时间：2016/07/15 仿真建模  静电放  静电放电  FIT算法  CST软件  表面电流  全链路干扰   基于三维场路协同方法的静电损伤仿真测试平台 期刊论文  OAI收割 北京航空航天大学学报, 2016, 卷号: 42, 期号: 8, 页码: 1739-1746 作者:  张鑫;  白超平 收藏  |  浏览/下载：33/0  |  提交时间：2016/12/06 仿真建模  静电放电  电脑仿真技术(CST)软件  表面电流  干扰途径   基于体系结构的网构软件建模研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2015 王健   |  收藏  |  浏览/下载：12/0  |  提交时间：2015/06/04 软件体系结构  网构软件  建模工具  面向服务的体系结构   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   分布式水文模型软件系统研究综述 中文期刊论文  OAI收割 2014 作者:  江净超;  朱阿兴;  秦承志;  刘军志;  陈腊娇 收藏  |  浏览/下载：40/0  |  提交时间：2015/12/17 分布式水文模型  软件系统  智能建模  并行计算  研究综述   一种基于主题模型的软件缺陷修复人推荐方法与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 谢锡浩   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/05/31 开源软件  缺陷分发  主题建模  推荐   基于体系结构能耗建模的CPS软件可信性评估方法 期刊论文  OAI收割 电子学报, 2013, 期号: 11, 页码: 2270-2275 张广泉; 张侃; 祝义; 周航   |  收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16 信息物理融合系统  软件可信性评估  可信性指标模型  能耗建模  (CPS) cyber physical systems  software trustworthiness evaluation  trustworthiness indicator model  energy con-sumption modeling   协同状态网及其在软件建模和分析中的应用 期刊论文  OAI收割 计算机科学, 2013, 卷号: 040 作者:  沈春山   |  收藏  |  浏览/下载：60/0  |  提交时间：2020/11/25 协同状态网  软件建模  模型驱动开发   一种形式化的组件化软件过程建模方法 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 软件过程  过程建模  过程重用  过程组件  形式化方法