胡圣明 陈启民 陈平 乔文涛 王玉英 吴晓静 拜晓勃 耿运琪 康力 陈颜

绿色荧光蛋白 统一建模语言 动力蛋白 LC8 微管 有向图 横切关注点 分子马达 矩阵运算 算法 提取 细胞骨架 逆向工程 简单有向回路 形式化概念分析

陕西西安 西安电子科技大学软件工程研究所 南开大学生命科学学院 飞行自动控制研究所电子部 西安建筑科技大学理学院