The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express their construction using symbolic ideas such as periodicity and Taylor series. Such an approach has many advantages: the code is closer to the mathematical basis of the function, less vulnerable to errors, and is trivially adaptable to various precisions.

<p> An examination of the Man-Machine interface as found in the Designers Computer aided optimization techniques OPTIPAC/OPTISEP is first presented. Several guidelines for the implementation of an improved interface using a time-shared computer system are then described. </p> <p> A graphic means of assessing the behaviour of an optimization problem's objective function and the various constraints acting upon it is then outlined in the form of the subroutine OPTPLOT. Several sample plots involving the optimization of system reliability are then generated using a conversational programming technique.</p> <p> The same programming technique is then applied to the OPTISEP series of subroutines and a demonstration of the system using the previous sample problem is included.</p> <p> A hypothetical, but truly interactive system is then postulated and the possibilities for its implementation at McMaster with the facilities presently available are outlined. </p> / Thesis / Master of Engineering (MEngr)

No description available.

Neste trabalho, propõe-se um modelo numérico-computacional representativo dos processos de tratamento térmico, que seja uma ferramenta eficiente e forneça meios para um entendimento efetivo do mecanismo de geração de tensões residuais durante a têmpera de aços. Foram investigados os fenômenos térmicos, mecânicos e de transformação de fase observados na têmpera, bem como o acoplamento entre esses três fenômenos. O modelo utiliza o Método dos Elementos Finitos (MEF) e o programa ABAQUS®, além de rotinas numéricas em FORTRAN responsáveis pela resolução do problema termo-mecânico-microestrutural acoplado. A utilização de sub-rotinas, que implementam uma alteração na formulação (matemática e numérica) do programa de Elementos Finitos, permite incluir no modelo as informações presentes em uma curva CRC (curva de resfriamento contínuo) do aço SAE 4140, implementando o cálculo de deformações da peça simulada de modo incremental e cumulativo. Os resultados mostram que a utilização das sub-rotinas desenvolvidas neste trabalho permitiu implementar, conjuntamente com o programa ABAQUS®, o cálculo das frações volumétricas, durezas, distorções e tensões que surgem em um tratamento térmico de têmpera, simulando as transformações martensítica, perlítica, bainítica e ferrítica. Os resultados dos modelos foram equivalentes aos relatados pela literatura, principalmente no que se refere às durezas e tensões associadas a cada transformação de fase. Em particular, os resultados indicam que a transformação martensítica está sempre associada à formação de tensões compressivas. Ensaios experimentais foram realizados a fim de validar os modelos computacionais propostos, utilizando-se um teste Jominy adaptado e instrumentado, de modo a permitir a amostragem da variação de temperaturas no material. Ensaios metalográficos permitiram correlacionar as frações volumétricas transformadas durante a têmpera do corpo de prova Jominy aos valores calculados pelo modelo numérico acoplado. / The objective of this work is to analyze residual strains and stresses and volumetric expansion due to phase transformations that occur during quenching of a steel body, as well as to predict these phase transformations. The coupled thermo-mechanical-phase transformation problem was analyzed, specifically in terms of the quenching process. Different computational models were presented, based on the finite element software ABAQUS® and on the use of FORTRAN subroutines. The continuous-cooling-transformation (CCT) diagrams of SAE 4140 steel are represented differently in each model, depending on the transformed phases and correspondent volumetric expansion. These subroutines include information from the CCT diagrams of SAE 4140 into a FORTRAN code. The subroutine calculates all the microstructures resulting from quenching (ferrite, pearlite, bainite, and martensite), depending on cooling rate. The numerical analysis conducted in this work provided results in terms of the temperature and stresses developed during quenching. The properties determined in this work are hardness, yield strength, volumetric fraction and distortion. Hardness has been predicted by the use of analytical equations. The finite element analyses were able to explain and reproduce phenomena observed during quenching of a steel cylinder. In particular, numerical results indicated that martensite formation is always related to a compressive stress field. The results of the models are in qualitative agreement with data provided by literature, particularly, in relation to the stresses originated by each different phase transformation during quenching process. Experimental testing was conducted, based on the analysis of the quenching of a Jominy probe, in order to validate the computational model developed in this work.

