机构

• 软件研究所 [3]
• 上海光学精密机械研究... [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2014 [1]
• 2010 [1]
• 2005 [1]
• 2002 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   实例依赖的可验证随机函数的高效构造 期刊论文  OAI收割 计算机应用研究, 2010, 卷号: 27, 期号: 7, 页码: 2621-2624 师鸣若; 姜中华   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/05/23 零知识协议  实例依赖  可验证随机函数zero knowledge protocol  instance-dependent  verifiable random function   离心泵涡壳的三维参数化设计 期刊论文  OAI收割 通用机械, 2005, 期号: 2, 页码: 71, 73 李安虎; 李红 收藏  |  浏览/下载：1650/435  |  提交时间：2009/09/18 三维参数化设计  离心泵  蜗壳  涡壳  实例验证  水力模型  三维造型  程序运行  MDT  步骤   求解圆形Packing问题的一个启发式算法 期刊论文  OAI收割 计算机研究与发展, 2002, 卷号: 39, 期号: 4, 页码: 410-414 康雁; 黄文奇   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 Packing问题  拟物法  NP难度  启发式  求解算法  圆形  启发式算法  PACKING PROBLEM  启发式方法  适者生存  快速求解  科学技术  计算实例  拟物法  计算机  高效性  重叠  验证  思想  实践  目标  理论  价值  布局