BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

A utilização da informação contábil na atividade pecuária do Estado do Rio Grande do Norte: um enfoque nos demonstrativos gerados para tomada de decisão

This work deals with the cattle raising activity in Brasil, it´s importance for the stete of Rio Grande do Norte. A conceptual review is done regarding accounting information and considering it as an essencial input for economical and finantial decision making, related to the state cattle rainsing environment. It also aims to expose visions related to the role and the importance of Accounting as system that colects, treats and supplies managerial information. A brief historic of Accounting is done, emphasizing the Accounting Demonstration Structure and its use in the decision making process, as well as the contribution it has node for the cattle raising activity in Brazil. The research´s results show that accounting information is used partially in the finantial decision making process, and it is pointed out that the Inventory was the most relevant tool with 95,% of the cases, followed by the Income and Outlay reports with 85.0%,Production with 82,0% and Cost reports with 80,0%, the Demonstrative of the Cash Flow (DFC) with 82.5%, the Patrimonial Balance (PB) with 22.5%, and the Demonstrative of the Exercise Result (DER) with 20.0% of use. The research concludes that Accounting information is not throughly used in the economic and finantial decision making of the managers of cattle raising in the Rio Grande do Norte State, although, 95% of the sample consider then important. This may imply that there are diffilculties in measurement of the managerial decisions as well as the business whole

Avaliação econômica dos incentivos fiscais e financeiros: uma análise das empresas industriais têxteis localizadas no Rio Grande do Norte, no período de 1999 a 2003

This study has as main objective to verify the effect of the tax and financial incentives granted by the brazilian states, specially in the reduction of ICMS on the investment decision of the entities, which in the last years led to the companies to decide new projects in based on the region that presented the better infrastructure beyond lesser tributary expense. For in such was made an economic valuation of the companies with focus in the beneficiary s optics using an adaptation of the Discounted Cash Flow method to measure the impact of the tax incentives in the value of the companies, this study selected the textile industry segment located in the State of Rio Grande do Norte, Brazil. The results indicated that such incentives created addition in the value of the companies, however the inexistence of incentives would not be enough to a negative decision of investment in the Rio Grande do Norte. The smallest difference between the value with and without incentive observed was 8.9%, and the biggest 31.7%, and the average of value aggregation with the tax incentives represented 18.9%

Differential pulse voltammetric determination of nitrite with gold ultramicroelectrode

The application of disk shaped gold ultramicroelectrode for nitrite determination with and without addition of supporting electrolyte was studied using the differential pulse voltammetric method. The well-defined peak for nitrite oxidation near 0.8V (vs. Ag/AgCl reference electrode) was used to obtain analytical plots in the concentration range from 0.1 to 0.6 mmol L-1 and from 10.0 to 50.0 mu mol.L-1. The calculated detection limit was 0.65 mu mol.L-1 in purified water, in the absence of supporting electrolyte, with relative standard deviation of 1.36% (n=6) for analyzing 10.0 mu mol L-1 nitrite solutions, and accuracy of 100.9 %, based on recovery studies. The application of this analytical method to mineral and river water samples of natural pH also showed improved sensitivity when compared with the linear sweep voltammetric method previously reported.

Determination of lead in the absence of supporting electrolyte using carbon fiber ultramicroelectrode without mercury film

The determination of lead ions directly in water, for application in analysis of samples of environmental interest, was studied by electroanalytical techniques. Linear sweep anodic stripping voltammetry with a carbon fiber disk ultramicroelectrode (7.0 mu m in diameter), without mercury film, has been used for lead determination, by standard addition, in purified water in the absence of supporting electrolyte. The response was linear in the range from 10.0 to 50.0 mu g L-1, with a detection limit of 0.8 mu g L-1, for 300 s preconcentration time, at -1.2 V and 1.0 V s(-1) scan rate. The reliability of the analytical procedure was evaluated by precision using relative standard deviations (5.6%, for three repetitive stripping current measurements of solution with 10.0 mu g L-1 lead ions) and by the accuracy with recovery experiments (mean of 110.8%) for the same concentration.

A spectroelectrochemical study of the inhibition of the electrode process on copper by 2-mercaptobenzothiazole in ethanolic solutions

The effect of 2-mercaptobenzothiazole (MBT) on the corrosion of copper in ethanol-water mixture with 0.01 mol dm(-3) HClO4 was investigated by linear sweep voltammetry and surface enhanced Raman scattering spectroscopy. The linear sweep voltammetry for the copper electrode in the presence of MBT shows one anodic process associated with the oxidation of MBT, which leads to the formation of a film on the electrode. This film inhibits the anodic copper dissolution and cathodic hydrogen evolution reaction. SERS studies indicated that MBT oxidizes and forms polymeric complexes involving copper ions and the ionized form of thiol. (C) 1997 Elsevier B.V. Ltd.

Lobatto deferred correction for stiff two-point boundary value problems

An iterated deferred correction algorithm based on Lobatto Runge-Kutta formulae is developed for the efficient numerical solution of nonlinear stiff two-point boundary value problems. An analysis of the stability properties of general deferred correction schemes which are based on implicit Runge-Kutta methods is given and results which are analogous to those obtained for initial value problems are derived. A revised definition of symmetry is presented and this ensures that each deferred correction produces an optimal increase in order. Finally, some numerical results are given to demonstrate the superior performance of Lobatto formulae compared with mono-implicit formulae on stiff two-point boundary value problems. (C) 1998 Elsevier B.V. Ltd. All rights reserved.

First order reversal curve analysis of nanocrystalline Pd80Co20 alloy films

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Determination of isoniazid in human urine using screen-printed carbon electrode modified with poly-L-histidine

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Screen-Printed Carbon Electrode Modified with Poly-L-histidine Applied to Gold(III) Determination

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Copper determination in ethanol fuel samples by anodic stripping voltammetry at a gold microelectrode

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Microeletrodos: I. Construção e caracterização

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Determinação de zinco em álcool combustível opr voltametria de redissolução anódica

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Estudo eletroquímico de Fe[Fe(CN)5NO] em eletrodo de pasta de grafite

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Cafeicultura científica globalizada e as montanhas capixabas: a produção de caféarábica nas regiões do Caparaó e Serrana do Espírito Santo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)