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

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.

Download Full-text

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

Software and Intelligent Sciences ◽

10.4018/978-1-4666-0261-8.ch025 ◽

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.

Download Full-text

Texture measurements in Al2O3 using BEKP

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100170773 ◽

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.

Download Full-text

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

International Journal of Nusantara Islam ◽

10.15575/ijni.v8i1.8933 ◽

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.

Download Full-text