全文获取类型
收费全文 | 229篇 |
免费 | 16篇 |
专业分类
电工技术 | 5篇 |
化学工业 | 82篇 |
金属工艺 | 5篇 |
机械仪表 | 4篇 |
建筑科学 | 5篇 |
矿业工程 | 1篇 |
能源动力 | 6篇 |
轻工业 | 19篇 |
水利工程 | 2篇 |
无线电 | 13篇 |
一般工业技术 | 61篇 |
冶金工业 | 5篇 |
自动化技术 | 37篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 23篇 |
2021年 | 33篇 |
2020年 | 11篇 |
2019年 | 4篇 |
2018年 | 10篇 |
2017年 | 13篇 |
2016年 | 15篇 |
2015年 | 6篇 |
2014年 | 7篇 |
2013年 | 18篇 |
2012年 | 19篇 |
2011年 | 12篇 |
2010年 | 15篇 |
2009年 | 15篇 |
2008年 | 9篇 |
2007年 | 8篇 |
2006年 | 3篇 |
2005年 | 2篇 |
2004年 | 2篇 |
2003年 | 3篇 |
2002年 | 4篇 |
1998年 | 3篇 |
1997年 | 1篇 |
1996年 | 2篇 |
排序方式: 共有245条查询结果,搜索用时 0 毫秒
1.
2.
3.
4.
Bartosz Więckowski 《Journal of Logic, Language and Information》2016,25(2):215-268
A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language (e.g., common nouns, verbs, adjectives, adverbs, modifiers). Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. 相似文献
5.
According to Pedraz-Delhaes, users evaluate both the product and the vendor on the basis of provided documentation. Thus, a question arises as to what quality characteristics should be taken into account when making a decision about accepting a given user manual. There are some proposals (e.g., ISO Std. 26513 and 26514), but they contain too many quality characteristics and lack orthogonality. The goal of this paper is to propose a simple quality model for user documentation, along with acceptance methods based on it. The model is to be orthogonal and complete. As a result, the COCA quality model is presented, which comprises four orthogonal quality characteristics: Completeness, Operability, Correctness, and Appearance. To check completeness, the proposed quality model has been compared with many other quality models that are directly or indirectly concerned with user documentation. Moreover, two acceptance methods are described in the paper: pure review based on ISO Std. 1028:2008, and documentation evaluation test (a type of browser evaluation test), which is aimed at assessing the operability of user documentation. Initial quality profiles have been empirically collected for both methods—they can be used when interpreting evaluation results obtained for a given user manual. 相似文献
6.
Abstract The success of the testing of volatile organic compounds emitted by animals is dependent on the creation of appropriate conditions for air sampling subsequently used to assay and identify the compounds. These conditions play a particularly important role in the investigation of pheromones, which are secreted in extremely low concentrations. The authors have not come across any previous work which offers constructional solutions, which would allow avoidance of contamination of the air samples containing volatile substances secreted by animals. A constructional solution was developed, which provides optimal conditions for their sampling and isolation. Its main advantages are as follows: the exposure chamber (the chamber in which the animal is studied) is filled with synthetic air; the exposure chamber is separated from the atmospheric air with a synthetic air “jacket”; the exposure chamber has been constructed using materials which do not release chemicals and absorb them in trace quantities. 相似文献
7.
This paper considers methods for knowledge exploitation in security policies for Service-Oriented Architecture (SOA) environments, discovering the modality conflicts in particular. Two algorithms for discovering SOA-specific modality conflicts are proposed. First, a trivial (ad-hoc) approach is presented and further extended by the improved algorithm which offers lower time complexity. The formal verification of the proposal is followed by experimental results confirming the expected supremacy of the improved algorithm. 相似文献
8.
Physicochemical quality and oxidative stability of linseed (Linum usitatissimum) and camelina (Camelina sativa) cold‐pressed oils from retail outlets
下载免费PDF全文
![点击此处可从《European Journal of Lipid Science and Technology》网站下载免费的PDF全文](/ch/ext_images/free.gif)
9.
Javier S. Castro Bartosz Trzaskowski Pierre A. Deymier Jaim Bucay Ludwik Adamowicz James B. Hoying 《Materials science & engineering. C, Materials for biological applications》2009,29(5):1609-1615
The ability of Taxol (paclitaxel) to bind and stabilize microtubules is the basis for its use as an anti-mitotic drug as well as an additive for in vivo and in vitro studies of microtubules. The low solubility of Taxol in aqueous solutions, however, facilitates the formation of Taxol crystals that can be decorated with fluorescent tubulin. In cells treated with Taxol, these decorated Taxol crystals may be mistaken for self-assembled tubulin asters when observed with a fluorescent microscope. We confirmed via fluorescent and differential interference contrast microscopy that Taxol crystals can be decorated not only with fluorescent tubulin but also with other fluorescent proteins and fluorochromes without perturbing their morphology. We used theoretical calculations to further investigate Taxol-fluorescent agent interactions. Using computational docking studies we identified a new, potential Taxol binding site within the tubulin dimmer, allowing the interaction between crystalline Taxol and tubulin. Our calculations, however, show that fluorescent tubulin binding to Taxol crystals is more favorable via the fluorochromes covalently linked to the tubulin dimmers, rather than via the new Taxol-binding site, what is in accordance with our experimental data. 相似文献
10.
Agnieszka Łącz Łukasz Łańcucki Radosław Lach Bartosz Kamecki Ewa Drożdż 《International Journal of Hydrogen Energy》2018,43(18):8999-9005
Series of single-phase materials with assumed formula SrTi1?xCrxO3 (where x = 0, 1, 4, 6 mol.%) were obtained by sol-gel method. The structure and microstructure of materials were characterised by X-ray diffraction and scanning electron microscopy methods. Moreover, the study of electrical properties and evaluation of chemical stability in CO2/H2O atmosphere was performed by electrochemical impedance spectroscopy and thermogravimery methods, respectively. The possibility of participation of Cr-doped strontium titanate in oxidation–reduction processes was analysed by temperature-programed reduction (TPR) and temperature-programed oxidation (TPOx) measurements. The changes of lattice parameters together with XPS analysis, the Seebeck coefficient measurements results and TPR profiles obtained for SrTi1?xCrxO3 materials prove the presence of chromium on +3 and +6 oxidation stages. Thus, chromium can be treated as both acceptor- and donor-type dopant in the SrTiO3 structure. The Cr3+/Cr6+ ratio strongly affects the electrical properties, as the change of conduction mechanism was observed. The results of performed stability test clearly indicate that incorporation of chromium into SrTiO3 structure results with decrease of chemical stability in CO2 atmosphere. 相似文献