机构

• 软件研究所 [16]
• 长春光学精密机械与物... [2]
• 地理科学与资源研究所 [1]
• 数学与系统科学研究院 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [21]

内容类型

• 期刊论文 [11]
• 会议论文 [9]
• SCI/SSCI论文 [1]

发表日期

• 2024 [1]
• 2018 [1]
• 2015 [1]
• 2013 [2]
• 2012 [1]
• 2011 [3]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共21条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |  浏览/下载：2/0  |  提交时间：2024/09/03 Abstraction-based control design  dynamic quantization  formal methods  linear temporal logic (LTL)   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文  OAI收割 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo   |  收藏  |  浏览/下载：14/0  |  提交时间：2019/09/17 Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes   An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文  OAI收割 MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304 Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/12/13 Formal methods  Formal verification  Model checking  Interaction behaviors among industrial equipments   model checking conditional csl for continuous-time markov chains 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   A tighter bound for the self-stabilization time in Herman's algorithm 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 13, 页码: 486-488 Feng, Yuan (1); Zhang, Lijun (2)   |  收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 Formal methods  Self-stabilization algorithm  Herman's algorithm  Markov chains   research on automated sorting algorithms generation based on par 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 Shi Hai-He; Xue Jin-Yun   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 Automation  Formal methods  Sorting   model checking security policy model using both uml static and dynamic diagrams 会议论文  OAI收割 4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 1 Cheng Liang; Zhang Yang   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/10/08 Formal methods  Frequency hopping  Graphic methods  Network security  Security systems   a graph-based implementation for mechanized refinement calculus of oo programs 会议论文  OAI收割 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov Liu Zhiming; Morisset Charles; Wang Shuling   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/10/10 Calculations  Formal methods  Machinery  Problem solving   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   a method for modeling aspect-oriented dynamic software architecture 会议论文  OAI收割 5th International Conference on Computer Science and Education, ICCSE 2010, Hefei, China, August 24, Wang Ling; Zhang Guangquan; Zhu Jihan; Wu Jianfeng   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/03/31 Biology  Computer science  Computer software  Education computing  Engineering education  Formal methods