静力学公理公理１：二力平衡公理一个刚体受到两个力的作用,这两个力大小相等,方向相反,作用在一条直线上,这个刚体则平衡．（因为一对平衡力使物体的运
2009-03-15 18:43
面向航天器舱布局CAD系统的公理化设计研究
2017-01-07 20:32
通过对可信计算及其主要功能“远端证明”的分析，提出“应用证明”的概念及原理，并说明支持应用证明所需的安全机制。分析现有主流操作系统所使用的保护结构和访问控制模
2009-07-30 11:13
本文以Goguen命题逻辑系统为例，拟在SBL公理化扩张中展开计量化研究．首先在，z值Goguen命题逻辑系统中添加了两类算子，即对合否定和连接词△，将其作为SBL~系统
2017-12-28 10:42
概述当单片机受到外界的干扰，程序会跑飞，那么如何证明程序的状态是正常的呢？法1：在中断中加入LED闪烁，当看到灯以设定的频率闪烁则可以证明单片机是正常运行的。法2：窗口看门狗。窗口看门狗（WWDG
2021-07-30 08:14
这条公理表示为如果两事件互斥（即两事件不可能同时发生），那么这两个事件其中有一个发生的概率等于各个事件发生的（边缘）概率之和。我早说过了，这让人疑惑。让我们尝试通过第一篇中的一个例子来说明。
2018-09-24 09:31
比特币使用的工作量证明公式算法是当今最可靠和安全的算法。但是他并不具有真正的可扩展性。比特币及其他基于工作量证明的区块链在每秒事务处理（TPS）方面的性能有限。这种限制与比特币依赖于节点的分布式网络这一事实有关，这需要达成共识并就区块链的当前状态达成一致。
2018-12-23 11:33
隐私保护是当前大数据信息时代所亟待解决的重要安全问题。而密码学是实现对内容和身份等隐私信息进行有效保护的关键理论和技术基础之一。基于身份哈希证明系统（ldentity-based hash
2017-12-15 14:00
欺诈证明提出证据，表明状态转换是不正确的。它们反映了对世界的乐观看法：假设区块代表L2数据的正确状态，直到被证明不是这样。但实际上，一个已提交的区块可能包含错误的状态转换。 有效性证明则提出
2019-01-28 10:46
SASO证明书格式
2015-08-27 11:32
