全文获取类型
收费全文 | 92篇 |
免费 | 1篇 |
专业分类
化学工业 | 8篇 |
金属工艺 | 1篇 |
机械仪表 | 2篇 |
建筑科学 | 2篇 |
轻工业 | 5篇 |
无线电 | 6篇 |
一般工业技术 | 6篇 |
冶金工业 | 35篇 |
原子能技术 | 1篇 |
自动化技术 | 27篇 |
出版年
2023年 | 1篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2014年 | 6篇 |
2013年 | 3篇 |
2012年 | 2篇 |
2011年 | 4篇 |
2010年 | 9篇 |
2009年 | 3篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2006年 | 7篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 1篇 |
2000年 | 1篇 |
1999年 | 4篇 |
1998年 | 14篇 |
1997年 | 3篇 |
1996年 | 5篇 |
1995年 | 3篇 |
1994年 | 3篇 |
1993年 | 2篇 |
1989年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1977年 | 1篇 |
1976年 | 2篇 |
1969年 | 1篇 |
排序方式: 共有93条查询结果,搜索用时 0 毫秒
91.
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause for concern, many works have dealt with the problem of detecting them. Works based on dynamic techniques either report errors only for dataraces that occur in the current interleaving, which limits their usefulness, or produce many spurious dataraces. Works based on model checking search exhaustively for dataraces and thus can reveal even those that occur in rarely executed paths. However, the applicability of model checking is limited because the large number of thread interleavings in realistic multithreaded programs causes state space explosion. In this work, we combine the two techniques in a hybrid scheme which overcomes these difficulties and enjoys the advantages of both worlds. Our hybrid technique succeeds in providing thread interleavings that prove the existence of dataraces in realistic programs. The programs we experimented with cannot be checked using either an ordinary industrial strength model checker or bounded model checking. 相似文献
92.
Samala Murali Mohan Reddy Eileen Raßlenberg Sian Sloan-Dennison Travis Hesketh Ohad Silberbush Tell Tuttle Ewen Smith Duncan Graham Karen Faulds Rein V. Ulijn Nurit Ashkenasy Ayala Lampel 《Advanced materials (Deerfield Beach, Fla.)》2020,32(46):2003511
Melanin pigments have various properties that are of technological interest including photo- and radiation protection, rich coloration, and electronic functions. Nevertheless, laboratory-based synthesis of melanin and melanin-like materials with morphologies and chemical structures that are specifically optimized for these applications, is currently not possible. Here, melanin-like materials that are produced by enzymatic oxidation of a supramolecular tripeptide structures that are rich in tyrosine and have a 1D morphology are demonstrated, that are retained during the oxidation process while conducting tracks form through oxidative tyrosine crosslinking. Specifically, a minimalistic self-assembling peptide, Lys–Tyr–Tyr (KYY) with strong propensity to form supramolecular fibers, is utilized. Analysis by Raman spectroscopy shows that the tyrosines are pre-organized inside these fibers and, upon enzymatic oxidation, result in connected catechols. These form 1D conducting tracks along the length of the fiber, which gives rise to a level of internal disorder, but retention of the fiber morphology. This results in highly conductive structures demonstrated to be dominated by proton conduction. This work demonstrates the ability to control oxidation but retain a well-defined fibrous morphology that does not have a known equivalent in biology, and demonstrate exceptional conductivity that is enhanced by enzymatic oxidation. 相似文献
93.
Ohad Goldbart Anastasia Sedova Lena Yadgarov Rita Rosentsveig Dmitry Shumalinsky Leonid Lobik H. Daniel Wagner Reshef Tenne 《Tribology Letters》2014,55(1):103-109
In the present work, MoS2 nanoparticles with fullerene-like structure, and most particularly those doped with minute amounts of rhenium atoms, are used as additive to medical gels in order to facilitate their entry into constricted openings of soft material rings. This procedure is used to mimic the entry of endoscopes to constricted openings of the human body, like urethra, etc. It is shown that the Re-doped nanoparticles reduce the traction force used to retrieve the metallic lead of the endoscope from the soft ring by a factor close to three times with respect to the original gel. The mechanism of the mitigation of both friction and adhesion forces in these systems by the nanoparticles is discussed. 相似文献