Kolme kaupallista analyysiohjelmaa ekologeille

Tietokoneohjelman arvostelu.

Exchange energy calculation of He-He with supermolecular one-matrix

Exch~nge energy of the He-He system is calculated using the one-density matrix which has been modified according to the supermolecular density formula quoted by Kolos. The exchange energy integrals are computed analytically and by the Monte Carlo method. The results obtained from both ways compared favourably,with the results obtained from the SCF program HONDO

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant

L’apprentissage machine est un vaste domaine où l’on cherche à apprendre les paramètres de modèles à partir de données concrètes. Ce sera pour effectuer des tâches demandant des aptitudes attribuées à l’intelligence humaine, comme la capacité à traiter des don- nées de haute dimensionnalité présentant beaucoup de variations. Les réseaux de neu- rones artificiels sont un exemple de tels modèles. Dans certains réseaux de neurones dits profonds, des concepts "abstraits" sont appris automatiquement. Les travaux présentés ici prennent leur inspiration de réseaux de neurones profonds, de réseaux récurrents et de neuroscience du système visuel. Nos tâches de test sont la classification et le débruitement d’images quasi binaires. On permettra une rétroac- tion où des représentations de haut niveau (plus "abstraites") influencent des représentations à bas niveau. Cette influence s’effectuera au cours de ce qu’on nomme relaxation, des itérations où les différents niveaux (ou couches) du modèle s’interinfluencent. Nous présentons deux familles d’architectures, l’une, l’architecture complètement connectée, pouvant en principe traiter des données générales et une autre, l’architecture convolutionnelle, plus spécifiquement adaptée aux images. Dans tous les cas, les données utilisées sont des images, principalement des images de chiffres manuscrits. Dans un type d’expérience, nous cherchons à reconstruire des données qui ont été corrompues. On a pu y observer le phénomène d’influence décrit précédemment en comparant le résultat avec et sans la relaxation. On note aussi certains gains numériques et visuels en terme de performance de reconstruction en ajoutant l’influence des couches supérieures. Dans un autre type de tâche, la classification, peu de gains ont été observés. On a tout de même pu constater que dans certains cas la relaxation aiderait à apprendre des représentations utiles pour classifier des images corrompues. L’architecture convolutionnelle développée, plus incertaine au départ, permet malgré tout d’obtenir des reconstructions numériquement et visuellement semblables à celles obtenues avec l’autre architecture, même si sa connectivité est contrainte.

A Theory of Quantitative Inference Applied to a Mechanical Design Compiler

This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. Unlike programs for designing single components or systems, the program provides the designer with a high level "language" in which to compose new designs. It then performs some of the detailed design process. The process of "compilation" is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions. This allows the design compilation without the exhaustive enumeration of alternatives.

Búsqueda de selección en el polimorfismo 677C>T (c.665C>T) del gen de la metilentetrahidrofolato reductasa (MTHFR) en una población Colombiana

Se realizó un estudio genético – poblacional en dos grupos etarios de población colombiana con la finalidad de evaluar las diferencias genéticas relacionadas con el polimorfismo MTHFR 677CT en busca de eventos genéticos que soporten la persistencia de este polimorfismo en la especie humana debido que este ha sido asociado con múltiples enfermedades. De esta manera se genotipificaron los individuos, se analizaron los genotipos, frecuencias alélicas y se realizaron diferentes pruebas genéticas-poblacionales. Contrario a lo observado en poblaciones Colombianas revisadas se identificó la ausencia del Equilibrio Hardy-Weinberg en el grupo de los niños y estructuras poblacionales entre los adultos lo que sugiere diferentes historias demográficas y culturales entre estos dos grupos poblacionales al tiempo, lo que soporta la hipótesis de un evento de selección sobre el polimorfismo en nuestra población. De igual manera nuestros datos fueron analizados junto con estudios previos a nivel nacional y mundial lo cual sustenta que el posible evento selectivo es debido a que el aporte de ácido fólico se ha incrementado durante las últimas dos décadas como consecuencia de las campañas de fortificación de las harinas y suplementación a las embarazadas con ácido fólico, por lo tanto aquí se propone un modelo de selección que se ajusta a los datos encontrados en este trabajo se establece una relación entre los patrones nutricionales de la especie humana a través de la historia que explica las diferencias en frecuencias de este polimorfismo a nivel espacial y temporal.  

Computer assisted instruction for developing speech perception skills in profoundly deaf children

This paper evaluates the usefulness of the "Foundations in Speech Perception" computer program developed by Breakthrough, Inc. in conjunction with Central Institute for the Deaf.

A policy model for secure information flow

When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes a policy model to specify what information flow is permitted in a computational system. The security definition, which is based on a general notion of information lattices, allows various representations of information to be used in the enforcement of secure information flow in deterministic or nondeterministic systems. A flexible semantics-based analysis technique is presented, which uses the input-output relational model induced by an attacker's observational power, to compute the information released by the computational system. An illustrative attacker model demonstrates the use of the technique to develop a termination-sensitive analysis. The technique allows the development of various information flow analyses, parametrised by the attacker's observational power, which can be used to enforce what declassification policies.

Analytical Assessment of a Home Made Capillary Electrophoresis Equipment with Linear Charge Coupled Device for Visible Light Absorption Detection in the Determination of Food Dyes

The performance of modular home made capillary electrophoresis equipment with spectrophotometric detection, at a visible region by means of a miniaturized linear charge coupled device, was evaluated for the determination of four food dyes. This system presents a simple but efficient home made cell detection scheme. A computer program that converts the spectral data after each run into the electropherograms was developed to evaluate the analytical parameters. The dyes selected for analytical evaluation of the system were Brilliant Blue FCF, Fast Green FCF, Sunset Yellow FCF, and Amaranth. Separation was carried out in a 29cm length and 75 mu m I.D fused silica capillary, using 10mmolL-1 borate buffer at pH 9, with separation voltage of 7.5kV. The detection limits for the dyes were between 0.3 and 1.5mgL-1 and the method presented adequate linearity over the ranges studied, with correlation coefficients greater than 0.99. The method was applied for determination and quantification of these dyes in fruit juices and candies.

