共查询到20条相似文献,搜索用时 78 毫秒
1.
2.
3.
建立了顺序集合套的范畴OSEB,并证明了该范畴有平衡器,有限积,最终元,Exponentials和Subobjectclassifiers等Topos性质.因此,范畴OSEB是一个Topos 相似文献
4.
5.
王加林 《长春师范学院学报》2006,25(1):95-97
英语关系分句是中国学生习得的一个难点,将英语关系分句按其语法功能分为四种:主主,主宾,宾宾,宾主。从大学生四六级英语中文语料库中得出的关系分句数据分析,对二语习得理论中的两个假设—平行功能假设和感觉难度假设进行了论证,进一步确定了中国大学生在习得及应用这四种关系分句的顺序,同时研究表明嵌入是影响语言理解和语言习得的一个重要因素。 相似文献
6.
类的测试顺序对于面向对象的集成测试有着重要的作用.在基于对象关系图(ORD)的测试顺序生成方法上,改进了对象关系图,结合设计模式提出了对象模式关系图(OMRD),并在对象模式关系图的基础上提出了基于对象模式关系图的测试顺序生成方法.基于对象模式关系图的测试顺序生成方法能在一定程度上解决基于对象关系图的测试顺序生成方法所存在的不足. 相似文献
7.
为了研究篮球跳投动作中各肌肉的激发顺序和用力大小,采用表面肌电仪和SONY摄像机同步记录了篮球运动员完成原地跳投动作时上下肢肌的表面肌电信号,观察了定量运动训练时肌肉的疲劳情况.结果表明:跳投动作上下肢肌肌电活动开始与结束的激发顺序各不相同,在整个跳投动作中,腓肠肌后段在各组中作用最大,其次是手伸肌群和肱三头肌;上肢肌群比下肢肌群的作用大.结论验证了“用力顺序”是“自下而上”的观点;运用肌电技术的研究方法能够准确测试篮球运动中各肌肉的激发顺序和作用大小. 相似文献
8.
9.
以电机顺序启动和顺序停止为例,采用顺序控制设计法编写其控制程序。通过编程结果可以看出,采用顺序控制设计法编制该程序,具有简单直观、易于修改和阅读等特点,提高了设计效率,缩短了设计周期。 相似文献
10.
本文研究了有限集合A到A上的具有传递性质的二元关系R的关系矩阵MR的特征,并介绍了如何关系R的关系矩阵MR来判定关系R是不否具有传递性,以及如何从关系R的关系矩阵MR来求关系R的传递闭包的方法。 相似文献
11.
12.
丁芳清 《合肥学院学报(自然科学版)》2007,17(1):9-10
设{,ξ1ξ,…,nξ,n≥1}是一随机序列,且{nξ,n≥1}<.ξ利用鞅差序列几乎处处收敛定理,给出受控随机序列的若干强大数定律. 相似文献
13.
14.
两两NQD序列的研究已有数十年,根据吴群英对两两NQD序列收敛性质,利用Kronecker引理和三级数定理证明了一个更一般性的收敛定理,并加以推广应用,得到两个相关推论,从而推广了两两NQD序列的强大数定律. 相似文献
15.
回采顺序是采矿工程的重要研究内容之一,合理的回采顺序对采场稳定性和采场生产能力有重要影响.针对老厂13-8#矿群多层矿体的赋存特点和开采技术条件,采用3Dmine-MIDAS/GTS-FLAC3D耦合的数值模拟方法,对多层矿体回采顺序进行数值模拟,提出了4种回采顺序优化方案:下向下行式、下向上行式、上向下行式、上向上行式,并从应力场、位移场、塑性区3方面综合考虑,得到了4种回采顺序优化方案的模拟结果;运用基于指标满意度的多指标综合评价模型对模拟结果进行满意度分析.结果表明,4种回采顺序优化方案的多指标综合满意度分别为0.684,0.641,0.653和0.683.其中,上向上行式开采方式的满意度为0.683,因此,上向上行式开采在理论上可行. 相似文献
16.
蕴含W5可图序列的最小度和 总被引:2,自引:0,他引:2
Gould,Jacobson和Lehel考虑了下述经典Tur偄n型极值问题的变形:对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π有一个实现G包含H作为可图的.本文确定了当n≥11时,σ(W5,n)之值,其中Wr是r个顶点的轮图. 相似文献
17.
蕴含K1,1,3的正可图序列的最小度和 总被引:3,自引:0,他引:3
尹建华 《海南大学学报(自然科学版)》2004,22(3):200-204
Gould R J等人考虑了下述经典Turán型极值问题的变形对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项正可图序列π=(d1,d2,...,dn),当σ(π)=d1+d2+...+dn≥σ(H,n)时,π有一个实现G以H作为子图.本文完全确定了σ(K1,1,3,n)之值,其中Kr,s,t是r×s×t完全三部图. 相似文献
18.
刘卫锋 《郑州大学学报(自然科学版)》2013,(2):41-44,89
针对传统灰色关联度模型只能适用于实数序列而不能应用于区间灰数序列的情况,以区间灰数序列中对应区间灰数的距离之和作为两区间灰数序列的关联度,构造了广义区间灰数关联度模型,包括适用于具有相同量纲的系统行为序列的区间灰数绝对关联度、适用于具有不同量纲的系统行为序列的区间灰数相对关联度,以及综合考虑区间灰数绝对关联度和区间灰数相对关联度的区间灰数综合关联度,并对它们的性质进行了初步研究.最后,通过实例说明了广义区间灰数关联度模型的计算过程与可行性. 相似文献
19.
结构元线性生成的模糊数列极限与级数收敛性 总被引:7,自引:0,他引:7
定义了一种基于结构元线性生成的模糊数的距离,在此基础上研究了模糊数序列极限、模糊数项级数,同时给出了相关性质及定理的证明,并把模糊数与实数有机地联系起来,得到了一些类似于实数绝对值、实数序列极限、实数项级数收敛发散的性质。 相似文献
20.
图的度序列与Laplace谱半径 总被引:1,自引:0,他引:1
黄晓农 《河北师范大学学报(自然科学版)》2002,26(6):561-563
给出了图的度序列不等式和图的Laplace谱半径的界,并且得到了其相应的极图。 相似文献