Neste trabalho, propõe-se um modelo numérico-computacional representativo dos processos de tratamento térmico, que seja uma ferramenta eficiente e forneça meios para um entendimento efetivo do mecanismo de geração de tensões residuais durante a têmpera de aços. Foram investigados os fenômenos térmicos, mecânicos e de transformação de fase observados na têmpera, bem como o acoplamento entre esses três fenômenos. O modelo utiliza o Método dos Elementos Finitos (MEF) e o programa ABAQUS®, além de rotinas numéricas em FORTRAN responsáveis pela resolução do problema termo-mecânico-microestrutural acoplado. A utilização de sub-rotinas, que implementam uma alteração na formulação (matemática e numérica) do programa de Elementos Finitos, permite incluir no modelo as informações presentes em uma curva CRC (curva de resfriamento contínuo) do aço SAE 4140, implementando o cálculo de deformações da peça simulada de modo incremental e cumulativo. Os resultados mostram que a utilização das sub-rotinas desenvolvidas neste trabalho permitiu implementar, conjuntamente com o programa ABAQUS®, o cálculo das frações volumétricas, durezas, distorções e tensões que surgem em um tratamento térmico de têmpera, simulando as transformações martensítica, perlítica, bainítica e ferrítica. Os resultados dos modelos foram equivalentes aos relatados pela literatura, principalmente no que se refere às durezas e tensões associadas a cada transformação de fase. Em particular, os resultados indicam que a transformação martensítica está sempre associada à formação de tensões compressivas. Ensaios experimentais foram realizados a fim de validar os modelos computacionais propostos, utilizando-se um teste Jominy adaptado e instrumentado, de modo a permitir a amostragem da variação de temperaturas no material. Ensaios metalográficos permitiram correlacionar as frações volumétricas transformadas durante a têmpera do corpo de prova Jominy aos valores calculados pelo modelo numérico acoplado. / The objective of this work is to analyze residual strains and stresses and volumetric expansion due to phase transformations that occur during quenching of a steel body, as well as to predict these phase transformations. The coupled thermo-mechanical-phase transformation problem was analyzed, specifically in terms of the quenching process. Different computational models were presented, based on the finite element software ABAQUS® and on the use of FORTRAN subroutines. The continuous-cooling-transformation (CCT) diagrams of SAE 4140 steel are represented differently in each model, depending on the transformed phases and correspondent volumetric expansion. These subroutines include information from the CCT diagrams of SAE 4140 into a FORTRAN code. The subroutine calculates all the microstructures resulting from quenching (ferrite, pearlite, bainite, and martensite), depending on cooling rate. The numerical analysis conducted in this work provided results in terms of the temperature and stresses developed during quenching. The properties determined in this work are hardness, yield strength, volumetric fraction and distortion. Hardness has been predicted by the use of analytical equations. The finite element analyses were able to explain and reproduce phenomena observed during quenching of a steel cylinder. In particular, numerical results indicated that martensite formation is always related to a compressive stress field. The results of the models are in qualitative agreement with data provided by literature, particularly, in relation to the stresses originated by each different phase transformation during quenching process. Experimental testing was conducted, based on the analysis of the quenching of a Jominy probe, in order to validate the computational model developed in this work.

This work describes methods of functions detection in decompilation. It contains basic information about reverse engineering and its applications in computer science and beyond. Decompiler developed by research group Lissom at FIT VUT Brno is introduced. The main objective is to elucidate several methods of functions detection, discuss their advantages and disadvantages, and identify the problems of functions detection. After detecting the start, end and body of function, it is needed to find the parameters and return values. There are some algorithms presented in this area. The output of this thesis is design and implementation of architecture independent function detection and parameter detection.

Large open-source software projects involve developers with a wide variety of backgrounds and expertise. Such software projects furthermore include many internal APIs that developers must understand and use properly. According to the intended purpose of these APIs, they are more or less frequently used, and used by developers with more or less expertise. In this paper, we study the impact of usage patterns and developer expertise on the rate of defects occurring in the use of internal APIs. For this preliminary study, we focus on memory management APIs in the Linux kernel, as the use of these has been shown to be highly error prone in previous work. We study defect rates and developer expertise, to consider e.g., whether widely used APIs are more defect prone because they are used by less experienced developers, or whether defects in widely used APIs are more likely to be fixed.

An important characteristic of Service-Oriented Architectures is that clients do not depend on the service implementation's internal assignment of methods to objects. It is perhaps the most important technical characteristic that differentiates them from more common object-oriented solutions. This characteristic makes clients and services malleable, allowing them to be rearranged at run-time as circumstances change. That improvement in malleability is impaired by requiring clients to direct service requests to particular services. Ideally, the clients are totally oblivious to the service structure, as they are to aspect structure in aspect-oriented software. Removing knowledge of a method implementation's location, whether in object or service, requires re-defining the boundary line between programming language and middleware, making clearer specification of dependence on protocols, and bringing the transaction-like concept of failure scopes into language semantics as well. This paper explores consequences and advantages of a transition from object-request brokering to service-request brokering, including the potential to improve our ability to write more parallel software.

Enforcing security policies to distributed systems is difficult, in particular, when a system contains untrusted components. We designed AspectKE*, a distributed AOP language based on a tuple space, to tackle this issue. In AspectKE*, aspects can enforce access control policies that depend on future behavior of running processes. One of the key language features is the predicates and functions that extract results of static program analysis, which are useful for defining security aspects that have to know about future behavior of a program. AspectKE* also provides a novel variable binding mechanism for pointcuts, so that pointcuts can uniformly specify join points based on both static and dynamic information about the program. Our implementation strategy performs fundamental static analysis at load-time, so as to retain runtime overheads minimal. We implemented a compiler for AspectKE*, and demonstrate usefulness of AspectKE* through a security aspect for a distributed chat system.