Abstract For electric drives, the PI controller is the core component part of the control algorithm. It results in a better wide range application and represent the important part of the engineering learning. Integrated Education Platform for controllers tuning using graphic user interface in dSPACE ControlDesk environment. Analytical Magnitude Optimum Criterion is used for controllers tuning in the case of the... For electric drives, the PI controller is the core component part of the control algorithm. It results in a better wide range application and represent the important part of the engineering learning. Integrated Education Platform for controllers tuning using graphic user interface in dSPACE ControlDesk environment. Analytical Magnitude Optimum Criterion is used for controllers tuning in the case of the Rotor Field Oriented (RFO) control algorithm. For testing we have implemented the dSPACE DS 1103 control board and tested in the laboratory for performance. Read More Read Less

Abstract Increasingly big data become a normal component of research activities. It is important to generate more formal and generic tools to deal with this process. In the current work we have described the framework of an expert system which can treat the concepts which is characterized by inconsistent and paracomplete data without the danger of trivialization. This framework has paraconsistent... Increasingly big data become a normal component of research activities. It is important to generate more formal and generic tools to deal with this process. In the current work we have described the framework of an expert system which can treat the concepts which is characterized by inconsistent and paracomplete data without the danger of trivialization. This framework has paraconsistent annotation evidential logic ET. An algorithm which is a para-analyzer is used which is the lattice of truth-values. Read More Read Less

Abstract We have discussed the application of SMT solvers in the Mission Critical Software verification. We have developed the Rules of verification based on Real-Time Control Algorithm’s Logic. Required specification can be feasible or non-feasible on defined basis of functional control processes. In this model, the feasibility of the specification is being checked by SMT solver Z3. We have used a... We have discussed the application of SMT solvers in the Mission Critical Software verification. We have developed the Rules of verification based on Real-Time Control Algorithm’s Logic. Required specification can be feasible or non-feasible on defined basis of functional control processes. In this model, the feasibility of the specification is being checked by SMT solver Z3. We have used a particular Java application through API for the SMT solver. Read More Read Less