A computer study of the improvement of PV panel monthly outputs when the panel azimuth is changed thrice daily

The purpose of the calculations was to estimate the most suitable slopes and azimuths for three different positions per day of a solar panel in order to obtain the most possible energy from the PV panel compared with a stationary PV panel. The calculations were made in the computer program PV F-CHART.

Desenvolvimento de Modelos no Programa DigSILENT PowerFactoryTM para o Estudo de Estabilidade Transitória em Sistemas Elétricos de Potência com Aerogerador

This work presents a description of models development at DigSILENT PowerFactoryT M program for the transient stability study in power systems with wind turbine. The main goal is to make available means to use a dynamic simulation program in power systems, widely published, and utilize it as a tool that helps in programs results evaluations used for this intent. The process of simulations and analyses results starts after the models setting description phase. The results obtained by the DigSILENT PowerFactoryT M and ATP, program chosen to the validation also international recognized, are compared during this phase. The main tools and guide lines of PowerFactoryT M program use are presented here, directing these elements to the solution of the approached problem. For the simulation it is used a real system which it will be connected a wind farm. Two different technologies of wind turbines were implemented: doublyfed induction generator with frequency converter, connecting the rotor to the stator and to the grid, and synchronous wind generator with frequency converter, interconnecting the generator to the grid. Besides presenting the basic conceptions of dynamic simulation, it is described the implemented control strategies and models of turbine and converters. The stability of the wind turbine interconnected to grid is analyzed in many operational conditions, resultant of diverse kinds of disturbances

Maximização da penetração da geração distribuída através do algoritmo de otimização nuvem de partículas

This work develops a methodology for defining the maximum active power being injected into predefined nodes in the studied distribution networks, considering the possibility of multiple accesses of generating units. The definition of these maximum values is obtained from an optimization study, in which further losses should not exceed those of the base case, i.e., without the presence of distributed generation. The restrictions on the loading of the branches and voltages of the system are respected. To face the problem it is proposed an algorithm, which is based on the numerical method called particle swarm optimization, applied to the study of AC conventional load flow and optimal load flow for maximizing the penetration of distributed generation. Alternatively, the Newton-Raphson method was incorporated to resolution of the load flow. The computer program is performed with the SCILAB software. The proposed algorithm is tested with the data from the IEEE network with 14 nodes and from another network, this one from the Rio Grande do Norte State, at a high voltage (69 kV), with 25 nodes. The algorithm defines allowed values of nominal active power of distributed generation, in percentage terms relative to the demand of the network, from reference values

Análise preditiva a partir da caracterização das emissões gasosas e do óleo lubrificante em frotas com motorização a diesel

This work was motivated by the importance of conducting a study of vehicle emissions in captive fleets with diesel engine, coupled with the predictive maintenance plan. This type of maintenance includes techniques designed to meet the growing market demand to reduce maintenance costs by increasing the reliability of diagnoses, which has increased interest in automated predictive maintenance on diesel engines, preventing problems that might evolve into routine turn into serious situations, solved only with complex and costly repairs, the Reliability Centered Maintenance, will be the methodology that will make our goal is reached, beyond maintaining the vehicles regulated as fuel consumption and emissions. To Therefore, technical improvements were estimated capable of penetrating the automotive market and give the inshore fleet emission rates of opacity of the vehicles, being directly related to the conditions of the lubricating oil thus contributing to reducing maintenance costs by contributing significantly to emissions of pollutants and an improvement in the air in large cities. This criterion was adopted and implemented, em 241 buses and produced a diagnosis of possible failures by the correlation between the characterization of used lubricating oils and the analysis of opacity, with the objective of the aid the detection and solution of failures for the maintenance of sub-systems according to design criteria, and for this to be a deductive methodology to determine potential causes of failures, has been automated to implement a predictive maintenance system for this purpose was used in our study a mobile unit equipped with a opacimeter and a kit for collection and analysis of lubricating oil and the construction of the network diagnostics, we used a computer program in Microsoft Office Access 2007 platform tool is indispensable for creating a database data, this method is being used and successfully implemented in seven (7) bus companies from the city of Natal (RN) Brazil

Soliton parameters and chaotic sets

In this work we apply a nonperturbative approach to analyze soliton bifurcation ill the presence of surface tension, which is a reformulation of standard methods based on the reversibility properties of the system. The hypothesis is non-restrictive and the results can be extended to a much wider variety of systems. The usual idea of tracking intersections of unstable manifolds with some invariant set is again used, but reversibility plays an important role establishing in a geometrical point of view some kind of symmetry which, in a classical way, is unknown or nonexistent. Using a computer program we determine soliton solutions and also their bifurcations ill the space of parameters giving a picture of the chaotic structural distribution to phase and amplitude shift phenomena. (C) 2009 Published by Elsevier Ltd.

PhotoLin: a program to identify and analyze linear structures in aerial photographs, satellite images and maps

A computer program, PhotoLin, written for an IBM-PC-compatible microcomputer is described which detects linear features in aerial photographs, satellite images and topographic maps. The program accepts images saved to PCX files as input and applies noise correction and smoothing filters and thinning routines. The output consists of a skeleton containing the median lines of linear features which can be represented on a map. The branches of the skeleton can be broken into sections of constant length for which the mean orientations are obtained for the preparation of rose diagrams. (C) 2001 Elsevier B.V. Ltd. All rights reserved.