Hidden attractors in fundamental problems and engineering models

Recently a concept of self-excited and hidden attractors was suggested: an attractor is called a self-excited attractor if its basin of attraction overlaps with neighborhood of an equilibrium, otherwise it is called a hidden attractor. For example, hidden attractors are attractors in systems with no equilibria or with only one stable equilibrium (a special case of multistability and coexistence of attractors). While coexisting self-excited attractors can be found using the standard computational procedure, there is no standard way of predicting the existence or coexistence of hidden attractors in a system. In this plenary survey lecture the concept of self-excited and hidden attractors is discussed, and various corresponding examples of self-excited and hidden attractors are considered

"Going back to our roots": second generation biocomputing

Researchers in the field of biocomputing have, for many years, successfully "harvested and exploited" the natural world for inspiration in developing systems that are robust, adaptable and capable of generating novel and even "creative" solutions to human-defined problems. However, in this position paper we argue that the time has now come for a reassessment of how we exploit biology to generate new computational systems. Previous solutions (the "first generation" of biocomputing techniques), whilst reasonably effective, are crude analogues of actual biological systems. We believe that a new, inherently inter-disciplinary approach is needed for the development of the emerging "second generation" of bio-inspired methods. This new modus operandi will require much closer interaction between the engineering and life sciences communities, as well as a bidirectional flow of concepts, applications and expertise. We support our argument by examining, in this new light, three existing areas of biocomputing (genetic programming, artificial immune systems and evolvable hardware), as well as an emerging area (natural genetic engineering) which may provide useful pointers as to the way forward.Comment: Submitted to the International Journal of Unconventional Computin

The Configurable SAT Solver Challenge (CSSC)

It is well known that different solution strategies work well for different types of instances of hard combinatorial problems. As a consequence, most solvers for the propositional satisfiability problem (SAT) expose parameters that allow them to be customized to a particular family of instances. In the international SAT competition series, these parameters are ignored: solvers are run using a single default parameter setting (supplied by the authors) for all benchmark instances in a given track. While this competition format rewards solvers with robust default settings, it does not reflect the situation faced by a practitioner who only cares about performance on one particular application and can invest some time into tuning solver parameters for this application. The new Configurable SAT Solver Competition (CSSC) compares solvers in this latter setting, scoring each solver by the performance it achieved after a fully automated configuration step. This article describes the CSSC in more detail, and reports the results obtained in its two instantiations so far, CSSC 2013 and 2014

Development of a Variable Roller Pump and Evaluation of its Power Saving Potential as a Charge Pump in Hydrostatic Drivetrains

Predložená doktorandská dizertačná práca (ďalej len práca) sa zaoberá rozsiahlou analýzou valčekového hydrogenerátora s premenlivým geometrickým objemom a predikciou výkonových úspor dosiahnutých aplikáciou navrhnutého valčekového hydrogenerátora s premenlivým geometrickým objemom v hydrostatickom pohone vybraných mobilných pracovných strojov. Teoretický rozbor princípov fungovania valčekového hydrogenerátora a teória jednorozmerného simulačného modelu sú popísané v prvej časti práce. Na základe odvodenej teórie je vytvorený simulačný model, ktorý je vhodný na predikciu priebehu tlaku v komorách valčekového hydrogenerátora, síl pôsobiacich na valček a na predikciu vnútorných únikov vzniknutých skratovaním rozvodovej dosky, ktoré majú priamy vplyv na objemovú účinnosť valčekového hydrogenerátora. Simulačný model bol úspešne použitý pre optimalizáciu rozvodových dosiek valčekového hydrogenerátora a vhodnosť simulačného modelu potvrdili následné merania Práca obsahuje aj analýzu síl pôsobiacich na vodiaci prstenec, ktorej výsledky boli taktiež potvrdené meraním. Analýza týchto síl môže vylepšiť v konečnom dôsledku parametre budúcich tlakových regulácii. Práca ďalej obsahuje základné porovnanie použitých tlakových regulácii. Všetky uskutočnené merania potvrdili, že valčekový hydrogenerátor s premenlivým geometrickým objemom s testovanými tlakovými reguláciami je schopný úspešne pracovať v hydrostatickej prevodovke. Druhá časť práce analyzuje potenciál výkonových úspor valčekového hydrogenerátora s premenlivým geometrickým objemom pre dve mobilné aplikácie - teleskopický nakladač s hmotnosťou 9 ton a kombajn s hmotnosťou 20 ton. Analýza vyžaduje jednorozmerný simulačný model hydrostatického pohonu s teplotnou predikciou hydrostatickej prevodovky. Dva rozdielne koncepty variabilného doplňovacieho systému hydrostatickej prevodovky sú porovnané so štandardným doplňovacím systémom pre pracovný a transportný režim oboch vybraných typov vozidiel. Simulácia pohonu vozidla s valčekovým hydrogenerátorom s premenlivým geometrickým objemom vo funkcii doplňovacieho hydrogenerátora a obtokovou clonou potvrdili vyššie úspory iba v prípadoch, kedy rýchlosť doplňovacieho hydrogenerátora bola výrazne vyššia a prietok cez obtokovú clonu do skrine hlavného hydrogenerátora zabezpečil dostatočné chladenie. Najvyššie výkonové úspory boli dosiahnuté s premenlivým preplachovacím systémom, ktorého prietok sa menil podľa požiadaviek hydrostatickej prevodovky. Záver druhej časti práce sa zaoberá metodikou dimenzovania veľkosti doplňovacieho hydrogenerátora.Presented doctoral thesis deals with an extensive hydraulic variable roller pump analysis and the power saving prediction of hydrostatic drivetrains in the mobile machines achieved with a variable roller charge pump implementation. At the first part of the work, the roller pump functionality was described and the theory of a 1-D simulation model was developed. Based on this developed simulation model is suitable for pressure profile prediction, roller force prediction and cross port leakage prediction which has a direct impact on the total volumetric efficiency. The simulation model was successfully used as a tool for optimization of the port plates, which was confirmed by measurements. The first part of the work includes the pump control force analysis validated by measurements and also the basic pressure compensator controls comparison. Developed control force prediction could help to improve the control performance. The measurements confirmed that the variable roller charge pump is able to successfully work in transmissions with measured types of the control. The second part of the work analyzed the power saving potential of a variable charge pump for two selected typical mobile applications: telehandler (9 ton) and combine harvester (20 ton). This part required a 1-D drivetrain simulation model together with thermal behaviour of the hydrostatic transmission. Two different modifications of the charging systems were compared with the conventional charging system in simulations performed for the working and transporting mode. The drivetrain simulation of the variable roller charge pump with a bypass orifice confirms higher power savings only in cases when the pump speed was significantly higher than normal speeds and a relatively constant flushing flow through the bypass orifice to the pump case still ensures suitable cooling. The highest power savings were achieved with variable flushing flows, where the demand for charging flow was adjusted according to the hydrostatic transmission cooling requirements. At the end of the second part, this thesis deals with a variable charge pump sizing.

