Generic models for business applications. Towards a framework for identification and assessment

This thesis proposes a framework for identifying and assessing generic system dynamics models in business and suggests a list of candidate models. Results are meant to support isee systems, inc. in its aim to make system dynamics more accessible to managers and to further develop knowledge in the field. The main contributions of this study are a) synthesizing the current discourse not only theoretically by a literature review, but also empirically by interviews with experts b) offering concrete steps in form of an operative framework and c) relating problems with the concept of generic models to critical problems in the field. The main limitation of this study is that practical testing of the framework was not possible. Results of the empirical study suggest that the operative framework needs to be further developed because there is substantial disagreement on underlying theories in the conceptual framework. Therefore, the operative steps can only be seen as tentative and as a starting point for further research

Using Answer Set Programming in the Development of Verified Software

Software forms a key component of many modern safety and security critical systems. One approach to achieving the required levels of assurance is to prove that the software is free from bugs and meets its specification. If a proof cannot be constructed it is important to identify the root cause as it may be a flaw in the specification or a bug. Novice users often find this process frustrating and discouraging, and it can be time-consuming for experienced users. The paper describes a commercial application based on Answer Set Programming called Riposte. It generates simple counter-examples for false and unprovable verification conditions (VCs). These help users to understand why problematic VC are false and makes the development of verified software easier and faster

A számítási pontosság és robosztusság kérdésének elemzése analogikai CNN algoritmusok néhány osztályában = Analysis of computation accuracy and robustness in some classes of analogic CNN algorithms

A CNN tömbök analóg VLSI implementációi teraoperáció/s számítási teljesítményt adnak, pontosságuk viszont 6-7 bit. Komplex tér-idő dinamikával rendelkező rendszerek viselkedésének vizsgálatánál ez a pontosság nem elegendő. Ekkor előtérbe kerülnek az emulált digitális CNN-UM implementációk (ASIC vagy FPGA). - Elemeztük az emlős retina, az óceán áramlás és a taktilis nyomásérzékelő valamint a földrengés hullámok viselkedését. Összefüggéseket adtunk a számítási pontosság, az implementálható emulált digitális CNN cellaszám és a számítás sebessége között. - A vizsgálatok alapján az adott feladatosztályokra kijelölhető volt a minimális számítási pontosság igény. - Képmegjelenítőkön alkalmazható új al-pixel architektúrákat és a megjelenítendő kép fénysűrűség-eloszlását nagy térbeli felbontással figyelembe vevő ''image rendering'' algoritmusokat találtunk, amelyeknél - valós idejű alkalmazásoknál a számításigény miatt - fontos a gyors CNN transzformáció alkalmazása. - Kimutattuk, hogy a színi mérethatás szignifikáns, és a kis méretű színi stimulustól jellegzetes függést mutat, valamint javaslatot tettünk ennek modellezésére. - Kimutattuk, hogy a színmemóriából a megfigyelő által reprodukált színészlelet különbözik a közvetlenül megfigyelt színészlelettől, és számszerűsítettük ezeket a különbségeket. A színmemória-hatásokat - a nagy számításigény miatt - érdemes CNN-transzformációval modellezni. | Analog VLSI implementations of CNN arrays exhibit teraoperatio/s computing power but the accyracy of the computations are limited to 6-7 bits.In analysis of systems with complex spatio-temporal dynamics tis accuracy is not enough. Emulated digital CNN arrays are used in this case (ASIC or FPGA). - The vertabrate retina model, the ocean model, the tactile sensor model and the seismic wave model were analysed. Relationships were defined among the computing accuracy, the implementable number of emulated digital CNN cells and the speed of computation. - The minimal accuracy requirements were defined for the different problem classes. - New subpixel arrangements and color rendering methods for multi primary displays were developed. In real-time processing problems the huge computing power is an important issue and the CNN thechnology can be used here effectively. - The color size effect was analysed and a new model were developed. - The difference between the color coming from the long-term memory and the sensed color could be quantified. The color memory models need a large computing power and the CNN technology can be effective in this field too