全文获取类型
收费全文 | 202095篇 |
免费 | 16354篇 |
国内免费 | 6540篇 |
专业分类
电工技术 | 10135篇 |
技术理论 | 17篇 |
综合类 | 15356篇 |
化学工业 | 24834篇 |
金属工艺 | 7746篇 |
机械仪表 | 17063篇 |
建筑科学 | 39354篇 |
矿业工程 | 5949篇 |
能源动力 | 4711篇 |
轻工业 | 12786篇 |
水利工程 | 5125篇 |
石油天然气 | 6040篇 |
武器工业 | 1868篇 |
无线电 | 15958篇 |
一般工业技术 | 20540篇 |
冶金工业 | 6436篇 |
原子能技术 | 1236篇 |
自动化技术 | 29835篇 |
出版年
2024年 | 801篇 |
2023年 | 2694篇 |
2022年 | 6189篇 |
2021年 | 7247篇 |
2020年 | 5507篇 |
2019年 | 4678篇 |
2018年 | 4779篇 |
2017年 | 6085篇 |
2016年 | 7871篇 |
2015年 | 8544篇 |
2014年 | 15060篇 |
2013年 | 12846篇 |
2012年 | 13569篇 |
2011年 | 13856篇 |
2010年 | 11682篇 |
2009年 | 11881篇 |
2008年 | 10806篇 |
2007年 | 13419篇 |
2006年 | 11976篇 |
2005年 | 10379篇 |
2004年 | 7951篇 |
2003年 | 7408篇 |
2002年 | 5803篇 |
2001年 | 4678篇 |
2000年 | 3868篇 |
1999年 | 2904篇 |
1998年 | 2252篇 |
1997年 | 1886篇 |
1996年 | 1589篇 |
1995年 | 1256篇 |
1994年 | 1041篇 |
1993年 | 732篇 |
1992年 | 592篇 |
1991年 | 502篇 |
1990年 | 378篇 |
1989年 | 351篇 |
1988年 | 260篇 |
1987年 | 202篇 |
1986年 | 152篇 |
1985年 | 166篇 |
1984年 | 210篇 |
1983年 | 130篇 |
1982年 | 131篇 |
1981年 | 68篇 |
1980年 | 87篇 |
1979年 | 44篇 |
1966年 | 29篇 |
1964年 | 41篇 |
1962年 | 72篇 |
1959年 | 34篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
2.
In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freeform design into a form feasible for production, but often require design modifications that might not comply with the design intent. In addition, they only offer limited support for exploring alternative feasible shapes, due to the high complexity of the optimization algorithm.We address these shortcomings and present a computational framework for interactive shape exploration of discrete geometric structures in the context of freeform architectural design. Our method is formulated as a mesh optimization subject to shape constraints. Our formulation can enforce soft constraints and hard constraints at the same time, and handles equality constraints and inequality constraints in a unified way. We propose a novel numerical solver that splits the optimization into a sequence of simple subproblems that can be solved efficiently and accurately.Based on this algorithm, we develop a system that allows the user to explore designs satisfying geometric constraints. Our system offers full control over the exploration process, by providing direct access to the specification of the design space. At the same time, the complexity of the underlying optimization is hidden from the user, who communicates with the system through intuitive interfaces. 相似文献
3.
In the last few years, more and more complex microsphere models have been proposed to predict the mechanical response of various polymers. Similarly than for microplane models, they consist in deriving a one-dimensional force vs. stretch equation and to integrate it over the unit sphere to obtain a three-dimensional constitutive equation. In this context, the focus of authors is laid on the physics of the one-dimensional relationship, but in most of the case the influence of the integration method on the prediction is not investigated.Here we compare three numerical integration schemes: a classical Gaussian scheme, a method based on a regular geometric meshing of the sphere, and an approach based on spherical harmonics. Depending on the method, the number of integration points may vary from 4 to 983,040! Considering simple quantities, i.e. principal (large) strain invariants, it is shown that the integration method must be carefully chosen. Depending on the quantities retained to described the one-dimensional equation and the required error, the performances of the three methods are discussed. Consequences on stress–strain prediction are illustrated with a directional version of the classical Mooney–Rivlin hyperelastic model. Finally, the paper closes with some advices for the development of new microsphere constitutive equations. 相似文献
4.
Massive Open Online Courses (MOOCs) are becoming an essential source of information for both students and teachers. Noticeably, MOOCs have to adapt to the fast development of new technologies; they also have to satisfy the current generation of online students. The current MOOCs’ Management Systems, such as Coursera, Udacity, edX, etc., use content management platforms where content are organized in a hierarchical structure. We envision a new generation of MOOCs that support interpretability with formal semantics by using the SemanticWeb and the online social networks. Semantic technologies support more flexible information management than that offered by the current MOOCs’ platforms. Annotated information about courses, video lectures, assignments, students, teachers, etc., can be composed from heterogeneous sources, including contributions from the communities in the forum space. These annotations, combined with legacy data, build foundations for more efficient information discovery in MOOCs’ platforms. In this article we review various Collaborative Semantic Filtering technologies for building Semantic MOOCs’ management system, then, we present a prototype of a semantic middle-sized platform implemented at Western Kentucky University that answers these aforementioned requirements. 相似文献
5.
Simple Sequence Repeat Markers in Genetic Divergence and Marker-Assisted Selection of Rice Cultivars: A Review 总被引:2,自引:0,他引:2
Shubhneet Kaur Manab B. Bera Varinder Kaur 《Critical reviews in food science and nutrition》2015,55(1):41-49
Sequencing of rice genome has facilitated the understanding of rice evolution and has been utilized extensively for mining of DNA markers to facilitate marker-assisted breeding. Simple sequence repeat (SSR) markers that are tandemly repeated nucleotide sequence motifs flanked by unique sequences are presently the maker of choice in rice improvement due to their abundance, co-dominant inheritance, high levels of allelic diversity, and simple reproducible assay. The current level of genome coverage by SSR markers in rice is sufficient to employ them for genotype identification and marker-assisted selection in breeding for mapping of genes and quantitative trait loci analysis. This review provides comprehensive information on the mapping and applications of SSR markers in investigation of rice cultivars to study their genetic divergence and marker-assisted selection of important agronomic traits. 相似文献
6.
Akira Yamamoto Kentaro Teramura Saburo Hosokawa Tsunehiro Tanaka 《Science and Technology of Advanced Materials》2015,16(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. 相似文献
7.
In this article we illustrate a methodology for building cross-language search engine. A synergistic approach between thesaurus-based approach and corpus-based approach is proposed. First, a bilingual ontology thesaurus is designed with respect to two languages: English and Spanish, where a simple bilingual listing of terms, phrases, concepts, and subconcepts is built. Second, term vector translation is used – a statistical multilingual text retrieval techniques that maps statistical information about term use between languages (Ontology co-learning). These techniques map sets of t f id f term weights from one language to another. We also applied a query translation method to retrieve multilingual documents with an expansion technique for phrasal translation. Finally, we present our findings. 相似文献
8.
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. 相似文献
9.
《Intermetallics》2015
The site preferences of co-alloying elements (Mo–Ta, Mo–Re, Mo–Cr) in Ni3Al are studied using first-principles calculations, and the effects of these alloying elements on the elastic properties of Ni3Al are evaluated by elastic property calculations. The results show that the Mo–Ta, Mo–Re and Mo–Cr atom pairs all prefer Al–Al sites and the spatial neighbor relation of substitution sites almost has no influence on the site preference results. Furthermore, the Young's modulus of Ni3Al increases much higher by substituting Al–Al sites with co-alloying atoms, among which Mo–Re has the best strengthening effect. The enhanced chemical bondings between alloying atoms and their neighbor host atoms are considered to be the main strengthening mechanism of the alloying elements in Ni3Al. 相似文献
10.
To realize joint optimization of spatial diversity and equalization combining in the intersymbol interference (ISI) channel, an iterative equalization combining algorithm is proposed. The proposed algorithm uses the coefficients of Turbo equalization to calculate the combination weights without estimating the signal to noise ratio in each diversity branch. The equalized symbols from different diversity branches are combined, and the extrinsic information output from the decoder is fed back to the equalizers, so as to exchange soft information between the equalizers and the decoder. The performance of the proposed algorithm is analyzed using the extrinsic information transfer (EXIT) chart and verified by simulations. Results show that our approach fully exploits time domain information from the multipath channel and spatial domain information from multi receiving antennas, which efficiently improve the performance of the receiver in the severe ISI channel. 相似文献