全文获取类型
收费全文 | 466篇 |
免费 | 23篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 9篇 |
综合类 | 1篇 |
化学工业 | 127篇 |
金属工艺 | 24篇 |
机械仪表 | 11篇 |
建筑科学 | 29篇 |
矿业工程 | 1篇 |
能源动力 | 14篇 |
轻工业 | 40篇 |
水利工程 | 4篇 |
无线电 | 25篇 |
一般工业技术 | 83篇 |
冶金工业 | 48篇 |
原子能技术 | 6篇 |
自动化技术 | 69篇 |
出版年
2023年 | 3篇 |
2022年 | 27篇 |
2021年 | 36篇 |
2020年 | 9篇 |
2019年 | 10篇 |
2018年 | 17篇 |
2017年 | 13篇 |
2016年 | 17篇 |
2015年 | 11篇 |
2014年 | 20篇 |
2013年 | 35篇 |
2012年 | 24篇 |
2011年 | 33篇 |
2010年 | 19篇 |
2009年 | 26篇 |
2008年 | 24篇 |
2007年 | 22篇 |
2006年 | 18篇 |
2005年 | 8篇 |
2004年 | 12篇 |
2003年 | 12篇 |
2002年 | 10篇 |
2001年 | 5篇 |
2000年 | 7篇 |
1999年 | 3篇 |
1998年 | 7篇 |
1997年 | 8篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 2篇 |
1992年 | 4篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 3篇 |
1983年 | 3篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1977年 | 4篇 |
1976年 | 5篇 |
1975年 | 1篇 |
1974年 | 2篇 |
1973年 | 3篇 |
1972年 | 2篇 |
1967年 | 1篇 |
1964年 | 1篇 |
排序方式: 共有491条查询结果,搜索用时 31 毫秒
1.
可重定位的基于事务的系统级验证 总被引:2,自引:0,他引:2
功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门,以及对开发和集成嵌入式软件的需求持续增加,软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下,软件仿真器的性能下降到1-5Hz。按照这种速率,软件调试需要几年的时 相似文献
2.
We consider relational structures such that is a set and are two binary relations on . For a number of different classes of structures we show that any structure can be represented as the intersection of its
maximal extensions. Such a property – called extension completeness – can be seen as a generalisation of Szpilrajn's theorem
which states that each partial order is the intersection of its total order extensions. When can be interpreted as causality and as ‘weak’ causality we obtain a model of concurrent histories generalising that based on causal partial orders.
Received 1 February 1994 / 6 May 1996 相似文献
3.
4.
Ann-Kathrin Eichelmann George C. Mayne Karen Chiam Steven L. Due Isabell Bastian Frederike Butz Tingting Wang Pamela J. Sykes Nicholas J. Clemons David S. Liu Michael Z. Michael Christos S. Karapetis Richard Hummel David I. Watson Damian J. Hussey 《International journal of molecular sciences》2021,22(11)
TP53 gene mutations occur in 70% of oesophageal adenocarcinomas (OACs). Given the central role of p53 in controlling cellular response to therapy we investigated the role of mutant (mut-) p53 and SLC7A11 in a CRISPR-mediated JH-EsoAd1 TP53 knockout model. Response to 2 Gy irradiation, cisplatin, 5-FU, 4-hydroxytamoxifen, and endoxifen was assessed, followed by a TaqMan OpenArray qPCR screening for differences in miRNA expression. Knockout of mut-p53 resulted in increased chemo- and radioresistance (2 Gy survival fraction: 38% vs. 56%, p < 0.0001) and in altered miRNA expression levels. Target mRNA pathways analyses indicated several potential mechanisms of treatment resistance. SLC7A11 knockdown restored radiosensitivity (2 Gy SF: 46% vs. 73%; p = 0.0239), possibly via enhanced sensitivity to oxidative stress. Pathway analysis of the mRNA targets of differentially expressed miRNAs indicated potential involvement in several pathways associated with apoptosis, ribosomes, and p53 signaling pathways. The data suggest that mut-p53 in JH-EsoAd1, despite being classified as non-functional, has some function related to radio- and chemoresistance. The results also highlight the important role of SLC7A11 in cancer metabolism and redox balance and the influence of p53 on these processes. Inhibition of the SLC7A11-glutathione axis may represent a promising approach to overcome resistance associated with mut-p53. 相似文献
5.
Prosenjit Bose Paz Carmi Mirela Damian Robin Flatland Matthew J. Katz Anil Maheshwari 《Algorithmica》2014,69(2):397-409
For any angle α<2π, we show that any connected communication graph that is induced by a set P of n transceivers using omni-directional antennas of radius 1, can be replaced by a strongly connected communication graph, in which each transceiver in P is equipped with a directional antenna of angle α and radius r dir, for some constant r dir=r dir(α). Moreover, the new communication graph is a c-spanner of the original graph, for some constant c=c(α), with respect to number of hops. 相似文献
6.
7.
8.
Damian D. Lanubile F. Mallardo T. 《IEEE transactions on pattern analysis and machine intelligence》2008,34(1):116-132
Achieving agreement with respect to software requirements is a collaborative process that traditionally relies on same-time, same-place interactions. As the trend toward geographically distributed software development continues, colocated meetings are becoming increasingly problematic. Our research investigates the impact of computer-mediated communication on the performance of distributed client/developer teams involved in the collaborative development of a requirements specification. Drawing on media-selection theories, we posit that a combination of lean and rich media is needed for an effective process of requirements negotiations when stakeholders are geographically dispersed. In this paper, we present an empirical study that investigates the performance of six educational global project teams involved in a negotiation process using both asynchronous text-based and synchronous videoconferencing-based communication modes. The findings indicate that requirement negotiations were more effective when the groups conducted asynchronous structured discussions of requirement issues prior to the synchronous negotiation meeting. Asynchronous discussions were useful in resolving issues related to uncertainty in requirements, thus allowing synchronous negotiations to focus more on removing ambiguities in the requirements. 相似文献
9.
Mohammed Mahmoud Yuqiong Liu Holly Hartmann Steven Stewart Thorsten Wagener Darius Semmens Robert Stewart Hoshin Gupta Damian Dominguez Francina Dominguez David Hulse Rebecca Letcher Brenda Rashleigh Court Smith Roger Street Jenifer Ticehurst Mark Twery Hedwig van Delden Ruth Waldick Denis White Larry Winter 《Environmental Modelling & Software》2009,24(7):798-808
Scenarios are possible future states of the world that represent alternative plausible conditions under different assumptions. Often, scenarios are developed in a context relevant to stakeholders involved in their applications since the evaluation of scenario outcomes and implications can enhance decision-making activities. This paper reviews the state-of-the-art of scenario development and proposes a formal approach to scenario development in environmental decision-making. The discussion of current issues in scenario studies includes advantages and obstacles in utilizing a formal scenario development framework, and the different forms of uncertainty inherent in scenario development, as well as how they should be treated. An appendix for common scenario terminology has been attached for clarity. Major recommendations for future research in this area include proper consideration of uncertainty in scenario studies in particular in relation to stakeholder relevant information, construction of scenarios that are more diverse in nature, and sharing of information and resources among the scenario development research community. 相似文献
10.
Ryszard Janicki 《Acta Informatica》2008,45(4):279-320
The paper deals with the foundations of concurrency theory. We show how structurally complex concurrent behaviours can be
modelled by relational structures
(X, ¨, \sqsubset){(X, \diamondsuit, \sqsubset)} , where X is a set (of event occurrences), and ¨{\diamondsuit} (interpreted as commutativity) and
\sqsubset{\sqsubset} (interpreted as weak causality) are binary relations on X. The paper is a continuation of the approach initiated in Gaifman and Pratt (Proceedings of LICS’87, pp 72–85, 1987), Lamport
(J ACM 33:313–326, 1986), Abraham et al. (Semantics for concurrency, workshops in computing. Springer, Heidelberg, pp 311–323,
1990) and Janicki and Koutny (Lect Notes Comput Sci 506:59–74, 1991), substantially developed in Janicki and Koutny (Theoretical
Computer Science 112:5–52, 1993) and Janicki and Koutny (Acta Informatica 34:367–388, 1997), and recently generalized in Guo
and Janicki (Lect Notes Comput Sci 2422:178–191, 2002) and Janicki (Lect Notes Comput Sci 3407:84–98, 2005). For the first
time the full model for the most general case is given. 相似文献