共查询到12条相似文献,搜索用时 0 毫秒
1.
2.
形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。 相似文献
3.
设H是Hilbert空间,G是一个含单位元的右可逆拓扑半群,研究了右可逆半群G上不变平均的性质,得到了几个定理,推广了交换半群上不变平均的有关结论. 相似文献
4.
谭立英 《齐齐哈尔大学学报(自然科学版)》1988,(2)
本文给出了变截面梁(轴)变形的平均弯矩数值解法,用于计算悬伸段为变截面多支承轴的变形。其求解过程概念明确,程序简单,适于电算,解答较精确,便于在工程中应用。 相似文献
5.
圆管流体平均流速与管道半径的关系 总被引:5,自引:0,他引:5
根据尼古拉兹的几种流速分布计算公式,结合试验比较,推导出各种流态中平均流速与圆管半径的函数关系,从而为应用毕托管原理设计管道流量计提供依据. 相似文献
6.
吴建良 《山东大学学报(理学版)》2005,40(6):27-30
设G为一简单图,它的最大平均度mad(G)=max{2|E(H)|/|V(H)|:H为G的非空子图}.如果△(G)≥7和mad(G)≤4,或者△(G)≥5和mad(G)≤18/5,或者△(G)≥3和mad(G)〈3,则G的线性荫度为[△(c)/2]. 相似文献
7.
根据福建省森林资源连续清查第5次复查资料,对750个天然阔叶林样地调查资料进行整理,通过χ2检验、剩余分析及log-线性模型的拟合,分析了天然阔叶林林分年龄与平均胸径、蓄积量之间的关系.结果 表明:χ2检验中林分平均胸径、蓄积量与林分年龄的连带关系明显;剩余分析中林分平均胸径、蓄积量随林分年龄的增长而呈现出增加的趋势,这与有序连带测定结果 基本一致,但主效应估计分析结果 与交互作用效应估计之间存在一定的差异,这种差异可能是由天然阔叶林受自身因素影响较多而受人为影响较少造成的. 相似文献
8.
为了获得所需丰度的同位素,需要将多个分离单元联结成级联。因而必须对多元同位素混合物在级联中的分离情况进行深入研究。假定分离系数小,从多组分级联输运方程出发,利用全分离系数与不同组分质量差的关系,导出了在级联中某组分丰度出现峰值处该组分质量与平均质量的关系。并对级联中分离单元的分离情况进行了分析。得出以下结论:在级联分离多组分同位素混合物的过程中,当某一组分的丰度在级联中出现峰值,其质量等于此处平均质量(略有偏移),以上结论是在小分离系数的条件下得到的,对于大分离系数的情况也有参考价值 相似文献
9.
设计了以PWM信号高速开关控制为核心的气动抛光力加载控制系统,采用滑动平均滤波PID算法调节,通过Simulink仿真和实验调整PID参数,提高系统动态性能,保证变抛光力的控制要求.借助五轴混联机器人动平台,搭建五轴变抛光力试验系统,进行跟随轨迹的变抛光力加载实验.实验结果表明,设计的滑动平均滤波PID控制能够在力控制要求改变时快速响应,使抛光力跟踪至设定值,力实测值误差在±1N以内,波动范围小,具有足够的稳定性和准确性,满足变抛光力的控制要求,实现了跟随五轴加工轨迹的变抛光力控制. 相似文献
10.
由光的波动方程证明 ,若媒质为旋光媒质 ,则其极化率张量 χ一定有非对角对称的共轭虚元素 ,并且导出了旋光晶体的寻常折射率n0 与左旋光折射率nL 和右旋光折射率nR 之间的关系 .将理论分析结果与实验数据相对照 ,结果完全吻合 相似文献
11.
电四极矩是表征核电荷分布偏离球对称程度的重要参数,与核形变参量之间有着必然的联系。但一直以来只给出了电四极矩Q与轴对称形变参量β(或ε)之间的关系。文章从原子核表面在球坐标中用球谐函数展开式出发,导出了原子核电四极矩Q与三轴形变参量γ的关系,并对结果进行了讨论。 相似文献
12.
根据Sanderson电负性均衡原理,对烷烃分子中氢的平均正电荷分数、Wiener指数与折光率之间的关系进行了研究,提出了烷烃折光率的计算式n20D=aΔδH+bΔp+n′20D,计算值与实验值吻合较好 相似文献