Dissertations / Theses on the topic 'MMSNP'

On dit d'un sous-ensemble de NP qu'il présente une dichotomie s'il contient des problèmes qui sont soit résolubles en temps polynomial (dans Ptime), soit difficiles (NP-complets). La classe des problèmes de satisfaction de contraintes (CSP) finis est un sous-ensemble bien connu de NP qui présente une telle dichotomie. La classe de complexité NP n'a pas de dichotomie à moins que P = NP. Pour ces deux classes, il existe des logiques qui leur sont associées. -- NP est capturé par la logique Existentielle du second ordre (ESO) par le théorème de Fagin, c'est-à-dire qu'un problème est dans NP si et seulement s'il est exprimable par une formule ESO.-- CSP est un sous-ensemble de la logique de Feder et Vardi, le fragment monotone, monadique et sans inégalités de SNP, lui-même un fragment syntaxique de ESO (MMSNP); et, pour chaque formule de MMSNP, il existe un problème CSP équivalent via des réductions polynomiales.Ceci implique que la logique ESO, tout comme NP, n'a pas de dichotomie, à contraster avec le fait que MMSNP a une dichotomie tout comme CSP. L'objectif principal de cette thèse est d'étudier les propriétés de dichotomie de sous-ensembles de NP qui contiennent strictement CSP ou MMSNP.Feder et Vardi ont prouvé que si nous omettons une des trois propriétés qui définissent MMSNP, à savoir être monotone, monadique ou omettre les inégalités, alors la logique résultante n'a pas de dichotomie. Comme leurs preuves restent parfois sommaires, nous revisitons ces résultats et fournissons des preuves détaillées. Le fragment guardé et monotone de SNP (GMSNP) est une extension connue de MMSNP qui est obtenue en relâchant la restriction "monadique" de MMSNP. Nous définissons de manière similaire une nouvelle logique appelée MMSNP avec des inégalités gardées, en relâchant la restriction d'être "sans inégalités". Nous prouvons qu'elle est strictement plus expressive que MMSNP et qu'elle possède également une dichotomie.Il existe une logique MMSNP₂ qui étend MMSNP de la même manière que MSO₂ étend la logique monadique du second ordre (MSO). On sait que MMSNP₂ est un fragment de GMSNP et que ces deux classes ont toutes deux une dichotomie ou n'en ont pas. Nous revisitons ce résultat et le renforçons en prouvant que, en ce qui concerne le fait d'avoir une dichotomie, sans perte de généralité, on peut considérer seulement les problèmes MMSNP₂ sur des signatures à un élément, au lieu des problèmes GMSNP sur des signatures finies arbitraires.Nous cherchons à prouver l'existence d'une dichotomie pour les MMSNP₂ en construisant en temps polynomial, pour tout problème MMSNP₂, un problème MMSNP équivalent. Nous rencontrons quelques obstacles pour construire une telle équivalence. Cependant, si nous permettons aux formules MMSNP d'être composées d'un nombre dénombrable de conjonctions négatives, nous prouvons qu'une telle équivalence existe. De plus, la formule MMSNP infinie correspondante a la propriété d'être "régulière". Cette propriété de régularité signifie que, dans un certain sens, cette formule est essentiellement finie. Il est connu que les problèmes MMSNP réguliers peuvent être exprimés par CSP sur des modèles oméga-catégoriques. De plus, il existe une caractérisation de la dichotomie algébrique pour les CSP oméga-catégoriques qui décrivent des problèmes MMSNP. Si l'on parvient à étendre cette caractérisation algébrique sur les problèmes réguliers MMSNP, alors notre résultat fournirait une dichotomie algébrique pour MMSNP₂. (...)
A subset of NP is said to have a dichotomy if it contains problem that are either solvable in P-time or NP-complete. The class of finite Constraint Satisfaction Problems (CSP) is a well-known subset of NP that follows such a dichotomy. The complexity class NP does not have a dichotomy unless P = NP. For both of these classes there exist logics that are associated with them. -- NP is captured by Existential Second-Order (ESO) logic by Fagin's theorem, i.e., a problem is in NP if and only if it is expressible by an ESO sentence.-- CSP is a subset of Feder and Vardi's logic, Monotone Monadic Strict NP without inequalities (MMSNP), and for every MMSNP sentence there exists a P-time equivalent CSP problem. This implies that ESO does not have a dichotomy as well as NP, and that MMSNP has a dichotomy as well as CSP. The main objective of this thesis is to study subsets of NP that strictly contain CSP or MMSNP with respect to the dichotomy existence.Feder and Vardi proved that if we omit one of the three properties that define MMSNP, namely being monotone, monadic or omitting inequalities, then the resulting logic does not have a dichotomy. As their proofs remain sketchy at times, we revisit these results and provide detailed proofs. Guarded Monotone Strict NP (GMSNP) is a known extension of MMSNP that is obtained by relaxing the "monadic" restriction of MMSNP. We define similarly a new logic that is called MMSNP with Guarded inequalities, relaxing the restriction of being "without inequalities". We prove that it is strictly more expressive than MMSNP and that it also has a dichotomy.There is a logic MMSNP₂ that extends MMSNP in the same way as MSO₂ extends Monadic Second-Order (MSO) logic. It is known that MMSNP₂ is a fragment of GMSNP and that these two classes either both have a dichotomy or both have not. We revisit this result and strengthen it by proving that, with respect to having a dichotomy, without loss of generality, one can consider only MMSNP₂ problems over one-element signatures, instead of GMSNP problems over arbitrary finite signatures.We seek to prove the existence of a dichotomy for MMSNP₂ by finding, for every MMSNP₂ problem, a P-time equivalent MMSNP problem. We face some obstacles to build such an equivalence. However, if we allow MMSNP sentences to consist of countably many negated conjuncts, then we prove that such an equivalence exists. Moreover, the corresponding infinite MMSNP sentence has a property of being "regular". This regular property means that, in some sense, this sentence is still finite. It is known that regular MMSNP problems can be expressed by CSP on omega-categorical templates. Also, there is an algebraic dichotomy characterisation for omega-categorical CSPs that describe MMSNP problems. If one manages to extend this algebraic characterisation onto regular MMSNP, then our result would provide an algebraic dichotomy for MMSNP₂.Another potential way to prove the existence of a dichotomy for MMSNP₂ is to mimic the proof of Feder and Vardi for MMSNP. That is, by finding a P-time equivalent CSP problem. The most difficult part there is to reduce a given input structure to a structure of sufficiently large girth. For MMSNP and CSP, it is done using expanders, i.e., structures, where the distribution of tuples is close to a uniform distribution. We study this approach with respect to MMSNP₂ and point out the main obstacles. (...)

