Results 91 to 100 of about 596,156 (298)
SOCIAL EXPERIMENT OF WATARING AND NUMERICAL VERIFICATION
PROCEEDINGS OF HYDRAULIC ENGINEERING, 2004 The large-scale social experiment, which many citizens including media representative participated for evaluating the effects of the watering on the “Heat Island Effect”, was carried out in Tokyo Metropolitan in Aug. 25 2003. About 14000l. water were sprinkled for about 20 minutes from noon.
Manabu KANO +4 more
openaire +2 more sources
AAA+ protein unfoldases—the Moirai of the proteome
FEBS Letters, EarlyView.AAA+ unfoldases are essential molecular motors that power protein degradation and disaggregation. This review integrates recent cryo‐electron microscopy (cryo‐EM) structures and single‐molecule biophysical data to reconcile competing models of substrate translocation.
Stavros Azinas, Marta Carroni
wiley +1 more source
Физика волновых процессов и радиотехнические системы, 2017 The methodology and algorithm for obtaining verification results are proposed. The algorithm includes five steps: choice of parameters for cluster analysis algorithms, determination of the initial data by the results of the training experiment ...
R.O. Mishanov, M.N. Piganov
doaj
Scientific ReportsTo rigorously evaluate the electromechanical-hydraulic coupling performance of a hydraulic excavator’s working device under authentic operating loads, this study presents a field-data-driven co-simulation framework applied to a 20-ton backhoe hydraulic ...
Mei Xin +6 more
doaj +1 more source
Transient characteristics verification method for DC transformer used in flexible HVDC system
Global Energy Interconnection, 2019 Previous studies have proposed higher requirements for the transient characteristics of a DC transformer used in a flexible high-voltage direct current (HVDC) system to achieve faster sampling speed and meet wider bandwidth requirements of the control ...
Qi Nie +5 more
doaj +1 more source
Definition of ground test for Large Space Structure (LSS) control verification [PDF]
An overview for the definition of a ground test for the verification of Large Space Structure (LSS) control is given. The definition contains information on the description of the LSS ground verification experiment, the project management scheme, the ...
Doane, G. B., III +2 more
core +1 more source
QBF-Based Formal Verification: Experience and Perspectives
Journal on Satisfiability, Boolean Modeling and Computation, 2008 The language of Quantified Boolean Formulas (QBF) has a lot of potential applications to Formal Verification (FV) tasks, as it captures many of these tasks in a natural and compact way. Practical experience has been disappointing though. When compared with contending approaches such as SAT, QBF-based FV has invariably yielded unfavorable experimental ...
Benedetti, Marco, Mangassarian, Hratch
openaire +2 more sources
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
Dynamic modeling of double-helical gear with Timoshenko beam theory and experiment verification
Advances in Mechanical Engineering, 2016 In the dynamic study of the double-helical gear transmission, the coupling shaft in the middle of the two helical gears is difficult to be handled accurately.
Jincheng Dong +3 more
doaj +1 more source
, 2004 The problem of wave disturbance propagation in rarefied gas in gravity field is explored. The system of hydrodynamic-type equations for a stratified gas in gravity field is derived from BGK equation by method of piecewise continuous partition function ...
Alexeev +27 more
core +1 more source