Stabilizing relaxed nonlinear fma yields a (combinatorial) optimizer

In this paper, we focus on so-called nonlinear and unfeasible FMA (Foschini-Miljanic Algorithm) case, where the system matrix is unfeasible and the transmit powers are limited. We stabilize the nonlinear dynamic system by a normalization term, as in Oja's approach for his model. We draw various conclusions regarding the linear and nonlinear cases: i) In linear case, we show that the SINRs in the stabilized linear wireless network converge to some constants which are inversely related to the dominant eigenvalue of normalized link gain matrix. ii) In nonlinear case, we show that the proposed nonlinear network, which includes also Oja's principal component analyzer as a special case, can be applied to solving (combinatorial) optimization problems. The performance of the proposed network is examined in channel allocation problem in cellular radio systems, which is NP complete, and in content-addressable memory design problem. The simulation results confirm the effectiveness and the superiority of the proposed nonlinear network as compared to the Hopfield Neural Network for the very same weight matrices in optimization problems.IEEE Computat Intelligence Soc; United Dev Co PSC; Qatar Petrochem Co; ExxonMobil; Texas A&M Univ atar & Asia Pacif Neural Network Assembly; European Neural Network Soc; Japanese Neural Network Soc; Qatar Petr; Int Neural Network Soc

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp