The modal mu-calculus is a very expressive formalism extending basic modal logic with least and greatest fixpoint operators. In the seminal paper introducing the formalism in the shape known today, Dexter Kozen also proposed an elegant axiom system, and he proved a partial completeness result with respect to the Kripke-style semantics of the logic. The problem of proving Kozen’s axiom system co...

In this paper, we introduce generalized directable fuzzy automaton and discuss their structural characterizations. We have shown that a generalized directable fuzzy automaton is an extension of a uniformly monogenically strongly directable fuzzy automaton by a uniformly monogenically trap-directable fuzzy automaton and obtain other equivalent conditions for a generalized directable fuzzy automa...

Timed automata theory is well developed in literature. This theory provides a formal framework to model and test real-time systems. This formal framework supplies a way to describe transitions among states with timing constrains. These constraints are usually expressed with logic formulas involving the system clocks. The time domain of these clocks usually is considered dense, that is, the cloc...

A fuzzy number is simply an ordinary number whose precise value is somewhat uncertain. Fuzzy numbers are used in statistics, computer programming, engineering, and experimental science. The arithmetic operators on fuzzy numbers are basic content in fuzzy mathematics. Operation of fuzzy number can be generalized from that of crisp interval. The operations of interval are discussed. Multiplicatio...

The FuTI–library is a collection of classes and methods for representing and manipulating fuzzy time intervals. Fuzzy time intervals are represented as polygons over integer coordinates. FuTI is an open source C++ library with many advances operations and highly optimised algorithms. Version 1.0 is now available from the URL http://www.pms.ifi.lmu.de/CTTN/FuTI. 1 Fuzzy Time Intervals Fuzzy Inte...

Genetic algorithms are powerful tools that allow engineers and scientists to find good solutions to hard computational problems using evolutionary principles. The classic genetic algorithm has several disadvantages, however. Foremost among these drawbacks is the difficulty of choosing optimal parameter settings. Genetic algorithm literature is full of empirical tricks, techniques, and rules of ...

investigation of reliability characteristics under fuzzy environments is proposed in this paper. fuzzy weibull distribution and lifetimes of components are using it described. formulas of a fuzzy reliability function, fuzzy hazard function and their α-cut set are presented. furthermore, the fuzzy functions of series systems and parallel systems are discussed, respectively. finally, some numeric...

This paper is devoted to introduce and investigate some weak forms of fuzzy open mappings, namely fuzzy faintly semi open (fuzzy faintly semi closed), fuzzy faintly preopen (fuzzy faintly preclosed), fuzzy faintly α-open (fuzzy faintly α-closed), fuzzy faintly semi preopen (fuzzy faintly semi preclosed) and fuzzy faintly spopen (fuzzy faintly spclosed) mappings and their fundamental properties ...

fuzzy linear programming problem occur in many elds such as mathematical modeling, control theory and management sciences, etc. in this paper we focus on a kind of linear programming with fuzzy numbers and variables namely fully fuzzy linear programming (fflp) problem, in which the constraints are in inequality forms. then a new method is proposed to ne the fuzzy solution for solving (fflp). ...

OBJECTIVE Investigate which specific factors of abortion-related healthcare influence the overall satisfaction of women undergoing surgical abortion. STUDY DESIGN Between May and December 2014, we invited women undergoing first-trimester surgical abortion without sedation at six Northern California reproductive health clinics from two clinic systems (four clinics in System A and two clinics i...