In this study, a mixed $delta$-shock model with discrete-time is defined by combining $delta$-shock and extreme shock models. In this model, a system with multiple states fails in two ways: first, when k interarrival times between two consecutive shocks with magnitude larger than the critical threshold $gamma$ are in $[delta_1, delta _2], delta_1 < delta _2$; and second, when the interarrival t...

The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants as well as preand postconditions. This paper explains the functionality of the UML Specification Environment USE which allows...

We have developed an example-based machine translation (EBMT) system that uses the World Wide Web for two different purposes: First, we populate the system’s memory with translations gathered from rule-based MT systems located on the Web. The source strings input to these systems were extracted automatically from an extremely small subset of the rule types in the PennII Treebank. In subsequent ...

abstract background and aim: the purpose of the present research was to validating the revised dyadic adjustment scales for marital quality in men and women referred in sanandaj counseling centered. methods: disgn is a study of correlation sort (factor analysis of tendentious oblimin rotation sort). in this research 384 subjects(women and men) were selected from clients in sanandaj counseling c...

We describe a formal framework for modeling and prototyping complex systems. Our framework consists of a meta-model for discrete event systems, a language based upon this meta-model and a software environment for editing and validating system descriptions. The possibilities for using our framework for decision support systems are indicated and illustrated by a job shop planning example.