RASP—A language with operations on fuzzy set

At the Center for Multidisciplinary Studies, University of Belgrade, Yugoslavia, a high level language for easily manipulating fuzzy set operations was developed. In this paper, after a brief introduction to the theory of fuzzy sets, some features and possibilities are described from the user point of view, and an application in picture enhancement is shown. The language presented was written in BASIC, thus any microcomputer, for personal/home use, should be able to execute RASP.     

A distributed and adaptive signal processing approach to exploiting correlation in sensor networks

We propose a novel approach to reducing energy consumption in sensor networks using a distributed adaptive signal processing framework and efficient algorithm.¹ While the topic of energy-aware routing to alleviate energy consumption in sensor networks has received attention recently [C. Toh, IEEE Commun. Mag. June (2001) 138; R. Shah, J. Rabaey, Proc. IEEE WCNC, March 2002], in this paper, we propose an orthogonal approach to complement previous methods. Specifically, we propose a distributed way of continuously exploiting existing correlations in sensor data based on adaptive signal processing and distributed source coding principles. Our approach enables sensor nodes to blindly compress their readings with respect to one another without the need for explicit and energy-expensive inter-sensor communication to effect this compression. Furthermore, the distributed algorithm used by each sensor node is extremely low in complexity and easy to implement (i.e., one modulo operation), while an adaptive filtering framework is used at the data gathering unit to continuously learn the relevant correlation structures in the sensor data. Applying the algorithm to testbed data resulted in energy savings of 10–65% for a multitude of sensor modalities.     

A numerical study of a utility boiler tangentially-fired furnace under different operating conditions

For prediction of complex processes in two-phase turbulent reactive flows within large-scale boiler furnaces firing pulverized coal, a comprehensive 3D differential mathematical model and CFD computer code have been developed in-house. The model incorporates trade-offs between submodels sophistication and computational practicality. An easy-to-use interface for introducing input data and grid generation has been build within the code. The main purpose of the paper is to present numerical predictions of processes in the case-study furnace under different operating conditions, obtained by the developed model. The paper also provides information on characteristics and evaluation of the model, with a grid refinement study and comparisons with comprehensive data. The effects of different operating conditions on the processes in the case-study furnace are correctly predicted, demonstrating the ability of the developed model to perform parametric studies.     

Model checking: recent improvements and applications

Model checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 2008; Clarke et al. in Model checking, MIT Press, Cambridge, 2001) is an automatic technique to formally verify that a given specification of a concurrent system meets given functional properties. Its use has been demonstrated many times over the years. Key characteristics that make the method so appealing are its level of automaticity, its ability to determine the absence of errors in the system (contrary to testing techniques) and the fact that it produces counter-examples when errors are detected, that clearly demonstrate not only that an error is present, but also how the error can be produced. The main drawback of model checking is its limited scalability, and for this reason, research on reducing the computational effort has received much attention over the last decades. Besides the verification of qualitative functional properties, the model checking technique can also be applied for other types of analyses, such as planning and the verification of quantitative properties. We briefly discuss several contributions in the model checking field that address both its scalability and its applicability to perform planning and quantitative analysis. In particular, we introduce six papers selected from the 23rd International SPIN Symposium on Model Checking Software (SPIN 2016).

     

Modelling effects of S3D visual discomfort in human emotional state using data mining techniques

Multimedia Tools and Applications - In recent years, the rapid development of diverse media has been evident in disparate fields such as consumer electronics, automotive infotainment and healthcare...     

Methyl methacrylate and acrylamide crosslinked macroporous copolymers

In this work the synthesis of a crosslinked macroporous copolymer was effected from methyl methacrylate and acrylamide. The synthesis process began with emulsion prepolymerization, followed by sol–gel copolymerization until a hard block was obtained. Determination of the properties of the obtained material was carried out by FTIR, mercury porosimetry, and SEM microscopy. The material was characterized by a porous structure with open pores. The macroporous copolymer obtained can be used for polymer–analog reactions and the transformation of amide and ester groups into acyl azide groups. It can be used as a hard inert support for the immobilization of enzymes, or other proteins, by condensation of acyl azide group on polymer with the free amino group from the base amino acid of enzyme/protein. For the immobilization of microorganisms it can be used by vacuum diffusion of microorganism suspension into the porous structure, without active group transformation reactions. With microorganisms in the polymer pores, microorganism colonies form within the copolymer by microbial fermentation. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 91: 387–395, 2004     

On the application of fuzzy-based flow control approach to High Altitude Platform communications

