0316108自动制造系统 Petri 网的公平活性控制策略(刊]/李志武∥自动化学报.—2003,29(1).—62~71(K)0316109基于量子逻辑的自动机和文法理论[刊]/邱道文∥软件学报.—2003,14(1).—23~27(K)0316110量子自动机的刻画[刊]/邱道文∥软...0316108自动制造系统 Petri 网的公平活性控制策略(刊]/李志武∥自动化学报.—2003,29(1).—62~71(K)0316109基于量子逻辑的自动机和文法理论[刊]/邱道文∥软件学报.—2003,14(1).—23~27(K)0316110量子自动机的刻画[刊]/邱道文∥软件学报.—2003,14(1).—9~15(K)展开更多
Y2002-63037-2129 0209643通过 Zubov 型算法计算控制李亚普诺夫函数:com-puting control Lyapunov functions via a Zubov type algo-rithm[会,英]/Grune,L.&Wirth,F.//2000 IEEEDecision and Control Vol.3 of 5.—2129~2134(HE)
Y2002-63069-47 0211958汽车系统集成平台用的通用通信模型=A universalcommunication modal for an automotive system integra-tion platform〔会,英〕/Demmeler,T.& Giusto,P.//Proceedings of the Design,Automation and Test i...Y2002-63069-47 0211958汽车系统集成平台用的通用通信模型=A universalcommunication modal for an automotive system integra-tion platform〔会,英〕/Demmeler,T.& Giusto,P.//Proceedings of the Design,Automation and Test in Eu-rope Conference and Exhibition 2001.-47~54(PE)展开更多
文摘0316108自动制造系统 Petri 网的公平活性控制策略(刊]/李志武∥自动化学报.—2003,29(1).—62~71(K)0316109基于量子逻辑的自动机和文法理论[刊]/邱道文∥软件学报.—2003,14(1).—23~27(K)0316110量子自动机的刻画[刊]/邱道文∥软件学报.—2003,14(1).—9~15(K)
文摘Y2002-63037-2129 0209643通过 Zubov 型算法计算控制李亚普诺夫函数:com-puting control Lyapunov functions via a Zubov type algo-rithm[会,英]/Grune,L.&Wirth,F.//2000 IEEEDecision and Control Vol.3 of 5.—2129~2134(HE)
文摘Y2002-63069-47 0211958汽车系统集成平台用的通用通信模型=A universalcommunication modal for an automotive system integra-tion platform〔会,英〕/Demmeler,T.& Giusto,P.//Proceedings of the Design,Automation and Test in Eu-rope Conference and Exhibition 2001.-47~54(PE)