Program slice metrics and their potential role in DSL design, position paper

The advantages a DSL and the benefits its use potentially brings imply that informed decisions on the design of a domain specific language are of paramount importance for its use. We believe that the foundations of such decisions should be informed by analysis of data empirically collected from systems to highlight salient features that should then form the basis of a DSL. To support this theory, we describe an empirical study of a large OSS called Barcode, written in C, and from which we collected two well-known 'slice' based metrics. We analyzed multiple versions of the system and sliced its functions in three separate ways (i.e., input, output and global variables). The purpose of the study was to try and identify sensitivities and traits in those metrics that might inform features of a potential slice-based DSL. Results indicated that cohesion was adversely affected through the use of global variables and that appreciation of the role of function inputs and outputs can be revealed through slicing. The study presented is motivated primarily by the problems with current tools and interfaces experienced directly by the authors in extracting slicing data and the need to promote the benefits that analysis of slice data and slicing in general can offer.

Active design of tooth profiles using parabolic curve as the line of action

This paper proposes a method for the design of gear tooth profiles using parabolic curve as its line of action. A mathematical model, including the equation of the line of action, the equation of the tooth profile, and the equation of the conjugate tooth profile, is developed based on the meshing theory. The equation of undercutting condition is derived from the model. The influences of the two design parameters, that present the size (or shape) of the parabolic curve relative to the gear size, on the shape of tooth profiles and on the contact ratio are also studied through the design of an example drive. The strength, including the contact and the bending stresses, of the gear drive designed by using the proposed method is analyzed by an FEA simulation. A comparison of the above characteristics of the gear drive designed with the involute gear drive is also carried out in this work. The results confirm that the proposed design method is more flexible to control the shape of the tooth profile by changing the parameters of the parabola.

Leading as designing: how educational developers in leadership and management studies can use architectural design to facilitate student learning about delivering innovation

This paper describes a qualitative observational study of how a work based learning masters leadership development programme for middle managers in health and social care in the UK introduced students to key aspects of delivering innovation, through a formative assignment on contemporary architectural design. Action learning and activity theoretical approaches were used to enable students to explore common principles of leading the delivery of innovation. Between 2001 and 2013 a total of 89 students in 7 cohorts completed the assignment. Evaluation lent support for the view that the assignment provided a powerful learning experience for many. Several students found the creativity, determination and dedication of architects, designers and structural engineers inspirational in their ability to translate a creative idea into a completed artefact, deploy resources and negotiate complex demands of stakeholders. Others expressed varying levels of self-empowerment as regards their capacity for fostering an equivalent creativity in self and others. Theoretical approaches in addition to activity theory, including Engeström’s concepts of stabilisation knowledge and possibility knowledge, are discussed to explain these differing outcomes and to clarify the challenges and opportunities for educational developers seeking to utilise cross-disciplinary, creative approaches in curriculum design.

An FPGA based decimation filter processor design for real-time continuous-time Σ−Δ modulator performance measurement and evaluation

This paper reports on a Field Programmable Gate Array (FPGA) implementation as well as prototyping for real-time testing of a low complexity high efficiency decimation filter processor which is deployed in conjunction with a custom built low-power jitter insensitive Continuous Time (CT) Sigma-Delta (Σ-Δ) Modulator to measure and assess its performance. The CT Σ-Δ modulator/decimation filter cascade can be used in integrated all-digital microphone interfaces for a variety of applications including mobile phone handsets, wireless handsets as well as other applications requiring all-digital microphones. The work reported here concentrates on the design and implementation as well as prototyping on a Xilinx Spartan 3 FPGA development system and real-time testing of the decimation processing part deploying All-Pass based structures to process the bit stream coming from CT Σ-Δ modulator hence measuring in real-time and fully assessing the modulator's performance.

Business Process Modelling based on formal temporal theory with an application to hospital patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

Object transportation by multiple mobile robots controlled by attractor dynamics: theory and implementation

Dynamical systems theory is used as a theoretical language and tool to design a distributed control architecture for teams of mobile robots, that must transport a large object and simultaneously avoid collisions with (either static or dynamic) obstacles. Here we demonstrate in simulations and implementations in real robots that it is possible to simplify the architectures presented in previous work and to extend the approach to teams of n robots. The robots have no prior knowledge of the environment. The motion of each robot is controlled by a time series of asymptotical stable states. The attractor dynamics permits the integration of information from various sources in a graded manner. As a result, the robots show a strikingly smooth an stable team behaviour.

The role of guarantees in pension plan design: Pension saving decisions

This study centers on the assessment of psychological value of guarantees in pension products and the behavior biases associated with choice. When a guarantee on a product increases from 99% to 99,5% less than half of respondents show willingness to pay in contrast with 73% when going from 99,5% to 100%. Out of 105 respondents, 55 show that their choices concerning pension products are inconsistent with classic utility theory. Financial background proves insignificant thus pointing to behavioral biases. As individuals make choices that leave them worse-off, we argue that pension plan design would highly benefit from public policy interventions.

Thinking skills in the language arts : an application of cognitive schema theory to the narrative writing process /

A cognitively based instructional program for narrative writing was developed. The effects of using cognitively based schematic planning organizers at the pre-writing stage were evaluated using subjects from the Primary, Junior and Intermediate divisions. Results indicate that the use of organizers based on problem solving significantly improved the organization and the overall quality of narrative writing for students in grades 3, 6 and 7. The magnitude of the improvement of the treatment group over the control group performance in Organization ranged from 10.7% to 22.9%. Statistical and observational data indicate many implications for further research into the cognitive basis for writing and reading; for the improvement and evaluation of school writing programs; for the design of school curricula; and for the inservice education for teachers of writing.

