Perkov T.,Polytechnic of Zagreb
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2014
A class of Kripke frames is called modally definable if there is a set of modal formulas such that the class consists exactly of frames on which every formula from that set is valid, i.e. globally true under any valuation. Here, existential definability of Kripke frame classes is defined analogously, by demanding that each formula from a defining set is satisfiable under any valuation. The notion of modal definability is then generalized by combining these two. Model theoretic characterizations of these types of definability are given. © 2014 Springer-Verlag Berlin Heidelberg.
Pavlovic T.,Energy Control Systems Engineering |
Bjazi T.,Polytechnic of Zagreb |
Ban Z.,Energy Control Systems Engineering
IEEE Transactions on Power Electronics | Year: 2013
This paper presents simplified nonlinear averaged large-signal and linear small-signal models of the three basic dc-dc converter topologies, boost, buck, and noninverting buck-boost, respectively, operating in peak current-mode control. Models have been derived for the continuous and discontinuous conduction mode. The modeling methodology used is the equivalent current injected method. The derived models have been compared to the existing full-order large-signal nonlinear models and have been found to exhibit simulation time reduction by a few magnitudes in complex distributed power systems, such as today's popular microgrids. The models developed have been experimentally verified on a custom-built 120-W boost converter prototype, showing great accuracy in steady state and in dynamical behavior in all operating points, as determined by the output resistance. © 1986-2012 IEEE.
Perkov T.,Polytechnic of Zagreb
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2012
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order language are true. Here, the notion of definability is extended to existentially quantified translations of modal formulas - a class is called modally ∃-definable if there is a set of modal formulas such that a class consists exactly of models in which every formula of that set is satisfiable. A characterization result is given in usual form, in terms of closure conditions on such classes of models. © 2012 Springer-Verlag.
Arbutina D.,Polytechnic of Zagreb
Prostor | Year: 2013
This paper presents the works of the Italian architects Luccichenti and Monaco between 1941 and 1943 in Croatia. The selected buildings in Zadar (Case minime, Genio Civile) and Trogir (Case minime) as well as other projects in Zadar (I.N.A. palace, financial police building, fishmarket) and on Korèula island (hospital building) underline the need for an evaluation and protection of the architectural works as historic and cultural monuments built under various political regimes.
Frude N.,University of Cardiff |
Jandric P.,Polytechnic of Zagreb
E-Learning and Digital Media | Year: 2015
This conversation focuses on a book published in 1983 that examined ‘animism’, the tendency to regard non-living entities as living and sentient. The Intimate Machine suggested that animism will be fully exploited by artificial intelligence (AI) and robotics, generating artefacts that will engage the user in ‘social’ interactions so that eventually people will form close and beneficial social relationships with artificial ‘companion systems’. The author of the book, clinical psychologist Neil Frude, is asked to reflect on his book and, although he admits that his techno-optimism in the 1980s was exaggerated, it is clear that he still holds to his major thesis. He considers ‘virtual pets’, such as Tamagotchi, Furby and Sony’s Aibo, and considers why they did not evolve into more sophisticated social artefacts. Frude identifies three vital elements needed for a successful artificial companion – animism, artistry and AI – and acknowledges that the last of these has been the weak link. However, even simple AI programs can make an impressive impact when skilfully implemented. He emphasizes the relevance of characterization, pointing to examples in recent computer- generated animations. In the context of interactive technology, the addition of character and artificial personality will generate companion machines that are highly engaging and exceptionally appealing. Insights into the likely nature and roles of artificial companions, and how people will relate to them, are available in the science fiction corpus, and this literature has also examined relevant ethical and social issues. Finally, he considers some of the possible clinical applications of such systems in both physical health and mental health and he also reflects on some of the potential dangers of the kind of artefact that he is envisioning. © The Author(s) 2015.