Grammar-Guided Evolutionary Construction of Bayesian networks

This paper proposes the EvoBANE system. EvoBANE automatically generates Bayesian networks for solving special-purpose problems. EvoBANE evolves a population of individuals that codify Bayesian networks until it finds near optimal individual that solves a given classification problem. EvoBANE has the flexibility to modify the constraints that condition the solution search space, self-adapting to the specifications of the problem to be solved. The system extends the GGEAS architecture. GGEAS is a general-purpose grammar-guided evolutionary automatic system, whose modular structure favors its application to the automatic construction of intelligent systems. EvoBANE has been applied to two classification benchmark datasets belonging to different application domains, and statistically compared with a genetic algorithm performing the same tasks. Results show that the proposed system performed better, as it manages different complexity constraints in order to find the simplest solution that best solves every problem.

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Thermodynamic glass transition in a spin glass without time-reversal symmetry

Spin glasses are a longstanding model for the sluggish dynamics that appear at the glass transition. However, spin glasses differ from structural glasses in a crucial feature: they enjoy a time reversal symmetry. This symmetry can be broken by applying an external magnetic field, but embarrassingly little is known about the critical behavior of a spin glass in a field. In this context, the space dimension is crucial. Simulations are easier to interpret in a large number of dimensions, but one must work below the upper critical dimension (i.e., in d < 6) in order for results to have relevance for experiments. Here we show conclusive evidence for the presence of a phase transition in a four-dimensional spin glass in a field. Two ingredients were crucial for this achievement: massive numerical simulations were carried out on the Janus special-purpose computer, and a new and powerful finite-size scaling method.

Nature of the spin-glass phase at experimental length scales

We present a massive equilibrium simulation of the three-dimensional Ising spin glass at low temperatures. The Janus special-purpose computer has allowed us to equilibrate, using parallel tempering, L = 32 lattices down to T ≈ 0.64Tc. We demonstrate the relevance of equilibrium finite-size simulations to understand experimental non-equilibrium spin glasses in the thermodynamical limit by establishing a time-length dictionary. We conclude that non-equilibrium experiments performed on a time scale of one hour can be matched with equilibrium results on L ≈ 110 lattices. A detailed investigation of the probability distribution functions of the spin and link overlap, as well as of their correlation functions, shows that Replica Symmetry Breaking is the appropriate theoretical framework for the physically relevant length scales. Besides, we improve over existing methodologies to ensure equilibration in parallel tempering simulations.

Nonequilibrium spin glass dynamics with Janus

The out of equilibrium evolution for an Edwards‐Anderson spin glass is followed for a tenth of a second, a long enough time to let us make safe predictions about the behaviour at experimental scales. This work has been made possible by Janus, an FPGA based special purpose computer. We have thoroughly studied the spin glass correlation functions and the growth of the coherence length for L = 80 lattices in 3D. Our main conclusion is that these spin glasses follow noncoarsening dynamics, at least up to the experimentally relevant time scales.

Contribuição ao estudo do efeito de combinação de veículos de carga sobre pontes rodoviárias de concreto

O crescente desenvolvimento na indústria de transporte tornou-se um tema de pesquisa em diversos países, uma vez que as obras de arte especiais até então construídas não foram projetadas para as elevadas cargas atualmente transportadas. Mostra-se necessária uma reavaliação de como a ação do carregamento móvel é levada em consideração. Dessa forma, elaborou-se um estudo de normas e códigos de diversos países sobre o tema. Definem-se algumas combinações de veículos de cargas (CVCs) e analisam-se as conseqüências e a viabilidade do tráfego das mesmas. Essa análise é realizada através da comparação dos esforços solicitantes provocados pelas CVCs e pelos veículos previstos por normas em diversos sistemas estruturais e por meio da verificação da capacidade portante de um projeto típico. Objetivando-se encontrar uma solução que se adequasse à realidade brasileira, é elaborado um estudo sobre como outros países vêm tratando a questão das combinações de veículos de cargas especiais. Ao final do trabalho, constata-se a existência de CVCs que, apesar de atenderem às exigências estabelecidas pelo Conselho Nacional de Trânsito (CONTRAN), são incompatíveis com a as pontes da malha viária nacional.

Public acceptability of highway safety countermeasures. Volume IV: pedestrian safety. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Experimental field test of the model ice cream truck ordinance in Detroit. Final report.

