Computing the steady state of multistage counter-current processes like distillation, extraction, or absorption is the equivalent to finding solutions for large scale non-linear equation systems. The conventional solution techniques are fast and efficient if a good estimation is available but are prone to fail, and do not provide information about the reason for the failure. This is the main mo...

Recently, new emerging techniques of neuromorphic hardware render spiking neuron networks (SNN) promising as an energy-efficient solution for artificial intelligence (AI). With the idea physics informed neural network, structure can be simple while training data light. However its application in RF telecommunication system is still challenging. This paper, first time literatures, proposes a SNN...

The introduction of state equation model of the electrical machine based on direct and quadrature axes variables has paved the way for powerful control theories to be brought to bear on the problem of control of electric machines. Exact linearization has been applied to the control of permanent magnet synchronous motor (PMSM). In this paper, application of approximate linearization is proposed ...

Strains are applied to the integration procedure in nonlinear increments todecrease the errors arising from the linearization of plastic equations. Two deformationvectors are used to achieve this. The first vector is based on the deformations obtained bythe first iteration of the equilibrium step, and the second is acquired from the sum of thesucceeding iterations. By applying these vectors and...

Variational inference has experienced a recent surge in popularity owing to stochastic approaches, which have yielded practical tools for a wide range of model classes. A key benefit is that stochastic variational inference obviates the tedious process of deriving analytical expressions for closed-form variable updates. Instead, one simply needs to derive the gradient of the log-posterior, whic...

Current wireless c o m m u n i c a t i o n standards have been established to carry voice, data and video with high data rates. These high data rates require efficient modulation techniques such as OFDM 64 QAM, to allow transmission in a given finite bandwidth. With these types of modulation, there are probabilities that at certain times, the voltages of the multiple carriers are in phase and t...

Model checking invariant properties of designs, represented as transition systems, with non-linear real arithmetic (NRA) is an important though very hard problem. On the one hand NRA is a hard-to-solve theory; on the other hand most of the powerful model checking techniques lack support for NRA. In this paper, we present a work-in-progress counterexampleguided abstraction refinement (CEGAR) app...