《分析WinCC两个按钮颜色变换的实现方法.docx》由会员分享，可在线阅读，更多相关《分析WinCC两个按钮颜色变换的实现方法.docx（2页珍藏版）》请在三一办公上搜索。
1、分析WinCC两个按钮颜色变换的实现方法问题描述： 要求根据两个开关量的真值状态来决定一个图标的3种显示状态。 变量a 1 1 0 0 变量b 1 0 1 0 图标颜色 绿 红 灰 灰 从最终的结果来分析“应该如何做”的思路： 1）wincc中的动态对话框只允许用一个表达式，这个表达式只有两种结果，所以无法区别出三种状态，所以至少要用两个图标，通过叠加、隐藏/显示的方式来实现； 2）要分出3种结果，也即要把变量a和b的真值关系分成3组； 3）当且仅当a=1、b=1时图标1显示绿色，那么a和b的这种关系可以很明显用逻辑“与”来等价代换；“当且仅当a=1、b=1”条件不满足时，会遇到一个问题：此时
2、图标1是什么状态呢？是显示灰色，还是不显示呢？那么不显示吧，既然这么说，也就是意味着把“当且仅当a=1、b=1”也作为是否显示的条件； 4）1显示时2不显示，1不显示时2显示，为了使1和2的显示状态完全相反，可以用1个表达式的两个相反的值来等价代换两种相反的显示状态。 5）图标1不显示时，图标2必须显示，此时图标2的显示结果就很好决定了，真值表很明显把红色与灰色区分开的是变量a是否等于1，此时不用考虑a=1显示会导致图标1再跑出来显示，因为这是当且仅当a=1、b=1其它情况中的一种，“其它情况”就因为不符合“当且仅当a=1、b=1”条件，符合显示，不符合不显示，那么图标1就不会显示了。 考虑过
3、程分两步：1）图标是否显示，即图标1和图标2进行切换显示；2）显示时，显示啥颜色，即通过变量的真值关系。 该问题开始变得容易思考，在于把原问题在逻辑等价的基础上分成“是否显示”与“显示什么颜色”两个前者包含后者的问题。所以，问题的难点在于如何把问题分解成几个子问题。关于这个分解问题的问题，我有什么经验和原则可以总结、以便下次直接套用的吗？ 无论如何，该问题中至少存在“两个图标是否显示”和“如果显示那么显示什么颜色”这两个问题，那么考虑把这个两个问题分开来看，而且抽象出的这两个问题还呈现出了时间关系。这个问题用编程很好实现。 地毯式法：把所有相关对象的相关状态都用真值表来抽象，然后根据限制条件一个个进行排除，最终留下来几个进一步排除为什么不先考虑限制条件呢？这样似乎可以不必把所有的状态都抽象出来。但是，即使先考虑限制条件，还是必须知道需要做什么，需要考虑什么哪些状态，这样才不会有遗漏，所以两种方式的工作量是一样的。 试试那个超级彻底的方法吧。从“分割问题”的角度来看，这个方法暂时还没有必要采纳。 “等价代换”是为了给逻辑分析提供前提。
