我们讨论了有关系统的可靠性（soundness）、完备性（completeness）和紧致性（compactness）等标准论题；我们的证明方法仅仅生成 永真结果（valid results [2]），证明所有永真命题都是 可证的，如果一个事实（fact）是 无...
基于300个网页-相关网页
The conclusion proves WMNs traffic delay statistics upper bound on service curve has better compactness.
证明了基于端到端有效服务曲线的无线Mesh网络通信量端到端延迟随机／统计上界具有更好的紧致性。
参考来源 - 基于网络演算的无线Mesh网络QoS性能研究·2,447,543篇论文数据，部分数据来源于NoteExpress
最后，利用半基的概念还给出了半紧致性的一个等价形式。
Finally. We give a identical form of semi-compact to use concept of semi-base.
用紧致性论证给出了任一域k上行列有限的无限方阵a具有各种逆方阵的基本的充分必要条件。
Some basic necessary and sufficient conditions for the existence of various inverses of a row-column-finite infinite matrix a over a field K are proved by compactness arguments.
利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。
The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
应用推荐