并不是不能为命令式程序进行那种程序证明，而是状态改变发生的次数之多使得那些证明不具意义。
It's not that program proofs cannot be done with imperative programs, but that the number of state changes that occur make them unwieldy.
特别是，程序员必须显式地管理状态和状态之间的转换。
In particular, the programmer has to explicitly manage states and transitions between states.
命令式编程由一系列带有明确顺序的语句构成，它们的算法和编程构造严重依赖于应用程序的状态。
Imperative programs are formed by a sequence of statements with an explicit order, and their algorithms and programming constructs rely heavily on application state.
其一种方法是迭代式的增加缓存大小并在峰值稳定状态负载下运行应用程序，直到PMI指标不再报告任何缓存丢弃操作。
The other option is to iteratively increase the cache size and run the application under peak steady state load until the PMI metrics report no more cache discards.
尽管如此，对命令式语言程序员来说，状态的改变依然是程序设计错误的主要原因。
Still, state changes are consistently one of the chief causes for programming errors for imperative programmers.
节点间通信对于保持在节点间运行的分布式应用程序的状态至关重要。
Node intercommunication is essential to preserve the state of the applications distributed and running between them.
您需要在分布式应用程序中避免有状态的会话ejb。
You need to avoid stateful session EJBs in your distributed applications.
函数编程方式很容易理解，但是如果您习惯了过程序和关注状态的命令式语言，可能不太容易适应它。
The functional programming approach is easy to understand, but can be difficult to apply if you are used to the more procedural and state-focused imperative languages.
我对WADI做了些研究，以便理解它在集群中的什么地方发挥作用，结果发现它主要用来处理Web应用程序的分布式状态管理。
I did a little research on WADI to understand where it plays in the clustering space and found out that it used to be concerned mainly with Web application distributed state management.
如果IBMCognos8SDK应用程序不会显式退出，会话将保持激活状态，直到超时为止。
If an IBM Cognos 8 SDK application does not explicitly log off, the session will remain active until it is timed out.
一个完整的触摸板使手工编程序和背光式LCD显示系统状态。
An integral touch pad enables manual programming and a backlit LCD displays system status.
本文对扶壁式挡土墙进行优化计算，利用优化设计程序对不同参数下的截面状态和工程造价进行分析比较。
Counterfort retaining walls are optimized in the paper, using the optimum program, costs of different counterfort retaining wall parameters were calculated and based on the contrast analysis.
属性以及隐式函数调用的计算可能会产生副作用，影响程序的状态。
Evaluation of properties and implicit function calls can have side effects that affect the state of your program.
XP由于采用了数字签名式的驱动程序模式，对各种硬件的检测也比以往严格，所以一些设备可能在正常状态下不能驱动使用。
Because XP used the driver pattern of type of digital sign one's name, to all sorts of hardware detect also compare before strict, so a few equipment may fall in whack cannot drive is used.
XP由于采用了数字签名式的驱动程序模式，对各种硬件的检测也比以往严格，所以一些设备可能在正常状态下不能驱动使用。
Because XP used the driver pattern of type of digital sign one's name, to all sorts of hardware detect also compare before strict, so a few equipment may fall in whack cannot drive is used.
应用推荐