袁永昇 韩赞东 黄晓龙 张为公 吴小钧 陈晓冰 谷建华 周兴社 谢果然 应明生 曾光橦 毕汪虹 衷仁保

自定义函数 数据合法性 表达式生成器 符号演算 监控 RTL描述 数据库结构 算符优先算法 实现方法 条件组合 VALID 子结点 关系数据库 检验语句 对话窗 Petri网 汇编语言 父结点 逻辑函数 展开式 FOXBASE 语句块 宏代换 执行元件 开关量 应用 状态图 结构数据 执行 合法性判断