首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   139篇
  免费   6篇
工业技术   145篇
  2024年   1篇
  2023年   7篇
  2022年   4篇
  2021年   3篇
  2020年   4篇
  2019年   3篇
  2018年   5篇
  2017年   2篇
  2016年   8篇
  2015年   3篇
  2014年   10篇
  2013年   13篇
  2012年   7篇
  2011年   15篇
  2010年   5篇
  2009年   2篇
  2008年   9篇
  2007年   4篇
  2006年   2篇
  2005年   7篇
  2004年   1篇
  2003年   1篇
  2002年   2篇
  2001年   2篇
  2000年   4篇
  1999年   1篇
  1998年   1篇
  1997年   1篇
  1996年   2篇
  1995年   3篇
  1994年   1篇
  1993年   1篇
  1992年   2篇
  1990年   2篇
  1988年   1篇
  1987年   1篇
  1984年   1篇
  1980年   1篇
  1979年   1篇
  1977年   1篇
  1973年   1篇
排序方式: 共有145条查询结果,搜索用时 238 毫秒
1.

ResearchGate has emerged as a popular professional network for scientists and researchers in a very short span. Similar to Google Scholar, the ResearchGate indexing uses an automatic crawling algorithm that extracts bibliographic data, citations, and other information about scholarly articles from various sources. However, it has been observed that the two platforms often show different publication and citation data for the same institutions, journals, and authors. While several previous studies analysed different aspects of ResearchGate and Google Scholar, the quantum of differences in publications, citations, and metrics between the two and the probable reasons for the same are not explored much. This article, therefore, attempts to bridge this research gap by analysing and measuring the differences in publications, citations, and different metrics of the two platforms for a large data set of highly cited authors. The results indicate that there are significantly high differences in publications and citations for the same authors captured by the two platforms, with Google Scholar having higher counts for a vast majority of the cases. The different metrics computed by the two platforms also differ in their values, showing different degrees of correlation. The coverage policy, indexing errors, author attribution mechanism, and strategy to deal with predatory publishing are found to be the main probable reasons for the differences in the two platforms.

  相似文献   