Development of web applications with JavaScript language has been moving forward really fast recently. Methodic for software development, on the other hand, not so much. Those methodic were often created way before JavaScript was so popular and so they might not reflect needs, which development of modern web applications using JavaScript brings. This thesis focus on opportunities, needs or threats of modern web applications development and its combination with Methodic for small software projects. Thesis define what is considered as a modern web application, identify practices and tools needed for development and how they relate to the existing version of MMSP. Based on this comparison thesis offers extension of this methodic for development of modern web applications.

Nowadays the importance of disposing of some information system still grows - organizations are more and more dependent on these systems, because they consider it to be storage of their valuable data. So they are still trying to improve those systems. Their importance grows even in the area of small business. These small businessmen appre-ciate improving situation of affordability of software solutions which they can use for supporting their business. Custom made or customized solutions which could be still developed are very appreciated. This diploma thesis deals with customization of MMSP methodics (Methodics for Small Software Projects) in FileMaker software. FileMaker is a computer program developed for creating individual information systems focusing on personal or business matters. FileMaker contains starting solutions which can be used right after installation the software (invoicing, project planning etc.). But it does not contain guidelines or any methodics which can be used during devel-opment of an individual system. In this thesis, I have edited the MMSP methodics and delivered new steps in order to support development in FileMaker software. The main benefit of this thesis is the customization of the MMSP methodics for using it during projects which deal with FileMaker software or similar during creation of a new system. This custom-ized methodics can be used as a supplement of the MMSP.

The thesis "Extending the methodology MMSP in test analysis and design" characterizes the discipline of test analysis and design carried out by its inclusion in the Methodology for small software projects (MMSP). The theoretical part defines the concept of discipline Test analysis and design and characterizes its role in the context of software testing and use in developing software products. It also analyzes attitude of commonly known models and methodologies of software development, certification, standards and norms in testing methodology including MMSP to the analytical activities in the field of testing. The practical part describes the methodology MMSP extension by discipline Test analysis and design, which allows the use of this discipline even on small projects developing uncritical IS/ICT solutions, which previously was not possible. Discipline Test analysis and design expands MMSP at considerable amount of analytical activities in the area of testing. Extending the methodology MMSP includes the introduction of new role Test analyst, modification of existing roles, the introduction of new products and descriptions of the recommended testing techniques and test design.

Mobile Multi-Streaming Protocol (MMSP) is a new protocol combining and abstracting the essential functionalities of TCP and UDP for multiple coex isting networks. It inherits the good characteristics from TCP while over comes many drawbacks from it. The most important features of MMSP is multi-streaming within a single connection. Our work proposes, investigates and provides a concept for maintaining a reliable connection by setting up multiple streams via different network interfaces. We designed and imple mented a bunch of new packet formats, algorithms and state machines. Our experiments have successfully proved that MMSP provides a func tional solution to satisfy many requirements for up-layer protocols and ap plications in both wired and wireless networks, producing higher network throughput, security and reliability. Especially for mobile networks, the unique design and characteristics of MMSP is in the ascendant. It is a successful protocol extension of the transport layer on IP stack.

