回归法对鲍罗米公式中A,B值的求导

新水泥胶砂的检验方法使原混凝土配合比计算中的鲍罗米公式待定系数已不能适用，根据本单位建材试验的统计资料，通过回归分析，建立了适合天津本地区的鲍罗米公式．     

最小试样量公式中k值的确定

一、前言 荡坪钨矿九龙脑矿区是以原生云英岩石英细脉带型黑钨为主的岩浆期后气化一高温热液矿床。岩矿鉴定表明,本矿石主金属矿物黑钨矿呈中细粒而以细粒为主的不均匀浸染。同时基本不含容易影响试样代表性的贵金属。但据地质报告以及对该矿区取样加工等物料制备时所采用最小试样量公式(Q=Kd~2)的系数K值均取0.7。此值与许多有关文献相比[1、2、3、4、)显然偏高。不仅物料加工量大,同时也受小型试验设备和和试验条件的限制。     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

对传统原棉计重公式的商榷

研究表明，传统原棉计重公式存在着明显的缺陷，用它所计算出来的有关数据与原棉的实际情况大相径庭，本文在对有产问题具体分析的基础上提出了新的更为科学的原计重公式。     

三值乘积逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立了条件逻辑度量空间,推导出条件伪距离的若干性质.     

对传统原棉计重公式的商榷

研究表明，传统原棉计重公式存在着明显的缺陷，用它所计算出来的有关数据与原棉的实际情况大相径庭。本文在对有关问题具体分析的基础上提出了新的更为科学的原棉计重公式。     

雨水设计流量公式推导的商榷

文中分析讨论了目前排水工程教材中在雨水管渠设计流量计算公式的推导中存在的不妥和矛盾之处，并从线性汇流理论出发对汇水面积上的汇流过程进行了分析，借助等流时线的概念并结合极限强度法的基本假定重新对公式进行了推导，使公式推导过程更加完善。     

对瓦西里耶夫牵伸分配公式的商榷

本文就苏联的瓦西里耶夫教授确定的棉纺并条机上牵伸倍数分配公式:e_1=(2E)/(E+1),e_2=(E+1)/2出商榷意见。作者认为,在生产中采用此公式确定牵伸倍致时,必须根据实际情况,加以适当修正.     

对Paris疲劳扩展公式中指数n值的探讨

本文应用真实应力强度因子的方法,推导得派利斯(Paris)公式中疲劳裂纹扩展指数n值与裂纹扩展时所对应的载荷值在循环载荷中的位置之间的关系,从而从物理意义上解释了不同的材料具有不同的n值。本文还应用声发射法进一步研究了这一关系。实验研究表明,理论推导与实验结果相吻合。复型技术曾用来观察一周加载循环中疲劳裂纹扩展的过程。其结果表明,试验中所采用的声发射法对于提供疲劳裂纹扩展的信息是灵敏和精确的。     

对摩擦力有关几个夹紧力公式的商榷

本文推导了圆柱形工件在V形块中夹紧时,单刀镗孔所需的夹紧力的公式;并指出有关文献对类似问题计算的错误。本文还就螺旋夹紧机构有关文献中计算的紊乱做了讨论。     

求表中间函数值的等距节点插值公式

针对等距节点的情形，利用Newton均差插值公式，将Newton均差值多项式中各阶均差用相应差分代替，得到了一种适合计算表中间函数值的等距节点插值公式，插值公式的建立，使得位于等距节点x0,x1,…,xn某两点之间的任意点函数值能方便地计算。     

实验值与ACI CODE 318—95公式的计算值的比较

以勒斯格理论为基础得到的ACI CODE318－95公式的计算值与实验值进行比较,进一步探讨了轴力对扭矩的影响。     

关于在微量物证分析中所用检验公式的商榷

本文改进了在微量物证分析中常用的J.Parker公式,并给出了一个实例。     

B值双鞅算子■的收敛性

应用鞅不等式及Banach空间的几何性质,讨论了当Banach空间X是p阶光滑时,取值于X上的Banach值双鞅算子的a.e.收敛性。     

开尔文公式对晶体蒸气压计算值的偏差

在本文中,作者导出了一些具有正多面体外形的晶粒的蒸气压计算公式,并讨论了开尔文公式对晶体的偏差.     

n元三值函数可由L3^＊中公式导出的充要条件

三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为{0,1/2,1}中的某个元素.{0,1/2,1}及其上定义的运算→,→构成三元MV代数,根据规定的{0,1/2,1}中元素之间运算∧,∨,→,→的特点,构造性地证明了对于给定的n元三值函数f:{0,1/2,1}n→{0,1/2,1},当且仅当f满足一定条件时,f均可由L3*中的公式导出.