Tato práce se zabývá tvorbou kalendářní aplikace s efektivním a uživatelsky přívětivým rozhraním. Nejprve je provedena analýza existujících kalendářn&#...
详细信息
Tato práce se zabývá tvorbou kalendářní aplikace s efektivním a uživatelsky přívětivým rozhraním. Nejprve je provedena analýza existujících kalendářních aplikací na různých platformách. Je prozkoumán standard ukládání kalendářních dat a dobré praktiky pro návrh uživatelského rozhraní. Dále je popsán návrh kalendářní aplikace, který zahrnuje návrh kalendářní knihovny, vzhledu grafického rozhraní a struktury rozhraní. Výsledná aplikace je implementována v jazyce C++ za využití frameworku Qt a podrobena testům.
A fully abstract compiler prevents security features of the source language from being bypassed by an attacker operating at the target language level. Unfortunately, developing fully abstract compilers is very complex...
详细信息
A fully abstract compiler prevents security features of the source language from being bypassed by an attacker operating at the target language level. Unfortunately, developing fully abstract compilers is very complex, and it is even more so when the target language is an untyped assembly language. To provide a fully abstract compiler that targets untyped assembly, it has been suggested to extend the target language with a protected module architecture-an assembly-level isolation mechanism which can be found in next-generation processors. This article provides a fully abstract compilation scheme whose source language is an object-oriented, high-level language and whose target language is such an extended assembly language. The source language enjoys features such as dynamic memory allocation and exceptions. Secure compilation of first-order method references, cross-package inheritance, and inner classes is also presented. Moreover, this article contains the formal proof of full abstraction of the compilation scheme. Measurements of the overhead introduced by the compilation scheme indicate that it is negligible.
Diplomová práca sa zameriava na tvorbu nástroja pre automatizované integračné testovanie pre vybranú spoločnosť. Cieľom tohto nástroja je detekcia a reportovanie dátových z...
详细信息
Diplomová práca sa zameriava na tvorbu nástroja pre automatizované integračné testovanie pre vybranú spoločnosť. Cieľom tohto nástroja je detekcia a reportovanie dátových zmien, ktoré mohli nastať počas vývoja softvéru pri upravovaní jeho databázovej schémy. Takáto automatizácia detekcie dátových zmien prináša spoločnosti množstvo benefitov. Nástroj je implementovaný v programovacom jazyku C#, ktorý umožňuje objektovo orientované programovanie, s použitím softvéru Microsoft Visual Studio Community 2019. Vzhľadom na prácu nástroja nad Microsoft SQL Server databázou bol pri jeho implementácii využitý Entity Framework, ktorý zabezpečuje objektovo-relačné mapovanie.
We present a Matlab object-oriented implementation of an efficient variable-node extended finite element method (XFEM) for multiple crack growth simulation in brittle materials. To enhance the accuracy of the present ...
详细信息
We present a Matlab object-oriented implementation of an efficient variable-node extended finite element method (XFEM) for multiple crack growth simulation in brittle materials. To enhance the accuracy of the present method, not only the local mesh refinement strategy is used, but also the variable-node elements are adopted to directly link different scale elements, saving the computational cost. In order to efficiently conduct coalescence detection, a modification is also presented. A stability analysis is performed to determine active crack tips, and the crack length control scheme is employed to model multiple crack growth. Mesh is locally refined simultaneously with the extension of cracked area via a straightforward manner. A general computer program structure for the Matlab object-oriented programming code for the variable-node XFEM is described. All those desirable features of the present work are demonstrated through five numerical examples with branching in linear-elastic fracture mechanics. In addition, this work provides an efficient computer code written by Matlab programming language for computational fracture simulation, which is for educational and academic uses.
In the beginning, so our myths and stories tell us, the programmer created the program from the eternal nothingness of the void. In, this essay, we recognise that programs these days are like any other assemblage, and...
详细信息
In the beginning, so our myths and stories tell us, the programmer created the program from the eternal nothingness of the void. In, this essay, we recognise that programs these days are like any other assemblage, and suggest that in fact programming has always been about reuse. We also explore the nature of reuse, and claim that Components themselves are not the most important consideration for reuse;it is the end product, the composition. The issues still involve value, investment, and return. But pervasive reuse promotes a change in the method of construction of the program, and in the program itself.
Este trabalho tem por objetivo contribuir para o desenvolvimento de técnicas de Educação em Engenharia apresentando uma ferramenta de apoio ao Ensino/Aprendizagem de Sistemas Elétricos de Potê...
详细信息
Este trabalho tem por objetivo contribuir para o desenvolvimento de técnicas de Educação em Engenharia apresentando uma ferramenta de apoio ao Ensino/Aprendizagem de Sistemas Elétricos de Potência na forma de um software de interface amigável e baixo custo. O software desenvolvido em linguagem C++ segue os padrões de programação orientada a objetos e oferece ao usuário a resolução de fluxos de potência e simulações de casos de contingências transitórias com possibilidade de interatividade, apresentando resultados em ambiente gráfico. Desenvolvido para aplicação na área de Dinâmica e Estabilidade de Sistemas de Potência, suporta sistemas-exemplos clássicos do IEEE e também disponibiliza ao usuário ferramentas para personalização de arquivos de dados de entrada, tornando-se flexível e de fácil acesso aos casos já inseridos no sistema. O usuário também pode criar novos sistemas de acordo com suas necessidades. Os resultados são exibidos em forma numérica e também através de gráficos tridimensionais e animação, possibilitando fácil visualização de resultados, entendimento de fenômenos e análise de influências sobre o *** work presents a contribution to the development of Engineering Education techniques by means of a Teaching/Learning support tool for Electrical Power System studies resulting in a friendly low cost interface software. It was developed in C++ language and follows the pattern of objectorientedprogramming, offering to the user the resolution of load flow and digital simulations of transient stability with the possibility of interactivity, showing the results in a graphic environment. It was developed for use in applications of Static and Transient Power Systems Stability and it has enclosed classic sample-systems of IEEE and others and also allows the user to customize input data files. Then the tool is flexible and enables easy access to cases formerly inserted in the system. The user also can create new systems according to his needs. The m
Em vista da comum associação do professor com um modelo ou padrão a ser seguido, este trabalho evidencia a importância da figura docente em sala de aula e propõe a partir do estudo da aprendiz...
详细信息
Em vista da comum associação do professor com um modelo ou padrão a ser seguido, este trabalho evidencia a importância da figura docente em sala de aula e propõe a partir do estudo da aprendizagem e dos alunos sob diferentes perspectivas, a utilização de instrumentos complementares aos métodos tradicionalmente utilizados no ensino de engenharia. O conceito da aprendizagem é demonstrado conforme as propostas das escolas nova e tradicional. Os alunos, por sua vez, são definidos de acordo com os diversos estilos de aprendizagem e destaca-se que a maioria dos estudantes de engenharia possui natureza sensitiva. A importância de uma reflexão pedagógica é fortalecida com a verificação dos modelos mentais construídos pelos alunos, baseados na elaboração de imagens, principalmente quando submetidos a questões que envolvam fenômenos abstratos à percepção humana. A partir de então, é fornecida ao professor a possibilidade de buscar novas ferramentas e metodologias de ensino que melhorem o aprendizado, tais como modelos análogos e representações visuais, aplicando-as sempre que necessário, para que não se perca a comunicação professor-aluno e a escola mantenha atualizados seus paradigmas conforme a evolução tecnológica. Baseado nesta pesquisa, este trabalho resulta no desenvolvimento de um software educacional utilizando...As it is common the association of the professor with a model or pattern to be followed, this work evidences the importance of the master in the classroom and starting from the study of the learning processes and of the students behaviour under different perspectives proposes the use of complemental instruments to the traditional methods applied in the engineering teaching. The learning concept is demonstrated according to the proposals from new and traditional schools. The students are defined according to the several learning styles and stand out that most of the engineering students are sensors. The importance of a pedagogic reflection is reinforced with t
Software tools that support implicit parallel programming hold the key to reducing the complexity of parallel programming and realizing more ubiquitous parallel computation. This paper addresses the topic of implicit ...
详细信息
Software tools that support implicit parallel programming hold the key to reducing the complexity of parallel programming and realizing more ubiquitous parallel computation. This paper addresses the topic of implicit concurrent object-oriented programming. It presents a new language, SYMPAL, which unlike most existing COOP languages that provide explicit constructs for concurrency control, is based on a unification of object orientation and pure functional programming with the goals of supporting implicit programming and high efficiency in massively concurrent object-oriented programming. Extensive experience with SYMPAL applications on a parallel machine indicates that it achieves these goals.
Sharing analysis is used to statically discover data structures which may overlap in object-oriented programs. Using the abstract interpretation framework, we show that sharing analysis greatly benefits from linearity...
详细信息
Sharing analysis is used to statically discover data structures which may overlap in object-oriented programs. Using the abstract interpretation framework, we show that sharing analysis greatly benefits from linearity information. A variable is linear in a program state when different field paths starting from it always reach different objects. We propose a graph-based abstract domain which can represent aliasing, linearity, and sharing information and define all the necessary abstract operators for the analysis of a Java-like language.
The relationship between the generalised computational model of Term Graph Rewriting Systems (TGRS) and object-oriented programming (OOP) is explored and exploited by extending the TGRS model with records where access...
详细信息
The relationship between the generalised computational model of Term Graph Rewriting Systems (TGRS) and object-oriented programming (OOP) is explored and exploited by extending the TGRS model with records where access to parameters is done by naming rather than position. Records are then used as the basis for expressing object-oriented techniques such as object encapsulation and (various forms of) inheritance. The effect is that TGRS with records can now be used as an implementation model for a variety of (concurrent) object-oriented (functional, logic or otherwise) languages but also as a common formalism for comparing various related techniques (such as different forms of inheritance or approaches for providing solutions to problems caused by the combination of concurrency and interaction between objects).
暂无评论