static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

customer service level is of prime importance in today competitive world and has various dimensions with delivery quality being one of the most important ones. delivery quality has several parameters such as deliver time window options, time window size, etc. in this paper we focus on one of these parameters, namely time window setting. it has a direct impact upon customer satisfaction and busi...

-the cowpea aphid, aphis craccivora koch, is an important pest of robinia pseudoacacia frisia. life table parameters of a. craccivora were determined under natural (16- 33ºc and 32-89% rh, respectively) and laboratory (25 ± 1ºc, rh of 70 ± 5% and a photoperiod of 16:8 h (l: d) conditions. the data were analyzed using the age-stage, two-sex life table theory. each experiment was replicated 45 ti...

life table parameters of aphis pomi degeer (hemiptera: aphididae) were determined on two host plants: apple (malus pumila l.) and flowering quince (chaenomeles japonica lindl.). this study was carried out under laboratory conditions (25 ± 1 ºc and rh of 70 ± 5 % and a photoperiod of 16: 8 h (l: d). the survivorship from first instar nymphs to adult was very close in m. pumila and c. japonica. t...

high harmonic generation is a useful tool for the generation of short, intense attosecond pulses. In order to simulate high harmonic generation, we performed a numerical solution to the time dependent Schrödinger equation. by considering dipole approximation, we predicted generation of a 53 attosecond pulse. In order to see the time and frequency of emission of attosecond pulse, we exploit...

Endurance Time Acceleration Functions are specially predesigned intensifying excitation functions that their amplitude increases with time. On the other hand, wavelet transform is a mathematical tool that indicates time variations of frequency in a signal. In this paper, an approach is presented for generating endurance time acceleration functions (ETAFs) whose response spectrum is compatible w...

abstract quantitative investigation of effects of range management treatments on different soil and water components in rangeland ecosystems has been rarely taken into account. in the present research, the kodir summer rangeland in the southeast nowshahr in mazandaran province was selected for studying effects of open grazing and exclosure managements on infiltration, runoff and microrelief. ex...