机构

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

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2007 [1]
• 2005 [1]
• 1986 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于抽象解释的代码迷惑有效性比较框架 期刊论文  OAI收割 计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云 收藏  |  浏览/下载：69/6  |  提交时间：2011/07/01 抽象解释  程序变换  程序分析  代码迷惑  压平算法  抽象解释  代码迷惑  有效性证明  比较框架  非语义  算法  实例描述  静态分析  变换技术  保护软件  应用  剖析  逆向  环境  程序Algorithms  Computer software  Mobile agents  Program diagnostics  Security of data  Semantics  Static analysis   离心泵涡壳的三维参数化设计 期刊论文  OAI收割 通用机械, 2005, 期号: 2, 页码: 71, 73 李安虎; 李红 收藏  |  浏览/下载：1649/435  |  提交时间：2009/09/18 三维参数化设计  离心泵  蜗壳  涡壳  实例验证  水力模型  三维造型  程序运行  MDT  步骤   APP1EⅡ~+微处理机的功能开发和应用 期刊论文  OAI收割 化工冶金, 1986, 期号: 01, 页码: 105-110 作者:  钱梓文 收藏  |  浏览/下载：28/0  |  提交时间：2014/08/27 高速数据采集  APP1E  自动测量  时钟控制  扩展功能  程序实例  图形显示  接口卡  数/模转换  应用研究