全文获取类型
收费全文 | 125篇 |
免费 | 3篇 |
国内免费 | 1篇 |
专业分类
化学 | 57篇 |
晶体学 | 1篇 |
力学 | 4篇 |
数学 | 34篇 |
物理学 | 15篇 |
无线电 | 18篇 |
出版年
2018年 | 2篇 |
2016年 | 2篇 |
2015年 | 4篇 |
2013年 | 6篇 |
2012年 | 3篇 |
2011年 | 5篇 |
2010年 | 1篇 |
2009年 | 3篇 |
2008年 | 3篇 |
2007年 | 3篇 |
2006年 | 4篇 |
2005年 | 5篇 |
2004年 | 5篇 |
2003年 | 3篇 |
2002年 | 2篇 |
2001年 | 3篇 |
2000年 | 1篇 |
1999年 | 3篇 |
1997年 | 5篇 |
1996年 | 1篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1986年 | 2篇 |
1985年 | 4篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 4篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1978年 | 3篇 |
1977年 | 4篇 |
1976年 | 1篇 |
1975年 | 3篇 |
1974年 | 2篇 |
1973年 | 1篇 |
1972年 | 2篇 |
1971年 | 4篇 |
1970年 | 1篇 |
1969年 | 2篇 |
1968年 | 2篇 |
1966年 | 1篇 |
1965年 | 1篇 |
1963年 | 1篇 |
排序方式: 共有129条查询结果,搜索用时 15 毫秒
61.
Dov M. Gabbay 《Logica Universalis》2011,5(2):255-318
In this paper we show that some versions of Dung’s abstract argumentation frames are equivalent to classical propositional
logic. In fact, Dung’s attack relation is none other than the generalised Peirce–Quine dagger connective of classical logic
which can generate the other connectives ?, ù, ú, ?{\neg, \wedge, \vee, \to} of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel
to variations of classical logic, such as resource logics, predicate logic, etc., etc., and create resource argumentation
frames, predicate argumentation frames, etc., etc. We also offer the notion of logic proof as a geometrical walk along the
nodes of a Dung network and thus we are able to offer a geometrical abstraction of the notion of inference based argumentation.
Thus our paper is also a contribution to the question: 相似文献
62.
R. Loeckenhoff F. Dimroth E. Oliva A. Ohm J. Wilde David Faiman Sergey Biryukov Vladimir Melnichak Shlomo Kabalo Dov Bokobza A. W. Bett 《Progress in Photovoltaics: Research and Applications》2008,16(2):101-112
Monolithic interconnected modules (MIMs) are large area, high voltage PV devices which perform well at very high light intensities. They are therefore well suited for the assembly of dense array receivers. The latter can be employed in solar concentrator systems such as parabolic dishes at a concentration ratio of 1000 Suns or more. This paper reports on progress in the development and testing of GaAs MIMs and of water‐cooled dense array receivers assembled from MIMs. The MIMs are electrically protected by integrated bypass diodes and, under indoor laboratory tests, reach an efficiency of 20·0% at 1000 Suns and 22·9% at 200 Suns. Several dense array receivers have been assembled, one of which was tested outdoors at 1‐Sun and at concentration ratios of several hundred Suns and up to slightly above 1000 Suns using the PETAL solar dish facility in Sede Boqer, Israel. In addition to I–V curve measurements, the high‐concentration tests included measurements that quantified the light intensity distribution over the dense array. Deformations in some of the I–V plots were observed for intensity distributions that departed substantially from perfect uniformity. The shapes of these plots were successfully reproduced by an electronic network simulation of the inhomogeneously illuminated receiver. 1‐Sun I–V curve measurements and visual inspections performed before and after exposure of the module to concentrated sunlight revealed no indications of degradation. Copyright © 2007 John Wiley & Sons, Ltd. 相似文献
63.
Dov M. Gabbay 《Israel Journal of Mathematics》1971,10(4):478-495
Decidability results in modal and tense logics were obtained through the finite model property. This paper shows that the
method is limited, since there exists a decidable extension of modalT that lacks the finite model property. The decidability of the system is proved through a new method, thereduction method, (using a theorem of Rabin). 相似文献
64.
65.
Welkowitz Walter Molony Donald A. Potter James L. Grabowy Edmund M. Jaron Dov Yahr William Z. Kantrowitz Adrian 《IEEE transactions on bio-medical engineering》1969,(1):58-63
During the past few years, a number of left ventricular assist devices for diastolic augmentation have been developed which incorporate pneumatically driven pulsating pumps. The driving systems for these devices synchronize the pump to the cardiac cycle, provide any required time delay, and generate an appropriate pneumatic waveform. 相似文献
66.
The structure of = 3, {112} lateral twin boundaries in polycrystalline GaP has been investigated by transmission electron microscopy. The orientation of the polar bonding along the lateral twin boundary was characterized by convergent-beam electron diffraction and found to be mirror symmetric across the {112} interface. Rigid-body lattice translations and grain boundary dislocations along the boundaries were also characterized. The direction of the translation state between adjacent twin-related grains was studied by the -fringe contrast technique. Models of the {112} interface in the GaP lattice are proposed and compared with the experimental observations.
= 3, {112} Lateral Twin Boundaries in GaP相似文献
67.
We propose a new approach, based on physics of non-equilibrium systems, to modeling optical fiber reliability. Unlike the traditional approach to statistical modeling of fracture, the presented one describes the phenomenon in terms of its dynamics and links the thermal-fluctuation damage events with the corresponding strength deterioration, thereby establishing an evolution equation of the time-dependent strength distribution. The developed model is validated by both simulations and experimental data. 相似文献
68.
Validity of an Arterial System Model: A Quantitative Evaluation 总被引:1,自引:0,他引:1
Ohley William J. Kao Chiiming Jaron Dov 《IEEE transactions on bio-medical engineering》1980,(4):203-211
The purpose of this investigation was to validate an arterial system model in a quantitative fashion. The model is based on a finite difference solution to the Navier?Stokes equations and retains certain nonlinear features of the system. Rather than apply standard error measures that test waveform correlation, the validation method used relies on the quantification of differences between the model and animals over a wide range of parametric changes. A series of functions was used to define the difference between the dependent variables of the model and corresponding hemodynamic variables of the animals. These functions were displayed as a family of three-dimensional difference surfaces which related the function value to parametric changes of the independent variables. Experimental data from three dogs were compared with model predictions. Regions of validity for the independent variables were then assessed by examining the difference surfaces. 相似文献
69.
Fluorescence spectroscopy using an intramolecular excimer-forming probe has been used to investigate chain mobility in various polybutadienes. The spectroscopic technique is completed by a rheological study carried out in order to identify the molecular parameters governing polymer dynamics. The temperature dependence of the correlation time of the probe motion can be fitted to a WLF equation which shows that the probe mobility reflects the glass transition phenomenon of the host matrix. 相似文献
70.
Liliane Bokobza Amadou Lamine Diop Vincent Fournier Jean-Baptiste Minne Jean-Luc Bruneel 《Macromolecular Symposia》2005,230(1):87-94
The addition of an inorganic component to polymers leads to improvements in various physical and mechanical properties. Various examples on filled elastomeric networks will show that a mechanical characterization can be nicely combined with a spectroscopic investigation for a better understanding of the properties of the composite materials. 相似文献