盘算机科学家用完全形式化的方式来证明程序同功能归约的一致性，保证程序的准确性。

相关句子

序号 句子
1 “看到这些数据的一致性，我几乎被惊呆了，至少是非常吃惊”，伊利诺斯大学心理学系名誉教授说，这次回评是由他带头的。
2 持续和一致性是复苏的关键，经济学家说缓慢的复苏必须在正确的轨道上进行，这样才能降低接下来五年的失业率。
3 出于一致性的原因，非常需要按照如下所示建立防止交叉连接模式的目标连接需求，从而形成强制的连接路径。
4 除了确保一致性和提高可靠性之外，这可显著提高效率并可以免除开发和维护生命周期内的一个最常见的瓶颈。
5 传感器在水平调整过程中，最好使用水平仪，使得安装的传感器在统一水平面上，保证其所受负荷的一致性。
6 达到更高的抽象层次要求您能够在不牺牲一致性的情况下推迟较低层次的细节的规范。
7 大家在一起工作，应该互相理解支持，既要强调一致性，也要求同存异。
8 但是，从一致性方面来看，只提供收敛一致性。
9 但他从未倾力于，也从未恢复“他的头脑的以前的一致性”，“有客人在时他说得极少”，“在他的目光和举止行为中有些其实迟钝的东西。”。
10 当我们认为，已经洞悉了物质行为规律的时候，其实并没有那种感知的存在,无论怎样，从本质上来说假设的一致性也没有以洞察力为根基。
11 对于已经掌握了持续一致赚钱的方法，或者说“跨过了持续一致性这道门槛”的交易者来说，钱不仅仅在掌握之中，他们还可以说是想要就要。
12 而且，所有的代理人必须服从总路线的所有命令保证缓存一致性。
13 福斯特说：“这些区域的激活或多或少地存在一致性。”但他也指出，他们的实验可能遗漏了能够解释为何一些牙痛可以被定位的微妙差异。
14 根据归群结果，分析所显现之遗传变异与各外表型群团有著高度一致性，显示红桧变异种在园艺用途上有相当的潜力。
15 关键是您如何处理任何此类分析的结果，以及在该过程中运行的分析的一致性如何。
16 集成到其余的生命周期环境中的过程帮助提供一致性，并且通过允许我们从过去的经验中学习来提高效率和生产力。
17 几十年来，那些关注数据管理的人，在紧耦合意味着更好的效率和一致性的哲学下，驱使行业不断合并数据库。
18 结果表明：小学儿童认为道德规范更具普适性、一致性，对道德违规表现内在性反应和重惩罚量倾向。
19 尽管每个命令当然都有一些隐蔽的字符序列，那些次序之间存在着一致性。
20 进一步比较时效性、一致性、可比较性、经济性、重要性、允当表达及充分揭露等与决策有用性相关之会计质量后，其结论亦与上述结论相同。
21 经实际验证，整合型土地资料库确可因约制条件之建立而提升整体资料之一致性，并应可有效提升业务执行之效率。
22 可靠性反映在我们和别人的沟通，对他人的承诺和陈述的一致性。
23 毛桃木莲和乳源木莲精油在成分构成上具有高度一致性，而且在主要成分上具有相似性，这可能表明它们具有非常近的植物亲缘关系。
24 你觉得缺少一致性的讯问方法上是不是我们法律体系上的瑕疵呢？
25 您如何才能实现这些目的，同时仍然维持高水平的数据完整性和一致性呢？
26 盘算机科学家用完全形式化的方式来证明程序同功能归约的一致性，保证程序的准确性。
27 然而，这也是一个成本较高的选择，因为每当您跨集合内容进行迭代时，您就不得不同步所有操作，包括读和写，以此保证一致性。
28 让我了解我的长处，弱点和一致性；
29 人类越来越察觉到人的价值的一致性，并且体认到古老古迹是共有的资产。
30 如果每次都是同一台服务器，那么就比较容易保证“读己之所写”一致性和单调一致性。
31 实际上与消息日志文件一样，可以以文档的形式查看一致性报告文件，也可以应用样式单按照格式查看它。
32 所有的收件箱泛滥着同样的信息，既是后来其它报道的同步一致性显著增加。
33 他们的假设为：动荡形势打破了星云分布的一致性，使引力能够把物质吸引到一起形成团状，最终将团状物质压缩成恒星及其行星系统。
34 替换软件版本可能会影响可用的特性以及与开发目标的一致性。
35 通过分析判断矩阵，一致性矩阵，导出矩阵及度量矩阵的关系，提出一种修改判断矩阵的预测加速修正的贪婪算法。
36 通过该数据进行搜索和排序是困难的，因为是维护跨用户和位置的数据一致性。
37 为不同类型的企业分类筛选，三极管的一致性好，热稳定性高。
38 为了保持管理的一致性，任期的替换交错进行，五个席位在前一年到期而另四个席位在下一年到期。
39 无系统防危的观念：现有的防危机制通常只局限在应用级、操作系统级或网络级中的某个层次，且各层防危机制联系非常松散、一致性差。
40 研究表明，双电极焊条两焊芯熔化的一致性受焊条类型、接电流等因素的影响。
41 乙酸酯制造菌和乙酸酯采食菌的共栖协同依赖性突然从一致性中显露头角，而培养液也演变成为一个生态体系。
42 婴儿时期分开并个别抚养的同卵双生儿，被发现在个人的特质上，具有惊奇的一致性，因而可能是遗传特征。
43 由于本组织的其中一项改革目标就是在全部三个层面的工作上增强一致性，这一调整非常值得欢迎。
44 语义技术允诺用其他的途径确保质量，即检测既定文本中遇到的概念的丰度和一致性。
45 在北京奥运开幕礼中，“和”也是主题，有着这样的一致性，这既是佛教教义的内涵，亦是平息世界上各种纷争最值得提倡的一种好方法。
46 在水平和垂直极化入射下，本文理论值与已有的实验结果以及与一致性绕射理论的结果吻合较好。
47 在司法问话中运用同一律，可以保证问话的恰当性及问答的一致性，从而提高办案效率。
48 在文化区域和类型之内，在质量问题上，有一条意见即使谈不上众口一词，但也有很强的一致性。
49 在一个最终一致性的模型中，不是所有的系统组件都能立即访问到最精确的数据。
50 在综合集成研讨厅体系中，使用群体一致性算法，以解决研讨厅中的专家群体思维的收敛问题。