Design and characterization of large area position sensitive radiation detectors

Planar, large area, position sensitive silicon detectors are widely utilized in high energy physics research and in medical, computed tomography (CT). This thesis describes author's research work relating to development of such detector components. The key motivation and objective for the research work has been the development of novel, position sensitive detectors improving the performance of the instruments they are intended for. Silicon strip detectors are the key components of barrel-shaped tracking instruments which are typically the innermost structures of high energy physics experimental stations. Particle colliders such as the former LEP collider or present LHC produce particle collisions and the silicon strip detector based trackers locate the trajectories of particles emanating from such collisions. Medical CT has become a regular part of everyday medical care in all developed countries. CT scanning enables x-ray imaging of all parts of the human body with an outstanding structural resolution and contrast. Brain, chest and abdomen slice images with a resolution of 0.5 mm are possible and latest CT machines are able to image whole human heart between heart beats. The two application areas are presented shortly and the radiation detection properties of planar silicon detectors are discussed. Fabrication methods and preamplifier electronics of the planar detectors are presented. Designs of the developed, large area silicon detectors are presented and measurement results of the key operating parameters are discussed. Static and dynamic performance of the developed silicon strip detectors are shown to be very satisfactory for experimental physics applications. Results relating to the developed, novel CT detector chips are found to be very promising for further development and all key performance goals are met.

Design and implementation of a peer-to-peer client for device management

The aim of this master’s thesis was to specify a system requiring minimal configuration and providing maximal connectivity in the vein of Skype but for device management purposes. As peer-to-peer applications are pervasive and especially as Skype is known to provide this functionality, the research was focused on these technologies. The resulting specification was a hybrid of a tiered hierarchical network structure and a Kademlia based DHT. A prototype was produced as a proof-of-concept for the hierarchical topology, demonstrating that the specification was feasible.

Design and implementation of a production synchronization extension for Microsoft Dynamics AX

In a just-in-time, assemble-to-order production environments the scheduling of material requirements and production tasks - even though difficult - is of paramount importance. Different enterprise resource planning solutions with master scheduling functionality have been created to ease this problem and work as expected unless there is a problem in the material flow. This case-based candidate’s thesis introduces a tool for Microsoft Dynamics AX multisite environment, that can be used by site managers and production coordinators to get an overview of the current open sales order base and prioritize production in the event of material shortouts to avoid part-deliveries.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Inventive design and product development of a mechanical element

The thesis is dedicated to enhancement and development of a Mechanism in Company X in order to increase its key parameters and approve its workability. Current Mechanism model is described in details. The basis of various analysis, models and theories that are reflecting the working process of the Mechanism are included in the thesis. According to these three directions of enhancements are chosen: from mechanical, tribological and conceptual points of view. As the result the list of improvements is presented. The new models of Mechanism are built. The efficiency and lifetime value are obtained in accordance with corresponding estimations. The comparative analysis confirms the necessity of conducted changes. Recommendations for the Company X specialists are represented in the thesis. Proposals for deeper research are also suggested.

Flipped classroom technology from teachers’ perspective: implementation experience, barriers and perspectives

Blended learning approaches rise their popularity, however not all professors apply them and find them useful and appropriate. This research focuses on study of flipped classroom arrangement and effectiveness of this concept implementation. The Master’s Thesis explores impact of flipped classroom implementation on resource savings for proffesors. The research is based on the literature review of different education arrangements and results of their implementation, on the survey conducted among proffesors from different Universities and on two experiments of flipped classroom implementation. The results reveal advantages and disadvantages of the concept, professors’ attitude to it and possibility to future research and practice in this field

Design and implementation of machine vision system for the mobile assembly robot

