全文获取类型
收费全文 | 133篇 |
免费 | 3篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 21篇 |
金属工艺 | 1篇 |
机械仪表 | 1篇 |
建筑科学 | 9篇 |
轻工业 | 2篇 |
水利工程 | 1篇 |
无线电 | 12篇 |
一般工业技术 | 20篇 |
冶金工业 | 8篇 |
自动化技术 | 59篇 |
出版年
2022年 | 1篇 |
2021年 | 5篇 |
2020年 | 5篇 |
2019年 | 4篇 |
2018年 | 8篇 |
2016年 | 2篇 |
2015年 | 4篇 |
2014年 | 2篇 |
2013年 | 5篇 |
2012年 | 9篇 |
2011年 | 5篇 |
2010年 | 11篇 |
2009年 | 10篇 |
2008年 | 13篇 |
2007年 | 7篇 |
2006年 | 5篇 |
2005年 | 5篇 |
2004年 | 4篇 |
2003年 | 1篇 |
2002年 | 6篇 |
1999年 | 2篇 |
1998年 | 2篇 |
1997年 | 3篇 |
1996年 | 5篇 |
1995年 | 2篇 |
1990年 | 1篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1967年 | 1篇 |
排序方式: 共有136条查询结果,搜索用时 0 毫秒
131.
C. Heitner-Wirguin E.R. Bauminger A. Levy F.Labensky de Kanter S. Ofer 《Polymer》1980,21(11):1327-1329
A low temperature Mössbauer study of a series of membranes has been made to determine the distribution of ions in them. The presence of three types of iron species has been observed: (1) small units (A) or monomeric species with ; (2) ferric dimers (B) bridged by oxygen or hydroxyl ions; (3) clusters (C) of variable sizes. The percentages of the various species as well as the average size of clusters were evaluated from these spectra. 相似文献
132.
Error explanation with distance metrics 总被引:1,自引:0,他引:1
Alex Groce Sagar Chaki Daniel Kroening Ofer Strichman 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(3):229-247
In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample
trace that shows a particular instance of the undesirable behavior. Unfortunately, the important steps that follow the discovery
of a counterexample are generally not automated. The user must first decide if the counterexample shows genuinely erroneous
behavior or is an artifact of improper specification or abstraction. In the event that the error is real, there remains the
difficult task of understanding the error well enough to isolate and modify the faulty aspects of the system. This paper describes
a (semi-)automated approach for assisting users in understanding and isolating errors in ANSI C programs. The approach, derived
from Lewis’ counterfactual approach to causality, is based on distance metrics for program executions. Experimental results
show that the power of the model checking engine can be used to provide assistance in understanding errors and to isolate
faulty portions of the source code. 相似文献
133.
Ofer Zeitouni 《Systems & Control Letters》1986,7(1)
An extension of the one dimensional Bene
nonlinear filter to the case of correlated process and observation noises is presented. Conditions are derived so that the optimal nonlinear filter is finite dimensional. 相似文献
134.
135.
Lubna Willi Ifat Abramovich Jonatan Fernandez-Garcia Bella Agranovich Margarita Shulman Helena Milman Polina Baskin Binyamin Eisen Daniel E. Michele Michael Arad Ofer Binah Eyal Gottlieb 《International journal of molecular sciences》2022,23(17)
Duchenne muscular dystrophy (DMD) is caused by mutations in the dystrophin gene and dilated cardiomyopathy (DCM) is a major cause of morbidity and mortality in DMD patients. We tested the hypothesis that DCM is caused by metabolic impairments by employing induced pluripotent stem cell-derived cardiomyocytes (iPSC-CMs) generated from four DMD patients; an adult male, an adult female, a 7-year-old (7y) male and a 13-year-old (13y) male, all compared to two healthy volunteers. To test the hypothesis, we measured the bioenergetics, metabolomics, electrophysiology, mitochondrial morphology and mitochondrial activity of CMs, using respirometry, LC–MS, patch clamp, electron microscopy (EM) and confocal microscopy methods. We found that: (1) adult DMD CMs exhibited impaired energy metabolism and abnormal mitochondrial structure and function. (2) The 7y CMs demonstrated arrhythmia-free spontaneous firing along with “healthy-like” metabolic status, normal mitochondrial morphology and activity. In contrast, the 13y CMs were mildly arrhythmogenic and showed adult DMD-like bioenergetics deficiencies. (3) In DMD adult CMs, mitochondrial activities were attenuated by 45–48%, whereas the 7y CM activity was similar to that of healthy CMs. (4) In DMD CMs, but not in 7y CMs, there was a 75% decrease in the mitochondrial ATP production rate compared to healthy iPSC-CMs. In summary, DMD iPSC-CMs exhibit bioenergetic and metabolic impairments that are associated with rhythm disturbances corresponding to the patient’s phenotype, thereby constituting novel targets for alleviating cardiomyopathy in DMD patients. 相似文献
136.
We present a unifying framework for understanding and developing SAT-based decision procedures for Satisfiability Modulo Theories
(SMT). The framework is based on a reduction of the decision problem to propositional logic by means of a deductive system.
The two commonly used techniques, eager encodings (a direct reduction to propositional logic) and lazy encodings (a family of techniques based on an interplay between a SAT solver and a decision procedure) are identified as
special cases. This framework offers the first generic approach for eager encodings, and a simple generalization of various
lazy techniques that are found in the literature. 相似文献