97 research outputs found

    Gradual Session Types

    Get PDF

    Construction of manipulator for intelligent manufacturing system.

    Get PDF
    In this thesis, the work is based upon three parts of the tasks. First part of the task is selecting of the suitable design of the robot, compatible to the operation that we need to perform in the task. The second part of the thesis work will be selecting of the suitable Arduino board as per the number of inputs and output pins that are required for the operation. The third part of the thesis is the programming. The programming for the robot is done using the Arduino software. The Arduino language of programming is one of the simple programming language for the working of the Robot. The coding will be reflected in the motion of the robot through the Arduino board connected to the robot. This thesis develops a framework for the Industry concept 4.0. In this work, the construction of manipulator - Robot arm has been made which acts as the part of Industry 4.0. This dissertation helps to stimulate the needs of achievements within the concept of Industry 4.0. The results of this dissertation conclude the theme that this is only the beginning of the construction of the platform to present the future Internet of Things in the Industrial environment through the concept of Industry 4.0. The future development of the thesis can be prolonged in a way with considering automation as a factor of development in the industry for the achievement of the products with less cost and higher quality without loss of time and production losses.In this thesis, the work is based upon three parts of the tasks. First part of the task is selecting of the suitable design of the robot, compatible to the operation that we need to perform in the task. The second part of the thesis work will be selecting of the suitable Arduino board as per the number of inputs and output pins that are required for the operation. The third part of the thesis is the programming. The programming for the robot is done using the Arduino software. The Arduino language of programming is one of the simple programming language for the working of the Robot. The coding will be reflected in the motion of the robot through the Arduino board connected to the robot. This thesis develops a framework for the Industry concept 4.0. In this work, the construction of manipulator - Robot arm has been made which acts as the part of Industry 4.0. This dissertation helps to stimulate the needs of achievements within the concept of Industry 4.0. The results of this dissertation conclude the theme that this is only the beginning of the construction of the platform to present the future Internet of Things in the Industrial environment through the concept of Industry 4.0. The future development of the thesis can be prolonged in a way with considering automation as a factor of development in the industry for the achievement of the products with less cost and higher quality without loss of time and production losses

    Protecting the infrastructure: 3rd Australian information warfare & security conference 2002

    Get PDF
    The conference is hosted by the We-B Centre (working with a-business) in the School of Management Information System, the School of Computer & Information Sciences at Edith Cowan University. This year\u27s conference is being held at the Sheraton Perth Hotel in Adelaide Terrace, Perth. Papers for this conference have been written by a wide range of academics and industry specialists. We have attracted participation from both national and international authors and organisations. The papers cover many topics, all within the field of information warfare and its applications, now and into the future. The papers have been grouped into six streams: • Networks • IWAR Strategy • Security • Risk Management • Social/Education • Infrastructur

    HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations

    Get PDF
    Software development is a complex task. Executable applications comprise a mutlitude of diverse components that are developed with various frameworks, libraries, or communication platforms. The technical complexity in development retains resources, hampers efficient problem solving, and thus increases the overall cost of software production. Another significant challenge in market-driven software engineering is the variety of customer needs. It necessitates a maximum of flexibility in software implementations to facilitate the deployment of different products that are based on one single core. To reduce technical complexity, the paradigm of Model-Driven Software Development (MDSD) facilitates the abstract specification of software based on modeling languages. Corresponding models are used to generate actual programming code without the need for creating manually written, error-prone assets. Modeling languages that are tailored towards a particular domain are called domain-specific languages (DSLs). Domain-specific modeling (DSM) approximates technical solutions with intentional problems and fosters the unfolding of specialized expertise. To cope with feature diversity in applications, the Software Product Line Engineering (SPLE) community provides means for the management of variability in software products, such as feature models and appropriate tools for mapping features to implementation assets. Model-driven development, domain-specific modeling, and the dedicated management of variability in SPLE are vital for the success of software enterprises. Yet, these paradigms exist in isolation and need to be integrated in order to exhaust the advantages of every single approach. In this thesis, we propose a way to do so. We introduce the paradigm of Multi-Domain Engineering (MDE) which means model-driven development with multiple domain-specific languages in variability-intensive scenarios. MDE strongly emphasize the advantages of MDSD with multiple DSLs as a neccessity for efficiency in software development and treats the paradigm of SPLE as indispensable means to achieve a maximum degree of reuse and flexibility. We present HybridMDSD as our solution approach to implement the MDE paradigm. The core idea of HybidMDSD is to capture the semantics of particular DSLs based on properly defined semantics for software models contained in a central upper ontology. Then, the resulting semantic foundation can be used to establish references between arbitrary domain-specific models (DSMs) and sophisticated instance level reasoning ensures integrity and allows to handle partiucular change adaptation scenarios. Moreover, we present an approach to automatically generate composition code that integrates generated assets from separate DSLs. All necessary development tasks are arranged in a comprehensive development process. Finally, we validate the introduced approach with a profound prototypical implementation and an industrial-scale case study.Softwareentwicklung ist komplex: ausführbare Anwendungen beinhalten und vereinen eine Vielzahl an Komponenten, die mit unterschiedlichen Frameworks, Bibliotheken oder Kommunikationsplattformen entwickelt werden. Die technische Komplexität in der Entwicklung bindet Ressourcen, verhindert effiziente Problemlösung und führt zu insgesamt hohen Kosten bei der Produktion von Software. Zusätzliche Herausforderungen entstehen durch die Vielfalt und Unterschiedlichkeit an Kundenwünschen, die der Entwicklung ein hohes Maß an Flexibilität in Software-Implementierungen abverlangen und die Auslieferung verschiedener Produkte auf Grundlage einer Basis-Implementierung nötig machen. Zur Reduktion der technischen Komplexität bietet sich das Paradigma der modellgetriebenen Softwareentwicklung (MDSD) an. Software-Spezifikationen in Form abstrakter Modelle werden hier verwendet um Programmcode zu generieren, was die fehleranfällige, manuelle Programmierung ähnlicher Komponenten überflüssig macht. Modellierungssprachen, die auf eine bestimmte Problemdomäne zugeschnitten sind, nennt man domänenspezifische Sprachen (DSLs). Domänenspezifische Modellierung (DSM) vereint technische Lösungen mit intentionalen Problemen und ermöglicht die Entfaltung spezialisierter Expertise. Um der Funktionsvielfalt in Software Herr zu werden, bietet der Forschungszweig der Softwareproduktlinienentwicklung (SPLE) verschiedene Mittel zur Verwaltung von Variabilität in Software-Produkten an. Hierzu zählen Feature-Modelle sowie passende Werkzeuge, um Features auf Implementierungsbestandteile abzubilden. Modellgetriebene Entwicklung, domänenspezifische Modellierung und eine spezielle Handhabung von Variabilität in Softwareproduktlinien sind von entscheidender Bedeutung für den Erfolg von Softwarefirmen. Zur Zeit bestehen diese Paradigmen losgelöst voneinander und müssen integriert werden, damit die Vorteile jedes einzelnen für die Gesamtheit der Softwareentwicklung entfaltet werden können. In dieser Arbeit wird ein Ansatz vorgestellt, der dies ermöglicht. Es wird das Multi-Domain Engineering Paradigma (MDE) eingeführt, welches die modellgetriebene Softwareentwicklung mit mehreren domänenspezifischen Sprachen in variabilitätszentrierten Szenarien beschreibt. MDE stellt die Vorteile modellgetriebener Entwicklung mit mehreren DSLs als eine Notwendigkeit für Effizienz in der Entwicklung heraus und betrachtet das SPLE-Paradigma als unabdingbares Mittel um ein Maximum an Wiederverwendbarkeit und Flexibilität zu erzielen. In der Arbeit wird ein Ansatz zur Implementierung des MDE-Paradigmas, mit dem Namen HybridMDSD, vorgestellt

    Capturing functional and non-functional connector

    Get PDF
    The CONNECT Integrated Project aims to develop a novel networking infrastructure that will support composition of networked systems with on-the-fly connector synthesis. The role of this work package is to investigate the foundations and verification methods for composable connectors. In this deliverable, we set the scene for the formulation of the modelling framework by surveying existing connector modelling formalisms. We covered not only classical connector algebra formalisms, but also, where appropriate, their corresponding quantitative extensions. All formalisms have been evaluated against a set of key dimensions of interest agreed upon in the CONNECT project. Based on these investigations, we concluded that none of the modelling formalisms available at present satisfy our eight dimensions. We will use the outcome of the survey to guide the formulation of a compositional modelling formalism tailored to the specific requirements of the CONNECT project. Furthermore, we considered the range of non-functional properties that are of interest to CONNECT, and reviewed existing specification formalisms for capturing them, together with the corresponding modelchecking algorithms and tool support. Consequently, we described the scientific advances concerning model-checking algorithms and tools, which are partial contribution towards future deliverables: an approach for online verification (part of D2.2), automated abstraction-refinement for probabilistic realtime systems (part of D2.2 and D2.4), and compositional probabilistic verification within PRISM, to serve as a foundation of future research on quantitative assume-guarantee compositional reasoning (part of D2.2 and D2.4)

    Kindergarten Admission Procedures in Independent Schools with Suggested Guidelines

    Get PDF
    The purposes of this research were to (a) define the procedures used in evaluating children for admission to independent school kindergartens, (b) to investigate selected variables and ascertain their significance in the admissions process and, (c) to formulate guidelines for assessing applicants to independent school kindergartens. Subjects were 119 randomly selected independent school admissions officers and 11 professors in universities in the United States. Data were gathered from the subjects through a 25 item survey instrument designed by the researcher. The chi-square statistical analysis procedure was used to measure the significance of differences between groups on the research questions. The Friedman test was utilized to test the independence of ranked criteria. The .05 level of significance was used to determine whether the observed differences were significant. Variables investigated included the training and experience of directors, admissions officers, teachers and others; the amount of time spent in interviewing, observing and testing applicants; and the school\u27s selection ratio, reenrollment rate and level of satisfaction with procedures. Subjects ranked qualities perceived as important in evaluating applicants to independent school kindergartens. The data analysis revealed: 1. Admissions officers with less than six years experience spent the least amount of time observing applicants and were located in schools with the lowest selection ratios. 2. Teachers and all persons who interviewed applicants less than 30 minutes were satisfied with their procedures or satisfied but felt they could improve procedures. Increased time spent in interviews did not increase satisfaction with procedures. 3. The rank ordering of qualities sought in applicants indicated significant differences between the New England area and the Far West. The qualities perceived as most important in the New England region were related to behavior of applicants; the qualities most highly ranked in the Far west were cognitive. The Far West agreed most closely with the rankings of university professors. This finding has implications for independent school inservice training and admissions procedures. It was the conclusion of the researcher that admissions procedures in independent schools studies were similar in nature, but with regional differences in emphasis. Guidelines for admissions based on the research were developed and presented

    The Murray Ledger and Times, March 3, 1995

    Get PDF

    Configurable nD-visualization for complex Building Information Models

    Get PDF
    With the ongoing development of building information modelling (BIM) towards a comprehensive coverage of all construction project information in a semantically explicit way, visual representations became decoupled from the building information models. While traditional construction drawings implicitly contained the visual representation besides the information, nowadays they are generated on the fly, hard-coded in software applications dedicated to other tasks such as analysis, simulation, structural design or communication. Due to the abstract nature of information models and the increasing amount of digital information captured during construction projects, visual representations are essential for humans in order to access the information, to understand it, and to engage with it. At the same time digital media open up the new field of interactive visualizations. The full potential of BIM can only be unlocked with customized task-specific visualizations, with engineers and architects actively involved in the design and development process of these visualizations. The visualizations must be reusable and reliably reproducible during communication processes. Further, to support creative problem solving, it must be possible to modify and refine them. This thesis aims at reconnecting building information models and their visual representations: on a theoretic level, on the level of methods and in terms of tool support. First, the research seeks to improve the knowledge about visualization generation in conjunction with current BIM developments such as the multimodel. The approach is based on the reference model of the visualization pipeline and addresses structural as well as quantitative aspects of the visualization generation. Second, based on the theoretic foundation, a method is derived to construct visual representations from given visualization specifications. To this end, the idea of a domain-specific language (DSL) is employed. Finally, a software prototype proofs the concept. Using the visualization framework, visual representations can be generated from a specific building information model and a specific visualization description.Mit der fortschreitenden Entwicklung des Building Information Modelling (BIM) hin zu einer umfassenden Erfassung aller Bauprojektinformationen in einer semantisch expliziten Weise werden Visualisierungen von den Gebäudeinformationen entkoppelt. Während traditionelle Architektur- und Bauzeichnungen die visuellen Reprä̈sentationen implizit als Träger der Informationen enthalten, werden sie heute on-the-fly generiert. Die Details ihrer Generierung sind festgeschrieben in Softwareanwendungen, welche eigentlich für andere Aufgaben wie Analyse, Simulation, Entwurf oder Kommunikation ausgelegt sind. Angesichts der abstrakten Natur von Informationsmodellen und der steigenden Menge digitaler Informationen, die im Verlauf von Bauprojekten erfasst werden, sind visuelle Repräsentationen essentiell, um sich die Information erschließen, sie verstehen, durchdringen und mit ihnen arbeiten zu können. Gleichzeitig entwickelt sich durch die digitalen Medien eine neues Feld der interaktiven Visualisierungen. Das volle Potential von BIM kann nur mit angepassten aufgabenspezifischen Visualisierungen erschlossen werden, bei denen Ingenieur*innen und Architekt*innen aktiv in den Entwurf und die Entwicklung dieser Visualisierungen einbezogen werden. Die Visualisierungen müssen wiederverwendbar sein und in Kommunikationsprozessen zuverlässig reproduziert werden können. Außerdem muss es möglich sein, Visualisierungen zu modifizieren und neu zu definieren, um das kreative Problemlösen zu unterstützen. Die vorliegende Arbeit zielt darauf ab, Gebäudemodelle und ihre visuellen Repräsentationen wieder zu verbinden: auf der theoretischen Ebene, auf der Ebene der Methoden und hinsichtlich der unterstützenden Werkzeuge. Auf der theoretischen Ebene trägt die Arbeit zunächst dazu bei, das Wissen um die Erstellung von Visualisierungen im Kontext von Bauprojekten zu erweitern. Der verfolgte Ansatz basiert auf dem Referenzmodell der Visualisierungspipeline und geht dabei sowohl auf strukturelle als auch auf quantitative Aspekte des Visualisierungsprozesses ein. Zweitens wird eine Methode entwickelt, die visuelle Repräsentationen auf Basis gegebener Visualisierungsspezifikationen generieren kann. Schließlich belegt ein Softwareprototyp die Realisierbarkeit des Konzepts. Mit dem entwickelten Framework können visuelle Repräsentationen aus jeweils einem spezifischen Gebäudemodell und einer spezifischen Visualisierungsbeschreibung generiert werden

    Critical reflection as a strategy for professional development.

    Get PDF
    En nuestro cualitativa auto-estudio de la reflexión crítica mediante una investigación-acción metodología, examinamos nuestros profesionales Prácticas de la enseñanza del inglés con el propósito de describir y analizar la forma en la reflexión crítica a través del proceso de investigación nos ayuda a promover el desarrollo profesional. Para ello, utilizamos Sociedad Historia y diarios de reflexión como las principales técnicas de recogida de datos que permitan determinar en primer lugar el sistema de creencias que subyacen en nuestras prácticas de enseñanza para estar al tanto de lo que somos como los maestros y las razones por las que tiene que determinada decisión fabricación. En segundo lugar, analizamos nuestras caracterizaciones para determinar posibles acciones de mejora de una manera más consciente sobre la base de la teoría y formador de profesores consejos. Entonces, actuamos y seguimos escribiendo diarios de reflexión. Finalmente; establecemos las relaciones de proceso de reflexión crítica y la ganancia de desarrollo profesional.In our qualitative self-study of critical reflection using an action research methodology, we examine our English Professional Teaching Practices with the purpose to describe and analyze how the critical reflection through the research process helps us to promote professional development. To do that, we utilize Life History and Reflective Journals as the main techniques of data collection that allow us first to determine the system of beliefs than underlie our teaching practices to be aware of who we are as teachers and the reasons we have to certain decision making. Second, we analyze our characterizations to determine possible actions of improving in a more conscious way based on theory and teacher educator advices. Then, we act and continue writing reflective journals. Finally; we establish the relationships of critical reflection process and the professional development gain
    corecore