The review of intelligent machines shows that the demand for new ways of helping people in perception of the real world is becoming higher and higher every year. This thesis provides information about design and implementation of machine vision for mobile assembly robot. The work has been done as a part of LUT project in Laboratory of Intelligent Machines. The aim of this work is to create a working vision system. The qualitative and quantitative research were done to complete this task. In the first part, the author presents the theoretical background of such things as digital camera work principles, wireless transmission basics, creation of live stream, methods used for pattern recognition. Formulas, dependencies and previous research related to the topic are shown. In the second part, the equipment used for the project is described. There is information about the brands, models, capabilities and also requirements needed for implementation. Although, the author gives a description of LabVIEW software, its add-ons and OpenCV which are used in the project. Furthermore, one can find results in further section of considered thesis. They mainly represented by screenshots from cameras, working station and photos of the system. The key result of this thesis is vision system created for the needs of mobile assembly robot. Therefore, it is possible to see graphically what was done on examples. Future research in this field includes optimization of the pattern recognition algorithm. This will give less response time for recognizing objects. Presented by author system can be used also for further activities which include artificial intelligence usage.

Design and Material Selection of High-Speed Rotating Electrical Machines

The increasing emphasis on energy efficiency is starting to yield results in the reduction in greenhouse gas emissions; however, the effort is still far from sufficient. Therefore, new technical solutions that will enhance the efficiency of power generation systems are required to maintain the sustainable growth rate, without spoiling the environment. A reduction in greenhouse gas emissions is only possible with new low-carbon technologies, which enable high efficiencies. The role of the rotating electrical machine development is significant in the reduction of global emissions. A high proportion of the produced and consumed electrical energy is related to electrical machines. One of the technical solutions that enables high system efficiency on both the energy production and consumption sides is high-speed electrical machines. This type of electrical machines has a high system overall efficiency, a small footprint, and a high power density compared with conventional machines. Therefore, high-speed electrical machines are favoured by the manufacturers producing, for example, microturbines, compressors, gas compression applications, and air blowers. High-speed machine technology is challenging from the design point of view, and a lot of research is in progress both in academia and industry regarding the solution development. The solid technical basis is of importance in order to make an impact in the industry considering the climate change. This work describes the multidisciplinary design principles and material development in high-speed electrical machines. First, high-speed permanent magnet synchronous machines with six slots, two poles, and tooth-coil windings are discussed in this doctoral dissertation. These machines have unique features, which help in solving rotordynamic problems and reducing the manufacturing costs. Second, the materials for the high-speed machines are discussed in this work. The materials are among the key limiting factors in electrical machines, and to overcome this limit, an in-depth analysis of the material properties and behavior is required. Moreover, high-speed machines are sometimes operating in a harsh environment because they need to be as close as possible to the rotating tool and fully exploit their advantages. This sets extra requirements for the materials applied.

An exploration of the impact of a mandatory quality assurance program on the staff nurse's commitment to professional development /

This study explored experiences in relation to the impact of the College of Nurses of Ontario's (CNO's) mandatory Quality Assurance (QA) program on registered nurses (RNs) working in a clinical setting of an acute care hospital. A qualitative descriptive research design was used and data collection was done in 2 stages. First, a survey with open-ended questions was given to 45 nurses. Second, 8 respondents from the survey were interviewed using a semistructured format. Data were obtained from 2 groups-diploma-prepared and post diploma-prepared RNs. Findings demonstrated that the CNO's QA program had varying influences on the RNs' learning paths, and these differences appeared to be related to the educational background of the individual. The diploma-prepared nurses reported that their commitment to professional development was influenced by their level of internal motivation, the pressures associated with time, and the need for a strong external motivator, namely the obligation of management to conduct formal performance appraisals. They further reported that the QA program played a part in positively altering their commitment to continuing education. The post-diploma baccalaureate nurses reported that the QA program played a positive role in influencing their ongoing learning, along with their level of internal motivation, the work and health care environment, and the element of professionalism. Several implications for nursing practice, theory, and fiirther research also became evident.

Introduction to engineering : a case study of an interdisciplinary course in Mathematics, Science and Technology