2.
The ideal uniform two-dimensional (2D) Fermi and Bose gases are considered both in the thermodynamic limit and the finite case. We derive May's Theorem, viz. the correspondence between the internal energies of the Fermi and Bose gases in the thermodynamic limit. This results in both gases having the same heat capacity. However, as we shall show, the thermodynamic limit is never truly reached in two dimensions and so it is essential to consider finite-size effects. We show in an elementary manner that for the finite 2D Bose gas, a pseudo-Bose–Einstein condensate forms at low temperatures, incompatible with May's Theorem. The two gases now have different heat capacities, dependent on the system size and tending to the same expression in the thermodynamic limit.  相似文献   
3.
We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory.  相似文献   
4.
5.
Submerged arc welding is well-known for its very high deposition rate and thus the capability to join very high thickness metal pieces in large structural applications. Fillet joints are mostly used in structural applications which can be extensively seen in shipbuilding, bridge construction, house buildings, automobile or any other large structures. Thermal stresses generates in a fusion welded joint due to high temperature gradient, which is the cause of the residual stresses upon cooling followed by the angular deformation and failure of the welded structure. As an effect of the thermal gradient, the induced longitudinal, transverse residual stress & angular distortion can vary in single sided and double sided submerged arc welded fillet joints, during designing & manufacturing welded structures which should be taken into account. The main objective of this paper is to quantify the amount of residual stresses and angular deformation in a fillet welding joint. An elasto-plastic thermomechanical model has been developed for predicting residual stresses. A comparison of the residual stress and angular deformation between single and double sided fillet weld joint has been made. The simulation results reveal that the amount of residual stress present in the single sided fillet weld is more and unbalanced in both side of the center of weld line compared to the double sided fillet weld and the predicted results have been matched with the experiments as well as published literatures.  相似文献   
6.
We propose a class of finite state systems of synchronizing distributed processes, where processes make assumptions at local states about the state of other processes in the system. This constrains the global states of the system to those where assumptions made by a process about another are compatible with the commitments offered by the other at that state. We model examples like reliable bit transmission and sequence transmission protocols in this framework and discuss how assumption-commitment structure facilitates compositional design of such protocols. We prove a decomposition theorem which states that every protocol specified globally as a finite state system can be decomposed into such an assumption compatible system. We also present a syntactic characterization of this class using top level parallel composition. The main results here were first reported in an earlier paper (Mohalik & Ramanujam 1998). We thank the anonymous reviewers for detailed comments that helped to improve the presentation  相似文献   
7.
Dielectric properties of the inflated and deflated fceline lung in vivo were investigated at frequencies from 10 kHz to 100 MHz. A computer-controlled network analyzer and a multiring capacitive sensor were employed. It was found that in the frequency range investigated, both the dielectric constant and the conductivity of the deflated lung were higher than those of the inflated one. The analysis of the experimental data was performed using two approaches: the loss-tangent method and the curve-fitting computer program called STEPIT. It was found that in the middle band of frequencies for both inflated and deflated states of the lung, the dielectric response mainly reflects the membrane polarization of the capillary erythrocytes with possible contributions of other components, e.g., the pulmonary microphages. The dielectric relaxation time for the capillary erythrocytes in the lung is similar to that for the packed cells, which is much longer than for the erythrocytes at physiological concentrations. The dielectric parameters at low frequencies obtained using the STEPIT program differ significantly between the inflated and deflated lung. The observed dielectric data reflect at least two overlapping dispersions: of lung capillary erythrocytes and of cellular structures forming the alveoli.  相似文献   
8.
A formal semantics for an active functional DBPL   总被引:1,自引:1,他引:0  
We describe how the functional database programming language PFL is extended with an active component without compromising either its declarative semantics or its syntax. We give a formal specification of the active component using PFL itself, including event specification and detection, parameter-binding, reaction scheduling and abort handling. We describe how a user-specified function can be cast as a primitive event, and discuss the expressiveness of events and the optimisation of event detection.  相似文献   
9.
To make an appropriate choice of linear model for the development of real-time control of robot manipulators, four direct linearization schemes have been studied here on the basis of computation and accuracy. Accuracy is assured in the state linearization method, whereas the rate linearization method leads to a satisfactory trade-off between computational effort and accuracy. In the case of high-velocity motions, a combination of state and rate linearization is proposed.  相似文献   
10.
Wavelet transform has the property of resolving signal in both time and frequency unlike Fourier transform. In this work, we show that time-domain information obtained from wavelet analysis of supply current can be used to test the frequency specification of analog filters efficiently. The pole/zero locations in the frequency response of analog filters shift due to change in component values with process variations. It is essential to test the filters for the shift in frequency response and fix it during production test. Wavelet analysis of supply current can be a promising alternative to test frequency specification of analog filters, since it needs only one AC stimulus and is virtually unaffected by transistor threshold variation. Simulation results on two test circuits demonstrate that we can estimate pole/zero shift with less than 3% error using only one measurement, which requires about 18 measurements in the conventional technique.Swarup Bhunia received the undergraduate degree from Jadavpur University, Calcutta, India, and the Masters degree from the Indian Institute of Technology (IIT), Kharagpur. He is currently working toward the Ph.D. degree in the Department of Electrical Engineering, Purdue University, West Lafayette, IN, USA. He has worked in the EDA industry on RTL synthesis and verification for about three years. His research interest includes design methodologies for high-performance low-power testable VLSI system, defect-based testing, noise analysis, and noise-aware design.Arijit Raychowdhury received the B.E. degree in 2001 in electronics and telecommunication engineering from Jadavpur University, India. He is currently pursuing the Ph.D. degree in electrical and computer engineering in Purdue University, West Lafayette, IN, USA. He has worked as an analog circuit designer in Texas Instruments India. His research interests include device/circuit design for scaled silicon and nonsilicon devices. He has received academic excellence awards in 1997, 2000, and 2001 and Messner Fellowship from Purdue University in 2002. Mr. Raychowdhury has been awarded the Best Student Paper Award in the IEEE Nanotechnology Conference, 2003.Kaushik Roy received the B.Tech. degree in electronics and electrical communications engineering from the Indian Institute of Technology, Kharagpur, India, and the Ph.D. degree from the Electrical and Computer Engineering Department, University of Illinois, Urbana, in 1990. He was with the Semiconductor Process and Design Center of Texas Instruments, Dallas, TX, where he worked on FPGA architecture development and low-power circuit design. He joined the electrical and computer engineering faculty, Purdue University, West Lafayette, IN, in 1993, where he is currently a Professor. His research interests include VLSI design/CAD with particular emphasis in low-power electronics for portable computing and wireless communications, VLSI testing and verification, and reconfigurable computing. He has published more than 250 papers in refereed journals and conferences, holds six patents, and is Co-Author of a book on Low Power CMOS VLSI Design (New York: Wiley). He was Guest Editor for a Special Issue on Low-Power VLSI in IEE Proceedings Computers and Digital Techniques (July 2002). Dr. Roy received the National Science Foundation Career Development Award in 1995, the IBM Faculty Partnership Award, AT&T/Lucent Foundation Award, Best Paper Awards at the 1997 International Test Conference and 2000 International Symposium on Quality of IC Design, 2003 IEEE Latin American Test Workshop, and 2003 IEEE Nano. He is on the Editorial Board of IEEE Design and Test, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, and IEEE TRANSACTIONS ON VLSI SYSTEMS. He was Guest Editor for a Special Issue on Low-Power VLSI in IEEE DESIGN AND TEST (1994), and for the IEEE TRANSACTIONS ON VLSI SYSTEMS (June 2000).  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号