National Highway Traffic Safety Administration, Office of Driver and Pedestrian Research, Washington, D.C.

Approaches to sharing knowledge in group problem structuring

Problem-structuring techniques are an integral aspect of 'Soft-OR'. SSM, SAST, Strategic Choice, and JOURNEY Making, all depend for their success on a group developing a shared view of a problem through some form of explicit modelling. The negotiated problem structure becomes the basis for problem resolution. Implicit to this process is an assumption that members of the group share and build their knowledge about the problem domain. This paper explores the extent to which this assumption is reasonable. The research is based on detailed records from the use of JOURNEY Making, where it has used special purpose Group Support software to aid the group problem structuring. This software continuously tracks the contributions of each member of the group and thus the extent to which they appear to be 'connecting' and augmenting their own knowledge with that of other members of the group. Software records of problem resolution in real organisational settings are used to explore the sharing of knowledge among senior managers. These explorations suggest a typology of knowledge sharing. The implications of this typology for problem structuring and an agenda for future research are considered.

Computer aided design and manufacture of form-rolls

Cold roll forming of thin-walled sections is a very useful process in the sheet metal industry. However, the conventional method for the design and manufacture of form-rolls, the special tooling used in the cold roll forming process, is a very time consuming and skill demanding exercise. This thesis describes the establishment of a stand-alone minicomputer based CAD/CAM system for assisting the design and manufacture of form-rolls. The work was undertaken in collaboration with a leading manufacturer of thin-walled sections. A package of computer programs have been developed to provide computer aids for every aspect of work in form-roll design and manufacture. The programs have been successfully implemented, as an integrated CAD/CAM software system, on the ICL PERQ minicomputer with graphics facilities. Thus, the developed CAD/CAM system is a single-user workstation, with software facilities to help the user to perform the conventional roll design activities including the design of the finished section, the flower pattern, and the form-rolls. A roll editor program can then be used to modify, if required, the computer generated roll profiles. As far as manufacturing is concerned, a special-purpose roll machining program and postprocessor can be used in conjunction to generate the NC control part-programs for the production of form-rolls by NC turning. Graphics facilities have been incorporated into the CAD/CAM software programs to display drawings interactively on the computer screen throughout all stages of execution of the CAD/CAM software. It has been found that computerisation can shorten the lead time in all activities dealing with the design and manufacture of form-rolls, and small or medium size manufacturing companies can gain benefits from the CAD/CM! technology by developing, according to its own specification, a tailor-made CAD/CAM software system on a low cost minicomputer.

Evolutionary Technique of Shorter Route Determination of Fire Brigade Following to Fire Place with the Optimized Space of Search

In this paper the technique of shorter route determination of fire engine to the fire place on time minimization criterion with the use of evolutionary modeling is offered. The algorithm of its realization on the base of complete and optimized space of search of possible decisions is explored. The aspects of goal function forming and program realization of method having a special purpose are considered. Experimental verification is executed and the results of comparative analysis with the expert conclusions are considered.

Visualising and controlling the flow in biomolecular systems at and between multiple scales:from atoms to hydrodynamics at different locations in time and space

A novel framework for modelling biomolecular systems at multiple scales in space and time simultaneously is described. The atomistic molecular dynamics representation is smoothly connected with a statistical continuum hydrodynamics description. The system behaves correctly at the limits of pure molecular dynamics (hydrodynamics) and at the intermediate regimes when the atoms move partly as atomistic particles, and at the same time follow the hydrodynamic flows. The corresponding contributions are controlled by a parameter, which is defined as an arbitrary function of space and time, thus, allowing an effective separation of the atomistic 'core' and continuum 'environment'. To fill the scale gap between the atomistic and the continuum representations our special purpose computer for molecular dynamics, MDGRAPE-4, as well as GPU-based computing were used for developing the framework. These hardware developments also include interactive molecular dynamics simulations that allow intervention of the modelling through force-feedback devices.

Community Development Districts: The entrepreneurial side of government

