首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   15682篇
  免费   1736篇
  国内免费   551篇
化学   4592篇
晶体学   16篇
力学   1077篇
综合类   92篇
数学   7074篇
物理学   5118篇
  2023年   154篇
  2022年   163篇
  2021年   309篇
  2020年   440篇
  2019年   436篇
  2018年   288篇
  2017年   334篇
  2016年   564篇
  2015年   447篇
  2014年   732篇
  2013年   1244篇
  2012年   718篇
  2011年   783篇
  2010年   700篇
  2009年   953篇
  2008年   1107篇
  2007年   1137篇
  2006年   928篇
  2005年   692篇
  2004年   581篇
  2003年   627篇
  2002年   604篇
  2001年   458篇
  2000年   480篇
  1999年   396篇
  1998年   378篇
  1997年   273篇
  1996年   222篇
  1995年   191篇
  1994年   198篇
  1993年   168篇
  1992年   159篇
  1991年   103篇
  1990年   93篇
  1989年   94篇
  1988年   105篇
  1987年   72篇
  1986年   69篇
  1985年   109篇
  1984年   84篇
  1983年   25篇
  1982年   53篇
  1981年   55篇
  1980年   55篇
  1979年   44篇
  1978年   38篇
  1977年   35篇
  1976年   31篇
  1974年   8篇
  1973年   9篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
