全文获取类型
收费全文 | 183篇 |
免费 | 12篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 56篇 |
机械仪表 | 2篇 |
建筑科学 | 4篇 |
能源动力 | 10篇 |
轻工业 | 11篇 |
水利工程 | 1篇 |
石油天然气 | 1篇 |
无线电 | 21篇 |
一般工业技术 | 19篇 |
冶金工业 | 9篇 |
自动化技术 | 60篇 |
出版年
2023年 | 3篇 |
2022年 | 8篇 |
2021年 | 9篇 |
2020年 | 1篇 |
2019年 | 5篇 |
2018年 | 3篇 |
2017年 | 7篇 |
2016年 | 4篇 |
2015年 | 8篇 |
2014年 | 7篇 |
2013年 | 4篇 |
2012年 | 6篇 |
2011年 | 12篇 |
2010年 | 6篇 |
2009年 | 14篇 |
2008年 | 13篇 |
2007年 | 13篇 |
2006年 | 9篇 |
2005年 | 7篇 |
2004年 | 2篇 |
2003年 | 4篇 |
2002年 | 12篇 |
2001年 | 1篇 |
2000年 | 1篇 |
1999年 | 5篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1994年 | 5篇 |
1992年 | 4篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1982年 | 1篇 |
1977年 | 2篇 |
1975年 | 2篇 |
1974年 | 1篇 |
1972年 | 2篇 |
排序方式: 共有196条查询结果,搜索用时 15 毫秒
1.
Ron Kimmel Doron Shaked Michael Elad Irwin Sobel 《IEEE transactions on image processing》2005,14(6):796-803
Gamut mapping deals with the need to adjust a color image to fit into the constrained color gamut of a given rendering medium. A typical use for this tool is the reproduction of a color image prior to its printing, such that it exploits best the given printer/medium color gamut, namely the colors the printer can produce on the given medium. Most of the classical gamut mapping methods involve a pixel-by-pixel mapping and ignore the spatial color configuration. Recently proposed spatial-dependent approaches for gamut mapping are either based on heuristic assumptions or involve a high computational cost. In this paper, we present a new variational approach for space-dependent gamut mapping. Our treatment starts with the presentation of a new measure for the problem, closely related to a recent measure proposed for Retinex. We also link our method to recent measures that attempt to couple spectral and spatial perceptual measures. It is shown that the gamut mapping problem leads to a quadratic programming formulation, guaranteed to have a unique solution if the gamut of the target device is convex. An efficient numerical solution is proposed with promising results. 相似文献
2.
Conventional access methods cannot be effectively used in large Scientific/Statistical Database (SSDB) applications. A file structure (called bit transposed file (BTF)) is proposed which offers several attractive features that are better suited for the special characteristics that SSDBs exhibit. This file structure is an extreme version of the (attribute) transposed file. The data are stored by vertical bit partitions. The bit patterns of attributes are assigned using one of several data encoding methods. Each of these encoding methods is appropriate for different query types. The bit partitions can also be compressed using a version of the run length encoding scheme. Efficient operators on compressed bit vectors have been developed and form the basis of a query language. Because of the simplicity of the file structure and query language, optimization problems for database design, query evaluation, and common subexpression removal can be formalized and efficient exact solution or near optimal solution can be achieved. In addition to selective power with low overheads for SSDBs, the BTF is also amenable to special parallel hardware. Results from experiments with the file structure suggest that this approach may be a reasonable alternative file structure for large SSDBs. 相似文献
3.
Doron Drusinsky 《Innovations in Systems and Software Engineering》2014,10(2):123-136
This paper describes a technique for runtime monitoring (RM) and runtime verification (RV) of systems with invisible events and data artifacts. Our approach combines well-known hidden markov model (HMM) techniques for learning and subsequent identification of hidden artifacts, with runtime monitoring of probabilistic formal specifications. The proposed approach entails a process in which the end-user first develops and validates deterministic formal specification assertions, s/he then identifies hidden artifacts in those assertions. Those artifacts induce the state set of the identifying HMM. HMM parameters are learned using standard frequency analysis techniques. In the verification or monitoring phase, the system emits visible events and data symbols, used by the HMM to deduce invisible events and data symbols, and sequences thereof; both types of symbols are then used by a probabilistic formal specification assertion to monitor or verify the system. 相似文献
4.
Iris Binyamin Eitan Grossman Matanel Gorodnitsky Doron Kam Shlomo Magdassi 《Advanced functional materials》2023,33(24):2214368
High-performance polymers are an important class of materials that are used in challenging conditions, such as in aerospace applications. Until now, 3D printing based on stereolithography processes can not be performed due to a lack of suitable materials. There is report on new materials and printing compositions that enable 3D printing of objects having extremely high thermal resistance, with Tg of 283 °C and excellent mechanical properties. The printing is performed by a low-cost Digital Light Processing printer, and the formulation is based on a dual-cure mechanism, photo, and thermal process. The main components are a molecule that has both epoxy and acrylate groups, alkylated melamine that enables a high degree of crosslinking, and a soluble precursor of silica. The resulting objects are made of hybrid materials, in which the silicon is present in the polymeric backbone and partly as silica enforcement particles. 相似文献
5.
Certain behavioral properties of distributed systems are difficult to express in interleaving semantics, whereas they are naturally expressed in terms of partial orders of events or, equivalently, Mazurkiewicz traces. Two examples of such properties are serializability of a database and global snapshots of concurrent systems. Recently, a modest extension for LTL by an operator that expresses snapshots, has been proposed. It combines the ease of linear (interleaving) specification with this useful partial order concept. The new construct allows one to assert that a global snapshot appeared in the past, perhaps not in the observed execution sequence, but possibly in an equivalent one. 相似文献
6.
Doron Drusinsky James Bret Michael Man-Tak Shing 《Innovations in Systems and Software Engineering》2008,4(2):161-168
This paper presents a framework for augmenting independent validation and verification (IV&V) of software systems with computer-based
IV&V techniques. The framework allows an IV&V team to capture its own understanding of the application as well as the expected
behavior of any proposed system for solving the underlying problem by using an executable system reference model, which uses formal assertions to specify mission- and safety-critical behaviors. The framework uses execution-based model
checking to validate the correctness of the assertions and to verify the correctness and adequacy of the system under test. 相似文献
7.
Partial order techniques enable reducing the size of the state space used for model checking, thus alleviating the “state space explosion” problem. These reductions are based on selecting a subset of the enabled operations from each program state. So far, these methods have been studied, implemented, and demonstrated for assertional languages that model the executions of a program as computation sequences, in particular the linear temporal logic. The present paper shows, for the first time, how this approach can be applied to languages that model the behavior of a program as a tree. We study here partial order reductions for branching temporal logics, e.g., the logics CTL and CTL* (with the next time operator removed) and process algebra logics such as Hennesy–Milner logic (withτactions). Conditions on the selection of subset of successors from each state during the state-space construction, which guarantee reduction that preserves CTL* properties, are given. The experimental results provided show that the reduction is substantial. 相似文献
8.
Keren Nitzan Leah Ellenbogen Ziv Bentulila Dekel David Motty Franko Emanuela P. Break Michal Zoharetz Alon Shamir Yosef Sarne Ravid Doron 《International journal of molecular sciences》2022,23(16)
Alzheimer’s disease (AD) is the most common form of dementia, but there is still no available treatment. Δ9-tetrahydrocannabinol (THC) is emerging as a promising therapeutic agent. Using THC in conventional high doses may have deleterious effects. Therefore, we propose to use an ultra-low dose of THC (ULD-THC). We previously published that a single injection of ULD-THC ameliorated cognitive functioning in several models of brain injuries as well as in naturally aging mice. Here, 5xFAD AD model mice received a single treatment of ULD-THC (0.002 mg/kg) after disease onset and were examined in two separate experiments for cognitive functions, neurotropic, and inflammatory factors in the hippocampus. We show that a single injection of ULD-THC alleviated cognitive impairments in 6- and 12-month-old 5xFAD mice. On the biochemical level, our results indicate an imbalance between the truncated TrkB receptor isoform and the full receptor, with AD mice showing a greater tendency to express the truncated receptor, and ULD-THC improved this imbalance. We also investigated the expression of three AD-related inflammatory markers and found an ameliorating effect of ULD-THC. The current research demonstrates for the first time the beneficial effects of a single ultra-low dose of THC in a mouse model of AD after disease onset. 相似文献
9.
Doron Drusinsky 《Innovations in Systems and Software Engineering》2016,12(2):141-151
This paper presents RM-BCS, a novel run-time monitoring (RM) technique that uses periodic bounded constraint solving (BCS) to monitor streaming systems with undetermined artifacts such as agent roles and message classification. BCS is used to discover maps of interest, mapping a streaming collection of messages to a domain of discourse that consists of a set of known agents, roles, and message meanings; the desired map is one in which an underlying first-order logic constraint is satisfied. We demonstrate the technique for the problem of detecting an, Internet-based terrorist attack coordination session within frames of streaming data such as a Twitter stream. The proposed technique is a third class of RM techniques, the first two being RM of deterministic observation streams and RM of probabilistic observation streams. 相似文献
10.