The Family Partners Credit Card: A Token Economy System Adapted for Intensive Family Preservation Services to Enable Families to Manage Difficult Behavior of Adolescents

Increasingly, families referred for Intensive Family Preservation Services have not experienced a crisis of maltreatment, focused on the parent; rather these families have children with chronic behavioral difficulties for which their parents lack the skills to cope. These are the same families whose children were formerly placed in residential programs. This paper presents The Family Partners Credit Card System, incorporating behavioral techniques developed to treat children in out-of-home placements into a family preservation model. Two case examples illustrate how the system has been modified to train biological or adoptive parents in parenting skills, enable them to teach their children pro-family behaviors, and reinforce new behaviors through a credit card that monitors an ongoing balance of credits and fines.

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Guide pour l’évaluation des efforts investis dans les projets de services à domicile auprès des personnes âgées

En différents endroits de la Province on est en train d'élaborer des projets de service domicile pour des personnes âgées. Le but premier de notre travail est de fournir un modèle théorique d'évaluation pour des projets de ce genre. Il nous semble en même temps que le modèle pourrait rendre service dans la préparation d'un projet par l’énumération qu'il fait d'éléments qu'on trouve présents dans toute opération réussie. Cette évaluation est de type différentiel ; elle consiste en une analyse quantitative descriptive et critique des efforts déployés dans un projet de services domicile destinés favoriser la résidence "chez soi" des personnes âgées diminuant ou retardant du même coup le besoin d'hébergement en institution. L'instrument choisi est une grille que nous présentons au chapitre suivant. Elle fera appel à la technique de la vérification administrative (73, p. 70ssj) pour ce qui est de l'effort des intervenants (organisation, fonctionnement) celle de la comptabilité sociale pour l'efficacité des efforts (73, p. 65ss) et la comptabilité des coûts pour le rendement des efforts (73, p. 96 ss ). Les chiffres écrits de cette manière dans le texte renvoient à la fin de notre travail un numéro des "ouvrages consultés" et la page de l’ouvrage. Cette évaluation représente un tout organique on pourrait cependant se borner la vérification administrative qui constitue la première partie de la grille on pourrait aussi se contenter de l'étude de l'efficacité ou de l'étude du rendement deuxième et troisième parties de la grille selon le genre d'information désirée Il nous semble pourtant indiqué de ne pas dissocier les deux dernières parties parce que les renseignements de l'une devraient singulièrement éclairer l'autre. Retenons qu'il s'agit d'une analyse des efforts et non pas des résultats obtenus. Une analyse de résultats devrait normalement suivre celle que nous proposons ici. La grille s'applique d'emblée tout projet qui s'organise partir d'une participation du public par assemblée générale laquelle délègue ses pouvoirs des administrateurs. Pour des situations où ce schème ne s'applique pas exactement on effectuera les adaptations nécessaires. […]

Train scheduling and rolling stock assignment in high speed trains

The Train Timetabling Problem (TTP) has been widely studied for freight and passenger rail systems. A lesser effort has been devoted to the study of high-speed rail systems. A modeling issue that has to be addressed is to model departure time choice of passengers on railway services. Passengers who use these systems attempt to travel at predetermined hours due to their daily life necessities (e.g., commuter trips). We incorporate all these features into TTP focusing on high-speed railway systems. We propose a Rail Scheduling and Rolling Stock (RSch-RS) model for timetable planning of high-speed railway systems. This model is composed of two essential elements: i) an infrastructure model for representing the railway network: it includes capacity constraints of the rail network and the Rolling-Stock constraints; and ii) a demand model that defines how the passengers choose the departure time. The resulting model is a mixed-integer programming model which objective function attempts to maximize the profit for the rail operator

How do customers of a financial services institution judge its communications

Communications are important for relationships within a marketing channel from both a theoretical and managerial perspective. Yet it is a problematic area for scholars. Thus, this research addresses the problem of how do customers of a financial services institution perceive communications with an ideal institution? This study's case research methodology used in-depth interviews with 34 carefully selected customers of a building society. The factors that make up customers' attitudes about corporate communications for an ideal financial services institution were identified and actual perceptions were compared against that ideal. The findings confirmed the importance of communications for customers in a relationship with a financial services provider and suggested communication priorities for customers in this context. In addition, the findings suggested sources of communication dissatisfaction for customers. These findings build upon the literature that speculates about customer perceptions of communications with organizations but provides little evidence to support hypotheses. The contributions arose from the emphasis on the customers' own attitudes and the patterns found within them.