We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the method to be modular for both system definition and validation. When performed in the context of the ACL2 logic, all the definitions and theorems are not only reusable, but also constitute an executable and proven va...

The present work proposes a new logic-based safe switching technique, called here Stepwise Safe Switching. This technique is based on the description of the process with linear approximants which are valid in operating areas around a finite number of nominal operating points of the process. Switching takes place between common controllers for adjacent nominal operating points. Moreover, the swi...

0198-9715/$ see front matter 2013 Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.compenvurbsys.2013.09.005 ⇑ Corresponding author. Address: Tarbiat Modares University, Jalal Ale Ahmad Highway, P.O. Box 14115-111, Tehran, Iran. Tel.: +98 21 82884698; fax: +98 21 82884180. E-mail addresses: [email protected] (J. Karami), [email protected] (A. Alimohammadi), Taseifouri@y...

As an alternative to the price-based traditional auction model, the multi-attribute auction model is an integrated model requiring the simultaneous trade of different types of attributes as the sellers and buyers deal. As a result, the design and modeling of the auction mechanism have become very difficult. This paper proposes a multiattribute auction model using the dominance-based rough sets ...

Typically, macroamylasemia is a condition of elevated serum amylase in the absence of symptomatic disease. However, in the presence of symptoms, especially of abdominal origin, it is important that this condition be identified accurately in order to avoid unnecessary treatment for pancreatitis or other related diseases. This report offers a review of the literature, a case example, and an algor...