全文获取类型
收费全文 | 483篇 |
免费 | 23篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 6篇 |
化学工业 | 169篇 |
金属工艺 | 7篇 |
机械仪表 | 7篇 |
建筑科学 | 20篇 |
能源动力 | 31篇 |
轻工业 | 65篇 |
水利工程 | 3篇 |
石油天然气 | 1篇 |
无线电 | 25篇 |
一般工业技术 | 50篇 |
冶金工业 | 37篇 |
原子能技术 | 5篇 |
自动化技术 | 82篇 |
出版年
2022年 | 10篇 |
2021年 | 25篇 |
2020年 | 9篇 |
2019年 | 11篇 |
2018年 | 13篇 |
2017年 | 18篇 |
2016年 | 9篇 |
2015年 | 19篇 |
2014年 | 14篇 |
2013年 | 38篇 |
2012年 | 25篇 |
2011年 | 41篇 |
2010年 | 23篇 |
2009年 | 28篇 |
2008年 | 25篇 |
2007年 | 16篇 |
2006年 | 21篇 |
2005年 | 11篇 |
2004年 | 7篇 |
2003年 | 15篇 |
2002年 | 12篇 |
2001年 | 10篇 |
2000年 | 2篇 |
1999年 | 8篇 |
1998年 | 15篇 |
1997年 | 13篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1991年 | 3篇 |
1989年 | 3篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1984年 | 4篇 |
1983年 | 8篇 |
1981年 | 4篇 |
1980年 | 2篇 |
1979年 | 2篇 |
1978年 | 6篇 |
1977年 | 4篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1964年 | 1篇 |
排序方式: 共有508条查询结果,搜索用时 15 毫秒
1.
Maria Grazia Basanisi Gianfranco La Bella Gaia Nobili Rosa Coppola Annita Maria Damato Maria Assunta Cafiero Giovanna La Salandra 《International Journal of Food Science & Technology》2020,55(3):1145-1150
The authenticity and traceability of meat products are issues of primary importance to ensure food safety. Unfortunately, food adulteration (e.g. the addition of inexpensive cuts to minced meat products) and mislabelling (e.g. the inclusion of meat from species other than those declared) happens frequently worldwide. The aim of this study was to apply a droplet digital PCR assay for the detection and quantification (copies μL−1) of the beef, pork, horse, sheep, chicken and turkey in meat products. The analysis conducted on commercial meat showed the presence of traces of DNA from other animal species than those declared. We show that the method is highly sensitive, specific and accurate (accuracy = 100%). This method could be adopted by competent food safety authorities to verify compliance with the labelling of meat products and to ensure quality and safety throughout the meat supply chain, from primary production to consumption. 相似文献
2.
3.
We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to assign each newly found state to classes assigned to the available processors. Furthermore, we explore two remapping criteria that attempt to balance memory usage or future workload, respectively. We show how the cost of computing the global snapshot required for remapping will scale up for system sizes in the foreseeable future. An extensive set of results is presented to support our conclusions that remapping is extremely beneficial. 相似文献
4.
5.
6.
Marcella Bonchio Mauro Carraro Martino Gardan Gianfranco Scorrano Enrico Drioli Enrica Fontananova 《Topics in Catalysis》2006,40(1-4):133-140
The incorporation of decatungstate in polymeric membranes provides new heterogeneous photocatalysts for the oxidation of organic
substrates under oxygen atmosphere at 25 °C. Photocatalytic membranes have been prepared yielding polymeric films with a high
thermal, chemical and mechanical stability (PVDF, PDMS, Hyflon). Surface spectroscopy techniques including transmittance and
reflectance UV-Vis and FT-IR have been used to assess the photocatalyst integrity within the polymeric support. Catalyst screening
has been performed under both homogeneous and heterogeneous photooxygenation conditions. The photocatalyst activity has been
evaluated in terms of the substrate conversion, turnover numbers, and recycling experiments. A membrane induced selectivity
behavior has been evidenced by comparison with homogeneous oxidations. 相似文献
7.
A systematic strategy is developed for the location of the source and the rectification of gross, biased measurement errors in a chemical process. The proposed strategy proceeds in three levels: (a) A structural analysis of the balance equations identifies subsets of balances with measurements which are suspected to possess gross errors. (b) A sequential analysis of the balance equations with suspect measurements further reduces the size of the problem. Statistical criteria are used in this step. (c) Finally, a sequential analysis of the suspect measurements appearing in the reduced set of balances leads to the identification of the source of the gross errors.The proposed strategy: (i) reduces the size of the data reconciliation problem significantly, even for large-scale chemical processes, (ii) is computationally simple and (iii) it conforms with the general process of variable monitoring in a chemical plant.Numerical examples are presented to clarify the elements of the procedure involved and demonstrate their value and effectiveness in dealing with realistic situations. 相似文献
8.
The problem of state-parameter estimation is considered in terms of decoupling the estimation procedure. First, the theoretical preliminaries necessary for the mathematical statement of the problem are defined. Then using the extended Kalman filter (EKF) approach, the state and parameter are estimated by applying the solution techniques to a distributed parameter system. Next, the state estimation problem is decoupled from the parameter estimation problem and by using a numerical example, the advantage of this decoupling procedure is demonstrated. The numerical results show that convergence can be improved when this decoupling procedure is employed. The effect of the location of the measurements on the estimation problem is also analysed in this work. The results show that the convergence of the problem depends on the location as well as the number of measurements. 相似文献
9.
Gianfranco Totani Ferdinando Totani Daniele Celli Davide Pasquali Marcello Di Risio 《Journal of Failure Analysis and Prevention》2017,17(1):86-92
This paper describes the results of site investigations, monitoring, stability analyses, and soil-pipe interaction modeling of a built-up slope located near Pineto (Abruzzo Province, Central Italy), where a gas pipeline exploded on March 6th, 2015, due to heavy rains inducing slope movements. The slope is formed by OC clay, covered with an upper 10- to 14-m-thick clayey-sandy silt colluvial layer. The explosion in the upper portion of the slope caused extensive damage to existing buildings and threatened human lives. Soon after the event, a site investigation and monitoring program was carried out. A detailed topographic survey and hydrological data were analyzed in order to characterize possible critical rainfall events. The stability of the slope was analyzed both in pre- and in post-explosion conditions. The profiles of the DMT horizontal stress index K D helped to identify multiple slip surfaces. Then, the results of the site investigation and stability analyses were used to implement a simplified finite element model aimed to describe the soil-pipeline interaction, taking into account the role of the observed wrinkle in the pipeline. The numerical simulations reveal the crucial role played by the slope movements, and by the wrinkle as well, in inducing the collapse of the pipe. 相似文献
10.
The computation of strongly connected components (SCCs) in discrete-state models is a critical step in formal verification
of LTL and fair CTL properties, but the potentially huge number of reachable states and SCCs constitutes a formidable challenge.
We consider the problem of computing the set of states in SCCs or terminal SCCs in an asynchronous system. We employ the idea
of saturation, which has shown clear advantages in symbolic state-space exploration (Ciardo et al. in Softw Tools Technol Transf 8(1):4–25,
2006; Zhao and Ciardo in Proceedings of 7th international symposium on automated technology for verification and analysis, pp
368–381, 2009), to improve two previously proposed approaches. We use saturation to speed up state exploration when computing each SCC
in the Xie-Beerel algorithm, and we compute the transitive closure of the transition relation using a novel algorithm based on saturation. Furthermore, we show that the techniques we developed
are also applicable to the computation of fair cycles. Experimental results indicate that the improved algorithms using saturation achieve a substantial speedup over previous
BFS algorithms. In particular, with the new transitive closure computation algorithm, up to 10150 SCCs can be explored within a few seconds. 相似文献