全文获取类型
收费全文 | 1503篇 |
免费 | 120篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 42篇 |
综合类 | 2篇 |
化学工业 | 398篇 |
金属工艺 | 26篇 |
机械仪表 | 27篇 |
建筑科学 | 32篇 |
能源动力 | 64篇 |
轻工业 | 183篇 |
水利工程 | 5篇 |
石油天然气 | 1篇 |
无线电 | 139篇 |
一般工业技术 | 277篇 |
冶金工业 | 168篇 |
原子能技术 | 15篇 |
自动化技术 | 249篇 |
出版年
2024年 | 2篇 |
2023年 | 32篇 |
2022年 | 93篇 |
2021年 | 116篇 |
2020年 | 47篇 |
2019年 | 43篇 |
2018年 | 79篇 |
2017年 | 61篇 |
2016年 | 68篇 |
2015年 | 60篇 |
2014年 | 56篇 |
2013年 | 113篇 |
2012年 | 98篇 |
2011年 | 112篇 |
2010年 | 72篇 |
2009年 | 72篇 |
2008年 | 64篇 |
2007年 | 53篇 |
2006年 | 42篇 |
2005年 | 30篇 |
2004年 | 25篇 |
2003年 | 21篇 |
2002年 | 9篇 |
2001年 | 6篇 |
2000年 | 11篇 |
1999年 | 11篇 |
1998年 | 57篇 |
1997年 | 35篇 |
1996年 | 29篇 |
1995年 | 15篇 |
1994年 | 14篇 |
1993年 | 11篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 7篇 |
1989年 | 5篇 |
1988年 | 6篇 |
1986年 | 6篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1980年 | 2篇 |
1979年 | 4篇 |
1978年 | 1篇 |
1977年 | 5篇 |
1976年 | 7篇 |
1975年 | 1篇 |
1974年 | 3篇 |
1972年 | 2篇 |
排序方式: 共有1628条查询结果,搜索用时 15 毫秒
21.
Nobukazu Kinomura Kiyoshi Onda Masayuki Kobayashi Nobuhiro Kumada Fumio Muto 《Journal of Materials Science》1989,24(5):1814-1818
Ion exchange of Na
x
WOP2O7 ·nH2O (x 1.4) prepared from WOP2O7 was attempted, using alkaline and alkaline earth ions. The degree of exchange was observed to be >50% at 90° C except for Mg2+. The basal spacing of ion-exchanged materials for the hydrated phase were dependent on the number of water molecules in the interlayer spaces, while those for the dehydrated phase increased with the size of ions in the interlayer spaces. The network of water molecules linked by the hydrogen bond in the interlayer spaces seems to determine the basal spacing. By the ion-exchange reaction,n-alkylammonium ions were intercalated into the interlayer spaces of Na
x
WOP2O7 ·nH2O (x 1.4) and Sn
x
H
y
WOP2O7 ·nH2O (2x +y 0.5). In spite of the difference in the charge density of the host layer, a similar arrangement of alkyl chains in the interlayer spaces resulted, and neutral amines were considered to be intercalated as well as ammonium ions. Direct reaction ofn-alkylamine with WOP2O7 produced an intercalation compound without reduction of tungsten. The arrangement of the amines in the interlayer spaces is similar to that supposed to the ion-exchanged derivatives when heated at 140° Cin vacuo. 相似文献
22.
Prof. Alessia Carocci Dr. Mariagrazia Roselli Prof. Roberta Budriesi Dr. Matteo Micucci Prof. Jean-François Desaphy Dr. Concetta Altamura Dr. Maria Maddalena Cavalluzzi Dr. Maddalena Toma Dr. Giovanna Ilaria Passeri Dr. Gualtiero Milani Dr. Angelo Lovece Prof. Alessia Catalano Dr. Claudio Bruno Dr. Annalisa De Palma Prof. Filomena Corbo Prof. Carlo Franchini Prof. Solomon Habtemariam Prof. Giovanni Lentini 《ChemMedChem》2021,16(3):578-588
Under the hypothesis that cardioprotective agents might benefit from synergism between antiarrhythmic activity and antioxidant properties, a small series of mexiletine analogues were coupled with the 2,2,5,5-tetramethylpyrroline moiety, known for its antioxidant effect, in order to obtain dual-acting drugs potentially useful in the protection of the heart against post-ischemic reperfusion injury. The pyrroline derivatives reported herein were found to be more potent as antiarrhythmic agents than mexiletine and displayed antioxidant activity. The most interesting tetramethylpyrroline congener, a tert-butyl-substituted analogue, was at least 100 times more active as an antiarrhythmic than mexiletine. 相似文献
23.
Luisa Siculella Laura Giannotti Benedetta Di Chiara Stanca Matteo Calcagnile Alessio Rochira Eleonora Stanca Pietro Alifano Fabrizio Damiano 《International journal of molecular sciences》2021,22(8)
Reactive intermediate deaminase (Rid) proteins are enzymes conserved in all domains of life. UK114, a mammalian member of RidA subfamily, has been firstly identified as a component of liver perchloric acid-soluble proteins (L-PSP). Although still poorly defined, several functions have been attributed to the mammalian protein UK114/RIDA, including the reactive intermediate deamination activity. The expression of UK114/RIDA has been observed in some tumors, arousing interest in this protein as an evaluable tumor marker. However, other studies reported a negative correlation between UK114/RIDA expression, tumor differentiation degree and cell proliferation. This work addressed the question of UK114/RIDA expression in human non-tumor HEK293 cell lines and in some human tumor cell lines. Here we reported that human RIDA (hRIDA) was expressed in all the analyzed cell line and subjected to lysine (K-)succinylation. In HEK293, hRIDA K-succinylation was negatively correlated to the cell proliferation rate and was under the control of SIRT5. Moreover, K-succinylation clearly altered hRIDA quantification by immunoblotting, explaining, at least in part, some discrepancies about RIDA expression reported in previous studies. We found that hRIDA was able to deaminate reactive enamine-imine intermediates and that K-succinylation drastically reduced deaminase activity. As predicted by in silico analysis, the observed reduction of deaminase activity has been related to the drastic alterations of hRIDA structure inferred by K-succinylation. The role of hRIDA and the importance of its K-succinylation in cell metabolism, especially in cancer biology, have been discussed. 相似文献
24.
Ilaria Zuliani Chiara Lanzillotta Antonella Tramutola Eugenio Barone Marzia Perluigi Serena Rinaldo Alessio Paone Francesca Cutruzzol Francesco Bellanti Matteo Spinelli Francesca Natale Salvatore Fusco Claudio Grassi Fabio Di Domenico 《International journal of molecular sciences》2021,22(7)
The disturbance of protein O-GlcNAcylation is emerging as a possible link between altered brain metabolism and the progression of neurodegeneration. As observed in brains with Alzheimer’s disease (AD), flaws of the cerebral glucose uptake translate into reduced protein O-GlcNAcylation, which promote the formation of pathological hallmarks. A high-fat diet (HFD) is known to foster metabolic dysregulation and insulin resistance in the brain and such effects have been associated with the reduction of cognitive performances. Remarkably, a significant role in HFD-related cognitive decline might be played by aberrant protein O-GlcNAcylation by triggering the development of AD signature and mitochondrial impairment. Our data support the impairment of total protein O-GlcNAcylation profile both in the brain of mice subjected to a 6-week high-fat-diet (HFD) and in our in vitro transposition on SH-SY5Y cells. The reduction of protein O-GlcNAcylation was associated with the development of insulin resistance, induced by overfeeding (i.e., defective insulin signaling and reduced mitochondrial activity), which promoted the dysregulation of the hexosamine biosynthetic pathway (HBP) flux, through the AMPK-driven reduction of GFAT1 activation. Further, we observed that a HFD induced the selective impairment of O-GlcNAcylated-tau and of O-GlcNAcylated-Complex I subunit NDUFB8, thus resulting in tau toxicity and reduced respiratory chain functionality respectively, highlighting the involvement of this posttranslational modification in the neurodegenerative process. 相似文献
25.
26.
Giuseppe Placidi Danilo Avola Marco Ferrari Daniela Iacoviello Andrea Petracca Valentina Quaresima Matteo Spezialetti 《Computer methods and programs in biomedicine》2014
Background and objective
The degeneration of the balance control system in the elderly and in many pathologies requires measuring the equilibrium conditions very often. In clinical practice, equilibrium control is commonly evaluated by using a force platform (stabilometric platform) in a clinical environment.In this paper, we demonstrate how a simple movement analysis system, based on a 3D video camera and a 3D real time model reconstruction of the human body, can be used to collect information usually recorded by a physical stabilometric platform.Methods
The algorithm used to reconstruct the human body model as a set of spheres is described and discussed. Moreover, experimental measurements and comparisons with data collected by a physical stabilometric platform are also reported. The measurements were collected on a set of 6 healthy subjects to whom a change in equilibrium condition was stimulated by performing an equilibrium task.Results
The experimental results showed that more than 95% of data collected by the proposed method were not significantly different from those collected by the classic platform, thus confirming the usefulness of the proposed system.Conclusions
The proposed virtual balance assessment system can be implemented at low cost (about 500$) and, for this reason, can be considered a home use medical device. On the contrary, astabilometric platform has a cost of about 10,000$ and requires periodical calibration. The proposed system does not require periodical calibration, as is necessary for stabilometric force platforms, and it is easy to use. In future, the proposed system with little integration can be used, besides being an emulator of a stabilometric platform, also to recognize and track, in real time, head, legs, arms and trunk, that is to collect information actually obtained by sophisticated optoelectronic systems. 相似文献27.
Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approach. 相似文献
28.
A doctor cannot perform a good diagnosis without the patient collaboration. One of the major problem for ophthalmologists with children is to capture and maintain their attention while performing their tests. Sometimes children give wrong answers, or not accurate, since they are no longer interested in the task. In this paper we use the serious game paradigm to help children eyes testing. We ask the children to perform a vision acuity and a daltonism test using our game PlayWithEyes. Children have to recognize symbols projected on a wall and point them in a touch interface which displays all the possible answers. Tests performed in a kindergarten with 65 children have shown that the use of our game helps to obtain children cooperation because they have fun, so their attention may last longer, thus improving the possibility to perform a correct diagnosis especially for very young children. This is particular important for some sight defects like amblyopia (lazy eye). Moreover, the system allows us to identify visual acuity reduction in two children. Tests also highlight some limitations of the tool which have been promptly fixed. 相似文献
29.
Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects. 相似文献
30.