QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 updating preconditioner for iterative method in time domain simulation of power systems 期刊论文 Science China Technological Sciences, 2011, 卷号: 54, 期号: 4, 页码: 1024-1034 Wang Ke; Xue Wei; Lin Haixiang; Xu Shiming; Zheng Weimin 收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 Algorithms  Differential equations  Differentiation (calculus)  Linear systems  Linear transformations  Matrix algebra  Time domain analysis   a calculus for game-based security proofs 会议论文 4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829 Nowak David; Zhang Yu 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/31 Calculations  Differentiation (calculus)  Polynomial approximation  Public key cryptography   specifying properties for modular pi-calculus 会议论文 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19, Kitamura Takashi; Lin Huimin 收藏  |  浏览/下载：12/0  |  提交时间：2011/06/13 Differentiation (calculus)  Mathematical models  Mathematical techniques  Model checking  Software engineering   一种基于微分思想的图象变形算法研究与实现 期刊论文 电子学报, 2003, 卷号: 31, 期号: 5, 页码: 674-678 邹北骥; 周浩宇; 吕格峰; 孙家广 收藏  |  浏览/下载：8/0  |  提交时间：2011/07/29 图象变形  填充  算法  微分思想  图象变形  变形算法  子区域划分  象素  图象处理系统  矩形  非规则区域  映射变换  算法效率  填充效果  填充算法  填充方法  算法实现  快速填充  计算速度  变形处理  复杂度  点对应  整形Algorithms  Computer graphics  Differentiation (calculus)