This thesis research was a qualitative case study of a single class of Interdisciplinary Studies: Introduction to Engineering taught in a secondary school. The study endeavoured to explore students' experiences in and perceptions of the course, and to investigate the viability of engineering as an interdisciplinary theme at the secondary school level. Data were collected in the form of student questionnaires, the researcher's observations and reflections, and artefacts representative of students' work. Data analysis was performed by coding textual data and classifying text segments into common themes. The themes that emerged from the data were aligned with facets of interdisciplinary study, including making connections, project-based learning, and student engagement and affective outcomes. The findings of the study showed that students were positive about their experiences in the course, and enjoyed its project-driven nature. Content from mathematics, physics, and technological design was easily integrated under the umbrella of engineering. Students felt that the opportunity to develop problem solving and teamwork skills were two of the most important aspects of the course and could be relevant not only for engineering, but for other disciplines or their day-to-day lives after secondary school. The study concluded that engineering education in secondary school can be a worthwhile experience for a variety of students and not just those intending postsecondary study in engineering. This has implications for the inclusion of engineering in the secondary school curriculum and can inform the practice of curriculum planners at the school, school board, and provincial levels. Suggested directions for further research include classroom-based action research in the areas of technological education, engineering education in secondary school, and interdisciplinary education.

The Impact of Mindfulness Meditation on Educator Growth and Professional Development: A Personal Account

This study examined the use of mindfulness meditation in educator growth and professional development. The purpose was to create recommendations for an effective mindfulness meditation practice for educators. To this end, as the researcher is an educator as well as an experienced mindfulness meditation practitioner, the research methodology was self-study through narrative inquiry. The exploration of mindfulness meditation on the researcher’s personal and professional development was viewed through the lenses of Maslow’s hierarchy of needs and Mezirow’s transformational learning theory. These theories provided an analytical framework that guided this research. Themes were drawn from the exploration and connected with academic literature. The results were a mindfulness meditation framework for educators that is based on the Socratic Method, and utilizes the conceptual frameworks of Maslow’s hierarchy of needs and Mezirow’s transformational learning theory.

Social Media Use in Medical and Health Professional Education: Role of the Librarian on a Faculty Steering Committee

Objective: An interprofessional steering committee was created at Université de Montréal’s Faculty of Medicine to examine how social media are integrated in medical and health professional education in universities across the globe, and to propose a strategic plan for integrating social media in the Faculty’s various curricula. This presentation will summarize the steering committee’s work and describe the librarian’s contribution. Methods: The Committee’s project leader first conducted a literature search on best practices of social media in medical and health professional curricula. A reference website was then created (mse.med.umontreal.ca) to provide easy access to a large number of the articles and resources reviewed. A steering committee was constituted and 11 meetings were held over a 9-month period. The Committee comprised 18 members and included assistant deans, academic program directors, professors, communication advisors, undergraduate and graduate students and a librarian. An online survey on social media use by students and professors of the Faculty was conducted, ten pilot projects were put forward and a three-year strategic plan was proposed. Results: A total of 1508 students and 565 professors participated in the survey. Results showed that both groups had a strong interest in learning how social media could be integrated in academic and professional activities. Participants reported concern with risks associated with social media use and expressed the need for a Faculty policy and guidelines. The librarian’s contribution to the steering committee included: writing posts on the website’s internal blog, assisting in the design of the survey questionnaires and writing the final report’s survey results chapter. She also proposed two pilot projects: creating a social media learning portal and an altmetrics workshop. Conclusions: Based on the literature review and the survey results, the Committee affirmed the importance of integrating social media in the various study programs of the Faculty of Medicine. Despite the restricted timeline, this interprofessional steering committee was able to carry out its mandate because of the leadership and expertise of each of its members. As the librarian had the most experience with the use of social media in a professional context, her knowledge was instrumental in assisting the project leader in a group mainly composed of social media non-users.

Professional Development of Academic Library Professionals in Kerala

The paper aims to bring out the problems and prospects of the professional development opportunities of academic library professionals in the Universities in Kerala. The study is a part of research undertaken to survey the professional development activities and educational needs of library professionals in the major Universities of Kerala because of the developments in Information communication technology. The study recommends methods for improving the knowledge/skills of library professionals. The aim of the study is to evaluate the professional development activities of Library professionals and their attitude towards continuing education programmes. In order to achieve the objectives of the study a survey was conducted with the help of structured questionnaires distributed to 203 library professionals in seven major universities in Kerala, (South India) of which 185 questionnaires were returned. Results of the analysis show that majority of the professionals have pursued higher degrees in library science or IT allied courses after entering the profession, and that they have a positive attitude towards participation in training programmes and workshops. The results show that developments in ICT have a positive influence on majority of library professionals‘ attitude towards continuing education programmes.