汤庸 张文华 吴小红 王梅生 余平 沈维艳 吕永波 孙未未 姚兴华 阎浩 魏振春 李彦平 曹锋 覃中平 许一震 陈世华 孙钦东 张仲义 卢伍春 李祥 吕涛 王培良 许力 张德运 高鹏 陶仁骥 汪永好 郭嘉琳 邓培民 周延森

弱可逆 分解 混合使用 有限制的盲签名 IC卡 保密性 自动机总图 查询索引 病毒代码 状态转移矩阵 RaRb变换 半输入存储 图型 维文 软件规约 自动选型 常量布尔方阵 矩阵模型 布尔代数 软件体系结构 状态反馈控制 错误模型 设计方法 软件实现 分解 有限环 延迟τ步弱逆 布尔状态映射矩阵 通道矩阵 多模式匹配

弱可逆 分解