Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.

XSophe, a computer simulation software suite for the analysis of electron paramagnetic resonance spectra

The XSophe computer simulation software suite consisting of a daemon, the XSophe interface and the computational program Sophe is a state of the art package for the simulation of electron paramagnetic resonance spectra. The Sophe program performs the computer simulation and includes a number of new technologies including; the SOPHE partition and interpolation schemes, a field segmentation algorithm, homotopy, parallelisation and spectral optimisation. The SOPHE partition and interpolation scheme along with a field segmentation algorithm greatly increases the speed of simulations for most systems. Multidimensional homotopy provides an efficient method for accurately tracing energy levels and hence tracing transitions in the presence of energy level anticrossings and looping transitions and allowing computer simulations in frequency space. Recent enhancements to Sophe include the generalised treatment of distributions of orientational parameters, termed the mosaic misorientation linewidth model and a faster more efficient algorithm for the calculation of resonant field positions and transition probabilities. For complex systems the parallelisation enables the simulation of these systems on a parallel computer and the optimisation algorithms in the suite provide the experimentalist with the possibility of finding the spin Hamiltonian parameters in a systematic manner rather than a trial-and-error process. The XSophe software suite has been used to simulate multifrequency EPR spectra (200 MHz to 6 00 GHz) from isolated spin systems (S > ~½) and coupled centres (Si, Sj _> I/2). Griffin, M.; Muys, A.; Noble, C.; Wang, D.; Eldershaw, C.; Gates, K.E.; Burrage, K.; Hanson, G.R."XSophe, a Computer Simulation Software Suite for the Analysis of Electron Paramagnetic Resonance Spectra", 1999, Mol. Phys. Rep., 26, 60-84.

O PAPEL MODERADOR DE ESTILOS DE LIDERANÇA NA RELAÇÃO ENTRE PERCEPÇÃO DE SUPORTE ORGANIZACIONAL E COMPROMETIMENTO ORGANIZACIONAL AFETIVO: UM ESTUDO COM TRABALHADORES DA REGIÃO SUDESTE DO BRASIL

Esta dissertação teve como objetivo geral analisar as relações entre estilos de liderança, percepção de suporte organizacional e comprometimento organizacional afetivo em trabalhadores. Participaram da pesquisa 263 trabalhadores que atuam na Região Sudeste do Brasil (Rio de Janeiro e São Paulo) em organizações não governamentais, públicas e privadas. Como instrumento para coleta de dados foi utilizado um questionário de autopreenchimento composto de três escalas que mediram as variáveis da pesquisa. O estudo se propôs a apresentar, interpretar e discutir as relações entre as variáveis, como também, testar as hipóteses referentes ao modelo conceitual proposto, por meio de uma pesquisa de natureza transversal com abordagem quantitativa, cujos dados coletados foram analisados por aplicação de técnicas estatísticas paramétricas (cálculos de estatísticas descritivas: médias, desvio padrão, teste t e correlações; cálculos de estatísticas multivariadas: análises de regressões lineares múltiplas hierárquicas). O tratamento e análise dos dados foram realizados pelo software estatístico Statistical Package for the Social Science SPSS, versão 18.0 para Windows. Os resultados obtidos demonstraram que a variável percepção de suporte organizacional exerce forte e significativo impacto sobre comprometimento organizacional afetivo, enquanto que a variável estilos de liderança não consegue aumentar nem diminuir a força. A pesquisa possibilitou concluir pela adequação parcial do modelo testado visto ser a variável estilos de liderança um moderador frágil da relação entre percepção de suporte organizacional e comprometimento organizacional afetivo.

BEM-ESTAR NO TRABALHO E PERCEPÇÃO DE SUCESSO NA CARREIRA COMO ANTECEDENTES DE INTENÇÃO DE ROTATIVIDADE.

