Arranging Your Furniture

PDF pages:

A zero-cost, real-time, Windows signal laboratory

This paper introduces a Windows-based signal capture, display, and waveform synthesis package called “Win-eLab”. The software is able to run on a conventional desktop or laptop with no additional hardware, and can perform real-time Fourier analysis on audio-frequency signals. This paper is intended as an introduction to Win-eLab, aimed at motivating further use of it in both teaching and self-directed learning contexts. The use of the software to familiarize students with the concept of “laboratory” instrumentation is discussed, as well as the usefulness of a simultaneous time-domain/frequency-domain display for understanding signals, particularly in signal processing and communications systems courses. It is anticipated that applications may extend beyond electrical & electronic engineering – for example, as an aid to understanding mechanical vibrations, acoustics, and in other discipline areas

The Presence of GC-C in Extracellular Vesicles Secreted by Colorectal Cancer Cells

Background: Guanylyl Cyclase C (GC-C) is a membrane-bound protein found on intestinal epithelial cells involved in the activation of CFTR. This protein has previously been involved in the development of colorectal cancer. Extracellular vesicles (EVs) are bilayered vesicles of varying size (30 to 1,000 + nm in diameter) that believed to be secreted by all cells in the human body. In the past decade, EVs have garnered attention due to their impact in the field of oncology, where they have been shown to potentially serve as biomarkers for various cancers. In this study, we looked at the EVs secreted by GC-C+ and GC-C- cell lines. We expected GC-C to be present on the EVs secreted by GC-C+ cell lines and that this finding may intake a role for GC-C at tissues distal to the intestinal epithelial cells. Methods: GC-C+ cells lines (T84 and CT26-hGCC) and GC-C- cell lines (SW480 and CT26-WT) were cultured and their media was harvested, then ultracentrifuged to extract the EVs from the media. These EVs were then checked for the presence and absence of various markers (GC-C, Calnexin, TSG101) via Western Blot. Exosome size was assessed via NTA to further provide evidence for the identity of these EVs. Results: Western blot confirmed the presence of TSG101 in both EV types samples, as well as the presence of GC-C in EVs derived from GC-C+ cell lines, but not from GC-C- cell lines. Calnexin was found to be absent in EV samples, excluding the possibility of lysate contamination. NTA analysis confirmed the correct size for the exosomes in sample. Discussion: This study assessed the contents of EVs secreted by colorectal cancer cell lines. Our findings indicate the presence of GC-C on exosomes and microvesicles. Further studies will need to be conducted in order to assess the function of these GC-C+ EVs in the setting of colorectal cancer

Towards a methodology for rigorous development of generic requirements patterns

We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal verification both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Matching seeds to needs: Using informatics to select crop varieties adapted to future climates

Poster presented at Agriculture and Rural Development Day 2009. Copenhagen (Denmark). 12 Dec 2009

Finishing Furniture… Old and New

PDF pages: 1

Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments

This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects’ comprehension tasks with accuracy even with limited hours of training

UML-B and Event-B: an integration of languages and tools

UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events. UML-B is similar to UML but is essentially a new notation based on a separate meta-model. We provide tool support for UML-B, including drawing tools and a translator to generate Event-B models. The tools are closely integrated with the Event-B verification tools so that when a drawing is saved the translator automatically generates the corresponding Event-B model. The Event-B verification tools (syntax checker and prover) then run automatically providing an immediate display of problems. We introduce the UML-B notation its tool support and its integration with Event-B

Model Rules for a FairShares Cooperative (v3.0f)

Model Rules for an FCA Accepted FairShares Cooperative Version 3.0f, 12th October 2018 The FairShares Model was licensed to the FairShares Association under a Creative Commons Licence by Rory Ridley-Duff and Cliff Southcombe. The Model Rules for an FCA Accepted FairShares Cooperative are provided ‘as is’ under a Creative Commons Licence. These rules can be shared and adapted for your own use, providing the authors’ work is fully acknowledged and any new versions are made available under the same Creative Commons Licence. © Rory Ridley-Duff, Cliff Southcombe, Jereme Snook and FairShares Association Ltd, 2018. Creative Commons 4.0: Attribution, Non-Commercial Share Alik