首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   74880篇
  免费   9278篇
  国内免费   3882篇
电工技术   3104篇
技术理论   2篇
综合类   4777篇
化学工业   16458篇
金属工艺   2698篇
机械仪表   2917篇
建筑科学   6021篇
矿业工程   1943篇
能源动力   1503篇
轻工业   7011篇
水利工程   1410篇
石油天然气   2019篇
武器工业   456篇
无线电   6818篇
一般工业技术   7566篇
冶金工业   3863篇
原子能技术   729篇
自动化技术   18745篇
  2024年   316篇
  2023年   1435篇
  2022年   4098篇
  2021年   4483篇
  2020年   2406篇
  2019年   2391篇
  2018年   2526篇
  2017年   3180篇
  2016年   4394篇
  2015年   4863篇
  2014年   5414篇
  2013年   5598篇
  2012年   4250篇
  2011年   3826篇
  2010年   3254篇
  2009年   3347篇
  2008年   3408篇
  2007年   4636篇
  2006年   4557篇
  2005年   3902篇
  2004年   2767篇
  2003年   2605篇
  2002年   2126篇
  2001年   1463篇
  2000年   1266篇
  1999年   940篇
  1998年   622篇
  1997年   505篇
  1996年   459篇
  1995年   390篇
  1994年   392篇
  1993年   288篇
  1992年   237篇
  1991年   190篇
  1990年   200篇
  1989年   161篇
  1988年   100篇
  1987年   85篇
  1986年   84篇
  1985年   90篇
  1984年   95篇
  1983年   68篇
  1982年   58篇
  1981年   47篇
  1980年   60篇
  1966年   33篇
  1964年   35篇
  1962年   65篇
  1959年   28篇
  1955年   30篇
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
High dimensionality in real-world multi-reservoir systems greatly hinders the application and popularity of evolutionary algorithms, especially for systems with heterogeneous units. An efficient hierarchical optimization framework is presented for search space reduction, determining the best water distributions, not only between cascade reservoirs, but also among different types of hydropower units. The framework is applied to the Three Gorges Project (TGP) system and the results demonstrate that the difficulties of multi-reservoir optimization caused by high dimensionality can be effectively solved by the proposed hierarchical method. For the day studied, power output could be increased by 6.79 GWh using an optimal decision with the same amount of water actually used; while the same amount of power could be generated with 2.59 × 107 m3 less water compared to the historical policy. The methodology proposed is general in that it can be used for other reservoir systems and other types of heterogeneous unit generators.  相似文献   
2.
The effect of SO2 gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH3) over a TiO2 photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO2 (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO2 gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N2 adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.  相似文献   
3.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.  相似文献   
4.
5.
6.
High‐performance adhesives require mechanical properties tuned to demands of the surroundings. A mismatch in stiffness between substrate and adhesive leads to stress concentrations and fracture when the bonding is subjected to mechanical load. Balancing material strength versus ductility, as well as considering the relationship between adhesive modulus and substrate modulus, creates stronger joints. However, a detailed understanding of how these properties interplay is lacking. Here, a biomimetic terpolymer is altered systematically to identify regions of optimal bonding. Mechanical properties of these terpolymers are tailored by controlling the amount of a methyl methacrylate stiff monomer versus a similar monomer containing flexible poly(ethylene glycol) chains. Dopamine methacrylamide, the cross‐linking monomer, is a catechol moiety analogous to 3,4‐dihydroxyphenylalanine, a key component in the adhesive proteins of marine mussels. Bulk adhesion of this family of terpolymers is tested on metal and plastic substrates. Incorporating higher amounts of poly(ethylene glycol) into the terpolymer introduces flexibility and ductility. By taking a systematic approach to polymer design, the region in which material strength and ductility are balanced in relation to the substrate modulus is found, thereby yielding the most robust joints.  相似文献   
7.
Sea lice threaten the welfare of farmed Atlantic salmon and the sustainability of fish farming across the world. Chemical treatments are the major method of control but drug resistance means that alternatives are urgently needed. Selective breeding can be a cheap and effective alternative. Here, we combine experimental trials and diagnostics to provide a practical protocol for quantifying resistance to sea lice. We then combined quantitative genetics with epidemiological modelling to make the first prediction of the response to selection, quantified in terms of reduced need for chemical treatments. We infected over 1400 young fish with Lepeophtheirus salmonis, the most important species in the Northern Hemisphere. Mechanisms of resistance were expressed early in infection. Consequently, the number of lice per fish and the ranking of families were very similar at 7 and 17 days post infection, providing a stable window for assessing susceptibility to infection. The heritability of lice numbers within this time window was moderately high at 0.3, confirming that selective breeding is viable. We combined an epidemiological model of sea lice infection and control on a salmon farm with genetic variation in susceptibility among individuals. We simulated 10 generations of selective breeding and examined the frequency of treatments needed to control infection. Our model predicted that substantially fewer chemical treatments are needed to control lice outbreaks in selected populations and chemical treatment could be unnecessary after 10 generations of selection. Selective breeding for sea lice resistance should reduce the impact of sea lice on fish health and thus substantially improve the sustainability of Atlantic salmon production.  相似文献   
8.
An equiatomic CoCrFeNiMn high-entropy alloy was synthesized by mechanical alloying (MA) and spark plasma sintering (SPS). During MA, a solid solution with refined microstructure of 10 nm which consists of a FCC phase and a BCC phase was formed. After SPS consolidation, only one FCC phase can be detected in the HEA bulks. The as-sintered bulks exhibit high compressive strength of 1987 MPa. An interesting magnetic transition associated with the structure coarsening and phase transformation was observed during SPS process.  相似文献   
9.
10.
Raney-type Ni precursor alloys containing 75 at.% Al and doped with 0, 0.75, 1.5 and 3.0 at.% Ti have been produced by a gas atomization process. The resulting powders have been classified by size fraction with subsequent investigation by powder XRD, SEM and EDX analysis. The undoped powders contain, as expected, the phases Ni2Al3, NiAl3 and an Al-eutectic. The Ti-doped powders contain an additional phase with the TiAl3 DO22 crystal structure. However, quantitative analysis of the XRD results indicate a far greater fraction of the TiAl3 phase is present than could be accounted for by a simple mass balance on Ti. This appears to be a (TixNi1−x)Al3 phase in which higher cooling rates favour small x (low Ti-site occupancy by Ti atoms). SEM and EDX analysis reveal that virtually all the available Ti is contained within the TiAl3 phase, with negligible Ti dissolved in either the Ni2Al3 or NiAl3 phases.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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