Towards a Maude tool for model checking temporal graph properties

We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi. Our tool can be considered as an instantiation of our approach to counterpart semantics which allows for a neat handling of creation, deletion and merging in systems with dynamic structure. Our implementation is based on the object-based machinery of Maude, which provides the basics to deal with attributed graphs. Graph transformation systems are specified with term rewrite rules. The model checker evaluates logical formulae of second-order modal m-calculus in the automatically generated CounterpartModel (a sort of unfolded graph transition system) of the graph transformation system under study. The result of evaluating a formula is a set of assignments for each state, associating node variables to actual nodes

A Digital Pattern Methodology supporting Railway Industries in Portfolio Management

The object of this paper is the development of a decision support system involved in the bidding for invitations to tender in the railway field. The proposed methodology is based on the characterization of the whole train and its components, through several attributes according to a digital pattern approach. In particular some key components were chosen such as the traction motor, the bogie and the auxiliary equipment converter. The system measures the extent to which the products offered by the company fit the one required by the customer, comparing the homologous attributes. Such analysis is called ‘adopt/adapt/innovate’ (AAI). In this way it is possible to identify products already designed that fully or partly fit what required, obtaining huge benefits in terms of effectiveness and efficiency

Analysis and Synthesis of Metadata Goals for Scientific Data

The proliferation of discipline-specific metadata schemes contributes to artificial barriers that can impede interdisciplinary and transdisciplinary research. The authors considered this problem by examining the domains, objectives, and architectures of nine metadata schemes used to document scientific data in the physical, life, and social sciences. They used a mixed-methods content analysis and Greenberg’s (2005) metadata objectives, principles, domains, and architectural layout (MODAL) framework, and derived 22 metadata-related goals from textual content describing each metadata scheme. Relationships are identified between the domains (e.g., scientific discipline and type of data) and the categories of scheme objectives. For each strong correlation (\u3e0.6), a Fisher’s exact test for nonparametric data was used to determine significance (p \u3c .05). Significant relationships were found between the domains and objectives of the schemes. Schemes describing observational data are more likely to have “scheme harmonization” (compatibility and interoperability with related schemes) as an objective; schemes with the objective “abstraction” (a conceptual model exists separate from the technical implementation) also have the objective “sufficiency” (the scheme defines a minimal amount of information to meet the needs of the community); and schemes with the objective “data publication” do not have the objective “element refinement.” The analysis indicates that many metadata-driven goals expressed by communities are independent of scientific discipline or the type of data, although they are constrained by historical community practices and workflows as well as the technological environment at the time of scheme creation. The analysis reveals 11 fundamental metadata goals for metadata documenting scientific data in support of sharing research data across disciplines and domains. The authors report these results and highlight the need for more metadata-related research, particularly in the context of recent funding agency policy changes

Unified Software Engineering Reuse: A Methodology for Effective Software Reuse

Software is a necessity in the modern world, and that need is continuously growing. As expensive as the creation of all this new software is, the maintenance costs are even greater. One solution to this problem is software reuse, whereby already written software can be applied to new problems after some modification, thus reducing the overall input of new code. The goal in traditional software reuse is to produce a piece of software with enough flexibility to be used at least twice. Unfortunately, there are many difficulties in achieving software reuse using modern programming techniques. Even software built specifically for reuse is severely restricted in its utility for new applications. It is easy for new programs to require entirely new logic or new objects. Because of this, they become quickly outdated, and any labor spent creating reusable software is nullified. The solution is a method to vastly increase the reusability of software by concentrating on the base knowledge and overall goals of software rather than the details on a case-by-case basis. Finding patterns in the problem and solution spaces allows unification into a smaller solution set. Instead of each problem receiving its own solution from marginally reusable components, multiple problems are resolved with the same architecture and object set. As an added benefit, this solution will not only vastly improve software reuse, but it will make feasible systems that can construct software architecture on demand and provide the first steps to fully automated software development

Models for Learning (Mod4L) Final Report: Representing Learning Designs

The Mod4L Models of Practice project is part of the JISC-funded Design for Learning Programme. It ran from 1 May – 31 December 2006. The philosophy underlying the project was that a general split is evident in the e-learning community between development of e-learning tools, services and standards, and research into how teachers can use these most effectively, and is impeding uptake of new tools and methods by teachers. To help overcome this barrier and bridge the gap, a need is felt for practitioner-focused resources which describe a range of learning designs and offer guidance on how these may be chosen and applied, how they can support effective practice in design for learning, and how they can support the development of effective tools, standards and systems with a learning design capability (see, for example, Griffiths and Blat 2005, JISC 2006). Practice models, it was suggested, were such a resource. The aim of the project was to: develop a range of practice models that could be used by practitioners in real life contexts and have a high impact on improving teaching and learning practice. We worked with two definitions of practice models. Practice models are: 1. generic approaches to the structuring and orchestration of learning activities. They express elements of pedagogic principle and allow practitioners to make informed choices (JISC 2006) However, however effective a learning design may be, it can only be shared with others through a representation. The issue of representation of learning designs is, then, central to the concept of sharing and reuse at the heart of JISC’s Design for Learning programme. Thus practice models should be both representations of effective practice, and effective representations of practice. Hence we arrived at the project working definition of practice models as: 2. Common, but decontextualised, learning designs that are represented in a way that is usable by practitioners (teachers, managers, etc).(Mod4L working definition, Falconer & Littlejohn 2006). A learning design is defined as the outcome of the process of designing, planning and orchestrating learning activities as part of a learning session or programme (JISC 2006). Practice models have many potential uses: they describe a range of learning designs that are found to be effective, and offer guidance on their use; they support sharing, reuse and adaptation of learning designs by teachers, and also the development of tools, standards and systems for planning, editing and running the designs. The project took a practitioner-centred approach, working in close collaboration with a focus group of 12 teachers recruited across a range of disciplines and from both FE and HE. Focus group members are listed in Appendix 1. Information was gathered from the focus group through two face to face workshops, and through their contributions to discussions on the project wiki. This was supplemented by an activity at a JISC pedagogy experts meeting in October 2006, and a part workshop at ALT-C in September 2006. The project interim report of August 2006 contained the outcomes of the first workshop (Falconer and Littlejohn, 2006). The current report refines the discussion of issues of representing learning designs for sharing and reuse evidenced in the interim report and highlights problems with the concept of practice models (section 2), characterises the requirements teachers have of effective representations (section 3), evaluates a number of types of representation against these requirements (section 4), explores the more technically focused role of sequencing representations and controlled vocabularies (sections 5 & 6), documents some generic learning designs (section 8.2) and suggests ways forward for bridging the gap between teachers and developers (section 2.6). All quotations are taken from the Mod4L wiki unless otherwise stated

