排序方式: 共有2条查询结果,搜索用时 62 毫秒
1
1.
铰矩天平固定方式及预紧力矩对其测量影响的研究CSCD 总被引:2,自引:0,他引:2
铰矩天平在静态校准和风洞试验两种状态下的支撑、连接不一致导致铰矩天平使用公式变化。通过对铰矩天平带模型静态校准,对铰矩天平公式进行修正,提高铰链力矩天平测量准确度,减小气动载荷计算误差。利用天平静态校准和有限元分析相结合的方法,研究铰链力矩天平在不同的固定端几何尺寸和紧固螺栓预紧力下,铰链力矩天平接触应力的变化和分布规律,并分析其对铰链力矩天平测量元主系数的影响,得出改善天平性能的两个重要结论,为今后设计铰链力矩天平提供决策性依据。 相似文献
2.
集合论-泛逻辑悖论 总被引:2,自引:0,他引:2
对于一类 n(2≤n≤n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL 1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论. 相似文献
1