全文获取类型
收费全文 | 158篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
化学工业 | 26篇 |
机械仪表 | 2篇 |
建筑科学 | 2篇 |
轻工业 | 7篇 |
无线电 | 17篇 |
一般工业技术 | 30篇 |
冶金工业 | 42篇 |
自动化技术 | 39篇 |
出版年
2023年 | 2篇 |
2022年 | 8篇 |
2021年 | 5篇 |
2020年 | 5篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2016年 | 1篇 |
2015年 | 3篇 |
2014年 | 3篇 |
2013年 | 8篇 |
2012年 | 3篇 |
2011年 | 6篇 |
2010年 | 7篇 |
2009年 | 4篇 |
2008年 | 7篇 |
2007年 | 6篇 |
2006年 | 4篇 |
2005年 | 11篇 |
2004年 | 5篇 |
2003年 | 6篇 |
2002年 | 5篇 |
2001年 | 1篇 |
2000年 | 4篇 |
1999年 | 7篇 |
1998年 | 10篇 |
1997年 | 7篇 |
1996年 | 2篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1990年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1983年 | 4篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 3篇 |
1974年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有165条查询结果,搜索用时 0 毫秒
1.
Zohar Yosibash 《International Journal of Fracture》1995,74(4):341-361
Linear elastic two-dimensional problems with singular points subjected to steady-state temperature distribution are considered. The stress tensor in the vicinity of the singular points exhibits singular behavior characterized by the strength of the singularity and the associated thermal stress intensity factors (TSIFs). It is shown that the TSIFs and the strength of the stress singularity can be obtained using the principle of complementary energy together with the modified Steklov method and the p-version of the finite element method. Importantly, the proposed method is applicable not only to singularities associated with crack tips, but also to multi-material interfaces and non-homogeneous materials. Numerical results of crack-tip singularities in a rectangular plate and singular points associated with a two-material inclusion are presented.Research performed while the author served as a visiting assistant professor at the Center for Computational Mechanics, Washington University, St. Louis, Missouri 63130, USA. 相似文献
2.
Danah Zohar 《Minds and Machines》1995,5(4):597-607
There have been suggestions that the unity of consciousness may be related to the kind of holism depicted only in quantum physics. This argument will be clarified and strengthened. It requires the brain to contain a quantum system with the right properties — a Bose-Einstein condensate. It probably does contain one such system, as both theory and experiment have indicated. In fact, we cannot pay full attention to a quantum whole and its parts simultaneously, though we may oscillate between the two. In a quantum theory of consciousness, emergent meanings arise as an inevitable consequence of Heisenberg's Uncertainty Principle. 相似文献
3.
Sheng Ying Zohar Yoni Ringeissen Christophe Lange Jane Fontaine Pascal Barrett Clark 《Journal of Automated Reasoning》2022,66(3):331-355
Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its... 相似文献
4.
Nikolaj S. Bjørner Anca Browne Michael A. Colón Bernd Finkbeiner Zohar Manna Henny B. Sipma Tomás E. Uribe 《Formal Methods in System Design》2000,16(3):227-270
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction. 相似文献
5.
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. 相似文献
6.
Crack onset at a v-notch. Influence of the notch tip radius 总被引:1,自引:0,他引:1
A criterion to predict crack onset at a sharp notch in homogeneous brittle materials has been presented in a previous paper of one of the authors. It is reviewed and improved herein. It fulfils both the energy and the strength criteria and takes an Irwin-like form involving the generalized intensity factor of the singularity governing the elastic behaviour in the vicinity of a notch tip. The prediction agrees fairly well with the experiments although it slightly underestimates the experimental measures. A cause of this discrepancy can be that a small notch tip radius blunts the sharp corner. It is analysed in this paper by means of matched asymptotics involving 2 small parameters: a micro-crack increment length and the notch tip radius. A correction is brought to the initial prediction and a better agreement is obtained with experiments on PMMA notched specimens. Experiments performed on a stiffer material (Alumina/Zirconia) show that it is less sensitive to small notch tip radii. A remaining small discrepancy between experiments and predictions can be due to some non linear behaviour of the materials near the notch tip. In addition, without new developments, the method allows to determine the stress intensity factor at the tip of a short crack emanating from a sharp or a rounded v-notch. 相似文献
7.
Cell Identification Codes for Tracking Mobile Users 总被引:2,自引:0,他引:2
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by requiring the use of information that is not generally available to the user (for example, the distance traveled by the user). For this reason, both the implementation of some of these strategies and the performance comparison to existing strategies is not clear. In this work we propose to close this gap by the use of Cell Identification Codes (CIC) for tracking mobile users. Each cell periodically broadcasts a short message which identifies the cell and its orientation relatively to other cells in the network. This information is used by the users to efficiently update their location. We propose several cell identification encoding schemes, which are used to implement different tracking strategies, and analyze the amount of information required by each tracking strategy. One of our major results is that there is no need to transmit a code which is unique for each cell. For example, a 3 bits CIC is sufficient to implement a distance-based tracking strategy in a two-dimensional system. In addition, we propose a combination of timer and movement tracking strategy, based on either a one-bit or a two-bit CIC, depending on system topology and user mobility. An important property of our framework is that the overall performance cost, and hence its comparison to existing methods, is evaluated for each tracking strategy. The CIC-based strategies are shown to outperform the geographic-based method currently used in existing networks, and the timer-based method, over a wide range of parameters. Moreover, this superiority increases as the number of users per cell increases. 相似文献
8.
运用光刻胶为注模的多次互不干扰金属电镀技术实现了惯性微型电学开关的低温制造与封装.电镀技术的低温过程可使微型开关直接成形于预先制作好的含有电子信号处理电路的基底上,加上同样借助于低温金属电镀技术的基于整个硅晶片的倒装封装,直接形成环绕各个器件的密封腔体.这一技术最终将使得模块化生产成为现实.微型开关的高度和它的密封腔的高度可以分别控制.电子信号可以通过金属互连线进入密封腔体.为了便于设计,建立了一个既简单又相对准确的"弹簧-质量块"模型.以此设计的惯性开关,即使在未封装的常温、常压条件下,均可工作109次以上.本文对密封腔体的强度和密封性,以及金属互连线的可靠性,都作了详细的检测,各项指标均达到其各自的标准. 相似文献
9.
Efficient multicast search under delay and bandwidth constraints 总被引:1,自引:0,他引:1
The issue of a multicast search for a group of users is discussed in this study. Given the condition that the search is over
only after all the users in the group are found, this problem is called the Conference Call Search (CCS) problem. The goal
is to design efficient CCS strategies under delay and bandwidth constraints. While the problem of tracking a single user has
been addressed by many studies, to the best of our knowledge, this study is one of the first attempts to reduce the search
cost for multiple users. Moreover, as oppose to the single user tracking, for which one can always reduce the expected search
delay by increasing the expected search cost, for a multicast search the dependency between the delay and the search cost
is more complicated, as demonstrated in this study. We identify the key factors affecting the search efficiency, and the dependency
between them and the search delay. Our analysis shows that under tight bandwidth constraints, the CCS problem is NP-hard.
We therefore propose a search method that is not optimal, but has a low computational complexity. In addition, the proposed
strategy yields a low search delay as well as a low search cost. The performance of the proposed search strategy is superior
to the implementation of an optimal single user search on a group of users.
Amotz Bar-Noy received the B.Sc. degree in 1981 in Mathematics and Computer Science and the Ph.D. degree in 1987 in Computer Science, both
from the Hebrew University, Israel. From October 1987 to September 1989 he was a post-doc fellow in Stanford University, California.
From October 1989 to August 1996 he was a Research Staff Member with IBM T. J. Watson Research Center, New York. From February
1995 to September 2001 he was an associate Professor with the Electrical Engineering-Systems department of Tel Aviv University,
Israel. From September 1999 to December 2001 he was with AT research labs in New Jersey. Since February 2002 he is a Professor
with the Computer and Information Science Department of Brooklyn College - CUNY, Brooklyn New York.
Zohar Naor received the Ph.D. degree in Computer Science from Tel Aviv University, Tel Aviv, Israel, in 2000. Since 2003 he is with
the University of Haifa, Israel. His areas of interests include wireless networks, resource management of computer networks,
mobility, search strategies, and multiple access protocols. 相似文献
10.
Zohar S Latouche A Taconnet M Chevret S 《Computer methods and programs in biomedicine》2003,72(2):117-125
The aim of dose-ranging phase I (resp. phase II) clinical trials is to rapidly identify the maximum tolerated dose (MTD) (resp., minimal effective dose (MED)) of a new drug or combination. For the conduct and analysis of such trials, Bayesian approaches such as the Continual Reassessment Method (CRM) have been proposed, based on a sequential design and analysis up to a completed fixed sample size. To optimize sample sizes, Zohar and Chevret have proposed stopping rules (Stat. Med. 20 (2001) 2827), the computation of which is not provided by available softwares. We present in this paper a user-friendly software for the design and analysis of these Bayesian Phase I (resp. phase II) dose-ranging Clinical Trials (BPCT). It allows to carry out the CRM with stopping rules or not, from the planning of the trial, with choice of model parameterization based on its operating characteristics, up to the sequential conduct and analysis of the trial, with estimation at stopping of the MTD (resp. MED) of the new drug or combination. 相似文献