In an effort to reduce the cost and size of government public service delivery has become more decentralized, flexible and responsive. Public entrepreneurship entailed, among other things, the establishment of special-purpose governments to finance public services and carry out development projects. Community Development Districts (CDDs) are a type of special-purpose governments whose purpose is to manage and finance infrastructure improvements in the State of Florida. They have important implications for the way both growth management and service delivery occur in the United States. This study examined the role of CDDs for growth management policy and service delivery by analyzing the CDD profile and activity, the contribution of CDDs to the growth management and infrastructure development as well as the way CDD perceived pluses and minuses impact service delivery. The study used a mixed methods research approach, drawing on secondary data pertaining to CDD features and activity, semi-structured interviews with CDD representatives and public officials as well as on a survey of public officials within the counties and cities that have established CDDs. Findings indicated that the CDD institutional model is both a policy and a service delivery tool for infrastructure provision that can be adopted by states across the United States. Results showed that CDDs inhibit rather than foster growth management through their location choices, type and pattern of development. CDDs contributed to the infrastructure development in Florida by providing basic infrastructure services for the development they supported and by building and dedicating facilities to general-purpose governments. Districts were found to be both funding mechanisms and management tools for infrastructure services. The study also pointed to the fact that specialized governance is more responsive and more flexible but less effective than general-purpose governance when delivering services. CDDs were perceived as being favorable for developers and residents and not as favorable for general-purpose governments. Overall results indicated that the CDD is a flexible institutional mechanism for infrastructure delivery which has both advantages and disadvantages. Decision-makers should balance districts’ institutional flexibility with their unintended consequences for growth management when considering urban public policies.

Implications of FIN 46 for Accruals Quality and Investment Efficiency

The Financial Accounting Standards Board (FASB) issued Interpretation No. 46 (FIN 46), Consolidation of Variable Interest Entities – An Interpretation of ARB No. 51, in January 2003 and revised it in December 2003, with the objective to improve the transparency of financial information. Under FIN 46, companies are required to consolidate variable interest entities (VIEs) on financial statements if they are the primary beneficiaries of the VIEs. This dissertation empirically examines whether the implementation of this new financial reporting guidance affects firms’ accruals quality and investment efficiency. A manually collected sample comprised of firms affected by FIN 46 and firms disclosing no material impact from FIN 46 is used in the empirical analyses.The first part of the dissertation investigates the effects of FIN 46 on accruals quality. By using different accrual quality measures in prior studies, this study found that firms affected by FIN 46 experienced a decrease in accrual quality compared to firms reporting no material impact from FIN 46. Among the firms affected by FIN 46, firms consolidating VIEs were compared with firms terminating or restructuring VIEs. The accruals quality of firms consolidating VIEs was found to be lower than that of firms terminating or restructuring VIEs. These results are consistent in tests using alternative control samples.The second part of this dissertation examines the effects of FIN 46 on investment efficiency. Mixed results were found from using two different proxies used in prior literature. Using the investment-cash flow sensitivity to proxy for investment efficiency, firms affected by FIN 46 experienced a decrease in investment efficiency compared to firms reporting no material impact. It was also found that higher investment-cash flow sensitivity for firms consolidating VIEs during post-FIN 46 periods compared to both the no-impact firms and the matched pair control sample. Contrasting results were found when the deviation from expected investment is used as another proxy for investment efficiency. Empirical analyses show that FIN 46 firms experienced improved investment efficiency measured by the deviation from expected investment after their adoption of FIN 46. This study also provides explanations for the opposite results from the two different proxies.

A low overhead error confinement method based on application statistical characteristics

Reliability has emerged as a critical design constraint especially in memories. Designers are going to great lengths to guarantee fault free operation of the underlying silicon by adopting redundancy-based techniques, which essentially try to detect and correct every single error. However, such techniques come at a cost of large area, power and performance overheads which making many researchers to doubt their efficiency especially for error resilient systems where 100% accuracy is not always required. In this paper, we present an alternative method focusing on the confinement of the resulting output error induced by any reliability issues. By focusing on memory faults, rather than correcting every single error the proposed method exploits the statistical characteristics of any target application and replaces any erroneous data with the best available estimate of that data. To realize the proposed method a RISC processor is augmented with custom instructions and special-purpose functional units. We apply the method on the proposed enhanced processor by studying the statistical characteristics of the various algorithms involved in a popular multimedia application. Our experimental results show that in contrast to state-of-the-art fault tolerance approaches, we are able to reduce runtime and area overhead by 71.3% and 83.3% respectively.