Diploma thesis deals with creating a Methodology for small software projects focused on automated testing of using Selenium WebDriver tool (abbreviated MMSP - Selenium). The created methodology is based on customized methodology MMSP, which aims to transform part for automated testing of using Selenium WebDriver tool through the best principles and practices of already completed studies. Firstly, there will be summarized the most important terms related to the diploma thesis. Then will follow implementation of the methodology MMSP - Selenium, which is complemented by its new roles, tasks, and work products. Personal benefit of the diploma thesis is also created guidelines for Selenium WebDriver testing tool. For great benefit is also considered the publication of the methodology using the Eclipse Process Framework Composer tool. In conclusion of the created methodology verifies the business use cases, aimed at testing the functionality of web application Manuscriptorium.

The subject of this thesis was agile development on ASP.NET web development platform. The main goal was to create new methodology MMSP - ASP.NET MVC by adjusting methodology MMSP for development in ASP.NET MVC framework, which was mainly achieved through the definition of new objects in the methodology. Text describes four newly created roles (eg. Database specialist) which are responsible for application development. Text also defines or modifies several tasks (eg. Database design) and work products (eg. Data model). All added objects were integrated into the methodology by adjusting its life cycle. At first, thesis was generally focused on the development of web applications, defined their characteristics and analyzed the possibilities of using agile development. Then the MMSP methodology was presented and verified its suitability for the planned extension. Furthermore, there was described the ASP.NET MVC framework, its architecture and basic characteristics. In the last chapter of this thesis methodology MMSP-ASP.NET MVC was verified on the example of development database management web application for the Anthropological Department of the National Museum in Prague.

This thesis aims to extend the MMSP methodology with performance testing intended for the Competence Center for Quality management on VŠE. Through general introduction to performance testing, definition of terms and metrics, detailed description of the preparation and implementation of performance testing and to it tightly connected testing known as operability. Processed functionality will be demonstrated on a selected tool intended for a performance testing and the functionality of the application will be veryfied at the Competence Centre. The methodology should bring order to the team and elevate it to a level that is requested by customers. The work is aimed both at professional audience in the field of testing, where focus is on explaining methodology for performance testing, and also at small testing teams in general, for which it describes how to approach small team testing. Access to methodology could also help centers in other areas to be able to add more added value to their services. My knowledge comes from QA teams of Sun Microsystems, VŠE Competency center on project for IBM and CZNIC registrar of domain names .CZ, which takes care of Czech domain operation.

This diploma thesis deals with registration of hardware in the banking environment which is typical of its limitations. The goal of the thesis is to design a system for automated hardware management that complies with all aspects of this environment. The first step to achieve the goal is a selection of development methodology and its adaptation to the nature if the project. The chosen methodology helps to understand and to define the system requirements in terms of future users. According to the requirements there is performed analysis of the market. The result of this analysis confirms the need for designing of a custom solution. For its development is mainly used scripting language PowerShell 2.0, supplemented by SQLite database system. Fully functional system which should decrease the time overhead and improve the quality of the services provided to our internal customers, is the main contribution of the thesis. Finally, after deployment of the system to the operation, is assessed suitability of the chosen methodology and evaluated success of the whole thesis.

Purpose of this thesis is to create a methodology for Eclipse plugin development based on Methodology for small software projects (MMSP). Methodology designed in this thesis can be used by developers who develop plugins for Eclipse. First part describes Eclipse platform, its architecture and its fundamental principles, Eclipse Rich Client Platform and Eclipse Integrated Development Environment. Another topic presented in this part is framework for automated testing of web applications Selenium, which relates to practical part of the thesis. Methodology for small software projects is pre-sented next with Eclipse plugin development extensions. Practical part of this thesis deals with development of Eclipse Selenium plugin for Integra-ted Testing Node project. This part provides examples of principles of methodology presen-ted in first part of the thesis and provides basic description of functions of the plugin. The result of this part is working Eclipse plugin.

Diploma thesis "Prototyping in software development" deals with the use of prototyping in software development with focus on the user interface (UI). Main goal of thesis is extension of MMSP methodology with sphere of the user interface prototyping which has been achieved by the definition of new object in the methodology. The text defines two new roles (objects): UI Designer and Graphic Designer. The roles already defined in MMSP were extended with responsibilities and tasks related to UI prototyping. Other newly added objects are Work Products (e.g. sketch or rules for creation of UI) and Tasks (e.g. sketching). The inclusion of prototyping into life-cycle phases of software development (defined by the methodology) includes all newly added objects. In the beginning the thesis generally concentrates on the definition of the term prototype and the categorization of prototypes. In the next part the thesis describes the possibilities of the use of prototyping in the process of software development and defines criteria for the selection of the best tool for creation of prototypes (wireframes). The sixth chapter focuses on the process of selection of the methodology suitable for the extension with the area of UI. The last chapter contains the MMSP methodology extension itself.

The aim of this diploma thesis is the design and implementation of web based individual information system for nutritional counseling organizations. This work is divided into several parts. The first part is devoted to the description and evaluation of applications available to support nutrition counseling organizations with reasoning why these applications are not very viable option. The second part is devoted to the analysis and design of the system in terms of vision, specification of functional and non-functional requirements, description of use cases, screen designs and architecture design using conceptual data schema and sitemap. This section is written according to the modified methodology MMSP. The third section demonstrates the implementation of the system on code written in ASP.NET language for three selected webpages. These pages are about dealing with the list of values and creating food recipes. The current version of the information system is added as an attachment.

