in modern agriculture, image processing technique is used for mechanization and intelligent machines instead of humans. one of them is identifying varieties of plants and fruits. identifying plant varieties is important in plant eugenic programs. visual examination of plant leaves and fruits are the common processes for this aim. identification and classification of plants using machine vision ...

through the last three decades different seismological and engineering approaches for the generation of artificial earthquakes have been proposed. selection of an appropriate method for the generation of applicable artificial earthquake accelerograms (aeas) has been a challenging subject in the time history analysis of the structures in the case of the absence of sufficient recorded accelerogra...

The paper presents a new approach for integrating data uncertainty into a hybrid GIS environment. Such a hybrid system can process raster data as well as vector data in an integrated manner taking uncertainty into account. For this purpose a hybrid data model is defined and extended to manage data uncertainty. The uncertainty description is based on probability measures. The consequences for th...

Hybrid agent systems attempt to combine two or more agent philosophies into single agent architectures. In general, these philosophies can be categorized as either producing reactive type behaviors or proactive and goaldirected behaviors. While recent researchers have provided a range of successful models of hybrid agents, they lack in both robustness and autonomy. POOH (Percept Oriented Object...

In this paper, we consider scheduling of project networks under minimization of total weighted resource tardiness penalty costs. In this problem, we assume constrained resources are renewable and limited to very costly machines and tools which are also used in other projects and are not accessible in all periods of time of a project. In other words, there is a dictated ready date as well as a d...

In this thesis we describe two new systems for reasoning about deductive systems: HybridLF and Canonical HybridLF. HybridLF brings together the Hybrid approach (due to Ambler, Crole and Momigliano [15]) to higher-order abstract syntax (HOAS) in Isabelle/HOL with the logical framework LF, a dependently-typed system for proving theorems about logical systems. Hybrid provides a version of HOAS in ...

We characterize finite gain Lp stability properties for hybrid dynamical systems. By defining a suitable concept of hybrid Lp norm, we introduce hybrid storage functions and provide sufficient Lyapunov conditions for Lp stability of hybrid systems, which cover the well-known continuous-time and discrete-time Lp stability notions as special cases. We then focus on homogeneous hybrid systems and ...

−A number of heuristic algorithms for producing near minimal sum-of products realization of multiple valued logic (MVL) functions have been introduced in the literature. In particular, the direct cover (DC) algorithms have been used effectively for synthesis of MVL functions for implementation using 2-level programmable logic arrays (PLAs). In this paper, a hybrid ant colony (ACO) algorithm and...