O objetivo geral deste estudo foi analisar, interpretar e discutir as relações entre as percepções de sucesso na carreira, bem-estar no trabalho e a intenção de rotatividade em trabalhadores da Região Sudeste do Brasil. Participaram desta pesquisa 500 trabalhadores que atuam no estado de São Paulo em organizações não governamentais, públicas e privadas. Como instrumento para coleta de dados foi utilizado um questionário de autopreenchimento composto de cinco escalas que mediram as variáveis da pesquisa. A presente pesquisa se propôs a apresentar, interpretar e discutir as relações entre as variáveis, como também, testar as hipóteses referentes ao modelo conceitual proposto, por meio de uma pesquisa de natureza transversal com abordagem quantitativa, cujos dados coletados foram analisados por aplicação de técnicas estatísticas paramétricas (cálculos de estatísticas descritivas: médias, desvio padrão, teste t e correlações; cálculos de estatísticas multivariadas: análise de regressão linear múltipla stepwise e teste da normalidade das variáveis, por meio do teste de Kolmogorov-Smirnov). O tratamento e análise dos dados foram realizados pelo software estatístico Statistical Package for the Social Science SPSS, versão 18.0 para Windows. Os resultados obtidos demonstraram que as dimensões de bem-estar no trabalho exercem forte e significativo impacto sobre a intenção de rotatividade dos profissionais, enquanto que a percepção de sucesso na carreira contribuiu com valores baixos neste impacto, devido ao formato do modelo hipotético. A pesquisa possibilitou concluir que quanto mais a empresa se preocupa em proporcionar um ambiente de trabalho que seja animador, interessante e que cause entusiasmo, menos os profissionais pensarão em deixá-la.

RELAÇÕES ENTRE PERCEPÇÃO DE SUCESSO NA CARREIRA, BEM-ESTAR NO TRABALHO E DESEMPENHO

Esta dissertação tem por objetivo geral analisar as relações entre percepção de sucesso na carreira, bem-estar no trabalho e desempenho de professores de ensino a distância (EaD). Para tanto, realizamos uma pesquisa por meio de um questionário de autopreenchimento para a coleta de dados com 128 professores da EaD de uma instituição superior particular situada no estado do Rio de Janeiro. Para a discussão e busca dos resultados das análises dos dados foi utilizado o software estatístico SPSS Statistical Package for the Social Science, versão 18.0 para Windows. Foram calculadas médias; desvios padrão; índices de correlação (r de Pearson); e diferenças entre médias (t de student). Os resultados indicam, por meio das respostas aos instrumentos aplicados, que os professores de EaD tiveram sucesso na carreira docente tão proporcional às demais variáveis e que é possível constatar que os professores de EaD pesquisados apresentam níveis elevados de bem-estar no trabalho em suas dimensões (satisfação no trabalho, envolvimento no trabalho e comprometimento organizacional afetivo) pois, estão satisfeitos em seus trabalhos e muito comprometidos afetivamente com a instituição de ensino e por fim, confirmam a tendência na ocorrência de níveis consideráveis de desempenho. Portanto, conclui-se que em relação à percepção de sucesso na carreira, ao bem estar no trabalho, e ao desempenho, os professores estudados estão satisfeitos com sua atuação profissional da educação a distância, sendo que as dimensões de bem-estar são as preferidas dos pesquisadores, pois apresentam variáveis positivas e significativas sobre os demais constructos desta pesquisa.

O IMPACTO DA ESPIRITUALIDADE NO TRABALHO E DE PERCEPÇÃO DE SAÚDE ORGANIZACIONAL SOBRE COMPORTAMENTOS DE CIDADANIA ORGANIZACIONAL

Cada vez mais o fator humano está em evidência no mercado competitivo e globalizado. Por isso, constantemente, as empresas se preocupam com a qualidade do trabalho, para que seus colaboradores sintam prazer em sua realização, não sendo tão agredidos pelas pressões do dia a dia. Nesse contexto, esta dissertação teve como objetivo geral analisar as relações entre espiritualidade no trabalho, percepção de saúde organizacional e comportamentos de cidadania organizacional entre professores universitários. Participaram deste estudo 82 trabalhadores de ambos os sexos, com idade entre 28 e 63 anos, os quais atuam no Estado de São Paulo em Instituições de Ensino Superior públicas e privadas. Como instrumento para coleta de dados foi utilizado um questionário de autopreenchimento composto de três escalas que mediram as variáveis da pesquisa. Assim, o estudo se propôs a apresentar, interpretar e discutir as relações entre as variáveis, como também, testar hipóteses referentes ao modelo conceitual proposto, por meio de uma pesquisa com abordagem quantitativa, cujos dados coletados foram analisados por aplicação de técnicas estatísticas paramétricas (cálculo de estatísticas descritivas: médias, desvios padrão, índice de precisão de medidas, teste t e correlações; cálculos de estatísticas multivariadas: regressão linear múltipla padrão. A análise dos dados foi realizada pelo software estatístico Statistical Package for the Social Science SPSS, versão 19.0 para Windows. Os resultados obtidos demonstraram que dentre as três dimensões de comportamentos de cidadania organizacional, apenas duas divulgação da imagem da organização e cooperação com os colegas receberam impacto positivo de percepção de saúde organizacional e espiritualidade no trabalho. Para estas duas classes de ações de cidadania organizacional ficou mais evidenciado o poder de impacto no trabalho. O estudo possibilitou concluir que ações de sugestões criativas realizadas pelos empregados, não sofre influências do quanto eles acreditam que a empresa tem uma saúde satisfatória e do quanto eles vivenciam, ou não, a espiritualidade no ambiente organizacional.

O IMPACTO DE PERCEPÇÃO DE SUPORTE ORGANIZACIONAL E COMPROMETIMENTO ORGANIZACIONAL AFETIVO SOBRE A INTENÇÃO DE ROTATIVIDADE

O objetivo geral deste estudo foi analisar, interpretar e discutir as relações entre a percepção de suporte organizacional, comprometimento organizacional afetivo e intenção de rotatividade e os efeitos das variáveis: gênero, idade, tempo de trabalho e chefia sobre a intenção de rotatividade. Participaram deste estudo 132 trabalhadores que atuam no estado de São Paulo em organizações públicas e privadas. Como instrumento para a coleta de dados foi utilizado um questionário de autopreenchimento composto por três escalas que mediram as variáveis. A presente pesquisa se propôs a apresentar, interpretar e discutir as relações entre as variáveis, como também, testar as hipóteses referentes ao modelo conceitual proposto, por meio de uma pesquisa de natureza transversal com abordagem quantitativa, cujos dados coletados foram analisados por aplicação de técnicas estatísticas paramétricas (cálculos de estatísticas descritivas: médias, desvio padrão, teste t student, correlações e cálculos de estatísticas multivariadas: analise da regressão múltipla hierárquica). O tratamento e análise dos dados foram realizados pelo software estatístico Statistical Package for Social Science SPSS, versão 19.0 para Windows. Os resultados obtidos demonstraram que percepção de suporte organizacional e o comprometimento organizacional são preditores diretos de intenção de rotatividade. As variáveis: gênero, idade, tempo de trabalho e chefia não apresentaram coeficientes de regressão significantes, portanto não é possível afirmar que são antecedentes de intenção de rotatividade. Os resultados foram discutidos à luz da literatura da área, tendo sido comparados com resultados de outros estudos empíricos.

Linking the witness simulation software to an expert system to represent a decision-making process

Expert systems, and artificial intelligence more generally, can provide a useful means for representing decision-making processes. By linking expert systems software to simulation software an effective means of including these decision-making processes in a simulation model can be achieved. This paper demonstrates how a commercial-off-the-shelf simulation package (Witness) can be linked to an expert systems package (XpertRule) through a Visual Basic interface. The methodology adopted could be used for models, and possibly software, other than those presented here.

A biography:fabrications in the life of an ERP package

This paper provides an account of the way Enterprise Resource Planning (ERP) systems change over time. These changes are conceptualized as a biographical accumulation that gives the specific ERP technology its present character, attributes and historicity. The paper presents empirics from the implementation of an ERP package within an Australasian organization. Changes to the ERP take place as a result of imperatives which arise during the implementation. Our research and evidence then extends to a different time and place where the new release of the ERP software was being 'sold' to client firms in the UK. We theorize our research through a lens based on ideas from actor network theory (ANT) and the concept of biography. The paper seeks to contribute an additional theorization for ANT studies that places the focus on the technological object and frees it from the ties of the implementation setting. The research illustrates the opportunistic and contested fabrication of a technological object and emphasizes the stability as well as the fluidity of its technologic. Copyright © 2007 SAGE.

A semantic modelling approach to knowledge based statistical software

The topic of this thesis is the development of knowledge based statistical software. The shortcomings of conventional statistical packages are discussed to illustrate the need to develop software which is able to exhibit a greater degree of statistical expertise, thereby reducing the misuse of statistical methods by those not well versed in the art of statistical analysis. Some of the issues involved in the development of knowledge based software are presented and a review is given of some of the systems that have been developed so far. The majority of these have moved away from conventional architectures by adopting what can be termed an expert systems approach. The thesis then proposes an approach which is based upon the concept of semantic modelling. By representing some of the semantic meaning of data, it is conceived that a system could examine a request to apply a statistical technique and check if the use of the chosen technique was semantically sound, i.e. will the results obtained be meaningful. Current systems, in contrast, can only perform what can be considered as syntactic checks. The prototype system that has been implemented to explore the feasibility of such an approach is presented, the system has been designed as an enhanced variant of a conventional style statistical package. This involved developing a semantic data model to represent some of the statistically relevant knowledge about data and identifying sets of requirements that should be met for the application of the statistical techniques to be valid. Those areas of statistics covered in the prototype are measures of association and tests of location.

GIS linked environmental process models

In recent years there has been a great effort to combine the technologies and techniques of GIS and process models. This project examines the issues of linking a standard current generation 2½d GIS with several existing model codes. The focus for the project has been the Shropshire Groundwater Scheme, which is being developed to augment flow in the River Severn during drought periods by pumping water from the Shropshire Aquifer. Previous authors have demonstrated that under certain circumstances pumping could reduce the soil moisture available for crops. This project follows earlier work at Aston in which the effects of drawdown were delineated and quantified through the development of a software package that implemented a technique which brought together the significant spatially varying parameters. This technique is repeated here, but using a standard GIS called GRASS. The GIS proved adequate for the task and the added functionality provided by the general purpose GIS - the data capture, manipulation and visualisation facilities - were of great benefit. The bulk of the project is concerned with examining the issues of the linkage of GIS and environmental process models. To this end a groundwater model (Modflow) and a soil moisture model (SWMS2D) were linked to the GIS and a crop model was implemented within the GIS. A loose-linked approach was adopted and secondary and surrogate data were used wherever possible. The implications of which relate to; justification of a loose-linked versus a closely integrated approach; how, technically, to achieve the linkage; how to reconcile the different data models used by the GIS and the process models; control of the movement of data between models of environmental subsystems, to model the total system; the advantages and disadvantages of using a current generation GIS as a medium for linking environmental process models; generation of input data, including the use of geostatistic, stochastic simulation, remote sensing, regression equations and mapped data; issues of accuracy, uncertainty and simply providing adequate data for the complex models; how such a modelling system fits into an organisational framework.

The dynamics and control of a remotely piloted plan-symmetric helicopter

Prior to the development of a production standard control system for ML Aviation's plan-symmetric remotely piloted helicopter system, SPRITE, optimum solutions to technical requirements had yet to be found for some aspects of the work. This thesis describes an industrial project where solutions to real problems have been provided within strict timescale constraints. Use has been made of published material wherever appropriate, new solutions have been contributed where none existed previously. A lack of clearly defined user requirements from potential Remotely Piloted Air Vehicle (RPAV) system users is identified, A simulation package is defined to enable the RPAV designer to progress with air vehicle and control system design, development and evaluation studies and to assist the user to investigate his applications. The theoretical basis of this simulation package is developed including Co-axial Contra-rotating Twin Rotor (CCTR), six degrees of freedom motion, fuselage aerodynamics and sensor and control system models. A compatible system of equations is derived for modelling a miniature plan-symmetric helicopter. Rigorous searches revealed a lack of CCTR models, based on closed form expressions to obviate integration along the rotor blade, for stabilisation and navigation studies through simulation. An economic CCTR simulation model is developed and validated by comparison with published work and practical tests. Confusion in published work between attitude and Euler angles is clarified. The implementation of package is discussed. dynamic adjustment of assessment. the theory into a high integrity software Use is made of a novel technique basing the integration time step size on error Simulation output for control system stability verification, cross coupling of motion between control channels and air vehicle response to demands and horizontal wind gusts studies are presented. Contra-Rotating Twin Rotor Flight Control System Remotely Piloted Plan-Symmetric Helicopter Simulation Six Degrees of Freedom Motion ( i i)

Ophthalmic engineering:the development of novel instrumentation to further research in the field

The principle theme of this thesis is the advancement and expansion of ophthalmic research via the collaboration between professional Engineers and professional Optometrists. The aim has been to develop new and novel approaches and solutions to contemporary problems in the field. The work is sub divided into three areas of investigation; 1) High technology systems, 2) Modification of current systems to increase functionality, and 3) Development of smaller more portable and cost effective systems. High Technology Systems: A novel high speed Optical Coherence Tomography (OCT) system with integrated simultaneous high speed photography was developed achieving better operational speed than is currently available commercially. The mechanical design of the system featured a novel 8 axis alignment system. A full set of capture, analysis, and post processing software was developed providing custom analysis systems for ophthalmic OCT imaging, expanding the current capabilities of the technology. A large clinical trial was undertaken to test the dynamics of contact lens edge interaction with the cornea in-vivo. The interaction between lens edge design, lens base curvature, post insertion times and edge positions was investigated. A novel method for correction of optical distortion when assessing lens indentation was also demonstrated. Modification of Current Systems: A commercial autorefractor, the WAM-5500, was modified with the addition of extra hardware and a custom software and firmware solution to produce a system that was capable of measuring dynamic accommodative response to various stimuli in real time. A novel software package to control the data capture process was developed allowing real time monitoring of data by the practitioner, adding considerable functionality of the instrument further to the standard system. The device was used to assess the accommodative response differences between subjects who had worn UV blocking contact lens for 5 years, verses a control group that had not worn UV blocking lenses. While the standard static measurement of accommodation showed no differences between the two groups, it was determined that the UV blocking group did show better accommodative rise and fall times (faster), thus demonstrating the benefits of the modification of this commercially available instrumentation. Portable and Cost effective Systems: A new instrument was developed to expand the capability of the now defunct Keeler Tearscope. A device was developed that provided a similar capability in allowing observation of the reflected mires from the tear film surface, but with the added advantage of being able to record the observations. The device was tested comparatively with the tearscope and other tear film break-up techniques, demonstrating its potential. In Conclusion: This work has successfully demonstrated the advantages of interdisciplinary research between engineering and ophthalmic research has provided new and novel instrumented solutions as well as having added to the sum of scientific understanding in the ophthalmic field.

