分配格上的双线性方程

本文将讨论分配格L上的双线性方程A_1X=A_2X的解之构造,得到了如下结果.定理1分配格L上的双线性方程A_1X=A_2X即:)(a_(ji)∧x_i)=(b_(ji)∧x_i),j=1,2,…,m,总有解.定理2 分配格L上的双线性方程A_1X=A_2X即:a_(ji)∧x_i)=b_(ji)∧x_i),j=1,2,…,m_1的解集为:上面结果所要求的条件仅是背景格为分配格,这是文[2],[3],[4]的推广.     

交换环上的线性方程组可解的一个充分条件

<正> 本文R始终表示有单位元的交换环。我们考虑系数在R中的线性方程组AX=B (1)在R上可解的条件,这里A=(a_(ij))是一个m×n矩阵,X=(x_1,…,x_n)~t,B=(b_1,…,b_m)~t。如果m>n,可以引入变量x_(n+1),…,x_m及a_(ij)=0(1≤i≤m,n+1≤j≤m)。因此,不失一般性,我们总可以假定m≤n。关于线性方程组AX=B有解的充分条件,文献[1]、[2]、[3]中针对一些     

Ms—的一个算法

设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1 a_2x_2 … a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中k_i(i=1,2,…,s)是使等式 a_ik_i=a_1x_(1i) …a_(i-1)x_((i-1),i)i a_(i 1)x_((i 1),i) … a_sx_(si),x_(1i)≥0,…,x_((i-1),i)≥0,x_((i 1),i)≥0,…,x_(si)≥0成立的最小正整数。并通过h_i的确定,给出M_s的一个算法。     

一些在亚贝尔群上与多项式相联系的函数方程(Ⅰ)

在亚贝尔群上得到函数方程f_3(x_1+x_2+x_3)-[f_(21)(x_1+x_2)+f_(22)(x_1+x_2)+f_(23)(x_2+x_3)]+f_(11)(x_1)+f_(12)(x_2)_f_(13)(x_3)=0和f(x_1+x_2+…+x_n)-sum from i=1 to (n-1)sum from j=2 to n f_(ij)(x_i+x_j)+sum from i=1 to n f_i(x_i)=0的一般解。     

关于微分方程的解对部分变元的稳定性

