Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluation method, particularly appropriate for evaluating safety critical and high quality user interfaces. The method can also be used for informing HCI research. The method is applied when a specification is available of an...

Digital substations are mostly important in the future of the electric power industry which makes their testing a critical process to ensure the required reliability and security of the grid. The paper introduces the definition of a digital substation and efficient testing, as well as the requirements for isolation during testing. It later describes testing related features in IEC 61850 Edition...

The design of an educational system involves a good understanding of the whole school environment in order to find the correct approach to develop a comprehensive educational system that will meet real educational needs in their operation. This article describes a design model for an educational system based on the teaching methods applied in the Spanish classrooms, which takes into account new...

In the design of complex systems, models can be used to predict a future system’s performance as well as approximate stakeholder preferences on performance. This paper examines the problem of model truthfulness and the challenge of trusting models, with a focus on value models and how they are used to predict stakeholder preferences. A framework is proposed for the analysis of these issues (tru...

background and purpose: rational use of drugs remains a problem in iran. polypharmacy, overuse of antibiotic, misuse and overuse of injections, short consulting time and poor patient compliance are common patterns of irrational use of drugs in eastern azarbydjan - iran. concerning the promotion of rational use of drugs, this study aimed the effect of educational intervention as interactive grou...

Asparouhov and Muthén (2014) presented a new method for multiple-group confirmatory factor analysis (CFA), referred to as the alignment method. The alignment method can be used to estimate group-specific factor means and variances without requiring exact measurement invariance. A strength of the method is the ability to conveniently estimate models for many groups, such as with comparisons of c...

As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While Event-B uses theorem provers to prove that invariants hold for a given specification, Alloy uses a SAT-based model finder. In some settings, Event-B invariants may not be proved automatically, and so the often difficu...

This study uses a dynamic multi-objective programming approach to establish a risk assessment model, and develops an iterative algorithm for the model solution. The results obtained show that the sum of the interactive utility value could determine whether or not the interactive relationship is characterized by independence among negotiators. In addition, our numerical example shows that the ri...