We have studied the update operator 1 de ned for update sequences by Eiter et al. without tautologies and we have observed that it satis es an interesting property. This property, which we call Weak Independence of Syntax (WIS), is similar to one of the postulates proposed by Alchourr on, G ardenfors, and Makinson (AGM); only that in this case it applies to nonmonotonic logic. In addition, we ...

A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which is usually intractable for nonlinear hybrid systems. In this paper, we propose a new barrier certificate condition, called Exponential Conditio...

The paper introduces a new technique for on-line checking of FPGA based Finite State Machines (FSMs). This technique is based on the architecture comprising two portions: a self-checking FSM and a separate totally self-checking (TSC) Sum-OfMinterms (SOM) based checker. Each of these portions is implemented as a combination of an Evolution block and an Execution block. For achieving the TSC prop...

objectives: herbal medicine is known as a valid alternative treatment. salvia reuterana, which has been used in the iranian traditional medicine, is mostly distributed in the central highlands of iran. salvia reuterana is a medicinal herb with various therapeutic usages. the aim of the present review is to take account of pharmacological properties of salvia reuterana. materials and methods: th...

In the past 30 years efforts to protect river beds and banks have increased significantly. The selection design of proper structural solution means finding a in accordance with construction principles, geomorphology, avoiding channel aggradation, bed scour, bank erosion, resulting structure failure significant harm stream nearby property. On other hand, should be environmentally-friendly. Hydra...

Hydrogel has a complex network structure with inhomogeneous and random distribution of polymer chains. Much effort been paid to fully understand the relationship between mesoscopic macroscopic mechanical properties hydrogels. In this paper, we develop deep learning approach predict hydrogels from structures. First, structural models are constructed scale using self-avoiding walk method. The mod...