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

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

帮助

条数/页：排序方式：
	面向申威多核处理器的快速傅立叶变换并行算法与自适应调优框架研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2022 作者: 路青霖 \| 收藏 \| 浏览/下载：160/0 \| 提交时间：2022/06/14 申威多核处理器 FFT 计算图自适应调优框架高性能计算
	基于深度学习的水下目标声学识别与定位技术研究期刊论文 OAI收割数字海洋与水下攻防, 2021, 卷号: 4, 期号: 6, 页码: 492-497 作者: 岳成海; 王旭; 宫俊玲; 曾俊宝; 徐高朋 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2022/02/04 目标识别声图合成侧扫声呐深度学习 Darknet框架
	基于语义建图的室内机器人实时场景分类期刊论文 OAI收割传感器与微系统, 2017, 卷号: 036 作者: 张文; 刘勇; 张超凡; 张龙; 夏营威 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2020/11/25 自主建图卷积网络贝叶斯框架语义地图
	地理信息软件标准体系建设与发展分析中文期刊论文 OAI收割 2013 作者: 王尔琪; 梁军收藏 \| 浏览/下载：49/0 \| 提交时间：2013/12/02 地理信息软件地理信息产业标准体系框架图分类表
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/28 UML 活动图形式化语义时序逻辑 XYZ/E 活动图线性时序逻辑语言逻辑语义 UML Activity Diagrams 形式化系统行为语义转换行为建模描述系统逻辑框架动态行为图结构控制流可表示程序性基础
	UML的形式化及其应用期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/07/28 UML 形式化形式化设计错误数表框架检测优化建议优化方案设计模型软件设计进化过程基础状态图序列图应用人员理论度量
	一个以活动为中心的软件过程建模工具的设计与实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 田浩收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程模型 UML活动图合理性检测 DOWSON框架