算了,为了便于讨论,我还是找个电脑回复这件事
关于引用错误,确实是我的揣测,我肯定要揣测,毕竟如你所说,我不是当事人。但是很明显,其回复内容和我与他之间谈话内容并不一致,所以我这么揣测了。就像“=”作为符号,是否是相等的含义,我也是揣测。毕竟,诉诸权威这类做法,很好,我们日常生活也是这样。但是在做逻辑分析的时候,见各种逻辑课程中所说,诉诸权威是明显不具有很强的可靠性的。
“=”在数学上,确实很多时候是不具有相等含义的,其分水岭在具体数学和抽象数学区别中更为突出。抽象的、纯粹的数学没有U,没有R,没有单位符号,只是纯粹的数的关系,速度、路程、电压等都是物理上的定义,但是其量之间的关系也是数学的。所谓数学模型,不是指纯粹的抽象数学,虽然以其为工具。而且,具体的用物理方法求数学内容时候,比如布丰投针,这是数学吧,其能用纯粹的数学的定义么?所以在具体的应用中,π=3.14,π=3.1415926都行,谁都知道,3.14和3.1415926是不等的,纯粹数学的时候π确是一个约等关系。
相等这个含义真的很难,在具体数学中,经常要再定义。看看我们的数学课本,从小学到高等数学,都是按照抽象数学来的,其含义十分明确,一点点的不同,即使是加一个无穷小量也不能写成=,泰勒展开的时候,哪有不写省略号的情况下就写=的。但是数学建模中,只要觉得合乎要求,写个等号也没什么错。数学就是逻辑,他们属于不同的逻辑行为。抽象数学要求的是逻辑判断,最终结果是真值假值,式子本身其是一个命题。此时=符号和>、<、≥、≤、≠是一个逻辑判断集合的。而赋值含义的=则明显不属于这个集合。它表示一个定义的赋予,或者导出新的算法,这里无需给出真假。其实在1001的测量模型的例子中,我觉得第一个例子很明显不接地气。他说经常测量模型写成f(Y,x...xn)=0的方程。其实实际工作中我从来没见过谁这样写的,一般写成Y=X...Xn这样的。两者还真有区别,如果是方程,那么=就是相等关系,因为它是一个逻辑推导过程,当这个式子逻辑判断结果为真,=>另外一个式子。但是如果写成Y=X1..Xn这样的,它明显是一个结果,结果就是结果,结果你只能赋值,不能进行真假值判断。如果csln先生确说那个只有f(Y,X1..Xn)=0是测量模型,那么我觉得说测量模型中=就是相等我没话说。只不过这个形式的测量模型我没见过,咱们也没见谁真用这样形式讨论的。
这个问题在我们的计量中真的很常见。比如,
我单位去年购置了两台电能表检定装置,结果里面的软件根本和规程不配套,所以我需要再修改。问题比较突出的就是,本来已经合格的三相电能表,其核校常数结果总是错。为什么,因为大部分三相电能表精度等级是1级,MPEV=1%,而我们标准表的测量结果总是诸如1.0001度之类的结果,于是U标=1.0001度。就是因为这么个0.0001度的差值,经过计算,相对误差为9.98%。在实际工作中三相表的示值U检=1.1度非常常见。上面几个步骤就像规矩先生说的U=U0很像,如果不按照赋值的说法,就按照相等的含义,计算结果就是不合格,Δ≤MPEV这个是具体数值在比较,是逻辑判断,其≤表示<或=,当作=时,1%≤1%这个命题就是真,而9.98%≤1%作为逻辑判断,结果绝对是假。您可能说,1.0001度应该经过修约,然后再进行等值判断。但是问题在于“修约”是附加条件。如果修约和不修都对,一个=右边存在两种数值,相等就不存在唯一性了,而且学数学的时候,哪见过这个附加行为的。
赋值但是不相等的情况也经常见,就好像说两个光着身子的同卵双胞胎,他们外形特征(不是外形)可以写=,因为两者包含的集合一样。但是其是两个不同的人,你又不能写=,而且两个人外形特征也不是恒等的,一个女孩磕了一个疤,不会引起另外一个女孩的特征变化(一个是集合相等,一个是引用相等,一个是复制赋值,一个是引用赋值)。数学符号无法分清的情况下可以用不同的数学符号进一步区分,比如=就有好多种变形,我们常见的有约等、三个横线的恒等,还有按定义等,等等。但是不同的等适合不同的地方和用法,约等是不能用于等式变形的,会因为数学以外的原因造成结果错误,同理如果没有对约等精确定义,连同按定义等,其逻辑判断也不行。按定义等是可以进行等式变形的,但是只能在定义的程度上,恒等不一定就是恒 等,有时候仅仅是表示推理关系。
至于测量模型是否需要,我觉得,我们评定不确定度,一是要分清分量,还要分清不确定度来源。几个输入量几个分量,但是并非几个分量几个不确定度来源。当模型简单的时候,假设是U=U0,或者Δ=U-U·,不写大家也知道是什么,只要搞清不确定度来源就行了。csln先生说只要分析全影响分量就行了。我这个提法和以往理解不一样。首先,过去说,影响量是直接测量中不影响实际测量的,但是会影响测量示值与测量结果之间关系的量。影响分量和模型中的量还不是一回事。①很多影响量并非直接测量中的量。②分量应该是影响量的依据,有几个分量,然后考虑相应有什么影响量。③如果分析全了影响量,确实都够了,只要能知道这些影响量加入后的测量模型。否则分量不清楚情况下,各个影响量所属分量之间的关系又搞不清了。
比如同样的温湿度和气压,对长度、电阻都有影响,但是两个不同的测量模型R=ρ(l/A)和R=UI分量不同,同样作为影响量,其关系是不同的。所以对普通的直流电阻不确定度评定,和四探针的电阻率仪评定也不可能一样。
1033没有提测量模型?我们的计量技术依据明显的具有引用性,1033中提到不确定度评定引用1059了吧,1059说要建立测量模型的。 |