分享技术，交流感悟

1.最近做一个故障树诊断的项目，用visio二次开发，可以同时打开多个绘制的故障树图形文档。项目中需要实现判断文档是否发生变化，这是很多编辑软件的基本功能，变化了就加个星号*。如果整个项目从0开始自己设计就是另外一回事了，这里是基于visio二次开发，首先想到的是去看微软的官方文档，看是否有相关的API，或则是否改变会触发某些事件，遗憾的是我没找到。2.不过visio毕竟是微软的产品，做的就是

1.c#里面的TabControl控件没有关闭按钮，而且很难看。2.有一些已经做好的第三方控件，但是收费。3.由于我的故障树推理诊断项目在绘图的时候允许同时打开多个文档进行操作，就要实现类似于浏览器的多标签功能，而且要可以关闭。4.所以自己写一个类继承TabControl类，然后重写一些里面的方法即可实现。5.特色：有关闭按钮，标签有背景颜色，选中的标签和没选中的颜色不一样，实现鼠

1.故障树推理诊断项目中在故障树图形画好后要检查重复性，矛盾性和包含性。所以要把相同事件编号的节点进行推导，替换成最终只含与门，或门的表达式，即E1=A+B+C*D类似的形式。等价于数学算式中的只含有乘号和加好的最终表达式。2.本文是比较两个表达式是否等价。比如a+b+c*d 与b+d*c+a等价（至于如何从故障树图形得到最终推导式不在此讨论）3.首先是以加号来分割，将表达式分成不同的只含