The Research on Validation and Verification Method of Configuration Data for IMA Resources Allocation

2019 ◽  
Author(s):  
Yunsheng Wang ◽  
Yan-xiao Li
Keyword(s):  
Resources Allocation ◽  
Validation And Verification ◽  
Verification Method ◽  
Configuration Data

Virtual Validation and Verification Method of Brake System Model

2014 ◽  
Vol 1056 ◽  
pp. 177-181
Author(s):  
Liang Xu ◽  
Rui Guo ◽  
Xiao Liu
Keyword(s):  
Mixed Model ◽  
Simulation Software ◽  
Dynamics Simulation ◽  
System Model ◽  
Brake System ◽  
Vehicle Model ◽  
Operation Condition ◽  
Test Environment ◽  
Validation And Verification ◽  
Verification Method

Model validation needs effective and efficient after development of the brake model. For the relatively high cost and limited coverage of test condition of the experimental verification, a virtual test environment of the brake system is established by using the vehicle model and the graphical interface of mature vehicle dynamics simulation software Carsim. Firstly, the brake system model is encapsulated into a dynamic link library. Then the new brake model according to the relationship between input and output of the brake system and vehicle through the S-function is integrated with Carsim vehicle model in Matlab/Simulink, replacing the Carsim brake model. Finally, the mixed model is verified though comparing with Carsim vehicle model in the same operation condition. The simulation results show that the validation and verification method are effective and low cost.

An Enhanced Petri Net Model to Verify and Validate a Neural-Symbolic Hybrid System

2012 ◽  
pp. 434-450
Author(s):  
Ricardo R. Jorge ◽  
Gerardo R. Salgado ◽  
Vianey G. C. Sánchez
Keyword(s):  
Knowledge Base ◽  
Hybrid Systems ◽  
Dynamic Modeling ◽  
Hybrid System ◽  
Petri Net ◽  
Validation And Verification ◽  
Verification Method ◽  
System Versus ◽  
Two Stages ◽  
Three Phases

As the Neural-Symbolic Hybrid Systems (NSHS) gain acceptance, it increases the necessity to guarantee the automatic validation and verification of the knowledge contained in them. In the past, such processes were made manually. In this article, an enhanced Petri net model is presented to the detection and elimination of structural anomalies in the knowledge base of the NSHS. In addition, a reachability model is proposed to evaluate the obtained results of the system versus the expected results by the user. The validation and verification method is divided in two stages: 1) it consists of three phases: rule normalization, rule modeling and rule verification. 2) It consists of three phases: rule modeling, dynamic modeling and evaluation of results. Such method is useful to ensure that the results of a NSHS are correct. Examples are presented to demonstrate the effectiveness of the results obtained with the method.

Texture measurements in Al2O3 using BEKP

1994 ◽  
Vol 52 ◽  
pp. 608-609
Author(s):  
M. D. Vaudin ◽  
J. P. Cline
Keyword(s):  
Neutron Diffraction ◽  
Rapid Method ◽  
Crystallographic Orientation ◽  
Specimen Surface ◽  
X Ray Diffraction ◽  
Anisotropic Crystal ◽  
X Ray ◽  
Verification Method ◽  
Crystal Properties ◽  
Backscattered Electron

The study of preferred crystallographic orientation (texture) in ceramics is assuming greater importance as their anisotropic crystal properties are being used to advantage in an increasing number of applications. The quantification of texture by a reliable and rapid method is required. Analysis of backscattered electron Kikuchi patterns (BEKPs) can be used to provide the crystallographic orientation of as many grains as time and resources allow. The technique is relatively slow, particularly for noncubic materials, but the data are more accurate than any comparable technique when a sufficient number of grains are analyzed. Thus, BEKP is well-suited as a verification method for data obtained in faster ways, such as x-ray or neutron diffraction. We have compared texture data obtained using BEKP, x-ray diffraction and neutron diffraction. Alumina specimens displaying differing levels of axisymmetric (0001) texture normal to the specimen surface were investigated.BEKP patterns were obtained from about a hundred grains selected at random in each specimen.

The Effect of Investments and Risk Based Capital (RBC) of Tabarru Funds on Company (Case Study of Sharia Insurance in Indonesia for 2014-2019)

2020 ◽  
Vol 8 (1) ◽  
pp. 87-97
Author(s):  
Nana Diana ◽  
Tati Apriani
Keyword(s):  
Life Insurance ◽  
Statistical Tests ◽  
Linear Regression Analysis ◽  
Sampling Technique ◽  
Multiple Linear Regression Analysis ◽  
Insurance Companies ◽  
Coefficient Of Determination ◽  
Verification Method ◽  
Investment Returns ◽  
The Government

This study aims to examine the influence of investment returns and Risk Based Capital (RBC) Tabarru Funds to the profit of sharia life insurance in Indonesia from 2014-2019. This study The type of this research is quantitative research with descriptive verification as a method. This research method uses descriptive verification method with quantitative approach. The data used in this study were sourced from the financial statements of Islamic life insurance companies in Indonesia for the 2014-2019 period. Then the data obtained were analyzed using multiple linear regression analysis and hypothesis testing consisting of t test and f test with the help of SPSS 21 software. The sampling technique uses non probability sampling with purposive sampling technique. Based on the results of the study it can be seen that the development of investment returns on Sharia Life Insurance in Indonesia has fluctuated and even suffered losses. While the development of Risk Based Capital (RBC) has increased and decreased but overall above 120% as determined by the government. Likewise, the profits earned in each year fluctuate. The results of statistical tests show that investment results partially have a positive effect on profit and Risk Based Capital (RBC) of Tabarru funds partially has a negative effect on profit. Simultaneously investment return and Risk Based Capital (RBC) affect on profit. In addition, the results of the coefficient of determination (R2) were obtained which obtained a value of 81%. This shows that the variable investment returns and Risk Based Capital (RBC) can affect earnings by 81% and the remaining 19% is influenced by other variables not used in this study.

Sign in / Sign up

Export Citation Format

Share Document