全文获取类型
收费全文 | 52603篇 |
免费 | 5910篇 |
国内免费 | 3074篇 |
专业分类
电工技术 | 3654篇 |
技术理论 | 4篇 |
综合类 | 4583篇 |
化学工业 | 8027篇 |
金属工艺 | 3346篇 |
机械仪表 | 3734篇 |
建筑科学 | 3098篇 |
矿业工程 | 1814篇 |
能源动力 | 2979篇 |
轻工业 | 2992篇 |
水利工程 | 673篇 |
石油天然气 | 546篇 |
武器工业 | 168篇 |
无线电 | 5034篇 |
一般工业技术 | 7360篇 |
冶金工业 | 1997篇 |
原子能技术 | 412篇 |
自动化技术 | 11166篇 |
出版年
2024年 | 344篇 |
2023年 | 1946篇 |
2022年 | 2432篇 |
2021年 | 2406篇 |
2020年 | 2525篇 |
2019年 | 2027篇 |
2018年 | 1956篇 |
2017年 | 2234篇 |
2016年 | 2369篇 |
2015年 | 2264篇 |
2014年 | 3175篇 |
2013年 | 3534篇 |
2012年 | 4506篇 |
2011年 | 4666篇 |
2010年 | 3565篇 |
2009年 | 3689篇 |
2008年 | 2245篇 |
2007年 | 4214篇 |
2006年 | 3670篇 |
2005年 | 1509篇 |
2004年 | 774篇 |
2003年 | 678篇 |
2002年 | 671篇 |
2001年 | 530篇 |
2000年 | 467篇 |
1999年 | 447篇 |
1998年 | 306篇 |
1997年 | 260篇 |
1996年 | 242篇 |
1995年 | 237篇 |
1994年 | 152篇 |
1993年 | 161篇 |
1992年 | 140篇 |
1991年 | 113篇 |
1990年 | 101篇 |
1989年 | 89篇 |
1988年 | 136篇 |
1987年 | 281篇 |
1986年 | 244篇 |
1985年 | 63篇 |
1984年 | 34篇 |
1983年 | 35篇 |
1982年 | 26篇 |
1981年 | 24篇 |
1980年 | 20篇 |
1979年 | 24篇 |
1978年 | 24篇 |
1977年 | 11篇 |
1976年 | 12篇 |
1951年 | 6篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
Energy bands, effective mass of carriers, absolute band edge positions and optical properties of tetragonal AgInS2 were calculated using a first-principles approach with the exchange correlation described by B3LYP hybrid functional. The results indicate that tetragonal AgInS2 has a direct band gap of 1.93 eV, which reproduce well experimental value. Calculated effective masses of electrons and holes are both small which are beneficial to separation and migration of electron and hole pairs. This implies that AgInS2 has good photocatalytic performance. The calculated optical characteristics indicate that AgInS2 has a slight anisotropy for both the real and imaginary parts of the dielectric function and exhibits large optical absorption in the visible light region. Furthermore, the calculated band edge positions in (100), (010) and (001) surfaces indicate that tetragonal AgInS2 is beneficial to the reduction and oxidation of water to hydrogen and oxygen under visible light irradiation. 相似文献
2.
3.
The fracture behaviour and morphologies of high-strength boron steel were investigated at different temperatures at a constant strain rate of 0.1 s-1 based on isothermal tensile tests. Fracture mechanisms were also analyzed based on the relationship between microstructure transformation and continuous cooling transformation(CCT) curves. It is found that 1) fractures of the investigated steel at high temperatures are dimple fractures; 2) the deformation of high-strength boron steel at high temperatures accelerates diffusion transformations; thus, to obtain full martensite, a higher cooling rate is needed; and 3) the investigated steel has the best plasticity when the deformation temperature is 750 °C. 相似文献
4.
This work is devoted to the stress–strain state of isotropic double curved shell with defect system. The construction is weakened by two non-through thickness (internal) cracks of different length and by a circular hole located between cracks. In this study we use the line-spring model. Within the framework of this model cracks are modeled as mathematical cuts of shell’s middle surface. This leads to a two-dimensional problem. The problem is reduced to a system of eight boundary integral equations. To ensure the uniqueness of solution an additional equation is added. In the numerical solution of the problem special quadrature formulas for singular integrals of Cauchy type and the finite difference method are applied. The influence of defects on each other for double curved shell has been investigated. The given theoretical results can be used for the calculation of structural elements with holes, cracks on the strength and fracture toughness in various branches of engineering. 相似文献
5.
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. 相似文献
6.
《低温学》2015
He-3 is generally recognized for its ability to provide more excellent thermophysical performance than He-4, especially in the 4 K temperature range. However, this was not always the case in our preliminary experiments on a three-stage Stirling-type pulse tube cryocooler (SPTC). Our ongoing studies, as reported in this paper, demonstrate that the different working fluids also affect the performance through their phase shifting capability. This feature has been passed over in large part by researchers considering refrigerant substitution. Unlike previous theoretical analyses that focus primarily on regenerator losses, this report investigates the effects of the working fluid on the phase angle at the cold end in order to quantitatively reveal the relationship between the lowest attainable temperature and the cooling capacity. The analysis agrees well with our experimental results on a three-stage SPTC. While running with the operating parameters optimized for He-3, the lowest temperature of the SPTC decreased from 5.4 K down to 4.03 K. This is the lowest refrigeration temperature ever achieved with a three-stage SPTC. 相似文献
7.
A steelmaking-continuous casting (SCC) scheduling problem is an example of complex hybrid flow shop scheduling problem (HFSSP) with a strong industrial background. This paper investigates the SCC scheduling problem that involves controllable processing times (CPT) with multiple objectives concerning the total waiting time, earliness/tardiness and adjusting cost. The SCC scheduling problem with CPT is seldom discussed in the existing literature. This study is motivated by the practical situation of a large integrated steel company in which the just-in-time (JIT) and cost-cutting production strategy have become a significant concern. To address this complex HFSSP, the scheduling problem is decomposed into two subproblems: a parallel machine scheduling problem (PMSP) in the last stage and an HFSSP in the upstream stages. First, a hybrid differential evolution (HDE) algorithm combined with a variable neighborhood decomposition search (VNDS) is proposed for the former subproblem. Second, an iterative backward list scheduling (IBLS) algorithm is presented to solve the latter subproblem. The effectiveness of this bi-layer optimization approach is verified by computational experiments on well-designed and real-world scheduling instances. This study provides a new perspective on modeling and solving practical SCC scheduling problems. 相似文献
8.
Prediction of methane adsorption content in continental coal-bearing shale reservoir using SLD model
Shale gas, as an important unconventional resource, has drawn global attention. It is mainly composed of adsorption gas and free gas. Adsorption gas content could play an important guiding role on both the selection of favorable perspective area and the exploration and exploitation of shale gas resources. In order to accurately measure adsorption gas content, a new approach was established to predict the adsorption isotherm of methane on shale. Based on the simplified local-density (SLD) method, both the adsorption isotherms of illite, illite/smectite mixed-layer, cholorite and type III kerogen and the total shale rock could be well fitted. The fitting results show good coincidences with the true experimental test data, which proves the method is reasonable and dependable and the prediction results are effective and credible. In addition, the good simulation results show that the SLD parameters can reflect the pore structure characteristics and corresponding adsorption characteristics of the shale samples, which can be used for the quantitative characterization of shale pore system. 相似文献
9.
10.
Human mobility prediction is of great advantage in route planning and schedule management. However, mobility data is a high-dimensional dataset in which multi-context prediction is difficult in a single model. Mobility data can usually be expressed as a home event, a work event, a shopping event and a traveling event. Previous works have only been able to learn and predict one type of mobility event and then integrate them. As the tensor model has a strong ability to describe high-dimensional information, we propose an algorithm to predict human mobility in tensors of location context data. Using the tensor decomposition method, we extract human mobility patterns with multiple expressions and then synthesize the future mobility event based on mobility patterns. The experiment is based on real-world location data and the results show that the tensor decomposition method has the highest accuracy in terms of prediction error among the three methods. The results also prove the feasibility of our multi-context prediction model. 相似文献