Catalytic coatings on steel for low-temperature propane prereforming to solid oxide fuel cell (SOFC) application

Catalyst layers (4–20 lm) of rhodium (1 wt%) supported on alumina, titania, and ceria–zirconia (Ce0.5Zr0.5O2) were coated on stainless-steel corrugated sheets by dip-coating in very stable colloidal dispersions of nanoparticles in water. Catalytic performances were studied for low-temperature (6500 C) steam reforming of propane at a steam to carbon ratio equal to 3 and low contact time (0.01 s). The best catalytic activity for propane steam reforming was observed for titania and ceria–zirconia supports for which propane conversion started at 250 C and was more than three times better at 350 C than conversion measured on alumina catalyst. For all catalysts a first-order kinetics was found with respect to propane at 500 C. Addition of PEG 2000 in titania and ceria–zirconia sols eliminated the film cracking observed without additive with these supports. Besides, the PEG addition strongly expanded the porosity of the layers, so that full catalytic efficiency was maintained when the thickness of the ceria–zirconia and titania films was increased

A model based on clinical parameters to identify myocardial late gadolinium enhancement by magnetic resonance in patients with aortic stenosis: An observational study

Objective With increasing age, the prevalence of aortic stenosis grows exponentially, increasing left heart pressures and potentially leading to myocardial hypertrophy, myocardial fibrosis and adverse outcomes. To identify patients who are at greatest risk, an outpatient model for risk stratification would be of value to better direct patient imaging, frequency of monitoring and expeditious management of aortic stenosis with possible earlier surgical intervention. In this study, a relatively simple model is proposed to identify myocardial fibrosis in patients with a diagnosis of moderate or severe aortic stenosis. Design Patients with moderate to severe aortic stenosis were enrolled into the study; patient characteristics, blood work, medications as well as transthoracic echocardiography and cardiovascular magnetic resonance were used to determine potential identifiers of myocardial fibrosis. Setting The Royal Brompton Hospital, London, UK Participants One hundred and thirteen patients in derivation cohort and 26 patients in validation cohort. Main outcome measures Identification of myocardial fibrosis. Results Three blood biomarkers (serum platelets, serum urea, N-terminal pro-B-type natriuretic peptide) and left ventricular ejection fraction were shown to be capable of identifying myocardial fibrosis. The model was validated in a separate cohort of 26 patients. Conclusions Although further external validation of the model is necessary prior to its use in clinical practice, the proposed clinical model may direct patient care with respect to earlier magnetic resonance imagining, frequency of monitoring and may help in risk stratification for surgical intervention for myocardial fibrosis in patients with aortic stenosis

Immobilization of trypsin in lignocellulosic waste material to produce peptides with bioactive potential from whey protein

ABSTRACT: In this study, trypsin (Enzyme Comission 3.4.21.4) was immobilized in a low cost, lignocellulosic support (corn cob powder—CCP) with the goal of obtaining peptides with bioactive potential from cheese whey. The pretreated support was activated with glyoxyl groups, glutaraldehyde and IDA-glyoxyl. The immobilization yields of the derivatives were higher than 83%, and the retention of catalytic activity was higher than 74%. The trypsin-glyoxyl-CCP derivative was thermally stable at 65 ̋C, a value that was 1090-fold higher than that obtained with the free enzyme. The trypsin-IDA-glyoxyl-CCP and trypsin-glutaraldehyde-CCP derivatives had thermal stabilities that were 883- and five-fold higher, respectively, then those obtained with the free enzyme. In the batch experiments, trypsin-IDA-glyoxyl-CCP retained 91% of its activity and had a degree of hydrolysis of 12.49%, while the values for trypsin-glyoxyl-CCP were 87% and 15.46%, respectively. The stabilized derivative trypsin-glyoxyl-CCP was also tested in an upflow packed-bed reactor. The hydrodynamic characterization of this reactor was a plug flow pattern, and the kinetics of this system provided a relative activity of 3.04 ̆ 0.01 U ̈ g ́1 and an average degree of hydrolysis of 23%, which were suitable for the production of potentially bioactive peptides