The subject of this thesis is testing and quality assurance during software development. The theoretical part explains the meaning of software quality and then describes the metrics used to evaluate software quality. The following part explains the differences between software quality assurance in agile and traditional software development methodologies, including criteria on how to compare the methodologies. Throughout the thesis, there are briefly summarized basic concepts which then include the differences between stat-ic/dynamic testing and manual/automatic testing, as well as a role of quality assurance en-gineer in software development. The practical section extends to an existing software development methodology for small software projects (MMSP) in its testing area. New testing activities, artifacts, and roles are introduced in order to align with real requirements for software testing. They will also function in the methodology when used in the testing area for development of more robust applications in bigger teams. Test management tools and test automation tools are described and followed with recommendations for methodol-ogy usage for only a selected few.

The subject of this diploma thesis is web services testing with SoapUI. The main objective is to create a methodology for web services testing. The next objective (which is a part of the methodology) is to create a guidance for web services testing using SoapUI. The guidance serves as a manual to web services testing with SoapUI. The theoretical part of the thesis explains basic terms: testing, web service and methodology. This part is also devoted to the introduction of the SoapUI and Eclipse Process Framework Composer. The practical part of the thesis is focused on the methodology for web services testing itself. The methodology is created in Eclipse Process Framework Composer and each element of the methodology is described here. Some of the methodology elements (the guidance, concepts, tools and some templates) are listed as an appendix.

This thesis is focused on the design of Microsoft SharePoint Server 2013 in a selected company. The main objective of this thesis is to identify the needs and requirements of the selected company and then propose a suitable intranet solution built on Microsoft SharePoint Server 2013. These objectives were achieved by deep analysis of various sources, as well as through consultations with experts, and also from practical experience of the author, acquired in Al-gotech Corporation. The main contribution of this thesis is creating a comprehensive summary of the issue and develop an appropriate solution design for a specific organisation. In this thesis, the author initially focuses on the concept of Enterprise Content Management (ECM), in the next section the author will analyse available tools on the market. In the final stage, the author will analyse specific requirements of the company, based on which he will create the recommendation for the optimal solution.

The thesis describes the Meteor Platform and the process of real-time web application design and development. The objective is to provide information covering the technology behind real-time web applications and to describe the Meteor application design and development process utilizing the MMSP methodology. First part of the thesis defines what a real-time web application is and describes Node.js platform and javascript frameworks Mojito, Derby and Meteor. The second part deals with Meteor application design and development process and provides information about used architecture and components. The last chapter provides recommendation on Meteor application development and suitability of the framework for various types of applications, as well as utilization of the MMSP methodology for Meteor application development. The main output and benefit of the thesis is the real-time web application Chute Achiever, which can be used for educational purposes. This thesis is the first academic work about Meteor platform published at the University of Economics.

This thesis deals with the methodology used for application testing, using the Robot Framework. Its main objective is to develop a methodology which describes an approach to automated testing using this tool. An important part of the methodology is to design a user guide for the Robot Framework - at the time of writing this thesis assignment, this guide does not exist in the Czech language. In this thesis the basic concepts and approaches to automation testing in accordance with defined objectives are explained. An integral part of this is the description of the Robot Framework, its architecture and tools used, libraries, other built-in tools and the syntax used for creating test cases.

This thesis deals with SAP system from technological point of view and focuses on SAP NetWeaver platform. The main goal of this work is to describe and demonstrate custom development in SAP system. Secondary goal is to provide an overview of SAP NetWeaver platform and its capabilities and its important value for companies. The development is shown by creating an application in ABAP language and by using MMSP method. This thesis is complete guide for beginning SAP developers and contains tutorials about programming in ABAP and using its development tools.

This diploma thesis is focused on introduction of advanced possibilities of working with testing Selenium WebDriver framework. Basics of software testing and Selenium framework are described in first part of the text. Second chapter contains overview of available tools and applications which enhance Selenium WebDriver. These include frameworks using WebDriver API, software containers, automatization tools, continuous integration tools and services which enable to run tests remotely. Last chapter contains case study which describes implementation of automated testing in BellaDati company. The attachment contains user guide for Geb framework which was used in the case study.

