QQ客服 官方微博 反馈留言

浏览/检索结果: 共11条，第1-10条 帮助 限定条件 发表日期：2014    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 并发系统差分隐私的形式化验证 学位论文 博士, 北京: 中国科学院研究生院, 2014 许丽丽 收藏  |  浏览/下载：15/0  |  提交时间：2015/01/16 差分隐私  概率自动机  模块化分析  定量互模拟  Kantorovich距离  Crowds协议  密码学家就餐协议  证明系统   数据流决策树分类算法的研究与应用 学位论文 硕士, 北京: 中国科学院大学, 2014 侯旭珊 收藏  |  浏览/下载：29/0  |  提交时间：2014/05/27 数据流  分类  决策树  缺失值  概念漂移  模拟推演系统   真实感绘制中自适应采样与重构研究 学位论文 博士, 北京: 中国科学院研究生院, 2014 刘晓丹 收藏  |  浏览/下载：18/0  |  提交时间：2014/05/30 自适应采样  各向异性重构  KD树  并行采样  Contourlet小波  光子映射  回归分析   时间自动机模拟器CTAV-Simulator的设计与实现 学位论文 硕士, 北京: 中国科学院研究生院, 2014 喻灵婧 收藏  |  浏览/下载：15/0  |  提交时间：2014/05/30 实时系统  时间自动机  时间Büchi自动机  模型检测  时序逻辑LTL  模拟器   基于粒子群优化的测试数据生成及其实证分析 期刊论文 计算机研究与发展, 2014, 卷号: 51, 期号: 4, 页码: 824-837 毛澄映; 喻新欣; 薛云志 收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 结构性测试  测试数据生成  分支覆盖  搜索算法  粒子群优化  structural testing  test data generation  branch coverage  searching algorithm  particle swarm optimization (PSO)   基于云计算的大规模性能测试服务平台 期刊论文 计算机科学, 2014, 卷号: 41, 期号: 9, 页码: 63-66 陈铁南; 唐震; 王晓冉; 任凯; 支孟轩 收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 云计算  测试即服务  性能测试  负载测试  QoS  Cloud computing  Test as a service  Performance test  Load test  QoS   关于流体模拟细节增强技术的研究 期刊论文 计算机与数字工程, 2014, 卷号: 42, 期号: 4, 页码: 698-701 崔楠; 柳有权; 陈凯 收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 流体动画  欧拉法  SPH  FLIP  fluid animation  euler method  SPH  FLIP   基于余归纳的最小Kripke结构的求解 期刊论文 软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26 高建华; 蒋颖 收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 模型检测  互模拟  函子  终余代数  最小Kripke结构   一种基于过滤器的遗留系统安全单点登录方案 期刊论文 计算机应用与软件, 2014, 期号: 10, 页码: 300-304,313 李芳芳; 王帅; 许舒人; 陈益洲 收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 单点登录  遗留系统  过滤器  SAML  动态登录信息  Single sign-on  Legacy systems  Filter  Security Assertion Markup Language (SAML)  Dynamic login information   园林植物数字化仿真算法 期刊论文 计算机工程与应用, 2014 杨猛; 杨刚* 收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 园林植物  空间网格  轮廓结构  骨架结构