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

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

帮助

条数/页：排序方式：
	脑瘫儿神经心理功能障碍的特征及机制学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2012 作者: 王佳丽收藏 \| 浏览/下载：25/0 \| 提交时间：2016/10/20 脑瘫神经心理功能发育性结构性运用障碍认知模型
	BPMN到BPEL2.0的模型转换方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/06/10 业务流程管理模型转换业务流程建模符号业务流程执行语言模型中国科学院组件转换方法支持实际运用软件建模工具规范标准工程中心错误处理研究所可用性语义特性适用事务设计扩展检验
	快速真实地生成树的自然摇曳期刊论文 OAI收割计算机学报, 2005, 卷号: 28, 期号: 7, 页码: 1185-1191 柳有权; 王文成; 吴恩华 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/28 基于物理的动画真实感树风力模型交互新方法变形计算外观模型模拟逐步积分法振幅振动方程统计数据连接关系快速生成控制节点静力分析近似逼近结构特点技术计算速度高斯分布风力方法运用Computer simulation Deformation Finite element method
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型
	面向业务过程重组的企业参考模型运用期刊论文 OAI收割技术经济与管理研究, 2004, 期号: 4, 页码: 53-54 邵晨曦; 祁国宁; 顾新建; 韩永生 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/08/26 业务过程重组企业信息化参考模型运用模型组件
	时态逻辑形式化描述并发系统性质期刊论文 OAI收割海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 形式化方法并发系统时态逻辑模型检测时态逻辑形式化描述系统性质并发系统状态迁移序列形式化方法逻辑描述反应式运用语义语法应用验证模型检测基础
	人工神经网络在滑坡变形预测中的应用研究会议论文 OAI收割 2002年中国西北部重大工程地质问题论坛, 中国陕西西安, 2002 杨志强; 陈建兵; 孙玉娟收藏 \| 浏览/下载：10/0 \| 提交时间：2012/10/19 人工神经网络 BP网络滑坡变形预测虚拟质心\|Abstract 在分析人工神经网络的基础上提出滑坡变形状态的一种简化模型运用3层前馈型BP网络对离散时间和滑坡体虚拟质心的进行考察并以此作为BP网的输入和输出从而对滑坡变形的预测进行了理论上的探讨。
	一种基于对象序列图的组件交互协议设计方法期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 7, 页码: 996-1006 魏峻; 王栩; 李京 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/29 对象序列图组件互操作交互交互协议模型检查形式分析对象序列图组件交互交互协议设计方法 software development 形式分析方法组件的软件开发 sequence diagram 互操作性可视化建模形式定义协议设计思想软件工具交互特征规范分离组件标准化运用协调Interoperability
	底吹氧气连续炼铅过程喷射区物理模拟研究期刊论文 OAI收割应用化学, 1987, 期号: 03, 页码: 81 作者: 魏伟胜收藏 \| 浏览/下载：9/0 \| 提交时间：2014/08/27 方差模型模型运用含气率底吹分布模型物理模拟物理过程电位法高斯分布炼铅