广义有限表现模

本文首先引进了广义有限表现模的概念,然后给出了广义有限表现模的结构定理(定理1.3),进而利用广义有限表现模的有限表现维数刻划了凝聚环(推论1.5,定理1.8),最后讨论了广义有限表现模的对偶模以及平坦模的投射性。     

生成可用周期序列的直接法

提出一种生成可用周期序列的直接方法,采用此法,只要根据一个可用周期序列中元素的位置即可直接生成多个相同周期的可用序列及相应的位置组合,或根据二、三个短周期可用序列即可生成数十个长周期的可用序列,此法对长周期序列尤为适用,效率比以往的方法可提高数十倍。     

关于方程y＇=f(x,y)解存在的一个定理

本文证明了在以下条件: 若f(x,y)是区域D:|x-x_0|≤a,|y-y_0|≤b上的函数,并且|f(x,y)|≤M,当固定x,y∈[y_0-b,y_0+b]时,f(x,y)是y的左连续递增涵数;当固定y,x∈[x_0-a,x_0+a]时,f(x,y)是x的递增涵数时,那么(E)在(?){a,b/M}上有递增函数解。     

综采工作面高产途径探讨

本文探讨我国综采现状和制约单产提高的因素,分析综采面生产能力及回采工序对生产能力的影响,得出高产可能达到的产量指标,针对现有综采设备提出高产的主要措施。     

叙列空间上的三级绝对连续函数

给出了叙列空间上的三级绝对连续函数和三级强、弱绝对连续函数概念,并讨论了几种取值于叙列空间上的抽象函数间及相应的通常绝对连续函数间的关系。     

多个区间上平稳序列的最大值及最小值

在条件D(υ_n,u_n),D′ (υ_n,u_n)下,本文将平稳序列的最大值与最小值的渐近独立性推广到有限个不相交区间上,得到定理 {ξ_n}为平稳序列,满足D(υ_n,u_n),D′(υ_n,u_n),u_n=x/a_x+b_x,υ_n=-y/c_n+d_n,a_n>0,c_n>0,J=(α_in,β_in,),i=1,2,…,s,0≤α_1<β_1≤α_2<β_2≤…≤α_n<β_n<∞.如果P(α_n(M_n-b_n)≤x,c_n(M_n-d_n)>-y)→G(x,y)     

微处理器指令译码功能测试的连环验证法

提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。     

拟压缩映射序列和广义Ishikawa迭代

在凸度量空间内,对拟压缩映射序列定义广义Ishikawa迭代序列·证明了广义Ishikawa迭代序列收敛于拟压缩映射序列的唯一公共不动点.     

线性模型中误差分布的基于L1估计的相合核估计

线性模型ｙｉ＝ｘｉ＇β＋ｅｉ，ｉ＝１，…，ｎ，的误差序列｛ｅｉ｝ｉ＾ｎ＝１有未知密度ｆ（ｘ）。本文在一定条件下证明了ｆ（ｘ）的核估计ｆｎ（ｘ）＝１／ｎａｎ∑＾ｎｉ＝１ｋ（ｅｎｉ－ｘ／ａｎ）的弱相合性，逐点强相合性，一致强相合性，其中ｅｎｉ为Ｌ１估计的残差。