25 resultados para ontology development methodology


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nowadays, the upwind three bladed horizontal axis wind turbine is the leading player on the market. It has been found to be the best industrial compromise in the range of different turbine constructions. The current wind industry innovation is conducted in the development of individual turbine components. The blade constitutes 20-25% of the overall turbine budget. Its optimal operation in particular local economic and wind conditions is worth investigating. The blade geometry, namely the chord, twist and airfoil type distributions along the span, responds to the output measures of the blade performance. Therefore, the optimal wind blade geometry can improve the overall turbine performance. The objectives of the dissertation are focused on the development of a methodology and specific tool for the investigation of possible existing wind blade geometry adjustments. The novelty of the methodology presented in the thesis is the multiobjective perspective on wind blade geometry optimization, particularly taking simultaneously into account the local wind conditions and the issue of aerodynamic noise emissions. The presented optimization objective approach has not been investigated previously for the implementation in wind blade design. The possibilities to use different theories for the analysis and search procedures are investigated and sufficient arguments derived for the usage of proposed theories. The tool is used for the test optimization of a particular wind turbine blade. The sensitivity analysis shows the dependence of the outputs on the provided inputs, as well as its relative and absolute divergences and instabilities. The pros and cons of the proposed technique are seen from the practical implementation, which is documented in the results, analysis and conclusion sections.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Finnish electricity distribution sector, rural areas in particular, is facing major challenges because of the economic regulation, tightening supply security requirements and the ageing network asset. Therefore, the target in the distribution network planning and asset management is to develop and renovate the networks to meet these challenges in compliance with the regulations in an economically feasible way. Concerning supply security, the new Finnish Electricity Market Act limits the maximum duration of electricity supply interruptions to six hours in urban areas and 36 hours in rural areas. This has a significant impact on distribution network planning, especially in rural areas where the distribution networks typically require extensive modifications and renovations to meet the supply security requirements. This doctoral thesis introduces a methodology to analyse electricity distribution system development. The methodology is based on and combines elements of reliability analysis, asset management and economic regulation. The analysis results can be applied, for instance, to evaluate the development of distribution reliability and to consider actions to meet the tightening regulatory requirements. Thus, the methodology produces information for strategic decision-making so that DSOs can respond to challenges arising in the electricity distribution sector. The key contributions of the thesis are a network renovation concept for rural areas, an analysis to assess supply security, and an evaluation of the effects of economic regulation on the strategic network planning. In addition, the thesis demonstrates how the reliability aspect affects the placement of automation devices and how the reserve power can be arranged in a rural area network.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Enabling Change in Universities: Enhancing Education for Sustainable Development with Tools for Quality Assurance This thesis deals with enabling change in universities, more explicitly enhancing education for sustainable development with tools for quality assurance. Change management is a discipline within management that was developed in the 1980s because business changed from being predictable to unpredictable. The PEST mnemonic is a method to categorize factors enabling change; such as political, economic, socio-cultural and technological factors, which all affect higher education. A classification of a change, in either hard or soft, can help understanding the type of change that an organization is facing. Hard changes are more applied to problems that have clear objectives and indicators, with a known cause of the problem. Soft changes are applied to larger problems that affect the entire organization or beyond it. The basic definition for sustainable development is: the future generations should have similar opportunities as the previous. The UN has set as a global goal an integration of education for sustainable development (ESD) at all levels of education during 2005- 2014. The goal is set also in universities, the graduates of which are future leaders for all labor markets. The objective for ESD in higher education is that graduates obtain the competence to take economic, social and environmental costs and benefits into account when making decisions. Knowledge outcomes should aim for systematic and holistic thinking, which requires cross disciplinary education. So far, the development of ESD has not achieved its goals. The UN has identified a need for more transdisclipnary research in ESD. A joint global requirement for universities is quality assurance, the aim of which is to secure and improve teaching and learning. Quality, environmental and integrated management systems are used by some universities for filling the quality assurance requirements. The goal of this thesis is to open up new ways for enhancing ESD in universities, beyond the forerunners; by exploring how management systems could be used as tools for promoting ESD. The thesis is based on five studies. In the first study, I focus on if and how tools for quality assurance could be benefitted for promoting ESD. It is written from a new perspective, the memetic, for reaching a diversity of faculty. A meme is an idea that diffuses from brain to brain. It can be applied for cultural evolution. It is a theory that is based on the evolutionary theory by Darwin, applied for social sciences. In the second Paper, I present the results from the development of the pilot process model for enhancing ESD with management systems. The development of the model is based on a study that includes earlier studies, a survey in academia and an analysis of the practice in 11 universities in the Nordic countries. In the third study, I explore if the change depends on national culture or if it is global. It is a comparative study on both policy and implementation level, between the Nordic countries and China. The fourth study is a single case study based on change management. In this study, I identify what to consider in order to enable the change: enhancing ESD with tools for quality assurance in universities. In the fifth Paper, I present the results of the process model for enhancing ESD with management systems. The model was compared with identified drivers and barriers for enhancing ESD and for implementing management systems. Finally, the process model was piloted and applied for identifying sustainability aspects in curricula. Action research was chosen as methodology because there are not already implemented approaches using quality management for promoting ESD, why the only way to study this is to make it happen. Another reason for choosing action research is since it is essential to involve students and faculty for enhancing ESD. Action based research consists of the following phases: a) diagnosing, b) planning action, c) taking action and d) evaluating action. This research was made possible by a project called Education for Sustainable Development in Academia in the Nordic countries, ESDAN, in which activities were divided into these four phases. Each phase ended with an open seminar, where the results of the study were presented. The objective for the research project was to develop a process for including knowledge in sustainable development in curricula, which could be used in the quality assurance work. Eleven universities from the Nordic countries cooperated in the project. The aim was, by applying the process, to identify and publish examples of relevant sustainability aspects in different degree programs in universities in the Nordic countries. The project was partly financed by the Nordic Council of Ministers and partly by the participating pilot universities. Based on the results of my studies, I consider that quality, environmental and integrated management systems can be used for promoting ESD in universities. Relevant sustainability aspects have been identified in different fields of studies by applying the final process model. The final process model was compared with drivers and barriers for enhancing ESD and for implementing management systems in universities and with succeeding with management systems in industry. It corresponds with these, meaning that drivers are taken into account and barriers tackled. Both ESD and management systems in universities could be considered successful memes, which can reflect an effective way of communication among individuals. I have identified that management systems could be used as tools for hard changes and to support the soft change of enhancing ESD in universities with management system. Based on the change management study I have summarized recommendations on what to consider in order to enable the studied change. The main practical implications of the results are that the process model could be applied for assessment, benchmarking and communication of ESD, connected to quality assurance, when applied. This is possible because the information can be assembled in one picture, which facilitates comparison. The memetic approach can be applied for structuring. It is viable to make comparative studies between cultures, for getting insight in special characteristics of the own culture. Action based research is suitable for involving faculty. Change management can be applied for planning a change, which both enhancing ESD and developing management systems are identified to be.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The objective of this thesis is to better understand customer’s role in lean startup methodology. The aim is to find out how customers are involved in lean startup methodology implantation and increase the likelihood of new venture survival. This study emphasizes the usage of customers in shaping of new product development processes within companies, through iteration and constant communication. This communication facilitates the development of features that are requested by the customers and enhances the prospects of the new venture. The empirical part of the study is a single qualitative case study that uses action research to implement the lean startup methodology into a pre-revenue venture and examines its customer involvement processes. The studied case company is Karaoke d.o.o., developing a game called kParty. The study used the theory discussed in the literature review: customer involvement (in the survey and interviews conducted for the lean startup methodology), lean principles (through the implementation of lean startup methodology) and lean startup methodology, which are the central building parts of this thesis as a whole. The thesis contributes to the understanding of customer involvement in lean startup methodology, while giving practical implications of customer orientation and product market fitting.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Corporate social responsibility or CSR is today a widely recognized concept which is receiving in- creasing popularity extremely rapidly, especially in the business world. The pressure on companies to carry out their business practices in ethical manners, which promote the wellbeing of the environment and society, is coming from all directions and all stakeholders. Alstom, a French multinational conglomerate operating in the rail transport and energy industry, is no exception to this norm. This company, which will be used as the case example in this thesis, is being brought to bay in terms of engaging in CSR practices and practicing business with high ethics. It is surely not a negatively conceived phenomenon that CSR is being put on a pedestal – quite the opposite. Instead of corporations practicing CSR only to meet their stakeholder requirements through practicing window dressing, many corporations actually strive to benefit from the practice of corporate social business. In addition to bringing benefit to externals a corporation such as Alstom itself can benefit from being involved in CSR. The purpose of this thesis is to evaluate the current strategic values and the future perspectives of CSR at Alstom and moreover the added value which the practice of CSR could bring Alstom as a business. A set of perspectives from a futures studies viewpoint is looked at, with critical examination of the company’s current corporate practices as well as the CSR related studies and theories written for corporations. Through this, some solutions and practices will be suggested to Alstom in order for it to fully utilize the potential of corporate social business and the value it can bring in the most probable futures that the company is expected to face. By utilizing the Soft Systems Methodology (SSM), a method mainly used in organizations to solve problematic issues in management and policy contexts, a process is developed to see what improvements could be of help in improving Alstom and its way towards involving CSR in its business practices even more than it currently does. Alstom is already deeply involved in the practicing of CSR and its vision has a strong emphasis on this popular concept of today. In order to stay in the game and to use CSR as a competitive advantage to the company, Alstom ought to embed corporate social practices even deeper in its organizational culture by using them as a tool to reduce risk and costs, increasing employee commitment and customer loyalty and to attract socially responsible investors, just to name a few. CSR as a concept is seen to have great potential in the future, an opportunity Alstom will not miss.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Disorders of male reproductive health are becoming increasingly prevalent globally. These defects, ranging from decreasing sperm counts to an increasing rate of infertility and testicular cancer, have a common origin in the early phases of testicular development, but the exact mechanisms that cause them remain unknown. Testicular development and adult spermatogenesis are complex processes in which different cell types undergo mitosis, meiosis, differentiation and apoptosis. The retinoblastoma protein family and its associated E2F transcription factors are key regulators of these cellular events. In the present study, the functions of these factors in postnatal testicular development and adult spermatogenesis were explored using different animal models. In addition, a new application of flow cytometry to study testicular cell dynamics was developed. An ablation of retinoblastoma protein in mouse Sertoli cells resulted in their cell cycle re-entry in adult testes, dedifferentiation and a severe spermatogenic defect. We showed that deregulated E2F3 contributed to these changes. Our results indicated that the E2F1 transcription factor is critical for the control of apoptosis in the developing postnatal testis. In the adult testis, E2F1 controls the maintenance of the spermatogonial stem cell pool, in addition to inhibiting apoptosis of spermatocytes. In summary, this study elucidated the complex interdependencies of the RB and E2F transcription factor families in the control of postnatal testicular development and adult spermatogenesis. Furthermore, this study provided a new methodology for the analysis of testicular cells.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The aim of this Master’s Thesis is to develop project logistics functions in large scale en-gineering, procurement and construction projects. The background of the research topic is compounded from two separate subjects; OPAL Program and case study of an actual EPC project. The purpose is to examine Project Logistics process in accordance with OPAL Program as well as logistics process in focus EPC project. Both entities are researched by using the case study research methodology. Logistics process of the focus EPC project is described as well as presented and in addi-tion, logistics related findings and observations are introduced. Significant findings and observations are found from logistics costs as well as shipment volume estimations in the early phase of the focus ECP project. A notable finding is also that because goods were transported as readily assembled as possible it caused expensive oversized cargo deliveries. From findings and observation of the focus EPC project it can be derived that logistics has to be involved in the early sales phase in order to receive more accurate logistics cost esti-mations for project deliveries. It is also noticed that in order to obtain savings in logistics costs, oversized deliveries must be avoided.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This study investigates the development of relationships in same global virtual team working on different projects. The purpose is to explore how do interpersonal relationships develop in terms of characteristics of virtuality and if there is any influence of project lifespan on the development of these relationships. Since relationships are dynamic in nature and are influenced by multiple levels of variables including individual, group and organizational level, therefore characteristics of virtuality have been considered from all these aspects so as to study their influence on development of relationships. In this study, relationships have been studied at two different levels. At first, dyadic relationships between two members of a GVT have been analyzed and thereafter, focus has been on the development of relationships among the team, based on these dyads. Characteristics having influence on development of relationships include trust, physical distance, time zone difference, cultural and language differences, level of formalization in the organization and means of communication used by team members. Level of formalization and means of communication are two characteristics which emerged after empirical study and are found to have direct influence on development of relationships. Remaining characteristics have been identified through literature review. In order to conduct the study, qualitative methodology has been applied. Empirical data has been collected based on a single case study while using semi-structured interviews as data gathering technique. Data analysis has been performed by applying thematic analysis along with the utilization of company documents such as work sheets, minutes of meetings and recordings of conferences. Findings of the study indicate that development of relationships, both at dyadic level and team level, is influenced by different events taking place among different members of GVT. These events have either positive or negative influence on the characteristics of virtuality, which leads to development of the relationships. It has been found that, trust, among all factors plays a greater role in development of these relations. Contrary to the belief that most conflicts arise among members of different cultures, they are equally likely to happen among the members from same culture in GVT environment. Study suggests that relationship development is not a smooth process but it fluctuates based on different events in teams. For further research, teams within large firms shall be studied along these lines. This study is an early attempt towards bringing different characteristics of virtuality together which previously, have been studied individually. It is therefore plausible to conduct similar studies so as to generalize the findings of this study which has provided a starting point.