|
Foreword Andrei ALEXANDRU, Gabriel CIOBANU Abstract. We present the concept of “event structures” in the nominal framework of the Fraenkel-Mostowski model of set theory. Using specific techniques of nominal logic, we introduce and study the nominal event structures, providing some properties. The analogy between the results obtained by using the Fraenkel-Mostowski axioms and those obtained by using the Zermelo-Fraenkel axioms is discussed. Read the pdf
Eduard FRANŢI, Lucian MILEA, Verona BUŢU, Suzana CISMAŞ, Mihai LUNGU, Paul ŞCHIOPU, Adrian BARBILIAN, Anca PLĂVIŢU Abstract. Myoelectric control of intelligent artificial arms, serving to replace amputated arms with prostheses, involves a lot of issues that have to be solved for achieving good results. It starts from the detection of electrical activity of muscles on the stump, which though does not develop a useful muscular exertion it can be used to control at will some predefined motions of artificial hand. An essential problem to be solved in this approach is the acquisition of the most useful controlling biosignals for the prosthesis, but the more important issue is to extract the control information from the raw myosignals. This approach is even more difficult as the amputation is older and those muscles are greatly atrophied, leading to weaker signals acquisition and more difficult signal processing. In this paper we present a simple method to separate the useful signal from noise and it’s processing in order to get clear myoelectrical signals. This method is first presented using the software tools of the electromyograph used and then it is applied distinctly for separate processing of the signal generated by an amputated arm and extracting useful information. Read the pdf
Broderick CRAWFORD, Carlos CASTRO, Eric MONFROY, Ricardo SOTO, Wenceslao PALMA, Fernando PAREDES Abstract. The main goal concerning Constraint Satisfaction Problems is to determine a value assignment for variables satisfying a set of constraints, or otherwise, to conclude that such an assignment does not exist (the set of constraints is unsatisfiable). In the Constraint Programming resolution process, it is known that the order in which the variables are assigned have a significant impact in terms of computational cost. In this paper we propose a new framework for guiding the classical Constraint Programming resolution process. Such a framework is able to measure the resolution process, using some indicators, in order to perform on-the-fly replacements of variable/value ordering heuristics exhibiting poor performances. The replacement is performed depending on a quality rank, which is computed by means of a choice function-based Hyperheuristic, where its parameters are fine-tuned by a Genetic Algorithm which trains the choice function carrying out a sampling phase. The experimental results show the effectiveness of our approach where our combination of strategies outperforms the use of individual strategies. Read the pdf
M. Tahir KHAN, Bessie CHAN, Afzal KHAN, Zia HAQ, Javaid IQBAL Abstract. This paper discusses the optimization of the cost function for task allocation and conflict resolution in robots in immune-based cooperative multi-robot search and rescue missions. In this research, robots respond to an emergency situation such as a bomb blast or an earthquake, approach the site, and assemble a structure out of parts collected from the debris in order to evacuate the injured people. A genetic algorithm is used to optimize the cost function that determines the most suitable robot that can transport or help another robot to transport the part to an assembly location in order to build a structure. Further, a priority assignment method is suggested for different parts based on their order dependencies. Decision conflicts among the robots are also discussed and solutions to resolve them are provided. The developed scheme is verified through simulation of immune-based multi-robot cooperation. Read the pdf
Mudassar AHMAD, Junaid Ahsenali CHAUDHRY, Md. Asri NGADI Abstract. Wireless Networks are being deployed everywhere as an alternative to Wired Networks. Most of people configured wireless networks using default configurations, as a result they may not achieve maximum network performance. Selection of frequency channel-pattern and physically placement of Access Points are main reasons for poor network performance. In this research we experimentally analyzed the performance of wireless networks consisting of IEEE 802.11b/g devices by using both overlapping and non-overlapping frequency channels patterns. We concluded that better throughput can be achieved by using non-overlapping frequency channels-patterns. Read the pdf
Shyam AKASHE, Sushil BHUSHAN, Sanjay SHARMA Abstract. This paper is based on the observation of a CMOS five-transistor SRAM cell (5T SRAM cell) for very high density and low power applications. This cell retains its data with leakage current and positive feedback without refresh cycle. This 5T SRAM cell uses one word-line and one bit-line and extra read-line control. The new cell size is 21.66% smaller than a conventional six-transistor SRAM cell using same design rules with no performance degradation. Simulation and analytical results show purposed cell has correct operation during read/write and also the delay of new cell is 70.15% smaller than a six-transistor SRAM cell. The new 5T SRAM cell contains 72.10% less leakage current with respect to the 6T SRAM memory cell using cadence 45 nm technology. Read the pdf |