Genie:supporting the model driven development of reflective, component-based adaptive systems

Engineering adaptive software is an increasingly complex task. Here, we demonstrate Genie, a tool that supports the modelling, generation, and operation of highly reconfigurable, component-based systems. We showcase how Genie is used in two case-studies: i) the development and operation of an adaptive flood warning system, and ii) a service discovery application. In this context, adaptation is enabled by the Gridkit reflective middleware platform.

Your students have excellent knowledge and skills but they don’t think about them...:a reflective learning project

This paper describes two phases of a project set up to encourage students to be more reflective about their studies and their career goals. it takes as its starting point a discussion with employers about the Jack of reflection that they observed in otherwise highly skilled management graduates. The project.examin!ld.a number of processes, including mentoring, logbooks and learning style questionnaires to gauge which was the most effective in inspiring students to be reflective. Having identified the best methods the project entered a second phase which involved rolling out the findings to large numbers of students. The challenges of doing this are analysed in the paper.

Reflective journals:can they be used to identify struggling students?

The ability to identify early failure in knowledge accquisition amongst students is important because it enables tutors to put in place suitable interventions to help struggling students. We hypothesised that if a reflective learning journal is a useful learning tool, there ought to be relationship between the type of journal entries and the depth of knowledge acquisition. Our research question is: can reflectiuve journals be used to identify struggling students? Previous work with reflective journals has not related the level of reflection with module outcomes obtained by the student. In our study, we have classified journal entries written by first year students in a foundationalprogramming module based on the SOLO taxonomy and compared this against the outcomes of two module assessments. Our results suggest that there is potential for using reflective journals to identify struggling stuidents in first year programming.

On the Relationships Among Quantified Autoepistemic Logic, its Kernel, and Quantified Reflective Logic

A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if that sentence is in the kernel. This result is important because it shows that L is superfluous thereby allowing the ori ginal equivalence to be simplified by eliminating L from it. It is also shown that the Kernel of Quantified Autoepistemic Logic is a generalization of Quantified Reflective Logic, which coincides with it in the propositional case.

Representing Reflective Logic in Modal Logic

The nonmonotonic logic called Reflective Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Reflective Logic with an initial set of axioms and defaults if and only if the meaning of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Reflective Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since all the laws of First Order Logic hold and since both the Barcan Formula and its converse hold.

On the Relationship between Quantified Reflective Logic and Quantified Default Logic

Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold. This is done by representing both the fixed-point equation for Reflective Logic and the fixed-point equation for Default both as necessary equivalences in the Modal Quantificational Logic Z. and then inserting universal quantifiers before the defaults. The two resulting systems, called Quantified Reflective Logic and Quantified Default Logic, are then compared by deriving metatheorems of Z that express their relationships. The main result is to show that every solution to the equivalence for Quantified Default Logic is a strongly grounded solution to the equivalence for Quantified Reflective Logic. It is further shown that Quantified Reflective Logic and Quantified Default Logic have exactly the same solutions when no default has an entailment condition.

The development, application, and implications of a strategy for reflective learning from experience

The problem on which this study focused was individuals' reduced capacity to respond to change and to engage in innovative learning when their reflective learning skills are limited. In this study, the preceding problem was addressed by two primary questions: To what degree can mastery of a strategy for reflective learning be facilitated as a part of an academic curriculum for professional practitioners? What impact will mastery of this strategy have on the learning style and adaptive flexibility of adult learners? The focus of the study was a direct application of human resource development technology in the professional preparation of teachers. The background of the problem in light of changing global paradigms and educational action orientations was outlined and a review of the literature was provided. Roots of thought for two key concepts (i.e., learning to learn from experience and meaningful reflection in learning) were traced. Reflective perspectives from the work of eight researchers were compared. A meta-model of learning from experience drawn from the literature served as a conceptual framework for the study. A strategy for reflective learning developed from this meta-model was taught to 109 teachers-in-training at Florida International University in Miami, Florida. Kolb's Adaptive Style Inventory and Learning Style Inventory were administered to the treatment group and to two control groups taught by the same professor. Three research questions and fourteen hypotheses guided data analysis. Qualitative review of 1565 personal documents generated by the treatment group indicated that 77 students demonstrated "double-loop" learning, going beyond previously established limits to perception, understanding, or action. The mean score for depth of reflection indicated "single-loop" learning with "reflection-in-action" present. The change in the mean score for depth of reflection from the beginning to end of the study was statistically significant (p $<$.05). On quantitative measures of adaptive flexibility and learning style, with two exceptions, there were no significant differences noted between treatment and control groups on pre-test to post-test differences and on post-test mean scores adjusted for pre-test responses and demographic variables. Conclusions were drawn regarding treatment, instrumentation, and application of the strategy and the meta-model. Implications of the strategy and the meta-model for research, for education, for human resource development, for professional practice, and for personal growth were suggested. Qualitative training materials and Kolb's instruments were provided in the appendices.

The teacher portfolio as a vehicle for reflective practice

