全文获取类型
收费全文 | 311篇 |
免费 | 8篇 |
国内免费 | 20篇 |
专业分类
系统科学 | 23篇 |
丛书文集 | 7篇 |
教育与普及 | 6篇 |
理论与方法论 | 5篇 |
现状及发展 | 10篇 |
综合类 | 288篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 8篇 |
2021年 | 1篇 |
2020年 | 4篇 |
2019年 | 4篇 |
2018年 | 1篇 |
2016年 | 6篇 |
2015年 | 7篇 |
2014年 | 14篇 |
2013年 | 12篇 |
2012年 | 17篇 |
2011年 | 14篇 |
2010年 | 11篇 |
2009年 | 22篇 |
2008年 | 38篇 |
2007年 | 24篇 |
2006年 | 19篇 |
2005年 | 14篇 |
2004年 | 12篇 |
2003年 | 11篇 |
2002年 | 12篇 |
2001年 | 9篇 |
2000年 | 5篇 |
1999年 | 7篇 |
1998年 | 10篇 |
1997年 | 11篇 |
1996年 | 7篇 |
1995年 | 7篇 |
1994年 | 7篇 |
1993年 | 5篇 |
1992年 | 4篇 |
1991年 | 3篇 |
1989年 | 4篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有339条查询结果,搜索用时 15 毫秒
41.
为改善Internet流量自相似等突发特征给网络性能带来的影响,提出了一种适合自相似突发流量的有损分形整形器的数学模型,分析了有损分形整形器的队列长度与延迟等性能,讨论了有损分形整形器的引入对端到端延迟、数据丢失总数以及平均包丢失率等的影响,得到了各性能指标上界与流量自相似参数的关系,给出了允许最大平均包丢失率下的最小缓存容量.这对基于分形整形器的拥塞和流量控制策略的评价、分形整形器自身参数的设计具有参考作用. 相似文献
42.
刘发贵 《华南理工大学学报(自然科学版)》1999,27(6):75-78
为了实现基于文献(1)的机器发现系统,本文介绍了基于证明分析的机器发现系统的实现技术,并且给出了该系统做出的一些数学再发现例子,从而得一实用的机器发现系统。 相似文献
43.
探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现它的基本操作,进而实现其它复杂的等值演算。 相似文献
44.
科研的有力工具——Mathematica 总被引:3,自引:2,他引:1
倪致祥 《阜阳师范学院学报(自然科学版)》2005,22(2):7-10
介绍了Mathematica的特点、功能和使用方法. 相似文献
45.
研究了精化调和Rayleigh—Ritz过程中的近似特征值选取的问题.一般地。精化调和Ritz对在求解子空间中具有残量最小的最优性。因此在它们张成的子空间中应含有想求的特征向量的更丰富的信息,从而在此子空间上计算的调和Ritz值应该更准确.本正是从这一指导思想出发,研究如何求矩阵A在精化调和Ritz向量所张成的子空间上的调和Rit值θi.对Krylov子空间,建立了θi和调和Ritz值间的一个先验估计式,同时给出了用θi作为近似特征值的精化调和Arnoldi算法。最后的数值结果表明新的算法的有效性. 相似文献
46.
林惠民 《中国科学(E辑)》1999,29(5):452-463
提出带递归π-演算观察等价的推理系统,并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成,其断言采用条件等式的形式,直接刻画了进程项之间的符号互模拟关系。 相似文献
47.
提出符号迁移图作为π-演算进程直观而高效的表示模型,并给出了符号迁移图我种版本的早操作语义,在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ-循环和τ-边消去定理。最后给出了关于强/弱早互模拟等价和早观察同余的符号验证算法,并证明了其正确性。 相似文献
48.
李未 《中国科学(E辑)》2002,32(5):662-673
在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性. 相似文献
49.
50.
离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性. 相似文献