| | | | | | | | 最后学历
& f, V8 m; @9 o | |
工作单位
* O. Y8 j* P, ]2 \6 z% {; F | 中国海洋大学信息学院
- i* B) y( w. E, D. j | 职称 t* G _1 M% I5 {" u
0 \& f3 P3 b0 p( Y
职务
1 W3 T! |0 N: l | 教授/系副主任 j) T- E4 f; q' l) ^. g
|
学习经历及学位
8 N' G5 x$ K [2 u3 z6 [ | | 单% L: o% t3 y t$ E! F3 p
位 | |
| | |
| | |
| | |
| | |
工作经历任职及荣誉称号! e6 e: q& q a. D; e8 m
| | | |
| | |
| | |
| | |
社会及学术兼职
) p z- O, t$ @+ b$ h h | | |
| |
| |
承担教学课程及教学成果
' E/ `- |3 m- J: c* s# ^ | | | |
| | |
| | |
| | |
主要研究方向
5 G- g# s6 q+ z" ]9 h- V- S5 F | | |
| |
| |
| |
代表性学术成果; b8 I8 b. R, v$ _
| | | |
Some observations on one-way alternating pushdown automata with sublinear space | IEICE Trans. Fundamentals | |
On 1-inkdot alternating pushdown automata with sublogarithmic space | IEICE Trans. Inf. & Syst. | |
A note on non-closure property of sublogarithmic space-bounded 1-inkdot alternating pushdown automata with only existential (universal) states | Journal of
, y8 `; d! o, G3 w; A9 E6 i$ R" ]Computer Science and Technology | |
近五年承担科研课题
5 E* g% ~2 c2 X" g7 L | | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
备注
% t0 _" R' B- |' G | |