Knowledge-based system on optimum design of liquid retaining structures with genetic algorithms

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.

A coupled knowledge-based expert system for design of liquid-retaining structures

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

New source-material for the socio-economic history of the Hindus of Goa

The Mhamai brothers were the suppliers of daily commodities / stationery to the viceroys / governors of Goa. Since late 18th century their agency house worked in partnership with several other trading houses all over the west coast of India. They also served as brokers for the French East India company in Goa during the critical period of anglo-french wars. The Mhamais were also revenue farmers, particularly customs and tobacco tax farming. I had the privilege of taking their family archives to the Xavier Centre of Historical Research in 1979 and making the history of the family known worldwide.

Risk assessment of exposure to multiple mycotoxins in food

Moulds may produce a diversity of toxins such as aflatoxins, ochratoxins, trichothecenes, zearalenone, fumonisins and others. Although toxicological, environmental and epidemiological studies have addressed the problem of these toxins one by one, more than one mycotoxin are found usually in the same contaminated food. Risk assessment for humans potentially exposed to multimycotoxins suffers very much from the lack of adequate food consumption data. Furthermore, for a given mycotoxin, synergism and antagonism with other mycotoxins, found in the same food commodities, are not taken into account. Aflatoxin B1 and ochratoxin A belong to the most frequently occurring mycotoxins. This has repeatedly been demonstrated, however, normally, the risk resulting from their simultaneous occurrence is not considered. A descriptive study was developed to monitor air fungal contamination in one hospital food unit.

Light pollution and energy efficiency: a case study of the village of Vialonga

Since industrialization and the formation of larger urban centers in the nineteenth century, pollution of the environment was always present in daily life in various ways, namely in the form of light. Light pollution can cause various consequences, both for humans and for their ecosystem, producing effects on environmental, social, economic and scientific level. In Portugal, the lighting is responsible for 3% of total electricity consumption, energy costs are in some cases more than 50% towards the costs incurred by municipalities with energy, checking-in recent years a trend similar to that improvement of illumination levels in the region (about 4 to 5% per year). Proper use of lighting brings many benefits both to the citizen and environment, since greater energy efficiency can contribute to reducing CO2 emissions, energy costs, as well as to decrease the use of resources not-renewable and/or contamination of renewable resources, which can occurs in the process of obtaining electricity. The present study has a main goal to analyze the illuminance levels associated to the public lighting of the village of Vialonga, Vila Franca de Xira (Portugal), to verify if it is efficient. The aim is also to relate the efficiency of street lighting with the existence of light pollution.

Sraffa on Fixed Capital, Money and the Phases of Capitalism

Copyright © 2014 Taylor & Francis.

Futuros financeiros: uma abordagem aos commodities de algodão

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Mestre José Carlos Pedro

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Evaluation of dynamic pass-through of carbon prices into electricity prices – a cointegrated VECM analysis

This paper addresses the impact of the CO2 opportunity cost on the wholesale electricity price in the context of the Iberian electricity market (MIBEL), namely on the Portuguese system, for the period corresponding to the Phase II of the European Union Emission Trading Scheme (EU ETS). In the econometric analysis a vector error correction model (VECM) is specified to estimate both long–run equilibrium relations and short–run interactions between the electricity price and the fuel (natural gas and coal) and carbon prices. The model is estimated using daily spot market prices and the four commodities prices are jointly modelled as endogenous variables. Moreover, a set of exogenous variables is incorporated in order to account for the electricity demand conditions (temperature) and the electricity generation mix (quantity of electricity traded according the technology used). The outcomes for the Portuguese electricity system suggest that the dynamic pass–through of carbon prices into electricity prices is strongly significant and a long–run elasticity was estimated (equilibrium relation) that is aligned with studies that have been conducted for other markets.

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Importance of hand germ contamination in health-care workers as possible carriers of nosocomial infections

The importance of hands in the transmission of nosocomial infection has been world wide admitted. However, it is difficult to induce this behavior in health-care workers. The aim of the present work was to point out the importance of hand bacteria colonization, the influence of hand washing and of patient physical examination. One hundred health-care workers were randomly divided in two groups: Group A without hand washing previous to patient physical examination or handling (PPE); group B with hand washing previous to PPE. Direct fingerprint samples in Columbia agar before and after PPE were obtained. The colonies were counted and identified by conventional techniques, and antibiograms according to NCCLS were performed. Before PPE group A participants showed a high number of bacteria regarding group B participants (73.9 Vs 20.7; p < 0.001); 44 out of 50 participants were carriers of potentially pathogen bacteria. No group B participants were carriers of potential pathogen bacteria before PPE. The latter group showed an increase in number of bacteria after PPE (20.7 CFU (before) Vs 115.9 CFU (after); p < 0.001). Sixteen group B participants were contaminated after PPE with potential pathogens such as S. aureus (50% of them meticillin resistant); Escherichia coli, Pseudomonas aeruginosa and Enterococcus faecalis, half of them multiresistant. We can conclude on the importance of these results to implement educational programs and to provide the health-care workers with the proper commodities to fulfill this practice.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic