In order to solve the problems of large amounts calculation and long times A-star algorithm in three-dimensional space, based on R5DOS model, this paper proposes a space UAV path planning model. The improved intersection model is combined with algorithm. Together, they construct local search process, established by reducing number nodes. simulated through MATLAB software can greatly reduce node...

  Abstract : The main objective of this study is estimating the strong motion for the Bam region using the stochastically based seismological models. The two widely used synthetic techniques namely point-source and finite-fault were utilized incorporating the source-path and site parameters into simple function. The decay factor kappa was estimated based on the data obtained from recorded stron...

This paper considers algorithms for counterexample generation for (bounded) probabilistic reachability properties in fully probabilistic systems. Finding the strongest evidence (i.e, the most probable path) violating a (bounded) until-formula is shown to be reducible to a single-source (hop-constrained) shortest path problem. Counterexamples of smallest size that are mostly deviating from the r...

This paper is devoted to a preliminary design problem of paced automatic transfer lines. The aim is to choose a logical layout of the line which minimises its cost subject to the given productivity and technological constraints. The paper focuses on a mathematical model of the problem and a method to solve it. The proposed method is based on the transformation of the initial problem into a cons...

In this paper, we identify two distinct notions of accuracy of land-use models and highlight a tension between them. A model can have predictive accuracy: its predicted land-use pattern can be highly correlated with the actual land-use pattern. A model can also have process accuracy: the process by which locations or land-use patterns are determined can be consistent with real world processes. ...

How do we reason about incomplete spatio-temporal descriptions? How might a map influence formerly constructed preferred mental models? Little research so far focused on a combination of two central fields important for successful route planning: the way humans deal with constraint based reasoning (especially with some sort of spatio-temporal constraints) and the way in which humans plan with a...

Based on earlier studies using the 1999 and 2004 National Study of Postsecondary Faculty (NSOPF) data [1, 2], a causal model explaining faculty technology use was constructed. Path analysis was used to test the causal effects of age, gender, highest degree, discipline (health science or not), recent research productivity, and teaching load on faculty use of websites in teaching. Two models, one...

................................................................................................................................. 3 RÉSUMÉ ....................................................................................................................................... 4 NOTE FROM THE SECRETARIAT ........................................................................................... 5 ...