WPF编程，通过Double Animation动态更改控件属性的一种方法。