Verifying Architectural Design Rules of the Flight Software Product Line

This paper presents experiences of verifying architectural design rules of the NASA Core Flight Software (CFS) product line implementation. The goal of the verification is to check whether the implementation is consistent with the CFS architectural rules derived from the developer's guide. The results indicate that consistency checking helps a) identifying architecturally significant deviations that were eluded during code reviews, b) clarifying the design rules to the team, and c) assessing the overall implementation quality. Furthermore, it helps connecting business goals to architectural principles, and to the implementation. This paper is the first step in the definition of a method for analyzing and evaluating product line implementations from an architecture-centric perspective

Conservation in California during the summer of 2001

The goal of this study is to measure the results of energy-conservation, energy-efficiency, and load-reduction measures in the California Independent System Operator (CAISO) region during the summer of 2001. During the period leading up to summer 2001, California experienced power outages and unprecedented instability in electricity and natural gas markets. Expecting that warm summer temperatures would exacerbate the already unstable energy market, state agencies and utilities created conservation and load-reduction programs that included advertisements and publicity, bill discounts for decreased customer electricity use, and financial payments for real-time load interruptions. Because the state avoided major electricity grid disturbances during the summer, few of the load-reduction programs were tested; however, the conservation and energy-efficiency programs appear to have been quite effective. The purpose of this study is to determine the extent to which electricity loads decreased in summer 2001 relative to summer 2000 and summer 1999, independent of differences in weather patterns. Our assumption is that the portion of load reduction that is not attributable to weather can be attributed to energy-efficiency and conservation measures. To determine the load reduction, we adjusted year 1999 and year 2000 hourly loads to simulate what load would have been under year 2001 weather conditions given the use patterns of years 1999 and 2000. The resulting load growth profile for 2001 was then compared with the load growth between 1999 and 2000 to determine how the pattern of load growth was affected by the energy crisis and the conservation programs put into place in response to it

Deletion of TSPO causes dysregulation of cholesterol metabolism in mouse retina

Cholesterol dysregulation has been implicated in age-related macular degeneration (AMD), the most common cause of visual impairment in the elderly. The 18 KDa translocator protein (TSPO) is a mitochondrial outer membrane protein responsible for transporting cholesterol from the mitochondrial outer membrane to the inner membrane. TSPO is highly expressed in retinal pigment epithelial (RPE) cells, and TSPO ligands have shown therapeutic potential for the treatment of AMD. Here, we characterized retinal pathology of Tspo knockout (KO) mice using histological, immunohistochemical, biochemical and molecular biological approaches. We found that Tspo KO mice had normal retinal morphology (by light microscopy) but showed elevated levels of cholesterol, triglycerides and phospholipids with perturbed cholesterol efflux in the RPE cells of Tspo KO mice. Expression of cholesterol-associated genes (Nr1h3, Abca1, Abcg1, Cyp27a1 and Cyp46a1) was significantly downregulated, and production of pro-inflammatory cytokines was markedly increased in Tspo KO retinas. Furthermore, microglial activation was also observed in Tspo KO mouse retinas. These findings provide new insights into the function of TSPO in the retina and may aid in the design of new therapeutic strategies for the treatment of AMD

A classification system for teachers’ motivational behaviors recommended in self-determination theory interventions

Teachers’ behavior is a key factor that influences students’ motivation. Many theoretical models have tried to explain this influence, with one of the most thoroughly researched being self-determination theory (SDT). We used a Delphi method to create a classification of teacher behaviors consistent with SDT. This is useful because SDT-based interventions have been widely used to improve educational outcomes. However, these interventions contain many components. Reliably classifying and labeling those components is essential for implementation, reproducibility, and evidence synthesis. We used an international expert panel (N = 34) to develop this classification system. We started by identifying behaviors from existing literature, then refined labels, descriptions, and examples using the Delphi panel’s input. Next, the panel of experts iteratively rated the relevance of each behavior to SDT, the psychological need that each behavior influenced, and its likely effect on motivation. To create a mutually exclusive and collectively exhaustive list of behaviors, experts nominated overlapping behaviors that were redundant, and suggested new ones missing from the classification. After three rounds, the expert panel agreed upon 57 teacher motivational behaviors (TMBs) that were consistent with SDT. For most behaviors (77%), experts reached consensus on both the most relevant psychological need and influence on motivation. Our classification system provides a comprehensive list of TMBs and consistent terminology in how those behaviors are labeled. Researchers and practitioners designing interventions could use these behaviors to design interventions, to reproduce interventions, to assess whether these behaviors moderate intervention effects, and could focus new research on areas where experts disagreed. (PsycInfo Database Record (c) 2023 APA, all rights reserved

A classification system for teachers’ motivational behaviors recommended in self-determination theory interventions.

Teachers’ behavior is a key factor that influences students’ motivation. Many theoretical models have tried to explain this influence, with one of the most thoroughly researched being self-determination theory (SDT). We used a Delphi method to create a classification of teacher behaviors consistent with SDT. This is useful because SDT-based interventions have been widely used to improve educational outcomes. However, these interventions contain many components. Reliably classifying and labeling those components is essential for implementation, reproducibility, and evidence synthesis.We used an international expert panel (N = 34) to develop this classification system. We started by identifying behaviors from existing literature, then refined labels, descriptions, and examples using the Delphi panel’s input. Next, the panel of experts iteratively rated the relevance of each behavior to SDT, the psychological need that each behavior influenced, and its likely effect on motivation. To create a mutually exclusive and collectively exhaustive list of behaviors, experts nominated overlapping behaviors that were redundant, and suggested new ones missing from the classification. After three rounds, the expert panel agreed upon 57 teacher motivational behaviors (TMBs) that were consistent with SDT. For most behaviors (77%), experts reached consensus on both the most relevant psychological need and influence on motivation. Our classification system provides a comprehensive list of TMBs and consistent terminology in how those behaviors are labeled. Researchers and practitioners designing interventions could use these behaviors to design interventions, to reproduce interventions, to assess whether these behaviors moderate intervention effects, and could focus new research on areas where experts disagreed

An exploratory study of Muslim adolescents' views on sexuality: Implications for sex education and prevention

<p>Abstract</p> <p>Background</p> <p>This paper describes the results of an exploratory qualitative study on Muslim adolescents' views on sexuality in the Netherlands.</p> <p>Methods</p> <p>Data were gathered from an Internet forum on which 44 Muslim and 33 non-Muslim adolescents discussed sexuality as it relates to Islam. These discussions were subsequently analyzed for content using Nvivo 2.0.</p> <p>Results</p> <p>Our analysis revealed several issues that are relevant for the design of future sex education programs targeting Muslim youth. Apart from some expected outcomes regarding, for example, taboos on sexuality, sex outside marriage, abortion, homosexuality and conservative gender roles, our analyses showed that in cases of disputes 1) discussions were polarized, 2) opponents used the same Qur'anic passages to support their views, and 3) the authority of an Imam was questioned when his interpretation of Qur'anic passages was not in line with the views of participants.</p> <p>Conclusions</p> <p>Our findings show that current approaches to sex education among Muslim youth are likely to be unsuccessful given the rigidity of sexual norms in Muslim society. In addition, we also identified new barriers to sex education among Muslim youth (e.g. lack of respect for an Imam who opposes a youth's views on sexuality).</p