in this paper, the conjugate gradient method coupled with adjoint problem is used in order to solve the inverse heat conduction problem and estimation of the time- dependent heat flux using the temperature distribution at a point in a three layer system with none homogeneous boundary conditions. also, the effect of noisy data on final solution is studied. for solving this problem the general co...

We study how inertia affects the behavior of self-propelled particles moving through a viscous solvent by employing underdamped version active Ornstein–Uhlenbeck model. consider both potential-free and harmonically confined investigate single-particle trajectories change as drag coefficient is varied. In cases, we obtain matrix correlations between position, velocity, self-propulsion explicit f...

In this work, we introduce a single machine scheduling problem, in which the processing time of a job increases when its start time deviates from a given job dependent ideal time. This problem differs from similar problems found in literature by the fact that most time dependent problems only allow monotonic change in processing time. Its application lies in scheduling of a single worker who su...

Sometimes the relationship between dependent and explanatory variable(s) known as profile is monitored. Simple linear profiles among the other types of profiles have been more considered due to their applications especially in calibration. There are some studies on the monitoring them when the observations within each profile are autocorrelated. On the other hand, estimating the change point le...

Many numerical simulations in (bilinear) quantum control use the monotonically convergent Krotov algorithms (introduced by Tannor et al. [Time Dependent Quantum Molecular Dynamics (1992) 347–360]), Zhu and Rabitz [J. Chem. Phys. (1998) 385–391] or their unified form described in Maday and Turinici [J. Chem. Phys. (2003) 8191–8196]. In Maday et al. [Num. Math. (2006) 323–338], a time discretizat...

We provide here a systematic comparative study of the relative strength and expressive power of a number of methods for program analysis of Prolog. Among others we show that these methods can be arranged in the following hierarchy: mode analysis) type analysis) monotonic properties) non-monotonic run-time properties. We also discuss a method allowing us to prove global run-time properties.

We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can occur at the same time point. The resulting logic is called Duration Calculus of Weakly Monotonic Time (WDC). It allows effects such as true synchrony and digitisation to be modelled. As an example of this, we formulate a novel semantics of Timed CSP assuming that the com...