Armourstone revetments : will standard design criteria prevent failure? /

Bank stabilization structures are used to prevent the loss of valuable land within the urban environment and the decision for the type of structure used depends on the properties of the stream. In the urban areas of Southern Ontario there is a preference for the use of armourstone blocks as bank stabilization. The armourstone revetment is a free standing stone structure with large blocks of stone layered vertically and offset from one another. During fieldwork at Forty Mile Creek in Grimsby, Ontario armourstone failure was identified by the removal of two stones within one column from the wall. Since the footer stones were still in place, toe scour was eliminated as a cause of failure. Through theoretical, field, and experimental work the process of suction has been identified as a mode of failure for the armourstone wall and the process of suction works similarly to quarrying large blocks of rock off bedrock streambeds. The theory of lateral suction has previously not been taken into consideration for the design of these walls. The physical and hydraulic evidence found in the field and studied during experimental work indicate that the armourstone wall is vulnerable to the process of suction. The forces exerted by the flow and the resistance of the block determine the stability of the armourstone block within the wall. The design of the armourstone wall, high surface velocities, and short pulses of faster flowing water within the profile could contribute to armourstone failure by providing the forces needed for suction to occur, therefore adjustments to the design of the wall should be made in order to limit the effect.

Comparing motives, goals and weight training behaviours of competitive and recreational weight trainers: An application of organismic integration theory and goal contents theory

The study purpose was to examine differences between competitive and recreational weight trainers on indices of motivation, goals and behaviour. Data was collected from a purposive sample of competitive (n = 177; Mage = 30.86; SDage = 11.35) and recreational (n = 196; Mage = 21.97; SDage = 6.05) weight trainers using a cross-sectional, non-experimental design. Participants completed the Behavioural Regulation in Exercise Questionnaire-2R, Exercise Motivations Inventory-2, assessment of weight training behaviour and demographic questions. Multivariate analyses of variance indicated higher endorsement of autonomous motives and mostly intrinsically-oriented goals, while independent samples t-tests indicated higher frequency of weight training behaviour among the competitive weight trainers. Group differences were independent of demographic factors. Findings suggest that autonomous motives and intrinsic goals may not be undermined by competition among competitive weight trainers. This study also provides support for the utility of organismic integration theory and goal contents theory in examining strength-based exercise.

Design of Resistivity Instrumentation for a He3 Cryostat and its Application to the Charge Density Wave Superconductor CuxTiSe2

Fermi patches in quasi-two dimensional charge density waves (CDW) have not described the connection to superconductivity (SC) according to theory adequately at this point in time. The connection between CDW and SC in the quasi-two dimensional material CuxTiSe2 is an interesting one which might reveal mechanisms in unconventional superconductors. A previous Brock graduate student grew crystals of CuxTiSe2. The precise doping of the samples was not known. In order to determine the doping parameter x in CuxTiSe2, a sensitive resistivity measurement system was necessary. A new resistivity measurement system was designed and implemented utilizing an Infrared Labs HDL-10 He3 cryostat. By comparing with data from the literature, doping of two samples was investigated using the new measurement system and a Quantum Design Magnetic Property Measurement System (MPMS). Methods for determining the doping revealed that the old resistivity system would not be able to determine the CDW transition temperature of highly doped samples or doping for elongated samples due to electronic noise. Doping in one sample was found to be between x=0.06 and x=0.065. Values of doping in the second sample had a discrepancy but could be explained by incorrect sample orientation.

Adult Learning in the Transformational Environments of the Digital Revolution: Connecting Theory and Practice

The purpose of this study was to investigate the learning preferences and the post-secondary educational experiences of a group of Net-Gen adult learners, aged between 18 and 35, currently working in the knowledge economy workplace, and their assessment of how adequately they were prepared to meet the requirements of the knowledge economy workplace. This study utilized an explanatory mixed-method research design. Participants completed a questionnaire providing information on their self-reported learning style preferences, their use of digital tools for formal and informal learning, their use of digital technologies in postsecondary educational experiences, and their use of digital technologies in their workplace. Four volunteers from the questionnaire respondents were selected to participate in interviews based on the diversity of their experiences in higher education, including digital environments, and the diversity of their knowledge economy workplaces. Data collected from the questionnaire were analyzed for descriptive and demographic statistics, and categorized so that common patterns could be identified from information gathered from the online questionnaire and interviews. Findings based on this study indicated that these Net-Gen adult learners were fluent with all types of digital technologies in collaborative environments, expecting their educational experiences to provide a similar experience. Participants clearly expressed an understanding that digital/collaborative aptitudes are essential to successful employment in the knowledge economy workplace. The findings of this study indicated that the majority of participants felt that their post-secondary educational experiences did not adequately prepare them to meet the expectations of this type of working environment.

Innis Lecture: Can the Theory of Incentives Explain Decentralization?

This survey presents within a single model three theories of decentralization of decision-making within organizations based on private information and incentives. Renegotiation, collusion, and limits on communication are three sufficient conditions for decentralization to be optimal.

Organizational Design of R&D Activities

This paper addresses the question of whether R&D should be carried out by an independent research unit or be produced in-house by the firm marketing the innovation. We define two organizational structures. In an integrated structure, the firm that markets the innovation also carries out and finances research leading to the innovation. In an independent structure, the firm that markets the innovation buys it from an independent research unit which is financed externally. We compare the two structures under the assumption that the research unit has some private information about the real cost of developing the new product. When development costs are negatively correlated with revenues from the innovation, the integrated structure dominates. The independent structure dominates in the opposite case.