In order to inspect the correctness of workflow during process design and avoid exceptions after processes run, this study provides rationality Validation Algorithm based on Petri Net. Firstly the study points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality and emphatically describes a validati...

speed in electronic transactions forms a new kind of software agreements known as end use license agreement. in american legal system, there is no unit procedure. end user license agreement was begun by shrinkwrap and clickwrap agreements. browsewrap agreement is the latest development type of them. shrinkwrap agreements are usually formed by opening of the plastic cover of software package or ...

drug design is generally achieved through trial and error methods, which is a time and resource consuming process and novel methods are needed to improve it. mathematical modelling is one of the possible solutions to speed up this process. in this study, we have presented box-jenkins model, to predict the vasorelaxant activity (pec50) of a set of benzopyrane compounds. we used the hyperchem sof...

abstract solar radiation (rs) has many applications in most sciences such as agriculture and irrigation however, its measurement has been done in few weather stations of iran. therefore, estimation methods were used. in this study, weather data of rasht station, from 2004 to 2006 were employed for calibration of some equations, and weather data of years 2007 and 2008 were used for evaluating th...

purpose : design and establishment of persian near reading card for clinical use and practice methods : at first, card dimension, word and character size and specifications were calculated. then, english near reading card, richmond product inc, was considered as a template. context and syntax contribute to reading accuracy and efficacy of the richmond card was considered for designed persian ca...

--------