In this thesis it is studied the mixed-model sequencing problem with work overload or uncompleted work minimisation (MMSP-W). Indeed, four variants from the original problem are estudied with the aim of leading the problem from the literature to both the productivity improvement and the improvement of working conditions of the line operators. Because of this, different aspects from real situations that occur in the current production systems are taken into account. The first studied variant considers workstations arranged in series, the possibility that several homogenous processors can get together at the same workstation and the possibility that any workstation can hold any product unit a time greater than the cycle time in order to complete all the requiered work. Two equivalent mathematical models are the fruit of this variant and they will serve as the starting point of the following studied variants. These models focus on optimising the work overload or the uncompleted work. The second variant incorporates concepts from the JIT management ideology. In fact, in addition to minimise the work overload or maximise the completed work, this variant considers the advantage of obtaining product sequences with an homogeneous distribution of the required work, completed work or work overload, throughout time. The result of this study will be a set of mono and multi-objective models whose purpose will be to minimise the work overloads avoiding undesirable excess efforts for human resources and regularising the product sequence. The third variant considers variable processing times of the operations regarding the work pace of workers throughout the workday. Thus, based on the idea that the activity or work pace of workers is not constant over time, differents functions for the activity factor are defined. These functions will force an increase of work rythm of operators at certain moments of the workday and therefore the operators will be able to complete more requiered work, at the same time, and therefore, the work overload will be reduced.In the last proposed variant, taking into account the presence of human resources at workstations, the labour conditions agreed between company and trade unions are considered. Indeed, we have considered working conditions with respect to the saturation or ocupation level of operators of the line. Thus, new mathematical models for the MMSP-W are formulated. These models respect the maximum values of medium and maximum saturation of the processors of workstations which have been established by collective agreements. Finally, note that all the variants studied are evaluated through a case study related to the Nissan engine plant in Barcelona. Thus, it is possible to compare the results obtained by the reference models with the models proposed in this thesis from a computational, economic, social and legal perspective.
En esta tesis se estudia el problema de secuencias de productos mixtos, en líneas de producción, que minimizan el trabajo no completado o sobrecarga (MMSP-W: Mixed-Model Sequencing Problem with Workload Minimisation) . En efecto, con el objetivo de orientar el problema de la literatura no sólo a la mejora de la productividad, sino también a la mejora de las condiciones laborales de los operarios de la línea, se estudian cuatro variantes, en las que se incorporan aspectos propios de situaciones reales que se dan en los sistemas productivos actuales . La primera variante estudiada, además de considerar estaciones de trabajo dispuestas en serie y, por tanto, vinculadas entre sí, considera la posibilidad de que en una misma estación puedan concurrir, simultáneamente, diversos procesadores homogéneos, así como la posibilidad de que todas las estaciones puedan retener todas las unidades de producto un tiempo superior al tiempo de ciclo, con el fin de completar el trabajo requerido. Fruto de esta variante son dos modelos matemáticos equivalentes que servirán como punto de partida de las siguientes variantes estudiadas y cuyos objetivos se basan en la optimización de la sobrecarga o del trabajo completado. La segunda variante, incorpora conceptos propios de la ideología de gestión JIT (Just In Time), pues además de minimizar la sobrecarga o maximizar el trabajo completado, se considera la conveniencia de obtener secuencias de productos de forma que, tanto el trabajo requerido, como el completado o como la sobrecarga, correspondiente a todas las estaciones, se distribuya homogéneamente a lo largo de la jornada laboral. El resultado de este estudio será un conjunto de modelos multi- y mono-objetivos, cuyo propósito será el de minimizar la sobrecarga de trabajo evitando sobre-esfuerzos no deseables para los recursos humanos y regularizando la secuencia de productos. En la tercera variante, se consideran tiempos variables de las operaciones en función del ritmo de trabajo de los operarios a lo largo de la jornada. Psi, en base a la idea de que la actividad de los operarios no se mantiene constante a lo largo el tiempo, se definen diferentes perfiles para el factor de actividad de los operarios. Estos perfiles forzarán un aumento de la velocidad de trabajo de los operarios, en determinados momentos de la jornada laboral, completando así mayor cantidad de trabajo requerido y, por tanto, reduciendo la sobrecarga global. Por último, teniendo en cuenta, también, la presencia de recursos humanos en las estaciones de trabajo, se consideran las condiciones laborales pactadas entre empresa y sindicatos, respecto a la saturación o nivel de ocupación de los operarios de la línea. De este modo, se formulan nuevos modelos matemáticos para el MMSP-W, que además de minimizar la cantidad de trabajo perdido, respetan los valores máximos, establecidos por convenio , en cuanto a la saturación media y máxima de los procesadores de las estaciones de trabajo. Finalmente, cabe destacar que todas las variantes estudiadas se evalúan mediante un caso de estudio vinculado a la planta de motores de Nissan en Barcelona. De esta manera, se podrán comparar los resultados obtenidos con los modelos de referencia, con los obtenidos con los modelos propuestos a lo largo de esta tesis, tanto desde un punto de vista computacional, económico, social y legal.
Actualment, són molts els sistemes productius en els quals la fabricació o muntatge, de tota o part de la producció, es duu a terme en línies de producció. A mes, l’exigència actual del mercat fa que cada vegada sigui mes necessari que les companyies ofereixin una gran varietat de productes amb diferents opcions. Aquesta situació podem trobar-la fàcilment al sector de l’automòbil, on es fabriquen diferents tipus de productes, que malgrat pertànyer a la mateixa família, posseeixen diferents característiques i requereixen, per tant, diferent consum de components i ús de recursos. En efecte, no tots els vehicles porten el mateix tipus de motor i no tots els vehicles estan equipats amb els mateixos components, tant interiors com a exteriors. Un clar exemple d’aquest tipus de línies de productes mixtos (MMAL, Mixed-Model Assembly Lines) són les línies de motors o les línies d’assemblatge on s’incorporen els diferents components (seients, pedals) al cos del vehicle. Aquesta varietat a la gamma de productes, provoca la necessitat que les línies de producció o muntatge actuals siguin flexibles i, per tant, puguin adaptar-se a la diversitat de tipus de productes que es realitzen en elles, sense incórrer en costos excessius. Així, amb l’objectiu de flexibilitzar i reduir costos, tant de mà d’obra com de manipulació i emmagatzematge, les línies de muntatge de productes mixtos presenten dos problemes bàsics: (1) l’equilibrat de la línia i (2) la seqüenciació d’unitats de productes mixts. Dins d’aquests últims es troba el problema, objecte d’estudi d’aquesta tesi, conegut dins la literatura com MMSP (Mixed-Model Sequencing Problem). Aquest problema consisteix en establir un ordre de fabricació dels productes amb l’objectiu de: (1) minimitzar els nivells d’estoc de productes i components; (2) minimitzar la sobrecàrrega de treball o la quantitat de treball no completat; o (3) minimitzar el nombre de sub-seqüencies amb opcions especials. Concretament, en aquesta tesi s’estudia el problema de seqüències de productes mixtos, dins línies de producció, que minimitzen el treball no completat o sobrecàrrega (MMSP-W: Mixed-Model Sequencing Problem withWorkload Minimisation). En efecte, amb l’objectiu d’orientar el problema de la literatura no només a la millora de la productivitat, sinó també a la millora de les condicions laborals dels operaris de la línia, s’estudien quatre variants, en les quals s’incorporen aspectes propis de les situacions reals que es donen en els sistemes productius actuals. La primera variant estudiada, a mes de considerar estacions de treball disposades en sèrie i, per tant, vinculades entre si, considera la possibilitat que en una mateixa estació puguin concórrer diversos processadors homogenis, així com la possibilitat que totes les estacions puguin retenir totes les unitats de producte un temps superior al temps de cicle, amb la finalitat de completar el treball requerit. Aquesta variant donarà com a resultat dos models matemàtics equivalents, els objectius dels quals es basaran en l’optimització de la sobrecàrrega de treball o del treball completat i ambdós serviran com a punt de partida per a les següents variants estudiades. La segona variant, incorpora conceptes propis de la ideologia de gesti ´o JIT (Just In Time), doncs a mes de minimitzar la sobrecàrrega o maximitzar el treball completat, es considera la conveniència d’obtenir seqüències de productes de manera que, tant el treball requerit, com el completat, o com la sobrecàrrega de treball, corresponent a totes les estacions en una jornada laboral, es distribueixi homogèniament al llarg del temps. Aquest estudi donarà lloc a nous models multi i mono-objectius, el propòsit dels quals serà el de minimitzar la sobrecàrrega de treball evitant sobreesforços no desitjables per als recursos humans. A la tercera variant, es consideren temps variables de les operacions en funció del ritme d’activitat dels operaris al llarg de la jornada. Així, sobre la base de la idea que l’activitat dels operaris no es manté constant al llarg el temps, es defineixen diferents perfils per al factor d’activitat dels operaris. Aquests perfils forçaran un augment de la velocitat de treball dels operaris, en determinats moments de la jornada laboral, completant així major quantitat de treball requerit i, per tant, reduint la sobrecàrrega global. Per últim, tenint en compte, també, la presència de recursos humans en les estacions de treball, es consideren les condicions laborals pactades entre empresa i sindicats, respecte a la saturació o nivell d’ocupació dels operaris de la línia. D’aquesta manera, es formulen nous models matemàtics per el MMSP-W, que a mes de minimitzar la quantitat de treball perdut, respecten els valors màxims, establerts per convenis, quant a la saturació mitjana i màxima dels processadors de les estacions de treball. Finalment, cal destacar que totes les variants estudiades s’avaluen mitjançant un cas d’estudi vinculat a la planta de motors de Nissan a Barcelona. D’aquesta manera, es podran comparar els resultats obtinguts amb els models de referència, amb els obtinguts amb els models proposats al llarg d’aquesta tesi, des d’un punt de vista computacional, econòmic, social i legal.