Most of the research effort in the field of HAP communications until now has been invested in the physical layer of the protocol stack, and in the radio related issues in particular. However, the overall system throughput is limited by the performance of the transport layer. Since HAPs will be used in networks with different topological complexity, various kinds of wireless communications links, bit error rates, and various mixtures of multimedia traffic, the control flow in such networks may present itself as a non-linear and stochastic process. Therefore we introduced a fuzzy control of the throughput in the TCP. Our approach is based on the off-line synthesis of the Takagi-Sugeno fuzzy controller based on the simulation data and on-line flow control by the synthesized controller that is built in the conventional TCP. In the paper we present the ns2-based simulation results.     

Spanners in sparse graphs

A t-spanner of a graph G is a spanning subgraph S in which the distance between every pair of vertices is at most t times their distance in G. If S is required to be a tree then S is called a tree t-spanner of G. In 1998, Fekete and Kremer showed that on unweighted planar graphs deciding whether G admits a tree t-spanner is polynomial time solvable for t?3 and is NP-complete when t is part of the input. They also left as an open problem if the problem is polynomial time solvable for every fixed t?4. In this work we resolve the open question of Fekete and Kremer by proving much more general results:

• • 

  The problem of finding a t-spanner of treewidth at most k in a given planar graph G is fixed parameter tractable parameterized by k and t. Moreover, for every fixed t and k, the running time of our algorithm is linear.

• • 

  Our technique allows to extend the result from planar graphs to much more general classes of graphs. An apex graph is a graph that can be made planar by the removal of a single vertex. We prove that the problem of finding a t-spanner of treewidth k is fixed parameter tractable on graphs that do not contain some fixed apex graph as a minor, i.e. on apex-minor-free graphs. The class of apex-minor-free graphs contains planar graphs and graphs of bounded genus.

• • 

  Finally, we show that the tractability border of the t-spanner problem cannot be extended beyond the class of apex-minor-free graphs and in this sense our results are tight. In particular, for every t?4, the problem of finding a tree t-spanner is NP-complete on K6-minor-free graphs.

     

Intelligent control of DC motor driven electromechanical fin actuator

In this paper modeling, simulation and control of an electromechanical actuator (EMA) system for aerofin control (AFC) with permanent magnet brush DC motor driven by a constant current driver are investigated. Nonlinear model of the EMA-AFC system has been developed and experimentally verified in actuator test bench. Model has been used as the starting point for PID position controller synthesis. To improve performances of the system, computational intelligence has been applied. Genetic PID optimization, genetic algorithm (GA) optimized fuzzy supervisory PID control and finally GA optimized nonlinear PID algorithm modification are proposed. Improved transient response and system behavior have also been experimentally validated.     

Self-assembled polyaniline 12-tungstophosphate micro/nanostructures

Polyaniline (PANI) micro/nanostructures were synthesized by the external-template-free oxidative polymerization of aniline in aqueous solution of 12-tungstophosphoric acid (WPA), using ammonium peroxydisulfate (APS) as an oxidant and starting the oxidation of aniline from slightly acidic media (pH 5.4–5.9). The effect of the initial weight ratio of WPA to aniline on molecular structure, morphology, and physicochemical properties of polyaniline 12-tungstophosphate (PANI-WPA) was investigated by FTIR, Raman and inductively coupled plasma optical emission (ICP-OES) spectroscopies, elemental analysis, X-ray powder diffraction (XRPD), scanning and transmission electron microscopies (SEM and TEM), thermogravimetric analysis (TGA), differential thermal analysis (DTA), and conductivity measurements. The morphological change of polymerization products during a single polymerization process, from non-conducting submicro-/microspherical oligoaniline intermediates to semiconducting PANI-WPA consisted of self-assembled nanotubes and/or nanorods co-existing with submicro-/microspheres, has been revealed by SEM and TEM. The average diameter of nanorods in PANI-WPA samples decreased with increasing the initial WPA/aniline weight ratio. The incorporation of 12-tungstophosphate counter-ions into PANI matrix has been proved by FTIR, Raman and ICP-OES spectroscopies, TGA and DTA analysis. Electrical conductivity of PANI-WPA increased in the range (2.5–5.3) × 10^?3 S cm^?1 with the increase of the initial WPA/aniline weight ratio. The presence of branched structures and phenazine units besides the ordinary paramagnetic and diamagnetic emeraldine salt structural features in PANI-WPA was proved by FTIR and Raman spectroscopies.