本文对部分变元考察微分方程的零解的稳定性.建立四个关于部分变元的稳定性,渐近稳定性和全局渐近稳定性的定理.§1.基本定义考虑扰动运动微分方程组(?)x_i=X_i(t,x_1,…,x_n)(i=1,…,n)或写成向量形式(?)=X(t,x),X(t,0)≡0 (1)我们研究未被扰动运动x=0关于部分变元x_1,…,x_m(m>0,n=m p,p≥0)的稳定性问题.为简单起见,记y_i=x_i(i=1,…,m),z_j=x_(? j)(j=1,…,n-m=p),即x=(y_1,…,     

中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

关于一类非驻定系统的稳定性

本文在常值矩阵 A=(a_(ij))以零为 r 重特征根,其余根均有负实部条件下讨论了非驻定系统 dx/dt=sum.from to j=1(a_(ij)x_j+f_i(t,x_1,…,x_n))零解的稳定问题,得到了判断该系零解为稳定或不稳定的充分条件。     

定义在多重互素GCD封闭集上Smith矩阵行列式的整除性

设f为算术函数,S={x_1,x_2,…,x_n}是由n个不同的正整数构成的集合.用(f(S))=(f(x_i,x_j)(1≤i,j≤n)表示一个n阶方阵,其i行j列处的元素为f在x_i和x_j的最大公因子(x_i,x_j)处的取值.用(f[S])=(f[x_i,x_j])(1≤i,j≤n)表示另一个n阶方阵,其i行j列处的元素为f在x_i和x_j的最小公倍数[x_i,x_j]处的取值.设h为正整数,如果S可划分为■,其中S_i(1≤i≤h)为最大公因子封闭集,且满足1≤i≠j≤h,(lcm(S_i),lcm(S_j))=1,则称S为多重互素最大公因子封闭集.给出定义在多重互素最大公因子封闭集上Smith矩阵(f(S))与Smith矩阵(f[S])行列式之间的关系.     

线性最小二乘拟合问题的一个算法

一、引言 设给定x_i i=1,2…m,x_i∈[a,b]及此m个点上数据资料f_i i=1,2,…,m,寻求一函数φ(x)=sum from j=1 to n (α_jφ_j(x)),使sum from i=1 to m(ω(x_i)r_i~2)=sum from i=1 to m(ω(x_i))(f_i-(x)=sum from j=1 to n (α_jφ_j(x_i))~2达到最小,此即是带权ω(x)的线性最小二乘问题,其中ω(x)在[a,b]上定义,α_j是拟合系数,n是拟合阶数。     

多项式根的k次方之和的新解法

若xj(j=1 ,2 ,… ,n)是n次方程a_nx~n+a_(n -1) x~(n -1) +… +a_1 x +a_0 =0的n个根 ,将给出一种求这n个根x_1 ,x_2 ,… ,x_n 的k次方之和sum from i=1 to n(x_i~k)的新方法。     

农药残留控制和管理现状及发展趋势

围绕农产品中的农药残留问题,介绍了我国和国外主要发达国家农药残留控制和管理现状及发展趋势,分析了我国在相关监管方面存在的问题,提出了我国农药残留和安全管理工作的发展方向和工作重点.     

论留数与定积分的关系--兼谈发散性思维在数学分析中的应用

利用复积分中的留数计算三角有理函数的定积分．     

残数在定积分中的应用

残数理论是复积分和复级数理论相结合的产物,除供计算积分的新方法外,本身也是复变函数论的重要理论,尤其是它在实际问题中的应用,更是不可忽视。本文着重介绍某些类型的实积分的应用,从解法入手,并分别给出实例。     

孤立奇点处留数的计算方法

通过对函数 f(z)在∞点留数的计算,求解函数 f(z)在某区域内含有有限个孤立奇点时的积分值,为有理函数 f(z)在∞点的留数计算提供了一个非常简洁的方法.     

常武地区土壤中六六六、DDT的残留状况及残留规律

作者测定了1984.3—1985.1江苏常州及武进县土壤中六六六、DDT农药的平均残留浓度分别为109.4ppb,154。3ppb,并报道了它们在表层土壤及剖面层的残留规律;发现β—六六六的残留指数与土壤pH呈正相关。与土壤有机质呈负相关。同时估算了该地区土壤中六六六的残留浓度在6.2—12.3年后可下降到20ppb以下。     

共沉淀富集法测定铁渣、钴渣、铜渣中的微量铅

研究了以锆作捕集剂,用共沉淀捕集分离,用原子吸收分光光度法测定铅的方法。实验结果表明,在ｐＨ为８．５～１０,甚至在过量氨的溶液中,均能定量捕集铅;捕集剂锆的用量为２～６ｍｇ均可。本法适用于测定铁渣、钴渣和铜渣中铅含量为０．００１％～０．０５％的试样。在实验条件下,铅的回收率为９８％～１０４％,对不同含量的试样测定的结果表明,其变异系数为０．９５％～２．２５％。     

农药残留检测新技术研究进展

伴随人们对食品和环境中农药残留污染问题的高度重视,农药残留的检测技术也快速发展.综述了样品前处理方法及农药残留分析检测技术,对近年来出现的一些新技术和新动态作了简要介绍,总结了农药残留检测技术的发展趋势,以期为农药残留分析检测技术的完善与发展提供一定的参考.     

分配格L上矩阵方程AX=B的解

设L是分配略,本文给出了L上的矩阵方程AX=B即方程组金(?)之解的求法,以及该方程有解的一个充要条件。     

关于二次剩余的q模拟

设P为奇素数,a为正整数且Pa．本文证明了qa-1(q16a;q16a)(p-1)/2/(q16;q16)(p-1)/2≡(a/p)(mod[p]q),其中(x;q)n=(1-x)(1-xq)…(1-xqn-1),[p]q=1 q … qp-1,(a/p)为Legendre符号．