This diploma thesis is focused on content personalization and specifically on recommender systems. The aim of the thesis is to propose a methodology of recommender system implementation in e-commerce using the IT tool Soyka. Functions of personalization tools which directly support recommender systems are identified on the basis of a theoretical description of recommender systems and their technological approaches. Based on these identified functions the tool Soyka is classified. The main contribution of the thesis is the created and published methodology which is ready to be used on real implementation projects by anyone involved.

The aim of the thesis is to analyse framework IONIC and determine the suitability of this framework for cross-platform mobile development. The intent of the theoretical part is to analyse the current market, introduction to the mobile development and a description of the framework IONIC and related technologies. The practical part deals with the analysis and design mobile application PowerFLOW, describing the implemented mobile application and sample code. The last part is about framework IONIC evaluation based on set criteria. The evaluation rating was determined on the experience gained during the implementation of mobile application PowerFLOW. There are also listed personal experience of the implementation. Based on this thesis the IONIC can be recommended as the framework for cross-platform mobile development.

The purpose of this thesis was not only to create a development base for similar projects but also suggest solutions unique method of registration and the creation of complex Web sites without programming knowledge. The aim of the thesis was to design an information system for housing cooperatives and subsequent testing implementation of this proposal. The basis of this work was to build the requirements of existing housing cooperatives presidents and owners association presidents. For the analysis and design of information system was used analysis software designed for small projects (MMSP). This draft work was realized for subsequently testing. Testing was based on test scenarios defined in the proposal. The proposal was validated using the acceptance certificate, which examined all the proposed scenarios.

