This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that we can evaluate the sensitivity of groundwater pollution in Shijiazhuang City area in a quantitative way.
利用这一结果可以定量的评价石家庄市区的污染敏感性。
This result shows that the process integrated technology can make it more reasonable for the energy utilization in distillation process.
结果表明，应用过程集成技术可使精馏过程能量的利用更合理。
The removal ratio of asphalt smoke is more than 90%using solid absorbents. This result shows that it can be applied in air pollution control.
对沥青烟的脱除效果研究表明，采用固体吸附剂能使其脱除率大于90%，可用于污染治理。
This result shows that an identity-based signature scheme can be used as a primitive block to design more complicated cryptographic protocols.
这一结果表明基于身份的数字签名方案可以作为安全的密码原语用于构建更复杂的密码协议。
The scientists say this result shows that even moderate drinking seriously affects gait -and, they extrapolate, could increase the risk of falling.
这些科学家们成研究结果显示，即使是适量饮酒也会严重影响人的步态，并由此推断，还会增加跌倒的风险。
This result shows that low concentration crosslinking polymer flooding can realize continuous injection with big slug and has a good potential of application.
试验证明低浓度交联聚合物驱能够实现大段塞连续注入，具有良好的应用前景。
This result shows that if we want to construct orthonormal wavelets from a multireso- lotion, then that multiresolution must have an orthonormal scaling function.
结果表明，如果我们想从多尺度分析出发构造正交小波，那么该多尺度分析必须有正交尺度函数。
This result shows that the information amount given to both adversaries is one of factors that influence the experimental results under competition circumstances.
说明两个对手之间所掌握的信息量不同是影响竞争条件下实验结果的因素之一。
By analyzing the principles and the plan of driving system, this result shows that MFEP's hydraulic-mechanical drive program is practical and consistent with the overall program requirements.
论文分析研究了试验台的传动系统方案和原理，认为试验台采用液压-机械传动方案是切合实际并符合总体方案要求的。
The result shows that there are two main reasons about this problem.
结果表明，造成这一问题的原因主要有两个。
As for red, it is the color which usually shows warning, as a result, some traffic signs use this color.
至于红色，它通常是表示警告的颜色，因此，一些交通标志会使用这种颜色。
Now, this slide is an interesting slide because it shows you what happens when a neutron is born as a result of fission.
现在，这个图很有趣，因为，它向你们展示了发生的事情，当一个中子是以裂变的结果产生的。
This study shows how easily people move from thinking socially to thinking financially with the result that they focus mainly on themselves and their own needs.
这项研究显示了人们很容易就能从社会性的思考转变为金融性的思考，其结果就是他们会更注重自己的感受和需要。
As it turns out, this is not just a coincidence-research shows that people hired as a result of referrals from current employees work out better, stay with the company longer, and are happier.
结果证明，这绝非仅仅是个巧合——研究显示，因自我推荐而被雇佣的员工通常表现得更好，在公司工作的时间也会更长久。
Listing 16 shows the code for this processing result section, in which we simply get the output parameter from the CallableStatement.
清单16显示了处理结果部分的代码，在这里我们只需要从CallableStatement中获得输出参数。
This also results in a successful test where the recipient gets the test email and the Events screen shows the result as shown in Figure 21.
这也将获得一个成功的测试。收件人获得了测试电子邮件，并且Events屏幕显示图21 中所示的结果。
Figure 3 shows the result of running the JLA against a poorly performing version of this sample application.
图3显示在性能较差的示例应用程序中运行JLA的结果。
For example, Figure 10 shows the query result of "Employee by position-department" by using the "Test Sample" button when no filter was set for this query Subject.
例如，图10显示没有对这个Query Subject设置过滤器时，使用“TestSample”按钮进行的“Employee byposition - department”查询的结果。
Figure 8 shows the result of all this hard work (note that there are some features in this diagram not present in the original PO schema: these will be introduced later).
图8显示出所有这些工作的结果(注意，此图中的一些特性没有出现在原始的PO方案中：这些将在后面介绍)。
Listing 3 shows the result of this query run against the data in Listing 1.
清单3展示了针对清单1中数据运行该查询时得到的结果。
Listing 3 shows the result of passing the sample XML through this stylesheet.
清单3显示了通过此样式表传递样例XML的结果。
Listing 10 shows a simple client script for this, identifying if there has been an error (and reporting it) or reporting the result.
清单10展示了一个用于此目的的简单客户机脚本，它识别是否出错(并报告错误)或报告结果。
Using this array, you can build a table that shows the weapon, the damage the weapon can do, and the result of a damage roll.
使用此数组，您可以构建一张显示武器、武器的破坏力及伤害判定结果表。
Listing 1 shows the result given in the text area shown in Figure 3, formatted for this article.
清单1所示的是在图3的文本区域内给出的针对本文的结果。
Professor Stephen Wu of Hamilton College added: 'This result is consistent with other research that shows that people judge their well-being in comparison to others around them.
汉密尔顿学院的StephenWu教授还说：“这个结果跟其他研究表明的人们跟身边其他人的幸福状况做比较是一致的。”
Listing 5 shows the final result of the execution of this MDM request.
清单5显示了执行这个MDM请求的最终结果。
The experimental result shows this algorithm can realize copyright protection, tamper detection and localization well.
实验结果表明该算法能够很好地实现数字图像版权保护、篡改检测和定位。
The experimental result shows this algorithm can realize copyright protection, tamper detection and localization well.
实验结果表明该算法能够很好地实现数字图像版权保护、篡改检测和定位。
应用推荐