Results 81 to 90 of about 163,944 (210)

Investigating the heat transfer phenomena of CO2-EGS in the reservoir by experiment verification

MATEC Web of Conferences, 2016
The purpose of this study is to find the heat transfer phenomena of CO2-EGS in the reservoir. The heat transfer model conjugated with the Brinkman model is used. This numerical model is validated by the experiment of supercritical CO2.
Shih Bo-Yen, Hsieh Jui-Ching, Huang Hsin-Jung, Lin David T.W., Huang Chung-Neng, Wang Chi-Chang   +5 more
doaj   +1 more source

Speaker Recognition from Emotional Speech Using I-vector Approach [PDF]

Journal of Electrical and Electronics Engineering, 2014
In recent years the concept of i-vectors become very popular and successful in the field of the speaker verification. The basic principle of i-vectors is that each utterance is represented by fixed-length feature vector of low-dimension.
MACKOVÁ Lenka, CIŽMÁR Anton
doaj  

Establishment and experiment verification of screw thrust model of spiral robot for granary

Shipin yu jixie
Objective： To clarify the interaction mechanism model between screw and grain in grain pile depth, and to determine the mechanical characteristics of screw of spiral robot for granary at different speeds and depths, so as to provide the design basis for ...
ZHAO Xianfeng, YIN Qiang, YU Junpeng, YANG Liu, ZHANG Yonglin   +4 more
doaj   +1 more source

Model-Driven Software Verification

, 2004
In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted by the model checker.The construction of such a model typically requires good ...
Rajeev Joshi, Gerard J. Holzmann
core   +1 more source

Impacts of Forecast Time and Verification Area Setting on the Targeted Observation of Typhoon

Atmosphere
The results of the identification of sensitive areas are affected by the forecast time and verification area settings in targeted observations. Understanding this setting issue is important for improving the effectiveness of the identification of ...
Jiaqi Kang, Jianxia Guo, Jia Wang, Chao Zhang   +3 more
doaj   +1 more source

Verification and validation: process VS procedure [PDF]

Ядерна фізика та енергетика, 2013
Scheme of continuous process of verification and validation is developed. It not only permits a software user to perform verification of results of every calculation, but also obligates him to do this, thus increasing the relia-bility of the obtained ...
V. L. Diemokhin, V. V. Ilkovych, . N. Bukanov   +2 more
doaj  

Intercomparison of Water Vapor Data Measured with Lidar during IHOP_2002. Part II: Airborne-to-Airborne Systems

, 2007
The dataset of the International H2O Project (IHOP_2002) gives the first opportunity for direct intercomparisons of airborne water vapor lidar systems and allows very important conclusions to be drawn for future field campaigns.
Wulfmeyer, Volker, Ferrare, Richard, Ismail, Syed, Schaberl, Thorsten, Andreas Behrendt, Richard Ferrare, Whiteman, David N., Kooi, Susan, Ehret, Gerhard, Browell, Edward V., Kiemle, Christoph, Volker Wulfmeyer, Behrendt, Andreas, Christoph Kiemle, N. Whiteman, David, Gerhard Ehret, Syed Ismail, Flamant, Cyrille, Cyrille Flamant, Bauer, Hans-Stefan, Susan Kooi, Browell, E.-V., David N. Whiteman, Thorsten Schaberl, Edward V. Browell, Hans-Stefan Bauer   +25 more
core   +1 more source

Development and Performance Validation of an Indirect Continuously Variable Transmission

Jixie chuandong, 2018
Comparing with traditional pulley transmissions,a new configuration of indirect Continuously Variable Transmissions（CVT） is proposed to enhance the driving torque and reduce the complexity of control logic.
Tang Zhirong, Ji Jie, Chen Peng, Shu Xin
doaj  

Raw data for the article "Speed up BDD for Safety Verification in Agile Development: A Partially Replicated Controlled Experiment"

, 2018
<p>This is the raw data for the paper "Speed up BDD for safety verification in Agile development: A partially replicated controlled experiment". </p ...
Yang Wang (5921), Yang Wang
core   +1 more source

Verification and Reputational Concerns: An Experiment

Journal of Behavioral and Experimental Economics, 2023
openaire   +1 more source