机构

• 软件研究所 [5]
• 自动化研究所 [2]
• 计算技术研究所 [1]
• 心理研究所 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [5]
• 会议论文 [3]
• 学位论文 [2]

发表日期

• 2023 [1]
• 2008 [2]
• 2006 [1]
• 2005 [2]
• 2004 [1]
• 2003 [2]
• 更多

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Impact of feedback content on dangerous driving behaviours based on the triangle model of responsibility 期刊论文  OAI收割 Transportation Research Part F: Traffic Psychology and Behaviour, 2023, 卷号: 93, 页码: 1-10 作者:  Yan Ge   |  收藏  |  浏览/下载：36/0  |  提交时间：2023/01/13 Feedback content  Overspeed The triangle model of responsibility  The triangle model of responsibility  Concurrent feedback  Dangerous driving behaviour   纯公钥模型下对NP语言的高效并发零知识证明系统 期刊论文  OAI收割 软件学报, 2008, 卷号: 19, 期号: 2, 页码: 468-478 邓燚; 林东岱   |  收藏  |  浏览/下载：21/0  |  提交时间：2010/08/19 并发零知识  纯公钥模型  知识的证明  concurrentzeroknowledge  barepublic-keymodel  proofofknowledge concurrent zero knowledge  bare public-key model  proof of knowledge   resettable zero knowledge with concurrent soundness in the bare public-key model under standard assumption 会议论文  OAI收割 3rd SKLOIS Conference on Information Security and Cryptology, Xining, PEOPLES R CHINA, AUG 31-SEP Deng Yi; Lin Dongdai   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/13 resettable zero knowledge  concurrent soundness  the bare public-key model  resettably sound zero knowledge   model checking data consistency for cache coherence protocols 期刊论文  OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/08/11 concurrent systems  cache coherence protocols  value-passing  symbolic transition graphs  model checking  VERIFICATION   VFSim: Concurrent fault simulation at register transfer level 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 2, 页码: 175-186 作者:  Shen, L   |  收藏  |  浏览/下载：26/0  |  提交时间：2019/12/16 high-level testing  Verilog  RTL  circuit modeling  fault model  concurrent fault simulation   extended symbolic transition graphs with assignment 会议论文  OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/28 concurrent systems  process algebra  value-passing  symbolic transition graphs  verification  model checking  bisimulation checking   基于同时设计的柔性机械臂系统建模和控制优化 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2004 作者:  肖志权 收藏  |  浏览/下载：142/0  |  提交时间：2015/09/02 同时设计  柔性机械臂系统  建模  模型简化  能量判据  鲁棒控制器  LMI  Concurrent Design  Flexible Manipulator System  Modeling  Model Simplification  Energy Criterion  Robust Controller  LMI   模型检测新技术研究 期刊论文  OAI收割 计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 Model checking  State explosion  Symbolic model checking  positional reasoning  Real-time system  Hybrid system  模型  检测  新技术研究  model checking  mathematical methods  concurrent system  hybrid systems  state space   The research of product CDMS models for overall lifecycle over Internet 会议论文  OAI收割 3rd International Conference on Electronic Commerce Engineering, HANGZHOU, China, October 24-27, 2003 作者:  Li HY(李海越);  Ma MX(马明旭);  Zhang WL(张闻雷);  Wang CE(王成恩) 收藏  |  浏览/下载：27/0  |  提交时间：2012/06/06 product model  STEP  XML  concurrent design   离散事件动态系统的PN机理论与方法研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995 作者:  蒋昌俊 收藏  |  浏览/下载：89/0  |  提交时间：2015/09/02 离散事件动态系统  Petri网  PN机  形式语言  并发行为  并发模型  discrete event dynamic system  Petri net  PN machine  formal language  concurrent babavior  concurrent model