全文获取类型
收费全文 | 3142篇 |
免费 | 704篇 |
国内免费 | 746篇 |
专业分类
化学 | 1105篇 |
晶体学 | 20篇 |
力学 | 419篇 |
综合类 | 143篇 |
数学 | 1073篇 |
物理学 | 1832篇 |
出版年
2024年 | 11篇 |
2023年 | 61篇 |
2022年 | 87篇 |
2021年 | 73篇 |
2020年 | 64篇 |
2019年 | 82篇 |
2018年 | 60篇 |
2017年 | 89篇 |
2016年 | 98篇 |
2015年 | 127篇 |
2014年 | 204篇 |
2013年 | 136篇 |
2012年 | 171篇 |
2011年 | 182篇 |
2010年 | 200篇 |
2009年 | 187篇 |
2008年 | 266篇 |
2007年 | 216篇 |
2006年 | 217篇 |
2005年 | 205篇 |
2004年 | 208篇 |
2003年 | 178篇 |
2002年 | 180篇 |
2001年 | 165篇 |
2000年 | 146篇 |
1999年 | 121篇 |
1998年 | 120篇 |
1997年 | 102篇 |
1996年 | 89篇 |
1995年 | 85篇 |
1994年 | 101篇 |
1993年 | 64篇 |
1992年 | 69篇 |
1991年 | 67篇 |
1990年 | 58篇 |
1989年 | 49篇 |
1988年 | 15篇 |
1987年 | 15篇 |
1986年 | 5篇 |
1985年 | 5篇 |
1984年 | 4篇 |
1983年 | 3篇 |
1982年 | 5篇 |
1980年 | 1篇 |
1979年 | 1篇 |
排序方式: 共有4592条查询结果,搜索用时 31 毫秒
1.
成立花 《南昌大学学报(理科版)》2020,44(2):121
给出从群G到复数域F上的一类对合三角泛函方程的一般解和Ulam-Hyers稳定性问题,得到扰动泛函方程更小的上界,最后完善相关结论。 相似文献
3.
在结构可靠性分析中,引入含可调参数的转换函数能对传统的最大熵方法进行改进,获得更高的失效概率预测精度。但是,此可调参数的最佳取值很难确定。针对这一问题,引入概率守恒方程,从功能函数转换前后所得概率密度函数出发,建立其最大熵值的变化关系,给出转换前后最大熵值之差的理论形式。通过对三种典型单调非线性转换函数开展算例研究,发现功能函数转换前后的最大熵值之差与转换函数的最佳可调参数值有关。改变可调参数值驱使最大熵值之差变化的同时,改进最大熵方法能遍历到更好的失效概率估计值。 相似文献
5.
6.
为了提高三阶WENO-Z格式在极值点处的计算精度,通过理论推导给出三阶WENO格式满足收敛精度的充分条件。采用泰勒级数展开的方式,推导给出所构造格式非线性权重的计算公式,并综合权衡计算精度和计算稳定性确定所构造格式的参数。通过两个典型的精度测试,验证了改进格式在光滑流场极值点区域逼近三阶精度。进一步选用激波与熵波相互作用和Richtmyer-Meshkov不稳定性等经典算例,证实了本文提出的改进格式WENO-PZ3相较其他格式(WENO-JS3和WENO-Z3)不仅具有较高的精度,而且降低了格式的耗散,提高了对流场结构的分辨率。 相似文献
7.
分析了跟踪抖动对湍流大气传输远场光斑的影响。基于麦克斯韦电磁场理论,采用大气相干长度对大气湍流进行描述,推导了发射光束因跟踪抖动导致光轴偏离的远场表达式。在此基础上,利用相位屏法模拟抖动引起的倾斜相位和大气折射率起伏引起的相位调制,并采用低频补偿的功率谱反演法对传输过程进行了数值仿真。分析了不同跟踪抖动、湍流强度条件下远场光斑质心脱靶量的变化,以及不同尺寸模拟目标的回波概率。分析结果表明,在传输距离为10 km时,强湍流造成的远场光斑脱靶量可达几十μrad;当跟踪抖动较大时,湍流强弱对脱靶量影响差别很小。最后,对一定尺寸的模拟目标,从探测回波概率的角度给出了发射系统跟踪抖动量的控制范围。 相似文献
8.
9.
10.
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显. 相似文献