机构

• 软件研究所 [10]
• 数学与系统科学研究院 [3]
• 计算技术研究所 [2]
• 地理科学与资源研究所 [1]
• 长春光学精密机械与物... [1]
• 自动化研究所 [1]
• 更多

采集方式

• OAI收割 [18]

内容类型

• 期刊论文 [12]
• 会议论文 [4]
• 学位论文 [2]

发表日期

• 2019 [1]
• 2017 [1]
• 2016 [2]
• 2014 [1]
• 2012 [1]
• 2010 [2]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Apparent singularities of D-finite systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237 作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi   |  收藏  |  浏览/下载：34/0  |  提交时间：2020/01/10 D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization   Barrier certificates revisited 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86 作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun 收藏  |  浏览/下载：49/0  |  提交时间：2017/02/16 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares   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   |  收藏  |  浏览/下载：24/0  |  提交时间：2018/07/30 convergence analysis  formal energy  symplectic method  Hamiltonian system  bushy tree   基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |  浏览/下载：41/0  |  提交时间：2016/06/21 deductive reasoning  formal verification  alternating pushdown system  infinite state systems   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：34/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   MOTEC:一个存储一致性模型验证工具 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12 multicore processor  memory consistency model  formal verification  dynamic validation  memory system  validation tool   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   |  收藏  |  浏览/下载：31/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 程亮; 张阳; 冯登国   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/05/23 安全操作系统测评  形式化方法  模型检测  测试用例化简  简并测试集security operating system verification  formal method  model checking  test case optimization  degenerate test set   a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 Du YuYue; Jiang ChangJun; Zhou MengChu   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/03/18 Accountability  cooperative systems  discrete event system  formal model  obligations  Petri nets   A new authentication protocol for wireless communication network based on IEEE802.16 (EI CONFERENCE) 会议论文  OAI收割 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, December 10, 2008 - December 12, 2008, Sydney, NSW, Australia Li R.; Fang Z.; Cao W.; Yin Y.; Xu P. 收藏  |  浏览/下载：31/0  |  提交时间：2013/03/25 After analyzing the specific security requirements of the wireless communication network based on IEEE802.16  a series of key issues about security methods and techniques were researched. A new authentication protocol for wireless mobile environment was proposed and designed. Then  its security was analyzed from the angle of technical realization and formal analysis to verify whether the original safety goals were achieved. Especially  formal analysis was mostly done. Finally  system testing was also carried out and the results were analyzed to verify function and performance of the new protocol. 2008 IEEE.