关于方程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}上有递增函数解。     

综采工作面高产途径探讨

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

一种新颖的多点会议电视联网方案

本文介绍了一种新的多点会议电视联网方案。它使用了总线式联网控制方案,该方案采用树状网络结构,会议过程由网络中的任意一个指定的会场进行控制。与已有的方案相比,它的特点是容量大、组网方便和控制灵活。它既可以满足召开电视会议的一般要求,又能节省图像的传输信道。在对图像质量和效据率要求较高的场合(例如8.448Mb/s,2.048Mb/s和384kb/s)下,其优点尤为突出。     

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

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

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

在条件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估计的相合核估计

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

核酸序列的模糊聚类与分子进化

将核酸序列(编码区)分成几类,求出每类的平均信息参数(D_L),用模糊聚类的方法研究它们的相似性和同源性,求出各级相似分岔值并导出动态聚类图.证明了短程相似分岔与序列进化有明显的相性,即L=2-5的一级相似分岔值与物种出现地质年代的对数保持较好的线性关系.     

由氨基酸序列预测蛋白质二级结构的进一步研究

本文在工作[1][2]的基础上进一步研究了蛋白质二级结构的经验预测,着重讨论了如何制定预测规则的问题,并将预测工作计算机化.在蛋白质资料库中随机选取了21个蛋白质(3296残基)进行预测,正确率对α螺旋和β折迭分别为84.4%和81.9%.