Formal methods are becoming favorable for control and verification of safety-critical systems because of the rigorous model-based computation. Relying on an over-approximated model of the original system behaviors, formal control synthesis algorithms are not often complete, which means that a controller cannot necessarily be synthesized even if there exists one. The main result of this paper shows that, for continuous-time nonlinear systems, a sample-and-hold control strategy for a reach-and-stay specification can be synthesized whenever such a strategy exists for the same system with its dynamics perturbed by small disturbances. Control synthesis is carried out by a fixed-point algorithm that adaptively partitions the system state space into a finite number of cells. In each iteration, the reachable set from each cell after one sampling time is over-approximated within a precision determined by the bound of the disturbances. To meet such a requirement, we integrate validated high-order Taylor expansion of the system solution over one sampling period into every fixed-point iteration and provide a criterion for choosing the Taylor order and the partition precision. Two nonlinear system examples are given to illustrate the effectiveness of the proposed method.  相似文献   
2.
General Stochastic Hybrid System (SHS) are characterised by Stochastic Differential Equations (SDEs) with discontinuities and Poisson jump processes. SHS are useful in model based design of Cyber-Physical System (CPS) controllers under uncertainty. Industry standard model based design tools such as Simulink/Stateflow® are inefficient when simulating, testing, and validating SHS, because of dependence on fixed-step Euler–Maruyama (EM) integration and discontinuity detection. We present a novel efficient adaptive step-size simulation/integration technique for general SHSs modelled as a network of Stochastic Hybrid Automatons (SHAs). We propose a simulation algorithm where each SHA in the network executes synchronously with the other, at an integration step-size computed using adaptive step-size integration. Ito’ multi-dimensional lemma and the inverse sampling theorem are leveraged to compute the integration step-size by making the SDEs and Poisson jump rate integration dependent upon discontinuities. Existence and convergence analysis along with experimental results show that the proposed technique is substantially faster than Simulink/Stateflow®when simulating general SHSs.  相似文献   
3.
研究了一类具有非线性源项和粘性项的拟线性抛物型方程组的初边值问题.通过构造稳定集, 证明了此问题整体解的存在性, 并建立了解的长时间行为.同时在放松函数的适当假设条件下, 得到了初始能量非负时解的爆破性质及解的生命区间估计.  相似文献   
4.
5.
This paper investigates, in the context of discrete-time switched systems, the problem of comparison for path-complete stability certificates. We introduce and study abstract operations on path-complete graphs, called lifts, which allow us to recover previous results in a general framework. Moreover, this approach highlights the existing relations between the analytical properties of the chosen set of candidate Lyapunov functions (the template) and the admissibility of certain lifts. This provides a new methodology for the characterization of the ordering relation of path-complete Lyapunov functions criteria, when a particular template is chosen. We apply our results to specific templates, notably the sets of primal and dual copositive norms, providing new stability certificates for positive switched systems. These tools are finally illustrated with the aim of numerical examples.  相似文献   
6.
This paper deals with the asymptotic behavior of solutions to a class of non-autonomous Lamé systems modeling the physical phenomenon of isotropic elasticity. The main feature of this model is that the nonlinearity can be decomposed into a subcritical part and a critical one. We first show that the system generates a non-autonomous dynamical system, and then prove that the system has a minimal universe pullback attractor. The upper-semicontinuity of these pullback attractors is also established as the perturbation parameter of the external force tends to zero. The quasi-stability ideas developed by Chueshov and Lasiecka (2010, 2008, 2015) are used to prove the pullback asymptotic compactness of the solutions in order to overcome the difficulty caused by the critical growthness of the nonlinearity.  相似文献   
7.
A classical sampling strategy for load balancing policies is power-of-two, where any server pair is sampled with equal probability. This does not cover practical settings with assignment constraints which force non-uniform sampling. While intuition suggests that non-uniform sampling adversely impacts performance, this was only supported through simulations, and rigorous statements have remained elusive. Building on product-form distributions for redundancy systems, we prove the stochastic dominance of uniform sampling for a four-server system as well as arbitrary-size systems in light traffic.  相似文献   
8.
The spin polarization of carbon nanomaterials is crucial to design spintronic devices. In this paper, the first-principles is used to study the electronic properties of two defect asymmetric structures, Cap-(9, 0)-Def [6, 6] and Cap-(9, 0)-Def [5, 6]. We found that the ground state of Cap-(9, 0)-Def [6, 6] is sextet and the ground state of Cap-(9, 0)-Def [5, 6] is quartet, and the former has a lower energy. In addition, compared with Cap-(9, 0) CNTs, the C adatom on C30 causes spin polarization phenomenon and Cap-(9, 0)-Def [6, 6] has more spin electrons than Cap-(9, 0)-Def [5, 6] structure. Moreover, different adsorb defects reveal different electron accumulation. This finding shows that spin polarization of the asymmetric structure can be adjusted by introducing adatom defects.  相似文献   
9.
This paper is considering the problem of traveling wave solutions (TWS) for a susceptible-exposed-infectious-recovered (SEIR) epidemic model with discrete diffusion. The threshold condition for the existence and nonexistence of TWS is obtained. More specifically, such kind of solutions are governed by the threshold number ?0. We can find a critical wave speed c? if ?0 > 1, by employing the Schauder's fixed point theorem, limiting argument and two-sided Laplace transform, we confirm that there exists TWS for c > c?, while there exists no TWS for c < c?. We also obtain the nonexistence of TWS for ?0 ≤ 1. At last, we give some biological explanations from the epidemiological perspective.  相似文献   
10.
在光电子学应用中,器件性能主要取决于半导体纳米材料中的光生载流子动力学过程. 但是,受反应速率、材料表面积、材料组成等多种因素影响,描述其中的动力学过程非常具有挑战性. 模拟光生载流子动力学过程可以通过绝热分子动力学方法实现,即求解包含非绝热耦合项的含时薛定谔方程. 在众多绝热分子动力学方法中,面跳跃方法出色地平衡了计算精度和计算成本,因而成为描述半导体纳米材料中不同非绝热过程间竞争的有力工具,已被用来模拟材料中的超快动力学过程和其他复杂效应,如Janus过渡金属二硫族化合物范德华异质结中的电荷分离. 本综述通过介绍该领域代表性的理论及实验工作,阐述了光生载流子对半导体纳米材料性能的重要影响,以及面跳跃方法在描述其动力学行为中的重要作用. 由于日趋复杂的材料体系对理论工作提出了巨大的挑战,本综述重点介绍了最近用于模拟这些复杂材料的一些开创性的新方法,包括高精度的电子结构方法和与之相结合的绝热分子动力学方法.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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