中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共125条，第1-10条

帮助

条数/页：排序方式：
	数据驱动的需求推荐和演化影响分析学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2015 王俊杰 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2015/05/29 需求演化需求依赖关系软件缺陷预测软件过程仿真社会网络分析
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	面向中小企业的软件测试度量与过程改进研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 陈贺 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2013/05/31 软件测试过程过程改进软件度量中小软件企业 CMMI 挣值分析法
	低压脉冲磁场作用下高温合金熔体温度场的数值模拟会议论文 OAI收割中国力学大会——2013, 中国陕西西安, 2013 滕跃飞; 李应举; 冯小辉; 杨院生收藏 \| 浏览/下载：50/0 \| 提交时间：2014/01/10 高温合金磁场作用低压脉冲熔体数值模拟温度场受迫对流凝固过程软件模拟焦耳热电磁力温度分布感应电流计算结果磁压电磁场脉冲参数 ANSYS 拉力流场:0
	一种面向软件过程的可信证据模型及过程可信性评估方法研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2012 杜晶 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2013/01/09 可信软件过程域过程评估可信证据模型安全设计评审 TSM 可信度可信级别
	任务驱动的软件生产线框架设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 詹孟粮 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/20 软件开发环境+软件生产线+软件生产线框架+敏捷开发过程
	一种基于模糊理论的软件过程可信评价方法及工具学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 张昊鹏 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/08 软件过程可信可信性评价度量指标模糊理论层次分析法
	基于Simulink的GPS软件接收机实验平台开发会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 贺卫东; 卢晓春; 王培; 饶永楠收藏 \| 浏览/下载：16/0 \| 提交时间：2012/10/19 GPS 软件接收机实平台 Simulink 导航电文\|Abstract 传统的硬件接收机由射频前端相关器中央处理器和其他的外设组成能够提供的灵活性微乎其微。经过现代化的GPS有很多新的信号格式和应用方式。为了更有效地对新的信号格式和应用方式进行研究分析和实现无疑一个完好的软件接收机是最佳的仿真实平台。另外 GPS的软件接收机也可以被灵活的应用在伽利略信号和北斗信号的分析仿真中。不能做到实时处理是软件接收机最大的缺点但是随着MPU和IDSP技术的发展软件接收机的优势还是日益凸显。本文详细的阐述了在Simulink基础上的GPS软件接收机平台的设计实现过程 GPS软件接收机按照主要的功能可以分为信号捕获跟踪解调和位同步。每个功能模块都可以非常方便的针对其他频率和导航系统信号格式进行相应的更改。最后本文的GPS软件接收机平台经过射频接收存储到本地的实际GPS中频信号测试证明整个软件接收机实平台可以正确的解调出导航电文参数灵活可调满足了后续工程仿真实的要求。
	一种形式化的组件化软件过程建模方法期刊论文 OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2013/10/08 软件过程过程建模过程重用过程组件形式化方法