全文获取类型
收费全文 | 48篇 |
免费 | 1篇 |
专业分类
化学工业 | 5篇 |
金属工艺 | 1篇 |
机械仪表 | 1篇 |
建筑科学 | 1篇 |
轻工业 | 1篇 |
无线电 | 3篇 |
一般工业技术 | 5篇 |
冶金工业 | 3篇 |
自动化技术 | 29篇 |
出版年
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2014年 | 4篇 |
2013年 | 1篇 |
2011年 | 4篇 |
2010年 | 10篇 |
2009年 | 3篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 1篇 |
2004年 | 2篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 1篇 |
2000年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1976年 | 1篇 |
排序方式: 共有49条查询结果,搜索用时 10 毫秒
41.
42.
Ohad Inbar Gesche Joost Fabian Hemmert Talya Porat 《Behaviour & Information Technology》2014,33(12):1317-1332
Recipients of phone calls face a constant dilemma between ignoring calls at the possible expense of offending the caller, missing business opportunities or neglecting family members on one hand; and answering them at the expense of interrupting their train of thought or appearing rude and impolite towards others with whom they share a social activity on the other hand. We studied people's attitudes regarding these dilemmas, with emphasis on their social aspects. In a cross-cultural study, conducted in Israel and in Germany, we surveyed both caller and recipient attitudes towards answering mobile phone calls in various circumstances. The study also assessed the aspects of providing contextual information about a call prior to it being answered, including types of information deemed most valuable. The results emphasise the importance of social norms in affecting respondents’ attitudes towards making or accepting phone calls regardless of role (caller or recipient), gender or culture. We also found that the norms in the physical context (e.g. being in a meeting) prevailed over norms in the virtual context (e.g. the phone call). Cultural and gender differences did not affect the degree to which people were frustrated by insufficient information regarding the other party's context. However, these factors did affect the suggested design solutions to this problem. The research provides insight into the social aspects of the problem of interruptive mobile phone calls and towards designing applications that help users maintain politeness while handling the caller–recipient dilemma. 相似文献
43.
Visual tracking is considered a common procedure in many real-time applications. Such systems are required to track objects under changes in illumination, dynamic viewing angle, image noise and occlusions (to name a few). But to maintain real-time performance despite these challenging conditions, tracking methods should require extremely low computational resources, therefore facing a trade-off between robustness and speed. Emergence of new consumer-level cameras capable of capturing video in 60 fps challenges this tradeoff even further. Unfortunately, state-of-the-art tracking techniques struggle to meet frame rates over 30 VGA-resolution fps with standard desktop power, let alone on typically-weaker mobile devices. In this paper we suggest a significantly cheaper computational method for tracking in colour video clips, that greatly improves tracking performance, in terms of robustness/speed trade-off. The suggested approach employs a novel similarity measure that explicitly combines appearance with object kinematics and a new adaptive Kalman filter extends the basic tracking to provide robustness to occlusions and noise. The linear time complexity of this method is reflected in computational efficiency and high processing rate. Comparisons with two recent trackers show superior tracking robustness at more than 5 times faster operation, all using naïve C/C++ implementation and built-in OpenCV functions. 相似文献
44.
Omer Bar-Ilan Oded Fuhrmann Shlomo Hoory Ohad Shacham Ofer Strichman 《International Journal on Software Tools for Technology Transfer (STTT)》2011,13(3):263-272
DPLL-based SAT solvers progress by implicitly applying binary resolution. The resolution proofs that they generate are used,
after the SAT solver’s run has terminated, for various purposes. Most notable uses in formal verification are: extracting
an unsatisfiable core, extracting an interpolant, and detecting clauses that can be reused in an incremental satisfiability setting (the latter uses the proof only implicitly, during the run of the SAT solver). Making the resolution proof smaller
can benefit all of these goals: it can lead to smaller cores, smaller interpolants, and smaller clauses that are propagated
to the next SAT instance in an incremental setting. We suggest two methods that are linear in the size of the proof for doing
so. Our first technique, called Recycle-Units uses each learned constant (unit clause) (x) for simplifying resolution steps in which x was the pivot, prior to when it was learned. Our second technique, called simplifies proofs in which there are several
nodes in the resolution graph, one of which dominates the others, that correspond to the same pivot. Our experiments with
industrial instances show that these simplifications reduce the core by ≈5% and the proof by ≈13%. It reduces the core less
than competing methods such as run- till- fix, but whereas our algorithms are linear in the size of the proof, the latter and other competing techniques are all exponential
as they are based on SAT runs. If we consider the size of the proof (the resolution graph) as being polynomial in the number
of variables (it is not necessarily the case in general), this gives our method an exponential time reduction comparing to
existing tools for small core extraction. Our experiments show that this result is evident in practice more so for the second
method: rarely it takes more than a few seconds, even when competing tools time out, and hence it can be used as a cheap proof
post-processing procedure. 相似文献
45.
Grape clusters and foliage detection algorithms for autonomous selective vineyard sprayer 总被引:3,自引:0,他引:3
Ron Berenstein Ohad Ben Shahar Amir Shapiro Yael Edan 《Intelligent Service Robotics》2010,3(4):233-243
While much of modern agriculture is based on mass mechanized production, advances in sensing and manipulation technologies
may facilitate precision autonomous operations that could improve crop yield and quality while saving energy, reducing manpower,
and being environmentally friendly. In this paper, we focus on autonomous spraying in vineyards and present four machine vision
algorithms that facilitate selective spraying. In the first set of algorithms we show how statistical measures, learning,
and shape matching can be used to detect and localize the grape clusters to guide selected application of hormones to the
fruit, but not the foliage. We also present another algorithm for the detection and localization of foliage in order to facilitate
precision application of pesticide. All image-processing algorithms were tested on data from movies acquired in vineyards
during the growing season of 2008 and their evaluation includes analyses of the potential pesticide and hormone reduction.
Results show 90% accuracy of grape cluster detection leading to 30% reduction in the use of pesticides. The database of images
is placed on the Internet and available to the public to continue developing the detection algorithms. 相似文献
46.
Shira Elsner Dana Simian Ohad Iosefson Milit Marom Abdussalam Azem 《International journal of molecular sciences》2009,10(5):2041-2053
Most of our knowledge regarding the process of protein import into mitochondria has come from research employing Saccharomyces cerevisiae as a model system. Recently, several mammalian homologues of the mitochondrial motor proteins were identified. Of particular interest for us is the human Tim14/Pam18-Tim16/Pam16 complex. We chose a structural approach in order to examine the evolutionary conservation between yeast Tim14/Pam18-Tim16/Pam16 proteins and their human homologues. For this purpose, we examined the structural properties of the purified human proteins and their interaction with their yeast homologues, in vitro. Our results show that the soluble domains of the human Tim14/Pam18 and Tim16/Pam16 proteins interact with their yeast counterparts, forming heterodimeric complexes and that these complexes interact with yeast mtHsp70. 相似文献
47.
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. 相似文献
48.
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. 相似文献
49.
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. 相似文献