This qualitative case study was limited to an eighteen-hour workshop on “Constructing a Reflective Teacher Portfolio.” The study was conducted at the Nova Center, a research and development school, in the Broward County Public School System. Six participants took part in the study. The study examined the process used by the participants as they constructed their portfolios, explored the reflective aspect of their construction, and investigated the impact that constructing a portfolio had on them and their work. ^ Data was gathered using interviews, observations, and artifacts. Content analysis and the combined frameworks of Van Manen (1977), Smyth (1989), and Pugach and Johnson (1990) were used to examine the data. The data indicates that the portfolios and workshop were not as effective as anticipated in encouraging the participants to examine their work. The following themes emerged as a result of this study: (a) teachers begin constructing their portfolios by gathering material that represents past successes; (b) examining philosophies of education, writing a personal narrative and sharing with colleagues stimulates reflective practice; (c) teachers have difficulty expressing their personal beliefs about education; (d) creating a reflective portfolio is a constructivist process that encourages divergent products; (e) teachers initially do not recognize a strong connection between constructing a portfolio and improving their work; and (f) constructing a portfolio may be an inside-out approach to educational reform. ^ Recommendations were presented to improve the workshop, specifically focusing on teachers examining their practices and learning from students' work. Additional study is needed to evaluate the influence of these changes in the workshop. ^

Prospective Teachers Serving as Physics Learning Assistants’ Perspectives on Reflective Practice

A physics Learning Assistant (LA) program was established at Florida International University (FIU) for recruiting and preparing pre-service physics teachers. One goal of this program is to help prospective teachers to develop reflective practice. The purpose of this study is to understand these prospective teachers’ perspectives on reflective practice.

Reimagining Reflection: Gender, Student Perception, and Reflective Writing in the Composition Classroom

The purpose of this thesis is to discover any existing correlation between gender and student perceptions of reflective writing in the composition classroom. Seventy-five students at Florida International University participated in a survey that explored their approaches to and understanding of reflective writing. In order to connect the specific results of this study to the larger context of composition theory, this thesis includes an examination of the theoretical background of gender and reflective writing. The results of the survey indicate that the only identifiable difference between male and female student responses resulted from their definitions of reflective writing. Beyond this difference, however, there were no significant variances in student perceptions of reflective writing. The response of these students at FIU indicates a shift in expected gender norms and suggests a reconsideration of what it means to be a gendered writer in the composition classroom.

Refractometer probe based on a reflective carbon nanotube-modified microfiber Bragg grating

A carbon nanotube (CNT)-modified microfiber Bragg grating (MFBG) is proposed to measure the refractive index with a strong enhancement of the sensitivity in the low refractive index region. The introduction of the CNT layer influences the evanescent field of the MFBG and causes modification of the reflection spectrum. With the increase of the surrounding refractive index (SRI), we observe significant attenuation to the peak of the Bragg resonance, while its wavelength remains almost unchanged. Our detailed experimental results disclose that the CNT-MFBG demonstrates strong sensitivity in the low refractive index range of 1.333-1.435, with peak intensity up to -53.4 dBm/refractive index unit, which is 15-folds higher than that of the uncoated MFBG. Therefore, taking advantage of the CNT-induced evanescent field enhancement, the reflective MFBG probe presents strong sensing capability in biochemical fields.

Application of meta-analytical probabilistic approach for reliability benefits reflective optimal transmission costing – the case of India

In the deregulated Power markets it is necessary to have a appropriate Transmission Pricing methodology that also takes into account “Congestion and Reliability”, in order to ensure an economically viable, equitable, and congestion free power transfer capability, with high reliability and security. This thesis presents results of research conducted on the development of a Decision Making Framework (DMF) of concepts and data analytic and modelling methods for the Reliability benefits Reflective Optimal “cost evaluation for the calculation of Transmission Cost” for composite power systems, using probabilistic methods. The methodology within the DMF devised and reported in this thesis, utilises a full AC Newton-Raphson load flow and a Monte-Carlo approach to determine, Reliability Indices which are then used for the proposed Meta-Analytical Probabilistic Approach (MAPA) for the evaluation and calculation of the Reliability benefit Reflective Optimal Transmission Cost (ROTC), of a transmission system. This DMF includes methods for transmission line embedded cost allocation among transmission transactions, accounting for line capacity-use as well as congestion costing that can be used for pricing using application of Power Transfer Distribution Factor (PTDF) as well as Bialek’s method to determine a methodology which consists of a series of methods and procedures as explained in detail in the thesis for the proposed MAPA for ROTC. The MAPA utilises the Bus Data, Generator Data, Line Data, Reliability Data and Customer Damage Function (CDF) Data for the evaluation of Congestion, Transmission and Reliability costing studies using proposed application of PTDF and other established/proven methods which are then compared, analysed and selected according to the area/state requirements and then integrated to develop ROTC. Case studies involving standard 7-Bus, IEEE 30-Bus and 146-Bus Indian utility test systems are conducted and reported throughout in the relevant sections of the dissertation. There are close correlation between results obtained through proposed application of PTDF method with the Bialek’s and different MW-Mile methods. The novel contributions of this research work are: firstly the application of PTDF method developed for determination of Transmission and Congestion costing, which are further compared with other proved methods. The viability of developed method is explained in the methodology, discussion and conclusion chapters. Secondly the development of comprehensive DMF which helps the decision makers to analyse and decide the selection of a costing approaches according to their requirements. As in the DMF all the costing approaches have been integrated to achieve ROTC. Thirdly the composite methodology for calculating ROTC has been formed into suits of algorithms and MATLAB programs for each part of the DMF, which are further described in the methodology section. Finally the dissertation concludes with suggestions for Future work.