机构

• 软件研究所 [8]
• 数学与系统科学研究院 [2]
• 地理科学与资源研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [7]
• 会议论文 [3]
• SCI/SSCI论文 [1]

发表日期

• 2016 [1]
• 2014 [2]
• 2013 [2]
• 2012 [1]
• 2011 [1]
• 2010 [2]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems 期刊论文  OAI收割 SCIENCE CHINA-MATHEMATICS, 2016, 卷号: 59, 期号: 2, 页码: 379-396 作者:  Zhang RuiLi;  Tang YiFa;  Zhu BeiBei;  Tu XiongBiao;  Zhao Yue   |  收藏  |  浏览/下载：23/0  |  提交时间：2018/07/30 convergence analysis  formal energy  symplectic method  Hamiltonian system  bushy tree   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 形式化方法  数据库管理系统  PVS  定理证明  formal method  DBMS  PVS  theorem proving   FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs 期刊论文  OAI收割 INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 卷号: 55, 期号: 8, 页码: 1437-1449 Li, Bixin; Sun, Xiaobing; Keung, Jacky   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 Formal concept analysis  Change impact analysis  Lattice of class and method dependence  Impact factor   基于PVS的数据库安全策略形式化分析方法 会议论文  OAI收割 首届全国信息安全等级保护技术大会, 桂林, 2012 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22 formal method  DBMS  PVS  theorem proving   Advances in the study of uncertainty quantification of large-scale hydrological modeling system SCI/SSCI论文  OAI收割 2011 作者:  Xia J. 收藏  |  浏览/下载：22/0  |  提交时间：2012/06/08 uncertainty quantification  hydrological model  PSUADE  land-atmosphere  coupling model  large scale  surface parameterization schemes  formal bayesian method  data  assimilation  multicriteria methods  metropolis algorithm  input  uncertainty  simulation  glue  optimization  methodology   formal based operation strategy design for collaborative shared teleoperation system 会议论文  OAI收割 International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843 Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/03/31 auxiliary method  collaborative shared teleoperation system  directed graph theory  formal based operation strategy design  generalize stochastic Petri net  nonstructural space environment  on-orbit system task design  satellite-earth communication delay  shortest path algorithm  task sequence algorithm  task sequence model  unit replacement task  working mode sequence  working mode topology graph  working mode transform algorithm  Petri nets  aerospace robotics  graph theory  stochastic processes  telerobotics  transforms   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/05/23 安全操作系统测评  形式化方法  模型检测  测试用例化简  简并测试集security operating system verification  formal method  model checking  test case optimization  degenerate test set   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures