首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   155篇
  免费   2篇
化学工业   91篇
机械仪表   3篇
能源动力   1篇
轻工业   1篇
水利工程   4篇
一般工业技术   3篇
冶金工业   31篇
自动化技术   23篇
  2023年   1篇
  2021年   1篇
  2017年   1篇
  2015年   2篇
  2014年   1篇
  2013年   4篇
  2012年   3篇
  2010年   1篇
  2009年   1篇
  2008年   3篇
  2007年   4篇
  2006年   4篇
  2005年   2篇
  2004年   2篇
  2003年   2篇
  2002年   1篇
  2001年   1篇
  1999年   1篇
  1998年   2篇
  1997年   3篇
  1996年   4篇
  1995年   4篇
  1993年   3篇
  1992年   1篇
  1990年   6篇
  1989年   1篇
  1988年   3篇
  1986年   1篇
  1984年   2篇
  1982年   2篇
  1981年   2篇
  1980年   1篇
  1979年   1篇
  1977年   1篇
  1975年   1篇
  1974年   1篇
  1969年   1篇
  1960年   6篇
  1959年   12篇
  1958年   11篇
  1957年   12篇
  1956年   1篇
  1955年   12篇
  1953年   1篇
  1948年   13篇
  1947年   8篇
  1946年   5篇
  1945年   1篇
排序方式: 共有157条查询结果,搜索用时 15 毫秒
61.
62.
The NYU Tvoc project applies the method of translation validation to verify that optimized code is semantically equivalent to the unoptimized code, by establishing, for each run of the optimizing compiler, a set of verification conditions (VCs) whose validity implies the correctness of the optimized run. The core of Tvoc is Tvoc-sp, that handles structure preserving optimizations, i.e., optimizations that do not alter the inner loop structures. The underlying proof rule, Val, on whose soundness Tvoc-sp is based, requires, among other things, to generating invariants at each “cutpoint” of the control graph of both source and target codes. The current implementation of Tvoc-sp employs somewhat naïve fix-point computations to obtain the invariants. In this paper, we propose an alternative method to compute invartiants which is based on simple data-flow analysis techniques.  相似文献   
63.
64.
The studies presented in this article resulted in the findings that gender differences in self-efficacy for the Holland themes are consistent with previous findings regarding gender differences in Holland interest patterns, although the gender differences are less pronounced in employed adults than in college students. Within occupational group, the self-efficacy profiles of women and men were very similar and closely corresponded to the Holland interest code of the occupation. Confidence for and interest in a theme were moderately correlated, and recommendations for the counseling use of joint combinations of interests and self-efficacy are made. (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
65.
66.
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of relying on a relatively simple theory of linked lists in order to support abstraction computation. To facilitate the application of this encoding, we provide a program transformation that, given a program operating on a multi-linked heap without sharing, transforms it into one over a single-parent heap. It is then possible to apply shape analysis by predicate and ranking abstraction. The technique has been successfully applied on examples with lists (reversal and bubble sort) and trees with of fixed arity (balancing of, and insertion into, a binary sort tree).  相似文献   
67.
Argues that the well-documented sex difference in depression may be due to a sex difference in susceptibility, in precipitating factors, or in both. Data from a large mental health survey (2,515 White over-18 residents of 2 cities) were used to study precipitating factors. It was found that women were exposed more often to more of the factors that relate to depression; with a few exceptions, the factors related to depression similarly for men and women. Matching on these factors did not eliminate the sex difference in depression. This suggests that there may be a sex difference in susceptibility. Current theories of depression are incorporated into a sequential model of how learned factors might contribute both to susceptibility and to the sex difference. (14 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
68.
The discipline of psychology has made many contributions to the understanding of the social problem of men's violence against women during the past 15 years by reframing the problem as one of misuse of power by men who have been socialized into believing they are entitled to control the women in their lives, even by violent means. The new scientific psychology data base formed by integrating feminist gender analysis methods into more traditional psychological methodology is discussed, as are the implications of the resulting empirical data on which are based newer assessment, treatment, and forensic applications. A review of the major psychological advances in psychotherapy with women who have been sexually assaulted, exploited, and battered is presented, as well as implications for national policy. The feminist model presented is one in which science and practice concerns are carefully considered at all steps of the process. The article concludes with a discussion of the challenges involved in making the future training of psychologists more relevant to women's mental health concerns. (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
69.
70.
Dai LL  Tarimala S  Wu CY  Guttula S  Wu J 《Scanning》2008,30(2):87-95
We have employed a laser scanning confocal microscope (LSCM) to study the structure and dynamics of microparticles at Pickering emulsion interfaces. The microparticles can have rich morphology at the emulsion interfaces, ranging from an aggregated structure to colloidal lattices, with a possibility of involving heterogeneous particles. With a specific interest in colloidal lattices, we find that although the enhanced electrostatic repulsion explains the formation of colloidal lattices by sulfate-treated polystyrene (S-PS) particles, it fails to interpret the unsuccessfulness of assembling lattices containing single-species carboxylate-treated polystyrene (C-PS) particles. A small percentage of C-PS particles in the colloidal mixture does not disturb the formation of lattices made of S-PS particles. The LSCM also provides a meaningful way to probe dynamic information. The diffusion of single particles at the emulsion interfaces depends strongly on the oil phase viscosity, particle size, and particle wettability. A highly curved emulsion interface slows the motion of microparticles at oil-water interfaces but the interface curvature effect decreases with increasing oil phase viscosity. Although the confocal microscope was originally used as an imaging tool, we find that the thermodynamic equilibrium of colloidal lattices can be disturbed and even destroyed when increasing the output laser intensity.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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