全文获取类型
收费全文 | 178篇 |
免费 | 15篇 |
专业分类
电工技术 | 6篇 |
综合类 | 2篇 |
化学工业 | 54篇 |
金属工艺 | 6篇 |
机械仪表 | 4篇 |
建筑科学 | 10篇 |
矿业工程 | 1篇 |
能源动力 | 9篇 |
轻工业 | 12篇 |
水利工程 | 4篇 |
无线电 | 11篇 |
一般工业技术 | 33篇 |
冶金工业 | 4篇 |
自动化技术 | 37篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2021年 | 5篇 |
2020年 | 6篇 |
2019年 | 10篇 |
2018年 | 8篇 |
2017年 | 4篇 |
2016年 | 6篇 |
2015年 | 4篇 |
2014年 | 8篇 |
2013年 | 9篇 |
2012年 | 18篇 |
2011年 | 15篇 |
2010年 | 15篇 |
2009年 | 13篇 |
2008年 | 9篇 |
2007年 | 10篇 |
2006年 | 11篇 |
2005年 | 5篇 |
2004年 | 3篇 |
2003年 | 3篇 |
2002年 | 4篇 |
2001年 | 6篇 |
2000年 | 3篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 3篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1994年 | 3篇 |
排序方式: 共有193条查询结果,搜索用时 15 毫秒
191.
Xiaoming Li Daryl Shannon Jabari Walker Sarfraz Khurshid Darko Marinov 《Electronic Notes in Theoretical Computer Science》2006,164(2):3
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in practice. A study into a tool's usage is important not only because it can help improve the tool's usability but also because it can help improve the tool's underlying analysis technology in a common usage scenario. This paper presents a study that explores how (beginner) users work with the Alloy Analyzer, a tool for automatic analysis of software models written in Alloy, a first-order, declarative language. Alloy has been successfully used in research and teaching for several years, but there has been no study of how users interact with the analyzer. We have modified the analyzer to log (some of) its interactions with the user. Using this modified analyzer, 11 students in two graduate classes formulated their Alloy models to solve a problem set (involving two problems, each with one model). Our analysis of the resulting logs (total of 68 analyzer sessions) shows several interesting observations; based on them, we propose how to improve the analyzer, both the performance of analyses and the user interaction. Specifically, we show that: (i) users often perform consecutive analyses with slightly different models, and thus incremental analysis can speed up the interaction; (ii) users' interaction with the analyzer is sometimes predictable, and akin to continuous compilation, the analyzer can precompute the result of a future action while the user is editing the model; and (iii) (beginner) users can naturally develop semantically equivalent models that have significantly different analysis time, so it is useful to study manual and automatic model transformations that can improve performance. 相似文献
192.
Cover Picture: A Unified Sensor Architecture for Isothermal Detection of Double‐Stranded DNA,Oligonucleotides, and Small Molecules (ChemBioChem 5/2015) 下载免费PDF全文
193.
Ionic liquids, as high-tech technical fluids, have been in practical application in various fields of technology for several years. The search for ionic liquids suitable for use within hydraulic systems, as another new very important field of technology, has taken more than a decade. The development included the identification of material properties important for usage as a hydraulic fluid, an extensive preselection process and laboratory testing of suitable ionic liquids, as well as long-term testing using real hydraulic components under real operating conditions. Based on the findings, potential areas of industrial application of ionic liquids as hydraulic fluids are presented, which arise from their extraordinary physicochemical properties. 相似文献