全文获取类型
收费全文 | 95篇 |
免费 | 0篇 |
专业分类
教育 | 82篇 |
科学研究 | 7篇 |
综合类 | 5篇 |
信息传播 | 1篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 3篇 |
2020年 | 2篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2015年 | 2篇 |
2014年 | 4篇 |
2013年 | 6篇 |
2012年 | 4篇 |
2011年 | 5篇 |
2010年 | 3篇 |
2009年 | 6篇 |
2008年 | 4篇 |
2007年 | 5篇 |
2006年 | 5篇 |
2005年 | 3篇 |
2004年 | 2篇 |
2003年 | 5篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 1篇 |
1999年 | 5篇 |
1998年 | 1篇 |
1997年 | 2篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1992年 | 2篇 |
1991年 | 2篇 |
1989年 | 1篇 |
排序方式: 共有95条查询结果,搜索用时 15 毫秒
51.
龚雅玲 《南昌教育学院学报》2010,25(5):64-65
从数学的角度来看,domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究时象。Domain理论研究的一个重要内容是尽可能地将domain理论推广到更一般的格序结构上去。对连续偏序集进行推广,我们得到了拟连续偏序集、广义完全分配偏序集、C-偏序集、拟C-偏序集这几类弱连续偏序集,它们之间的关系值得我们分析和归纳。 相似文献
52.
53.
一般情况下,一个协议的说明会有几个不同的协议实现。大多数确定有限状态机(DFSM)在测试时假定测试的目的是证明被测实现(IUT:implementation under test)的行为等价于协议说明中定义的行为。然而,在非确定性系统(NDS)中因为存在非确定性,测试时只能证明被测实现(IUT)与给定的说明是否具有某种实现关系。一般有几种不同层次的“实现”关系,一种新的简单的方法,可检查非确定性系统中协议实现和协议说明是否满足失败偏序关系。 相似文献
54.
引入几个偏序范畴的相关概念,如链、偏序范畴之间的函子的矩阵表示等。首先解决了两个n秩偏序范畴之间函子的矩阵表示的存在性问题,其次给出了D4型Dynkin图作为偏序范畴上所有自函子的矩阵刻画。 相似文献
55.
在偏序集上定义了双Scott拓扑,并给出了偏序集上双Scott拓扑的一些性质及其刻画.对于双连续偏序集,一个凸集W∈σ(P)当且仅当驴满足命题1(1). 相似文献
56.
《佳木斯教育学院学报》2018,(3)
高校安全管理建设的未来之路该怎么走,是我们进行高校安全管理研究的首要话题。为此,首先对高校工作在经济学予以解释,在此基础上对高校安全管理管理和服务展开规整分析。在此基础上尝试建构评价系,以引起各级领导和高校安全管理工作者的思考,更好地促进高校安全管理工作的发展。 相似文献
57.
具有区间数的多目标格序决策方法研究 总被引:14,自引:1,他引:14
运用格序决策理论对区间数的排序问题进行研究,提出了一种新方法。在目前格序决策前期研究成果和以往的规范型决策研究的基础上,基于格提出了赋值函数的概念,并定义了两元素之间的“偏好距离”,然后证明了区间数构成的集合按照一定的比较规则构成一个偏序,求出区间数集(满足格序特征)中元素间的“偏好距离”该方法使用了比全序可更真实地反映决策者偏好结构的格序,它对提高决策的科学性和实用性有重要意义,最后给出了一个算例。 相似文献
58.
设F2vq是Fq上的2v维辛空间,v是一个正整数。可知F2vq中满足0≤m1≤v的所有(m1,0)型全迷向子空间按子空间的包含关系构成秩为v的有限偏序集,由此可以证明该偏序集是一致偏序的。 相似文献
59.
本文将给出n阶实方阵为泛正定阵的充要条件,并给出了线性方程组SX=b的反问题具有泛正定解的充要条件,以及解的一般形式. 相似文献
60.