自动运行

The problem of AGC unit dispatch is an important research aspect in auxiliary service of power market.

0引言自动发电控制是电力市场辅助服务的一个重要组成部分，对电力系统的安全稳定运行至关重要[1，2]。

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

This strainer is self-cleaning, because pump operation causes continuous motion of the spring coil.

这种过滤器能够自动清洗，因为泵的运行导致了弹簧的连续运动。

At the rear was an innovative combination transaxle with the gearbox, clutch, differential, and inboard-mounted drum brakes.

在后面是与变速箱，离合器，差的创新结合变速，和内侧安装鼓式制动器。

For more people can apprecaite and have the master work, there is reproduction painting appears in the market, the large various selection of paint,the high saturation of color plus the plentiful sfumato, to make the reproduction perfect copy and detail as original painting, so as to meet the requirment of amateurs who love art paintings,they do not need to pay high price to get classical paintings.

颜料色域广，色彩饱和度高，色彩层次丰富，图像色彩还原真实，能完美的复制原作，满足艺术爱好者欣赏，艺术爱好者们不用支付昂贵的价格就能拥有经典油画。