全文获取类型
收费全文 | 37028篇 |
免费 | 1358篇 |
国内免费 | 2352篇 |
专业分类
系统科学 | 2374篇 |
丛书文集 | 1092篇 |
教育与普及 | 222篇 |
理论与方法论 | 131篇 |
现状及发展 | 280篇 |
研究方法 | 3篇 |
综合类 | 36605篇 |
自然研究 | 31篇 |
出版年
2024年 | 140篇 |
2023年 | 307篇 |
2022年 | 545篇 |
2021年 | 620篇 |
2020年 | 603篇 |
2019年 | 531篇 |
2018年 | 471篇 |
2017年 | 658篇 |
2016年 | 695篇 |
2015年 | 1101篇 |
2014年 | 1958篇 |
2013年 | 1415篇 |
2012年 | 2354篇 |
2011年 | 2357篇 |
2010年 | 1820篇 |
2009年 | 2071篇 |
2008年 | 1875篇 |
2007年 | 2473篇 |
2006年 | 2317篇 |
2005年 | 2064篇 |
2004年 | 1880篇 |
2003年 | 1574篇 |
2002年 | 1319篇 |
2001年 | 1211篇 |
2000年 | 1050篇 |
1999年 | 982篇 |
1998年 | 792篇 |
1997年 | 729篇 |
1996年 | 667篇 |
1995年 | 606篇 |
1994年 | 615篇 |
1993年 | 509篇 |
1992年 | 484篇 |
1991年 | 428篇 |
1990年 | 406篇 |
1989年 | 366篇 |
1988年 | 333篇 |
1987年 | 233篇 |
1986年 | 111篇 |
1985年 | 39篇 |
1984年 | 12篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 4篇 |
1955年 | 8篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
721.
IntroductionRecently ,theinvestigation on numerical radiative heattransfer has been focused onthe reconstruction of temperatureprofile in target space according to its boundary heat fluxgained by detectors[1 8], whichis a kind of inverse problemofradiation. Among these investigation, Li HY[1 4]hasresearched on one-di mension or two-di mension rectangular ,spherical or cylindrical medium which is absorbing ,emitting , and isotropically scattering ; Liu LH[5,6]hasresearched on the semitranspar… 相似文献
722.
优化设计是工程界较为关注的领域,阐述了ANSYS软件设计优化程序的原理及具体设计步骤,针对两个实例分别采用GUI交互式和命令流式介绍ANSYS在具体结构优化设计中的实现方法。结果表明:基于ANSYS的合理结构设计能够在满足安全性的前提下节省材料。获得很大的经济效率。相对于交互式来说。采用ANSYS程序的命令输入整个优化文件并进行优化的方法是采用计算机解决工程实际问题的简单易行、快速可靠的方法。 相似文献
723.
证明了行(或列)对称矩阵的Moore-Penrose逆与母矩阵的Moore-Penrose逆的定量关系,给出了两种快速算法。据此可大大降低一类具有该结构矩阵的Moore-Penrose逆的计算量和存储量。 相似文献
724.
725.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
726.
727.
728.
729.
应用前沿分析技术测定了二氢杨梅素印迹聚合物块的实验吸附等温线,并用Langmuir方程、Bi-Langmuir方程和Freundlich方程进行拟合,从最佳拟合求得了印迹聚合物的表面位点分布、吸附常数和饱和吸附量.测定了不同温度和不同流动相组成时分子印迹聚合物固定相的吸附等温线.结果表明:双朗格缪尔模型和福伦登里西模型均能给出较好的拟合效果.当20 ℃、四氢呋喃为流动相时,从Bi-Langmuir方程的最佳拟合参数得到第1类键合位点的键合常数和饱和吸附量分别为0.39 mL·mg-1和133.23 mg·mL-1,第2类键合位点的键合常数和饱和吸附量分别是135.07 mL·mg-1和0.071 mg·mL-1. 相似文献
730.
王建军 《江西科技师范学院学报》2006,(2):118-121
江西高等职业教育从八十年代初发展至今,取得了可喜的成绩,面对江西经济的高速发展,面对江西高等职业教育发展的新形势、新环境,及时明确江西高等职业教育的发展趋势,并采取相应的措施是非常有必要的.本文对江西省高等职业教育的发展趋势进行了分析,并提出相应的措施和对策,促进江西高等职业教育的发展. 相似文献