可替换的

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Chapter 4 is the hedging strategies of optimization in insurance:In virtue of Galtchouk-Kunita-Watanabe Decomposition Theorem to decomposite the natural value prcess V_t~* toupdate the risk expression, then we can get the hedging strategies of optimization with minimal risk.

第四章最优保险对冲策略：利用Galtchouk-Kunita-Watanabe分解定理将本性价值过程V_t进行分解。采用一定的替换技巧可将风险表达式重新表示，从而找到保险公司所能采取的最优对冲策略。

With the correlation, the second moment of crystal size distribution in the kinetic model of literature was able to be replaced, and the parameters of nucleation and crystal growth rate were able to be directly acquired by computer program design.

利用此关联式，对文献模型中晶体粒度分布函数的二阶矩量进行替换，并结合计算机程序设计，可直接拟合得到结晶体系的成核和生长动力学参数，从而为结晶动力学模型的求解建立了一种新型算法。

During operation in the space station, astronauts replace equipment and materials can be added or manned spacecraft from the spaceshuttle transport, supplies of equipment can also be the delivery of unmanned spacecraft.The former Soviet Union in 1971 launched the world's first space station ---"salute" on the 1st, then again in 1983 to launch a "salute" No. 2-7. The former Soviet Union in 1986 launched the space station more "Peace".

在太空站运行期间，宇航员的替换和物资设备的补充可以由载人飞船或航天飞机运送，物资设备也可由无人航天器运送。1971年前苏联发射了世界上第一个太空站———"礼炮"1号，此后到1983年又发射了"礼炮"2—7号。1986年前苏联又发射了更大的太空站"和平"号。

Thus in the tonic triad of C major in root position, C-E-G, the middle note may be placed one or more octaves higher without affecting the nature of the triad.

在本为和弦C大调主音三和弦中，C-E-G，中间音可被一个或多个高于八度的音替换，而不影响三和弦的性质。

At the same time for the United Kingdom DomnickHunter, the United States Hankison, the United States Paker, Ultrafilter, Italian Hiross, Germany Zander, BEA, Japan, SMC and other companies to provide the same quality÷replacement filter.

同时可为英国DomnickHunter、美国Hankison、美国Paker、Ultrafilter、意大利Hiross、德国Zander、BEA、日本SMC等公司的精密过滤器提供同品质的替换滤芯。

On-line information is also available on recently issued publications, withdrawn and replaced publications, as well as corrigenda.

在那里也同样可获得最新的关于出版物发布，撤回，替换及勘误的在线信息。

It's almost too easy: Simply by taking your attention off thoughts of scarcity and persistently focusing on observations of abundance, you can replace the nervous, just-in-case mind-set that kept our ancient forebears alive but is killing many of us.

这简直太简单了：只要转移你的&稀少&思维，坚持把注意力放在观察丰足上面，那么你就能将那个紧张、'以防万一'、维持我们祖先们生存可正让我们许多人丧命的心态替换掉。

You can use the Model Previewer to view the replacement textures in place on the model; the Previewer replaces the textures in exactly the same manner Warcraft III does.

您能够使用模型预览器察看模型上的可置换贴图的效果，预览器将会像魔兽三游戏里面一样准确地替换贴图。

An ambiguous condition exists if a program directly alters the contents of BLK.

如果程式直接替换 BLK 的内容，将会发生模稜两可的情况。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失