PPP-Completeness with Connections to Cryptography

Polynomial Pigeonhole Principle (PPP) is an important subclass of TFNP with profound connections to the complexity of the fundamental cryptographic primitives: collision-resistant hash functions and one-way permutations. In contrast to most of the other subclasses of TFNP, no complete problem is known for PPP. Our work identifies the first PPP-complete problem without any circuit or Turing Machine given explicitly in the input, and thus we answer a longstanding open question from [Papadimitriou1994]. Specifically, we show that constrained-SIS (cSIS), a generalized version of the well-known Short Integer Solution problem (SIS) from lattice-based cryptography, is PPP-complete. In order to give intuition behind our reduction for constrained-SIS, we identify another PPP-complete problem with a circuit in the input but closely related to lattice problems. We call this problem BLICHFELDT and it is the computational problem associated with Blichfeldt's fundamental theorem in the theory of lattices. Building on the inherent connection of PPP with collision-resistant hash functions, we use our completeness result to construct the first natural hash function family that captures the hardness of all collision-resistant hash functions in a worst-case sense, i.e. it is natural and universal in the worst-case. The close resemblance of our hash function family with SIS, leads us to the first candidate collision-resistant hash function that is both natural and universal in an average-case sense. Finally, our results enrich our understanding of the connections between PPP, lattice problems and other concrete cryptographic assumptions, such as the discrete logarithm problem over general groups

Indicating Asynchronous Array Multipliers

Multiplication is an important arithmetic operation that is frequently encountered in microprocessing and digital signal processing applications, and multiplication is physically realized using a multiplier. This paper discusses the physical implementation of many indicating asynchronous array multipliers, which are inherently elastic and modular and are robust to timing, process and parametric variations. We consider the physical realization of many indicating asynchronous array multipliers using a 32/28nm CMOS technology. The weak-indication array multipliers comprise strong-indication or weak-indication full adders, and strong-indication 2-input AND functions to realize the partial products. The multipliers were synthesized in a semi-custom ASIC design style using standard library cells including a custom-designed 2-input C-element. 4x4 and 8x8 multiplication operations were considered for the physical implementations. The 4-phase return-to-zero (RTZ) and the 4-phase return-to-one (RTO) handshake protocols were utilized for data communication, and the delay-insensitive dual-rail code was used for data encoding. Among several weak-indication array multipliers, a weak-indication array multiplier utilizing a biased weak-indication full adder and the strong-indication 2-input AND function is found to have reduced cycle time and power-cycle time product with respect to RTZ and RTO handshaking for 4x4 and 8x8 multiplications. Further, the 4-phase RTO handshaking is found to be preferable to the 4-phase RTZ handshaking for achieving enhanced optimizations of the design metrics.Comment: arXiv admin note: text overlap with arXiv:1903.0943