A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
Journal Title: Journal of Information Systems and Telecommunication - Year 2013, Vol 1, Issue 1
Abstract
In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system.
Authors and Affiliations
Armin Ghasem Azar, Zohreh Mohammad Alizadeh
Keywords
Related Articles
- EP ID EP190120
- DOI 10.7508/jist.2013.01.004
- Views 92
- Downloads 0
Joint Relay Selection and Power Allocation in MIMO Cooperative Cognitive Radio Networks
In this work, the issue of joint relay selection and power allocation in Underlay MIMO Cooperative Cognitive Radio Networks (U-MIMO-CCRN) is addressed. The system consists of a number of secondary users (SUs) in the seco...
A New Cooperative Approach for Cognitive Radio Networks with Correlated Wireless Channels
An effective cooperative cognitive radio system is proposed, when the wireless channels are highly correlated. The system model consists of two multi-antenna secondary users (SU TX and SU RX), constituting the desired li...
The Separation of Radar Clutters using Multi-Layer Perceptron
Clutter usually has negative influence on the detection performance of radars. So, the recognition of clutters is crucial to detect targets and the role of clutters in detection cannot be ignored. The design of radar det...
Preserving Data Clustering with Expectation Maximization Algorithm
Data mining and knowledge discovery are important technologies for business and research. Despite their benefits in various areas such as marketing, business and medical analysis, the use of data mining techniques can al...
A New Finite Field Multiplication Algorithm to Improve Elliptic Curve Cryptosystem Implementations
This paper presents a new and efficient implementation approach for the elliptic curve cryptosystem (ECC) based on a novel finite field multiplication in GF(2m) and an efficient scalar multiplication algorithm. This new...