首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   101502篇
  免费   2189篇
  国内免费   430篇
电工技术   973篇
综合类   2322篇
化学工业   16452篇
金属工艺   5121篇
机械仪表   3543篇
建筑科学   2838篇
矿业工程   598篇
能源动力   1787篇
轻工业   6747篇
水利工程   1453篇
石油天然气   445篇
武器工业   2篇
无线电   10259篇
一般工业技术   19281篇
冶金工业   4053篇
原子能技术   368篇
自动化技术   27879篇
  2024年   84篇
  2023年   219篇
  2022年   700篇
  2021年   923篇
  2020年   608篇
  2019年   636篇
  2018年   15065篇
  2017年   14044篇
  2016年   10747篇
  2015年   1239篇
  2014年   1036篇
  2013年   1795篇
  2012年   4257篇
  2011年   10658篇
  2010年   9148篇
  2009年   6511篇
  2008年   7635篇
  2007年   8487篇
  2006年   756篇
  2005年   1673篇
  2004年   1523篇
  2003年   1526篇
  2002年   877篇
  2001年   315篇
  2000年   397篇
  1999年   251篇
  1998年   505篇
  1997年   351篇
  1996年   293篇
  1995年   179篇
  1994年   142篇
  1993年   118篇
  1992年   77篇
  1991年   72篇
  1990年   52篇
  1989年   63篇
  1988年   54篇
  1986年   41篇
  1985年   49篇
  1984年   43篇
  1983年   38篇
  1976年   39篇
  1968年   48篇
  1966年   42篇
  1965年   45篇
  1959年   39篇
  1958年   39篇
  1957年   38篇
  1955年   64篇
  1954年   69篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
91.
In this work, we have put forth two different protocols to address a concrete secure multi-party computational (MPC) problem related to a triangle, of which the coordinates of the three vertices are confidentially kept by the three participants, respectively. The three parties wish to collaboratively compute the area of this triangle while preserving their own coordinate privacy. As one of the merits, our protocols employ weaker assumptions of the existence of pseudorandom generators. In particular, unlike massive secure MPC protocols that rely a lot on oblivious transfer, ours utilize a new computing idea called “pseudorandom-then-rounding” method to avoid this burdensome obstacle. The two protocols are based on different theorems, while they both make use of the same underlying idea. At last, we provide a detailed proof for the first protocol by a series of security reductions of our newly defined games, which seems somewhat stronger than the previous simulation-based proofs and a proof sketch for the second one. Analysis and discussion about the reasons are provided as well to round off our work.  相似文献   
92.
We focus on practical Hierarchical Identity-Based Broadcast Encryption (HIBBE) with semantic security against adaptively chosen-ciphertext attacks (CCA2) in the standard model. We achieve this goal in two steps. First, we propose a new HIBBE scheme that is secure against chosen-plaintext attacks (CPA). Compared with the existing HIBBE scheme that is built from composite-order bilinear groups, our construction is based on prime-order bilinear groups. The much better efficiency of group operations in prime-order bilinear groups makes our proposed HIBBE scheme more practical. Then, we convert it into a CCA2-secure scheme at the cost of a one-time signature. Instead of extending one user hierarchy in the Canetti–Halevi–Katz approach from CPA-secure (\(l+1\))-Hierarchical Identity-Based Encryption [(\(l+1\))-HIBE] to CCA2-secure \(l\)-HIBE, our construction merely adds one on-the-fly dummy user in the basic scheme. We formally prove the security of these two schemes in the standard model. Comprehensive theoretical analyses and experimental results demonstrate that the proposed HIBBE schemes achieve desirable performance.  相似文献   
93.
This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.  相似文献   
94.
95.
The computation of a six-dimensional density matrix is the crucial step for the evaluation of kinetic energy in electronic structure calculations. For molecules with heavy nuclei, one has to consider a very refined mesh in order to deal with the nuclear cusps. This leads to high computational time and needs huge memory for the computation of the density matrix. To reduce the computational complexity and avoid discretization errors in the approximation, we use mesh-free canonical tensor products in electronic structure calculations. In this paper, we approximate the six-dimensional density matrix in an efficient way and then compute the kinetic energy. Accuracy is examined by comparing our computed kinetic energy with the exact computation of the kinetic energy.  相似文献   
96.
97.
Asymptotic homogenization is employed assuming a sharp length scale separation between the periodic structure (fine scale) and the whole composite (coarse scale). A classical approach yields the linear elastic-type coarse scale model, where the effective elastic coefficients are computed solving fine scale periodic cell problems. We generalize the existing results by considering an arbitrary number of subphases and general periodic cell shapes. We focus on the stress jump conditions arising in the cell problems and explicitly compute the corresponding interface loads. The latter represent a key driving force to obtain nontrivial cell problems solutions whenever discontinuities of the coefficients between the host medium (matrix) and the subphases occur. The numerical simulations illustrate the geometrically induced anisotropy and foster the comparison between asymptotic homogenization and well established Eshelby based techniques. We show that the method can be routinely implemented in three dimensions and should be applied to hierarchical hard tissues whenever the precise shape and arrangement of the subphases cannot be ignored. Our numerical results are benchmarked exploiting the semi-analytical solution which holds for cylindrical aligned fibers.  相似文献   
98.
This paper studies the lateral and longitudinal path tracking control of four-wheel steering vehicles. By the introduction of virtual points, a robust and adaptive path tracking control strategy is proposed to simultaneously counteract modeling uncertainties, unexpected disturbances, and coupling effects. An adaptive model-based feedforward adaptive term and the robust integral of the sign of the error (RISE) feedback term can be used to yield an asymptotic tracking result, which improve the tracking performance and reduce the control effort. The stability of closed-loop system is analyzed using a Lyapunov-based method. Simulation results are provided to demonstrate the performance of the proposed controller under different driving conditions.  相似文献   
99.
In this paper, the resilient control under the Denial-of-Service (DoS) attack is rebuilt within the framework of Joint Directors of Laboratories (JDL) data fusion model. The JDL data fusion process is characterized by the so-called Game-in-Game approach, where decisions are made at different layers. The interactions between different JDL levels are considered which take the form of Packet Delivery Rate of the communication channel. Some criterions to judge whether the cyber defense system is able to protect the underlying control system is provided. Finally, a numerical example is proposed to verify the validity of the proposed method.  相似文献   
100.
Traditionally, model calibration is formulated as a single objective problem, where fidelity to measurements is maximized by adjusting model parameters. In such a formulation however, the model with best fidelity merely represents an optimum compromise between various forms of errors and uncertainties and thus, multiple calibrated models can be found to demonstrate comparable fidelity producing non-unique solutions. To alleviate this problem, the authors formulate model calibration as a multi-objective problem with two distinct objectives: fidelity and robustness. Herein, robustness is defined as the maximum allowable uncertainty in calibrating model parameters with which the model continues to yield acceptable agreement with measurements. The proposed approach is demonstrated through the calibration of a finite element model of a steel moment resisting frame.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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