A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially designed in the continuous domain and subsequently discretized, can be ...captured within a formal development process compatible with standard model based refinement methodologies. Starting with a formalized requirements analysis using KAOS, an abstract model of the continuous system is created in the ASM formalism. This requires extensions of the KAOS and ASM formalisms, capable of dealing with quantities evolving continuously over real time, which are developed. After considering how the continuous system, described as a continuous control system in the state space framework, can be discretized, a discrete control system is created in the state space framework. This is re-expressed in the ASM formalism. The rigorous results on the relationship between continuous and discrete control system models that are needed to establish provable properties of the discretization, then become the ingredients of a retrenchment between continuous and discrete ASM models, and are thus fully integrated into the formal development. The discrete ASM model can then be further refined towards implementation.
Self-adaptation is imposing as a key characteristic of many modern software systems to tackle their complexity and cope with the many environments in which they can operate. Self-adaptation is a ...requirement per-se, but it also impacts the other (conventional) requirements of the system; all these new and old requirements must be elicited and represented in a coherent and homogenous way. This paper presents FLAGS, an innovative goal model that generalizes the KAOS model, adds adaptive goals to embed adaptation countermeasures, and fosters self-adaptation by considering requirements as live, runtime entities. FLAGS also distinguishes between crisp goals, whose satisfaction is boolean, and fuzzy goals, whose satisfaction is represented through fuzzy constraints. Adaptation countermeasures are triggered by violated goals and the goal model is modified accordingly to maintain a coherent view of the system and enforce adaptation directives on the running system. The main elements of the approach are demonstrated through an example application.
Managing OAM&P Requirement Conflicts Chentouf, Zohair
Journal of King Saud University. Computer and information sciences,
09/2014, Letnik:
26, Številka:
3
Journal Article
The London Ambulance System and the online tax return system of Her Majesty's Revenue and Customs are two systems that have experienced significant problems of scalability. However, we've never seen ...a precise discussion of their scalability concerns. In this column we use those systems to illustrate how the scalability of software systems can be more precisely understood and characterized, and we describe recent research on goal-obstacle analysis that can help elaborate the scalability requirements of such systems, in an effort to mitigate scalability problems early in development.
Six short stories by Luigi Pirandello form the basis of the 1984 film Kaos, shot in the same number of episodes, though only four of them principally document rural agrarian society and poverty in ...late nineteenth- and early-twentieth-century Sicily. Taking as its point of departure the anthropomorphism attributed to an animal in the film's frame story, this essay decontextualizes that point of view to assert that human pre-Roman deforestation was a major cause of ecological, agrarian, and economic impoverishment that has characterized Sicily ever since. In consideration of the film's formal structure and the aesthetic conclusion drawn in its final episode - indicated by its makers as its epilogue - it is also argued, once more through the agency of anthropomorphism, that the epilogue can therefore be considered to lie within the boundaries of the film's frame story, and is not merely a conclusion to the preceding five episodes.
The purpose of this paper is to compare leadership behaviours from two different approaches with the leadership behaviours within quality management in order to find possible areas for developing ...leadership within quality management. A case study has been carried out at a Swedish award-winning organisation in order to study leadership behaviours. In-depth interviews have been carried out with the intention to explore how the manager has worked to become one of Sweden's best workplaces. Leadership behaviours from three different approaches are summarised in 'The Core Leadership Behaviours'. The analysis of the leadership methodologies and behaviours used by the leaders and the 'Core Leadership Behaviours' from the three different approaches has been summarised for each approach. The comparison indicates that there are interesting leadership behaviours in Change Oriented Leadership, as well as in KaosPilots, that are not established within quality management. The leadership behaviours could complement quality management to meet new and challenging demands from customers and co-workers.
Chaos in product maps DEĞİRMENCİ, NEDİM; KOÇAK, ŞAHİN
Turkish journal of mathematics,
01/2010, Letnik:
34, Številka:
4
Journal Article
Recenzirano
Odprti dostop
We discuss how chaos conditions on maps carry over to their products. First we give a counterexample
showing that the product of two chaotic maps (in the sense of Devaney) need not be chaotic. We ...then
remark that if two maps (or even one of them) exhibit sensitive dependence on initial conditions, so does
their product; likewise, if two maps possess dense periodic points, so does their product. On the other side,
the product of two topologically transitive maps need not be topologically transitive. We then give sufficient
conditions under which the product of two chaotic maps is chaotic in the sense of Devaney 6.
Bu çalışmada gecikmeli vektör varyans metodunun, kayıt edilmiş konuşma seslerinin steganalizinde kullanımı araştırılmıştır. Konuşma sinyali içerisine veri gizlemenin orijinal ses verisinin ...özelliklerini bozacağı gerçeğinden göz önünde bulundurarak, vekil verileri kullanan gecikmeli vektör varyans (DVV) özelliklerindeki değişimi kontrol eden ve böylece stego-sinyalin varlığını tespit etmeye çalışan yeni bir steganalizör tasarlanmıştır. DVV özelliklerini baz alan önerilen steganalizörün performans başarımı ise nümerik değerlerle verilmiştir