自洽是什么意思解释

自洽是什么意思解释

自洽（self-consistent）是一个汉语坦羡词汇，拼音是zì qià 。简单地说就是按照自身的逻辑推演的话，自己可以证明自己至少不是矛盾或者错误的，这就是简单的自洽性。科学研究本身就是遵循自洽性的，建立于客观基础上，反之则建立于主观之上，最终归属不可证伪与证明，一个不能够满足自洽性的理论或者方法显然是不攻自破的。

在狭义相对论中，假定K'系相对于K系以速度V运动，则K系相对于K'系的速度为-V。为什么一定是-V呢？直观上当然如此，相对性原理的假设只是说物理定律的平权，并未假定裤察相对速度的大小相等。不过，当后面推出速度变换公式来的时候，值确实是-V，就像经典力学中伽利略变换公式得出的-V一样。它们都是自洽的。自洽性会加强我们对理论的信心，然后等着实验来验证。

所谓自洽：“某个理论体系或者数学模型的内在逻辑一致，不含悖论”。

转移到计算机软件，我对它的定义为“一个计算机软件，在各个模块，各个函数，各个功能之间对相同问题，没有不同的看法”。比如我们的软件中包含了供应商，和主要供应商，如果在采购时允许用户对同一个商品有多个供应商，可是在查询的时候，却仅仅为用户提供“按主要供应商查询的功能”，即是一个不自洽。软件自恰和需求无关，没有任何需求的情况下，一样可以检查系统的自洽性。自洽性让纯拍是测试的一个基本工具。今天的软件自洽，但是随着新的需求的引入，一定会打破原来的自洽，引入新一轮的自洽过程，从而进入新一级的自洽。