中国科学院机构知识库网格系统: 检索

逻辑系统的代数状态空间方法的基础、现状及其应用 期刊论文 OAI收割
控制理论与应用, 2014, 页码: 1632
作者: 程代展; 齐洪胜

|

收藏 | 浏览/下载：16/0 | 提交时间：2021/01/14

命题动态逻辑及其递归扩展 学位论文 OAI收割
博士, 北京: 中国科学院研究生院, 2012
薛冰天

|

收藏 | 浏览/下载：16/0 | 提交时间：2012/06/01

基于动态描述逻辑的多主体协作模型 期刊论文 OAI收割
计算机研究与发展, 2006, 期号: 第8期, 页码: 1317~1322页
作者:

|

收藏 | 浏览/下载：8/0 | 提交时间：2010/10/15

基于动态描述逻辑的多主体协作模型 期刊论文 OAI收割
计算机研究与发展, 2006, 卷号: 43.0, 期号: 008, 页码: 1317
作者: 罗杰文; 史忠植; 王茂光; 林芬

|

收藏 | 浏览/下载：2/0 | 提交时间：2023/12/04

离散混杂系统的建模和控制方法研究 学位论文 OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2005
作者: 曾锋

收藏 | 浏览/下载：122/0 | 提交时间：2015/09/02

UML活动图的时序逻辑语义 期刊论文 OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松

|

收藏 | 浏览/下载：18/0 | 提交时间：2011/07/28

基于混合逻辑动态的混杂系统建模和控制方法研究 学位论文 OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2003
作者: 李秀改

收藏 | 浏览/下载：137/0 | 提交时间：2015/09/02

基于滑动窗口机制的动态调度问题研究 学位论文 OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2002
作者: 梁炜

|

收藏 | 浏览/下载：32/0 | 提交时间：2010/11/29

移动计算形式理论分析与研究 期刊论文 OAI收割
计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139
魏峻; 冯玉琳

|

收藏 | 浏览/下载：19/0 | 提交时间：2011/07/29

收藏 | 浏览/下载：53/0 | 提交时间：2014/12/08