静力学公理公理1:二力平衡公理一个刚体受到两个力的作用,这两个力大小相等,方向相反,作用在一条直线上,这个刚体则平衡.(因为一对平衡力使物体的运
2009-03-15 18:43
面向航天器舱布局CAD系统的公理化设计研究
2017-01-07 20:32
本文以Goguen命题逻辑系统为例,拟在SBL公理化扩张中展开计量化研究.首先在,z值Goguen命题逻辑系统中添加了两类算子,即对合否定和连接词△,将其作为SBL~系统
2017-12-28 10:42
这条公理表示为如果两事件互斥(即两事件不可能同时发生),那么这两个事件其中有一个发生的概率等于各个事件发生的(边缘)概率之和。我早说过了,这让人疑惑。让我们尝试通过第一篇中的一个例子来说明。
2018-09-24 09:31
Armstrong发明的Erlang在全球范围内是个小众语言,根据TIOBE发布的最新语言排行榜,Erlang排名第47位,市场份额占有仅为0.177%。它不是像Java、C++是面向对象语言的,它是函数编程语言。
2019-04-23 14:57
衡量示波器测试系统质量的关键指标有很多,而“有效位数”对于了解整个测量系统至关重要。本文将讨论示波器有效位ENOB,以及ENOB对实际信号测试的影响,并结合实际应用,给
2019-06-02 09:12
对一个成熟、有效的RFID应用系统来说,不管其业务场景千变万化,对RFID接入技术要求迥异,其共同之处在于如何有效
2021-05-05 18:42
为防止银行数据库记录的无限膨胀,提高系统的执行效率,该文将有效期加入基于智能卡的电子现金系统中,提出基于智能卡的含有效期的离线电子现金
2009-04-17 09:15