In these days we have more and more digitization of business content. The effort to reduce paper documents and replace them with digital/electronic form places increasing demands on the management of these documents and data/information in enterprises. With this kind of problem usually deal systems known as Enterprise Content Management. Main topic of this thesis is the implementation of MS SharePoint 2013. This thesis focuses its objectives on an analysis of the possibilities of using MS SharePoint, description of recommendations for the design of systems based on MS SharePoint and practical illustration of MS SharePoint implementation project in a specific organization. The first part of this thesis aims on the concept of Enterprise Content Management, MS SharePoint system performance and analyzing options how to deploy MS SharePoint into organizations. Based on this analysis, is further compared the coverage of functionality of MS SharePoint and specialized and robust ECM systems. The next part focuses on a description of the procedures that are recommended for the design and development of systems. In this part of the thesis is chosen an appropriate methodology for the development of information systems, which is used according to specific MS SharePoint implementation project within defined organization. Subsequently, the thesis analyzed the suitability of the methodology for the implementation of MS SharePoint and the proposed possible expansion of the selected methodology to fully meet the needs and specifics of MS SharePoint implementation projects. Subsequently, on the basis of these recommendations, there was made a draft of the MS SharePoint implementation project.

IBM Rational Requirements Composer (RRC) is a tool for software requirements engineering that supports requirements development and requirements management in the proces of software development. IBM RRC is a part of Collaborative Lifecycle Management (CLM) using the Jazz platform. In cooperation with other tools of this solution, especially with IBM Rational Team Concert (RTC), it advances the management of projects with large scope and extended teams. These tools have been developed for agile methodologies. This diploma uses the methodology for small software projects called MMSP for the analysis of IBM RRC's features. The main objective of this diploma thesis is the analysis of IBM RRC's features usable for software requirements engineering and demonstrates how to elevate the software requirements activities for school projects using the methodology MMSP. This diploma also pursues the objective of finding best practices and MMSP tasks to improve the requirements engineering proces. These objectives were achieved by deep analysis of various sources about software tools for requirements management, methodologies of IS/ICT development and information system development projects at the University of Economics in Prague and on using the IBM RRC. The key benefit of this diploma thesis is in raising the number of software tools which can be used for school projects of IS/ICT development using the MMSP methodology.

Одрживи индустријски развој директно је повезан са стварањем повољних услова за спровођење иновативних активности. Главни изазов на пољу управљања иновацијама је избор и рангирање индикатора који омогућавају стварање иновација, како на нивоу државе / регије (макро нивоу), тако и на нивоу предузећа (микро нивоу).Oво истраживање је спроведено за оба нивоа одвојено. Рангирање индикатора на макро нивоу извршено је за појединачне државе чланице ЕУ и за ЕУ као јединствену регију За ту сврху примењена је метода статистичког учења. На микро нивоу, урађена је студија случаја за рангирање индикатора иновацијског потенцијала за сектор ММСП у Србији, коришћeњем методe структурираног упитника и методe вишекритеријумске анализе. Резултати истраживања пружају прилику да се укаже на значај појединих индикатора у процесу стварања иновације, како на макро тако и на микро нивоу.
Održivi industrijski razvoj direktno je povezan sa stvaranjem povoljnih uslova za sprovođenje inovativnih aktivnosti. Glavni izazov na polju upravljanja inovacijama je izbor i rangiranje indikatora koji omogućavaju stvaranje inovacija, kako na nivou države / regije (makro nivou), tako i na nivou preduzeća (mikro nivou).Ovo istraživanje je sprovedeno za oba nivoa odvojeno. Rangiranje indikatora na makro nivou izvršeno je za pojedinačne države članice EU i za EU kao jedinstvenu regiju Za tu svrhu primenjena je metoda statističkog učenja. Na mikro nivou, urađena je studija slučaja za rangiranje indikatora inovacijskog potencijala za sektor MMSP u Srbiji, korišćenjem metode strukturiranog upitnika i metode višekriterijumske analize. Rezultati istraživanja pružaju priliku da se ukaže na značaj pojedinih indikatora u procesu stvaranja inovacije, kako na makro tako i na mikro nivou.
Sustainable industrial development is directly related to the creation of favorable conditions for the implementation of innovative activities. The main challenge in the field of innovation management is the selection and ranking of indicators that enable the creation of innovation, both at the state/region level (macro level) and at the enterprise level (micro level). This research was conducted for both levels separately. The ranking of indicators at the macro level was done for individual member states of EU, and for the EU as a unique region. For this purpose, the method of statistical learning was applied. At the micro level, a case study for ranking the indicators of innovation potential was done for the MSME sector in Serbia, using the method of a structured questionnaire and the method of multi-criteria analysis. The results of the research provide an opportunity to see the importance of individual indicators in the process of creation of innovation, both at the macro and micro levels.

