4 resultados para Timing verification
em Universidade do Minho
Resumo:
Dissertação de mestrado em Finanças
Resumo:
Many of our everyday tasks require the control of the serial order and the timing of component actions. Using the dynamic neural field (DNF) framework, we address the learning of representations that support the performance of precisely time action sequences. In continuation of previous modeling work and robotics implementations, we ask specifically the question how feedback about executed actions might be used by the learning system to fine tune a joint memory representation of the ordinal and the temporal structure which has been initially acquired by observation. The perceptual memory is represented by a self-stabilized, multi-bump activity pattern of neurons encoding instances of a sensory event (e.g., color, position or pitch) which guides sequence learning. The strength of the population representation of each event is a function of elapsed time since sequence onset. We propose and test in simulations a simple learning rule that detects a mismatch between the expected and realized timing of events and adapts the activation strengths in order to compensate for the movement time needed to achieve the desired effect. The simulation results show that the effector-specific memory representation can be robustly recalled. We discuss the impact of the fast, activation-based learning that the DNF framework provides for robotics applications.
Resumo:
In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.
Resumo:
It has been suggested that being physically abused leads to someone becoming a perpetrator of abuse which could be associated to parents' gender, timing of the physical abuse and specific socio-demographic variables. This study aims to investigate the role the parents' gender, timing of childhood abuse and socio-demographic variables on the relationship between parents' history of childhood physical abuse and current risk for children. The sample consisted of 920 parents (414 fathers, 506 mothers) from the Portuguese National Representative Study of Psychosocial Context of Child Abuse and Neglect who completed the Childhood History Questionnaire and the Child Abuse Potential Inventory. The results showed that fathers had lower current potential risk of becoming physical abuse perpetrators with their children than mothers although they did not differed in their physical victimization history. Moreover, the risk was higher in parents (both genders) with continuous history of victimization than in parents without victimization. Prediction models showed that for fathers and mothers separately similar socio-demographic variables (family income, number of children at home, employment status and marital status) predicted the potential risk of becoming physical abuses perpetrators. Nevertheless, the timing of victimization was different for fathers (before 13 years old) and mothers (after 13 years old). Then our study targets specific variables (timing of physical abuse, parents' gender and specific socio-demographic variables), which may enable professionals to select groups of parents at greater need of participating in abuse prevention programs.