大家都搜：
确定性状态图
1、erd diagram───erd图
2、diagram───vt.用图解法表示；n.图表；图解
3、argand diagram───阿冈图或阿根图（两垂直轴，一为实数轴，一为虚数轴）；阿干特图（两垂直轴，一为实数轴，一为虚数轴）
4、balanoglossus diagram───GuiTou舌图
5、diagram definition───图表定义
6、ballista diagram───弹道图
7、concurrency diagram───并发图
8、scatter diagram───n.散点图，散布图，散形图; 点聚图；[统计]散布图；散点图；散形图
9、flammability diagram───可燃性图
1、A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.───提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。