Intonation contour realisation for Standard Yorùbá text-to-speech synthesis:a fuzzy computational approach

This paper presents a novel intonation modelling approach and demonstrates its applicability using the Standard Yorùbá language. Our approach is motivated by the theory that abstract and realised forms of intonation and other dimensions of prosody should be modelled within a modular and unified framework. In our model, this framework is implemented using the Relational Tree (R-Tree) technique. The R-Tree is a sophisticated data structure for representing a multi-dimensional waveform in the form of a tree. Our R-Tree for an utterance is generated in two steps. First, the abstract structure of the waveform, called the Skeletal Tree (S-Tree), is generated using tone phonological rules for the target language. Second, the numerical values of the perceptually significant peaks and valleys on the S-Tree are computed using a fuzzy logic based model. The resulting points are then joined by applying interpolation techniques. The actual intonation contour is synthesised by Pitch Synchronous Overlap Technique (PSOLA) using the Praat software. We performed both quantitative and qualitative evaluations of our model. The preliminary results suggest that, although the model does not predict the numerical speech data as accurately as contemporary data-driven approaches, it produces synthetic speech with comparable intelligibility and naturalness. Furthermore, our model is easy to implement, interpret and adapt to other tone languages.

A Practical Case of Software Localization after System Development

Internationalization of software as a previous step for localization is usually taken into account during early phases of the life-cycle of software development. However, the need to adapt software applications into different languages and cultural settings can appear once the application is finished and even in the market. In these cases, software localization implies a high cost of time and resources. This paper shows a real case of a existent software application, designed and developed without taking into account future necessities of localization, whose architecture and source code were modified to include the possibility of straightforward adaptation into new languages. The use of standard languages and advanced programming languages has permitted the authors to adapt the software in a simple and straightforward mode.