نتایج جستجو برای: machine components

تعداد نتایج: 639599  

2017
Sanjit A. Seshia

We consider the problem of performing compositional verification of a system with machine learning components whose behavior cannot easily be formally specified. We present an approach involving a system-level verifier communicating with a component-level analyzer wherein the former identifies a subset of environment behaviors that might lead to a system-level failure while the latter identifie...

2013
Zhenfei Zhao Youtian Qu Yanhua Zhang Xuewen Shen

This paper overviews the microwave device modeling techniques based on machine learning. The proposed methods are divided into two categories, active and passive components modeling. These modeling techniques aim to characterize the microwave device efficiently and accurately. The active components consist of MESFET, HEMT, pHEMT, and so on. The passive devices include inductor, capacitor, Lange...

2016
Roger Hsiao Ralf Meermeier Tim Ng Zhongqiang Huang Maxwell Jordan Enoch Kan Tanel Alumäe Jan Silovský William Hartmann Francis Keith Omer Lang Man-Hung Siu Owen Kimball

To capitalize on the rapid development of Speech-to-Text (STT) technologies and the proliferation of open source machine learning toolkits, BBN has developed Sage, a new speech processing platform that integrates technologies from multiple sources, each of which has particular strengths. In this paper, we describe the design of Sage, which allows the easy interchange of STT components from diff...

2014
Mircea Ruba Csaba Szász Virgil Chindriş Géza Husi

Fault tolerance is an obligatory feature in safety critical applications (aeronautical, aerospace, medical and military applications, power plants, etc.), where loss of life, environmental disasters, equipment destructions or unplanned downtimes must be avoided. For such applications, a novel bio-inspired motion control system is proposed. All its three components (the switched reluctance machi...

2003
M. E. Sawan

Neutronics and activation calculations have been performed for the FIRE design with different first wall design options. Modest values of nuclear heating occur in the machine components. Magnet insulators that have radiation tolerance to 150 MGy should be used. The operational schedule allows for decay of short-lived radionuclides between pulses resulting in low levels of activity and decay hea...

2011
Wei LIU Yuhua YAN

A new method to detect coal gangue interface by utilizing vibration signal of coal and gangue is presented for coal and gangue interface detection on fully mechanized mining face. Because of non-stationary characteristics contained in response signals under complicated environment, empirical mode decomposition algorithm was used to decompose the original vibration signal into the intrinsic mode...

2008
Katsuhito Sudoh Taro Watanabe Jun Suzuki Hajime Tsukada Hideki Isozaki

The NTT Statistical Machine Translation System consists of two primary components: a statistical machine translation decoder and a reranker. The decoder generates kbest translation canditates using a hierarchical phrase-based translation based on synchronous context-free grammar. The decoder employs a linear feature combination among several real-valued scores on translation and language models...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید