收费全文 | 855篇 |
免费 | 44篇 |
国内免费 | 7篇 |
电工技术 | 14篇 |
综合类 | 1篇 |
化学工业 | 141篇 |
金属工艺 | 18篇 |
机械仪表 | 22篇 |
建筑科学 | 14篇 |
能源动力 | 50篇 |
轻工业 | 77篇 |
水利工程 | 7篇 |
石油天然气 | 1篇 |
无线电 | 123篇 |
一般工业技术 | 188篇 |
冶金工业 | 83篇 |
原子能技术 | 8篇 |
自动化技术 | 159篇 |
2023年 | 9篇 |
2022年 | 33篇 |
2021年 | 36篇 |
2020年 | 28篇 |
2019年 | 30篇 |
2018年 | 42篇 |
2017年 | 43篇 |
2016年 | 46篇 |
2015年 | 33篇 |
2014年 | 39篇 |
2013年 | 58篇 |
2012年 | 41篇 |
2011年 | 38篇 |
2010年 | 32篇 |
2009年 | 36篇 |
2008年 | 40篇 |
2007年 | 37篇 |
2006年 | 24篇 |
2005年 | 17篇 |
2004年 | 7篇 |
2003年 | 9篇 |
2002年 | 14篇 |
2001年 | 8篇 |
2000年 | 15篇 |
1999年 | 8篇 |
1998年 | 13篇 |
1997年 | 19篇 |
1996年 | 17篇 |
1995年 | 8篇 |
1994年 | 6篇 |
1993年 | 14篇 |
1992年 | 4篇 |
1991年 | 15篇 |
1990年 | 3篇 |
1989年 | 3篇 |
1988年 | 5篇 |
1987年 | 3篇 |
1986年 | 7篇 |
1985年 | 9篇 |
1984年 | 8篇 |
1983年 | 8篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1980年 | 7篇 |
1979年 | 2篇 |
1978年 | 4篇 |
1977年 | 3篇 |
1976年 | 11篇 |
1974年 | 2篇 |
1972年 | 3篇 |
Model checkers frequently fail to completely verify a concurrent program, even if partial-order reduction is applied. The verification engineer is left in doubt whether the program is safe and the effort toward verifying the program is wasted. We present a technique that uses the results of such incomplete verification attempts to construct a (fair) scheduler that allows the safe execution of the partially verified concurrent program. This scheduler restricts the execution to schedules that have been proven safe (and prevents executions that were found to be erroneous). We evaluate the performance of our technique and show how it can be improved using partial-order reduction. While constraining the scheduler results in a considerable performance penalty in general, we show that in some cases our approach—somewhat surprisingly—even leads to faster executions.
相似文献Significance: The polymeric PTX nanoparticles free from the cremophor EL will help in eliminating the shortcomings of the existing delivery system as cremophor EL causes serious allergic reactions to the subjects after intravenous use.
Methods and results: Paclitaxel-loaded nanoparticles were formulated by nanoprecipitation method. The diminutive nanoparticles (143.2?nm) with uniform size throughout (polydispersity index, 0.115) and high entrapment efficiency (95.34%) were obtained by employing the Box–Behnken design for the optimization of the formulation with the aid of desirability approach-based numerical optimization technique. Optimized levels for each factor viz. polymer concentration (X1), amount of organic solvent (X2), and surfactant concentration (X3) were 0.23%, 5?ml %, and 1.13%, respectively. The results of the hemocompatibility studies confirmed the safety of PLGA-based nanoparticles for intravenous administration. Pharmacokinetic evaluations confirmed the longer retention of PTX in systemic circulation.
Conclusion: In a nutshell, the developed polymeric nanoparticle formulation of PTX precludes the inadequacy of existing PTX formulation and can be considered as superior alternative carrier system of the same. 相似文献
Diffusion plays a significant role in complex pattern formulations occurred in biological and chemical reactions. In this work, the authors study the effect of diffusion in coupled reaction-diffusion systems named the Gray-Scott model for complex pattern formation with the help of cubic B-spline quasi-interpolation (CBSQI) method and capture various formates of these patterns. The idea of Kronecker product is used first time with CBSQI method for 2D problems. Linear stability analysis of the reaction-diffusion system as well as stability of the proposed method is studied. Four test problems are considered to check the accuracy and efficiency of the method and found the stable patterns.
相似文献