首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   15247篇
  免费   1129篇
  国内免费   872篇
化学   236篇
晶体学   2篇
力学   1594篇
综合类   194篇
数学   13899篇
物理学   1323篇
  2024年   33篇
  2023年   148篇
  2022年   192篇
  2021年   223篇
  2020年   342篇
  2019年   346篇
  2018年   393篇
  2017年   407篇
  2016年   402篇
  2015年   287篇
  2014年   645篇
  2013年   1203篇
  2012年   696篇
  2011年   808篇
  2010年   731篇
  2009年   984篇
  2008年   1024篇
  2007年   1071篇
  2006年   947篇
  2005年   739篇
  2004年   624篇
  2003年   709篇
  2002年   614篇
  2001年   460篇
  2000年   470篇
  1999年   416篇
  1998年   394篇
  1997年   358篇
  1996年   270篇
  1995年   218篇
  1994年   152篇
  1993年   131篇
  1992年   126篇
  1991年   110篇
  1990年   82篇
  1989年   46篇
  1988年   44篇
  1987年   46篇
  1986年   43篇
  1985年   61篇
  1984年   59篇
  1983年   29篇
  1982年   34篇
  1981年   29篇
  1980年   21篇
  1979年   23篇
  1978年   18篇
  1977年   16篇
  1976年   11篇
  1936年   3篇
排序方式: 共有10000条查询结果,搜索用时 187 毫秒
1.
2.
3.
4.
5.
6.
Cavitation erosion is caused in solids exposed to strong pressure waves developing in an adjacent fluid field. The knowledge of the transient distribution of stresses in the solid is important to understand the cause of damaging by comparisons with breaking points of the material. The modeling of this problem requires the coupling of the models for the fluid and the solid. For this purpose, we use a strategy based on the solution of coupled Riemann problems that has been originally developed for the coupling of 2 fluids. This concept is exemplified for the coupling of a linear elastic structure with an ideal gas. The coupling procedure relies on the solution of a nonlinear equation. Existence and uniqueness of the solution is proven. The coupling conditions are validated by means of quasi‐1D problems for which an explicit solution can be determined. For a more realistic scenario, a 2D application is considered where in a compressible single fluid, a hot gas bubble at low pressure collapses in a cold gas at high pressure near an adjacent structure.  相似文献   
7.
Erosion and sediments transport processes have a great impact on industrial structures and on water quality. Despite its limitations, the Saint‐Venant‐Exner system is still (and for sure for some years) widely used in industrial codes to model the bedload sediment transport. In practice, its numerical resolution is mostly handled by a splitting technique that allows a weak coupling between hydraulic and morphodynamic distinct softwares but may suffer from important stability issues. In recent works, many authors proposed alternative methods based on a strong coupling that cure this problem but are not so trivial to implement in an industrial context. In this work, we then pursue 2 objectives. First, we propose a very simple scheme based on an approximate Riemann solver, respecting the strong coupling framework, and we demonstrate its stability and accuracy through a number of numerical test cases. However, second, we reinterpret our scheme as a splitting technique and we extend the purpose to propose what should be the minimal coupling that ensures the stability of the global numerical process in industrial codes, at least, when dealing with collocated finite volume method. The resulting splitting method is, up to our knowledge, the only one for which stability properties are fully demonstrated.  相似文献   
8.
9.
The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.  相似文献   
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号