全文获取类型
收费全文 | 419篇 |
免费 | 46篇 |
国内免费 | 49篇 |
专业分类
化学 | 17篇 |
力学 | 9篇 |
综合类 | 21篇 |
数学 | 443篇 |
物理学 | 24篇 |
出版年
2024年 | 5篇 |
2023年 | 9篇 |
2022年 | 11篇 |
2021年 | 15篇 |
2020年 | 7篇 |
2019年 | 19篇 |
2018年 | 3篇 |
2017年 | 19篇 |
2016年 | 10篇 |
2015年 | 18篇 |
2014年 | 24篇 |
2013年 | 14篇 |
2012年 | 15篇 |
2011年 | 14篇 |
2010年 | 25篇 |
2009年 | 16篇 |
2008年 | 26篇 |
2007年 | 24篇 |
2006年 | 16篇 |
2005年 | 24篇 |
2004年 | 19篇 |
2003年 | 19篇 |
2002年 | 17篇 |
2001年 | 23篇 |
2000年 | 21篇 |
1999年 | 14篇 |
1998年 | 13篇 |
1997年 | 9篇 |
1996年 | 9篇 |
1995年 | 8篇 |
1994年 | 12篇 |
1993年 | 12篇 |
1992年 | 7篇 |
1991年 | 11篇 |
1990年 | 3篇 |
1989年 | 3篇 |
排序方式: 共有514条查询结果,搜索用时 46 毫秒
1.
设自然数n≥5,X_n={1,2,…,n},并赋予自然数的大小顺序,令H(SPO_n,r)=SPO_n∪L(n,r)(5≤n,2≤r≤n-3)是X_n上的全相似部分保序变换半群.得到全相似保序变换半群H(SPO_n,r)的秩为■. 相似文献
2.
玻尔兹曼方程作为空气动理学中最基本的方程之一,是连接微观牛顿力学和宏观连续介质力学的重要桥梁.该方程描述了一个由大量粒子组成的复杂系统的非平衡态时间演化:除了基本的输运项,其最重要的特性是粒子间的相互碰撞由一个高维,非局部且非线性的积分算子来描述,从而给玻尔兹曼方程的数值求解带来非常大的挑战.在过去的二十年间,基于傅里叶级数的谱方法成为了数值求解玻尔兹曼方程的一种很受欢迎且有效的确定性算法.这主要归功于谱方法的高精度及它可以被快速傅里叶变换加速的特质.本文将回顾玻尔兹曼方程的傅里叶谱方法,具体包括方法的导出,稳定性和收敛性分析,快速算法,以及在一大类基于碰撞的空气动理学方程中的推广. 相似文献
3.
4.
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显. 相似文献
5.
信赖域法是一种保证全局收敛性的优化算法,为避免Hessian矩阵的计算,基于拟牛顿校正公式构造了求解带线性等式约束的非线性规划问题的截断拟牛顿型信赖域法.首先给出了截断拟牛顿型信赖域法的构造过程及具体步骤;然后针对随机用户均衡模型中变量和约束的特点对算法进行了修正,并将多种拟牛顿校正公式下所得结果与牛顿型信赖域法的结果进行了比较,结果发现基于对称秩1校正公式的信赖域法更为合适.最后基于数值算例结果得到了一些在算法编程过程中的重要结论,对其它形式信赖域法的编程实现具有一定的参考意义. 相似文献
6.
设X_n={1,2,…,n}并赋予自然数序,MCK_n是X_n上核具有连续横截面保序或反序变换所构成的半群.K_n是MCK_n的最大正则子半群.本文将考虑K_n的理想K(n,r)={α∈K_n:|im(α)|≤r}(3≤r≤n-1).证明了K(n,r)的秩为(n-r+1)(n-r+2)(n-r+3)/6. 相似文献
7.
8.
9.
《数学的实践与认识》2015,(14)
设S={1,2,…,n},P(n)是由S的所有划分组成的集合.对于π,σ∈P(n),如果π中的每个块包含在σ的一个块里,就定义π≤σ,那么P(n)作成一个格.如果M(n,k)是由S的所有k部划分组成的集合,而L(n,k)是由M(n,k)生成的格.在P(n)和L(n,k)中,给出M(o|¨)bius函数,并且确定了特征多项式和秩生成函数的表示式. 相似文献