Nowadays the development speed of new software products is a key to success and it is not important whether the aim is to make customer's urges satisfied or get ahead of one's competitors and fill the market gap. Because of the increase of development speed the demands on the saving process of software quality are increasing. There are two types of tools that are supporting the process of software quality assurance. Firstly, we talk about comprehensive testing tools of commercial character that usually include many functions, but their purchase is extremely expensive. On the other hand there are open-source tools that are available for free, they function on many kinds of operating systems and it is possible to modify them. Unfortunately their functions are basically focused on a certain subset of controlling the software quality assurance. Company TRASK solution a.s. has decided to change this current situation, so it asked competence centre Software Quality Assurance at the University of Economics in Prague in order to create Integrated Testing Node (ITN) that would combine the advantages of open-source tools. Moreover, it would offer broad range of functions as commercial solution. The purpose of this thesis is to describe relevant phases of the process of creating the Integrated Testing Node from the factual and methodical point of view. This aim is divided into partial aims included task analysis and the proposal of solving system, open-source products portfolio analysis, choice of the most convenient tools for following integration, choosing the method of information system building, evaluating the feedback from a client and the proposal of future development of this tool. As far as the biggest contribution of this thesis is concerned, it is the realisation of ITN project that can be used during information classes at the University of Economics in Prague. Furthermore, it can be used as the control of software quality in commercial companies.

Przedmiotem rozprawy jest problematyka rozwoju przedsiębiorczości lokalnej, analizowana z perspektywy jej wspomagania przez gminę. Procesowi rozwoju przedsiębiorczości lokalnej towarzyszy szereg uwarunkowań, zarówno w warstwie egzogenicznej jak i endogenicznej, określanych mianem szans i zagrożeń dla rozwoju przedsiębiorczości. Istotną kwestią jest postępowanie władz samorządowych, pod kątem tworzenia warunków do rozwoju przedsiębiorczości lokalnej. Celem pracy jest zdiagnozowanie zachowań gmin w procesach kreowania rozwoju przedsiębiorczości lokalnej oraz identyfikacja uwarunkowań rozwoju, które ułatwiają lub utrudniają wdrażanie przedsiębiorczych pomysłów mieszkańców oraz prowadzenie działalności gospodarczej. Polityka lokalna kształtowana przez władze samorządowe oparta jest w głównej mierze na wytyczaniu priorytetów rozwoju, wyborze celów strategicznych, określaniu sposobów realizacji zadań pod kątem zaspokajania zbiorowych potrzeb społeczności zamieszkałej na terytorium wyznaczonym granicami administracyjnymi gminy. Dbałość przez organy gminy o rozwój lokalny - w tym także o rozwój przedsiębiorczości lokalnej - wynika z uzależnienia dochodów własnych gmin od wpływów z podatków oraz opłat wnoszonych przez osoby fizyczne i prawne. Wspomaganie przedsiębiorczości lokalnej stanowi istotne zadanie własne gminy i nieodłącznie związane jest z tworzeniem klimatu dla przedsiębiorczości lokalnej oraz ze stymulowaniem rozwoju sektora mikro, małych i średnich przedsiębiorstw (MMSP). Układ rozprawy oraz jej treść wynika z przyjętych celów poznawczych i sformułowanych hipotez badawczych. Dysertacja składa się ze wstępu, czterech rozdziałów oraz reasumpcji w formie wniosków i rekomendacji. Trzy pierwsze rozdziały stanowią przegląd teorii na temat przedsiębiorczości, rozwoju lokalnego i funkcjonowania sektora MMSP. Wykorzystano w nich wyniki badań empirycznych różnych autorów oraz dokonano krytycznej oceny wybranych zjawisk. Dla osiągnięcia zamierzonego celu rozprawy skonfrontowano badania literaturowe ze stanowiskiem przedstawicieli samorządów, zaprezentowanym podczas badań ankietowych w wybranych gminach. W czwartym rozdziale przedstawiono wyniki badań własnych na 169. elementowej próbie gmin (miejskie, miejsko – wiejskie i wiejskie), ostatecznie weryfikujących hipotezę główną i hipotezy cząstkowe. Wnioski końcowe odnoszą się do konstatacji, iż system wspomagania przedsiębiorczości lokalnej przez gminę jest pochodną uwarunkowań rozwoju lokalnego danej gminy i przyjętych priorytetów. Stąd też występujące zróżnicowane podejście do wspomagania przedsiębiorczości lokalnej w poszczególnych gminach wynika ze zindywidualizowanego stosowania instrumentów interwencjonizmu lokalnego. Praktyczne uzupełnienie wyników postępowania badawczego stanowi model prospektywnego stymulowania przedsiębiorczości lokalnej przez gminę oraz rekomendacje dla władz samorządowych w zakresie wspomagania przedsiębiorczości lokalnej.