1 /* boost random/weibull_distribution.hpp header file
2  *
3  * Copyright Steven Watanabe 2010
4  * Distributed under the Boost Software License, Version 1.0. (See
5  * accompanying file LICENSE_1_0.txt or copy at
6  * http://www.boost.org/LICENSE_1_0.txt)
7  *
8  * See http://www.boost.org for most recent version including documentation.
9  *
10  * $Id$
11  */
12 
13 #ifndef BOOST_RANDOM_WEIBULL_DISTRIBUTION_HPP
14 #define BOOST_RANDOM_WEIBULL_DISTRIBUTION_HPP
15 
16 #include <boost/config/no_tr1/cmath.hpp>
17 #include <iosfwd>
18 #include <istream>
19 #include <boost/config.hpp>
20 #include <boost/limits.hpp>
21 #include <boost/random/detail/operators.hpp>
22 #include <boost/random/uniform_01.hpp>
23 
24 namespace boost {
25 namespace random {
26 
27 /**
28  * The Weibull distribution is a real valued distribution with two
29  * parameters a and b, producing values >= 0.
30  *
31  * It has \f$\displaystyle p(x) = \frac{a}{b}\left(\frac{x}{b}\right)^{a-1}e^{-\left(\frac{x}{b}\right)^a}\f$.
32  */
33 template<class RealType = double>
34 class weibull_distribution {
35 public:
36     typedef RealType result_type;
37     typedef RealType input_type;
38 
39     class param_type {
40     public:
41         typedef weibull_distribution distribution_type;
42 
43         /**
44          * Constructs a @c param_type from the "a" and "b" parameters
45          * of the distribution.
46          *
47          * Requires: a > 0 && b > 0
48          */
param_type(RealType a_arg=1.0,RealType b_arg=1.0)49         explicit param_type(RealType a_arg = 1.0, RealType b_arg = 1.0)
50           : _a(a_arg), _b(b_arg)
51         {}
52 
53         /** Returns the "a" parameter of the distribtuion. */
a() const54         RealType a() const { return _a; }
55         /** Returns the "b" parameter of the distribution. */
b() const56         RealType b() const { return _b; }
57 
58         /** Writes a @c param_type to a @c std::ostream. */
BOOST_RANDOM_DETAIL_OSTREAM_OPERATOR(os,param_type,parm)59         BOOST_RANDOM_DETAIL_OSTREAM_OPERATOR(os, param_type, parm)
60         { os << parm._a << ' ' << parm._b; return os; }
61 
62         /** Reads a @c param_type from a @c std::istream. */
BOOST_RANDOM_DETAIL_ISTREAM_OPERATOR(is,param_type,parm)63         BOOST_RANDOM_DETAIL_ISTREAM_OPERATOR(is, param_type, parm)
64         { is >> parm._a >> std::ws >> parm._b; return is; }
65 
66         /** Returns true if the two sets of parameters are the same. */
BOOST_RANDOM_DETAIL_EQUALITY_OPERATOR(param_type,lhs,rhs)67         BOOST_RANDOM_DETAIL_EQUALITY_OPERATOR(param_type, lhs, rhs)
68         { return lhs._a == rhs._a && lhs._b == rhs._b; }
69 
70         /** Returns true if the two sets of parameters are the different. */
71         BOOST_RANDOM_DETAIL_INEQUALITY_OPERATOR(param_type)
72 
73     private:
74         RealType _a;
75         RealType _b;
76     };
77 
78     /**
79      * Constructs a @c weibull_distribution from its "a" and "b" parameters.
80      *
81      * Requires: a > 0 && b > 0
82      */
weibull_distribution(RealType a_arg=1.0,RealType b_arg=1.0)83     explicit weibull_distribution(RealType a_arg = 1.0, RealType b_arg = 1.0)
84       : _a(a_arg), _b(b_arg)
85     {}
86     /** Constructs a @c weibull_distribution from its parameters. */
weibull_distribution(const param_type & parm)87     explicit weibull_distribution(const param_type& parm)
88       : _a(parm.a()), _b(parm.b())
89     {}
90 
91     /**
92      * Returns a random variate distributed according to the
93      * @c weibull_distribution.
94      */
95     template<class URNG>
operator ()(URNG & urng) const96     RealType operator()(URNG& urng) const
97     {
98         using std::pow;
99         using std::log;
100         return _b*pow(-log(1 - uniform_01<RealType>()(urng)), 1/_a);
101     }
102 
103     /**
104      * Returns a random variate distributed accordint to the Weibull
105      * distribution with parameters specified by @c param.
106      */
107     template<class URNG>
operator ()(URNG & urng,const param_type & parm) const108     RealType operator()(URNG& urng, const param_type& parm) const
109     {
110         return weibull_distribution(parm)(urng);
111     }
112 
113     /** Returns the "a" parameter of the distribution. */
a() const114     RealType a() const { return _a; }
115     /** Returns the "b" parameter of the distribution. */
b() const116     RealType b() const { return _b; }
117 
118     /** Returns the smallest value that the distribution can produce. */
BOOST_PREVENT_MACRO_SUBSTITUTION() const119     RealType min BOOST_PREVENT_MACRO_SUBSTITUTION () const { return 0; }
120     /** Returns the largest value that the distribution can produce. */
BOOST_PREVENT_MACRO_SUBSTITUTION() const121     RealType max BOOST_PREVENT_MACRO_SUBSTITUTION () const
122     { return std::numeric_limits<RealType>::infinity(); }
123 
124     /** Returns the parameters of the distribution. */
param() const125     param_type param() const { return param_type(_a, _b); }
126     /** Sets the parameters of the distribution. */
param(const param_type & parm)127     void param(const param_type& parm)
128     {
129         _a = parm.a();
130         _b = parm.b();
131     }
132 
133     /**
134      * Effects: Subsequent uses of the distribution do not depend
135      * on values produced by any engine prior to invoking reset.
136      */
reset()137     void reset() { }
138 
139     /** Writes a @c weibull_distribution to a @c std::ostream. */
BOOST_RANDOM_DETAIL_OSTREAM_OPERATOR(os,weibull_distribution,wd)140     BOOST_RANDOM_DETAIL_OSTREAM_OPERATOR(os, weibull_distribution, wd)
141     {
142         os << wd.param();
143         return os;
144     }
145 
146     /** Reads a @c weibull_distribution from a @c std::istream. */
BOOST_RANDOM_DETAIL_ISTREAM_OPERATOR(is,weibull_distribution,wd)147     BOOST_RANDOM_DETAIL_ISTREAM_OPERATOR(is, weibull_distribution, wd)
148     {
149         param_type parm;
150         if(is >> parm) {
151             wd.param(parm);
152         }
153         return is;
154     }
155 
156     /**
157      * Returns true if the two instances of @c weibull_distribution will
158      * return identical sequences of values given equal generators.
159      */
BOOST_RANDOM_DETAIL_EQUALITY_OPERATOR(weibull_distribution,lhs,rhs)160     BOOST_RANDOM_DETAIL_EQUALITY_OPERATOR(weibull_distribution, lhs, rhs)
161     { return lhs._a == rhs._a && lhs._b == rhs._b; }
162 
163     /**
164      * Returns true if the two instances of @c weibull_distribution will
165      * return different sequences of values given equal generators.
166      */
167     BOOST_RANDOM_DETAIL_INEQUALITY_OPERATOR(weibull_distribution)
168 
169 private:
170     RealType _a;
171     RealType _b;
172 };
173 
174 } // namespace random
175 } // namespace boost
176 
177 #endif // BOOST_RANDOM_WEIBULL_DISTRIBUTION_HPP
178