JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Otimização de uma metodologia para análise mineralógica racional de argilominerais

VARELA, M.L. et al. Otimização de uma metodologia para análise mineralógica racional de argilominerais. Cerâmica, São Paulo, n. 51, p. 387-391, 2005.

Otimização e análise mecânica de pastas geopoliméricas para uso em poços sujeitos à injeção cíclica de vapor

Oil wells subjected to cyclic steam injection present important challenges for the development of well cementing systems, mainly due to tensile stresses caused by thermal gradients during its useful life. Cement sheath failures in wells using conventional high compressive strength systems lead to the use of cement systems that are more flexible and/or ductile, with emphasis on Portland cement systems with latex addition. Recent research efforts have presented geopolymeric systems as alternatives. These cementing systems are based on alkaline activation of amorphous aluminosilicates such as metakaolin or fly ash and display advantageous properties such as high compressive strength, fast setting and thermal stability. Basic geopolymeric formulations can be found in the literature, which meet basic oil industry specifications such as rheology, compressive strength and thickening time. In this work, new geopolymeric formulations were developed, based on metakaolin, potassium silicate, potassium hydroxide, silica fume and mineral fiber, using the state of the art in chemical composition, mixture modeling and additivation to optimize the most relevant properties for oil well cementing. Starting from molar ratios considered ideal in the literature (SiO2/Al2O3 = 3.8 e K2O/Al2O3 = 1.0), a study of dry mixtures was performed,based on the compressive packing model, resulting in an optimal volume of 6% for the added solid material. This material (silica fume and mineral fiber) works both as an additional silica source (in the case of silica fume) and as mechanical reinforcement, especially in the case of mineral fiber, which incremented the tensile strength. The first triaxial mechanical study of this class of materials was performed. For comparison, a mechanical study of conventional latex-based cementing systems was also carried out. Regardless of differences in the failure mode (brittle for geopolymers, ductile for latex-based systems), the superior uniaxial compressive strength (37 MPa for the geopolymeric slurry P5 versus 18 MPa for the conventional slurry P2), similar triaxial behavior (friction angle 21° for P5 and P2) and lower stifness (in the elastic region 5.1 GPa for P5 versus 6.8 GPa for P2) of the geopolymeric systems allowed them to withstand a similar amount of mechanical energy (155 kJ/m3 for P5 versus 208 kJ/m3 for P2), noting that geopolymers work in the elastic regime, without the microcracking present in the case of latex-based systems. Therefore, the geopolymers studied on this work must be designed for application in the elastic region to avoid brittle failure. Finally, the tensile strength of geopolymers is originally poor (1.3 MPa for the geopolymeric slurry P3) due to its brittle structure. However, after additivation with mineral fiber, the tensile strength became equivalent to that of latex-based systems (2.3 MPa for P5 and 2.1 MPa for P2). The technical viability of conventional and proposed formulations was evaluated for the whole well life, including stresses due to cyclic steam injection. This analysis was performed using finite element-based simulation software. It was verified that conventional slurries are viable up to 204ºF (400ºC) and geopolymeric slurries are viable above 500ºF (260ºC)

Otimização do processo de síntese do aluminato de cobalto via método de polimerização de complexos (MPC) através do planejamento fatorial fracionado

In the ceramics industry are becoming more predominantly inorganic nature pigments. Studies in this area allow you to develop pigments with more advanced properties and qualities to be used in the industrial context. Studies on synthesis and characterization of cobalt aluminate has been widely researched, cobalt aluminate behavior at different temperatures of calcinations, highlighting especially the temperatures of 700, 800 and 900° C that served as a basis in the development of this study, using the method of polymerization of complex (CPM), economic, and this method applied in ceramic pigment synthesis. The procedure was developed from a fractional factorial design 2 (5-2) in order to optimize the process of realization of the cobalt aluminate (CoAl2O4), having as response surfaces the batch analysis data of Uv-vis spectroscopy conducted from the statistic software 7.0, for this were chosen five factors as input variables: citric acid (stoichiometric manner), puff or pyrolysis time (h), temperature (° C), and calcinations (° C/min), at levels determined for this study. By applying statistics in the process of obtaining the CoAl2O4 is possible the study of these factors and which may have greater influence in getting the synthesis. The pigments characterized TG/DSC analyses, and x-ray diffraction (XRD) and scanning electron microscope (SEM/EDS) in order to establish the structural and morphological aspects of pigment CoAl2O4, among the factors studied it were found to statically with increasing calcinations temperature 700°< 800 <900 °C, the bands of Uv-vis decrease with increasing intensity of absorbance and that with increasing time of puff or pyrolysis (h) there is an increase in bands of Uv-vis proportionally, the generated model set for the conditions proposed in this study because the coefficient of determination can explain about 99.9% of the variance (R²), response surfaces generated were satisfactory, so it s possible applicability in the ceramics industry of pigments

Estudo de massa cerâmica triaxial visando à otimização do ciclo de queima da indústria de cerâmica estrutural

Over recent years the structural ceramics industry in Brazil has found a very favorable market for growth. However, difficulties related to productivity and product quality are partially inhibiting this possible growth. An alternative for trying to solve these problems and, thus, provide the pottery industry the feasibility of full development, is the substitution of firewood used in the burning process by natural gas. In order to contribute to this process of technological innovation, this paper studies the effect of co-use of ceramic phyllite and kaolin waste on the properties of a clay matrix, verifying the possible benefits that these raw materials can give to the final product, as well as the possibility of such materials to reduce the heat load necessary to obtain products with equal or superior quality. The study was divided into two steps: characterization of materials and study of formulations. Two clays, a phyllite and a residue of kaolin were characterized by the following techniques: laser granulometry, plasticity index by Atterberg limits, X-ray fluorescence, X-ray diffraction, mineralogical composition by Rietveld, thermogravimetric and differential thermal analysis. To study the formulations, specifically for evaluation of technological properties of the parts, was performed an experimental model that combined planning involving a mixture of three components (standard mass x phyllite x kaolin waste) and a 23 factorial design with central point associated with thermal processing parameters. The experiment was performed with restricted strip-plot randomization. In total, 13 compositional points were investigated within the following constraints: phyllite ≤ 20% by weight, kaolin waste ≤ 40% by weight, and standard mass ≥ 60% by weight. The thermal parameters were used at the following levels: 750 and 950 °C to the firing temperature, 5 and 15 °C/min at the heating rate, 15 and 45min to the baseline. The results showed that the introduction of phyllite and/or kaolin waste in ceramic body produced a number of benefits in properties of the final product, such as: decreased absorption of water, apparent porosity and linear retraction at burn; besides the increase in apparent specific mass and mechanical properties of parts. The best results were obtained in the compositional points where the sum of the levels of kaolin waste and phyllite was maximal (40% by weight), as well as conditions which were used in firing temperatures of 950 °C. Regarding the prospect of savings in heat energy required to form the desired microstructure, the phyllite and the residue of kaolin, for having small particle sizes and constitutions mineralogical phases with the presence of fluxes, contributed to the optimization of the firing cycle.

Otimização de vazão de poços injetores em projeto de injeção de água utilizando simulação por linhas de fluxo

Until the early 90s, the simulation of fluid flow in oil reservoir basically used the numerical technique of finite differences. Since then, there was a big development in simulation technology based on streamlines, so that nowadays it is being used in several cases and it can represent the physical mechanisms that influence the fluid flow, such as compressibility, capillarity and gravitational segregation. Streamline-based flow simulation is a tool that can help enough in waterflood project management, because it provides important information not available through traditional simulation of finite differences and shows, in a direct way, the influence between injector well and producer well. This work presents the application of a methodology published in literature for optimizing water injection projects in modeling of a Brazilian Potiguar Basin reservoir that has a large number of wells. This methodology considers changes of injection well rates over time, based on information available through streamline simulation. This methodology reduces injection rates in wells of lower efficiency and increases injection rates in more efficient wells. In the proposed model, the methodology was effective. The optimized alternatives presented higher oil recovery associated with a lower water injection volume. This shows better efficiency and, consequently, reduction in costs. Considering the wide use of the water injection in oil fields, the positive outcome of the modeling is important, because it shows a case study of increasing of oil recovery achieved simply through better distribution of water injection rates

Reconfiguração dinâmica de estratégias distribuídas em dispositivos foundation fieldbus para a otimização de processos na indústria do petróleo

The petrochemical industry has as objective obtain, from crude oil, some products with a higher commercial value and a bigger industrial utility for energy purposes. These industrial processes are complex, commonly operating with large production volume and in restricted operation conditions. The operation control in optimized and stable conditions is important to keep obtained products quality and the industrial plant safety. Currently, industrial network has been attained evidence when there is a need to make the process control in a distributed way. The Foundation Fieldbus protocol for industrial network, for its interoperability feature and its user interface organized in simple configuration blocks, has great notoriety among industrial automation network group. This present work puts together some benefits brought by industrial network technology to petrochemical industrial processes inherent complexity. For this, a dynamic reconfiguration system for intelligent strategies (artificial neural networks, for example) based on the protocol user application layer is proposed which might allow different applications use in a particular process, without operators intervention and with necessary guarantees for the proper plant functioning

Uma aplicação da apredizagem por reforço na otimização da produção em um campo de petróleo

The objective of reservoir engineering is to manage fields of oil production in order to maximize the production of hydrocarbons according to economic and physical restrictions. The deciding of a production strategy is a complex activity involving several variables in the process. Thus, a smart system, which assists in the optimization of the options for developing of the field, is very useful in day-to-day of reservoir engineers. This paper proposes the development of an intelligent system to aid decision making, regarding the optimization of strategies of production in oil fields. The intelligence of this system will be implemented through the use of the technique of reinforcement learning, which is presented as a powerful tool in problems of multi-stage decision. The proposed system will allow the specialist to obtain, in time, a great alternative (or near-optimal) for the development of an oil field known

Germinação de sementes e otimização de técnicas de micropropagação de umbuzeiro (spondias tuberosa, arr.) anacardiaceae

The brazilian-plum (Spondias tuberosa, His) is a tropical fruit tree that has been consolidated in the market for agribusiness processing, due to its characteristic flavor of fruit. Accordingly, studies to optimize the propagation of plants are necessary for production of seedlings with agronomic and quality assurance measures. This study aimed at determining the efficient techniques for uniform seed germination, as brazilian-plum seed present mechanical dormancy, and establish optimal culture media for multiplication of shoots from the in vitro micropropagation. Firstly, in a greenhouse at the Universidade Federal do Rio Grande do Norte, was evaluated the influence of different methods of breaking dormancy in the emergence of seedlings of brazilian-plum and speed of germination (IVG) of seeds. After 60 days of cultivation, it was found that splay in the distal portion of the seed was the best treatment, with rates of 85.33% in germinability and 3.415 of IVG, compared with the treatment of seed-soaking in water for 12h + humus and the control group. Subsequently, new sources of seedling explants were obtained in studies of tissue culture. Laboratory of Plant Biotechnology that the university, was used stem apex, nodal segments and internodes in search of decontamination with various concentrations of calcium hypochlorite [Ca(OCl)2] and micropropagation, inoculating them in half WPM (1980) with various concentrations of 6-benzylaminopurine (BAP). We used 10 sample units with three replications for different concentrations of [Ca(OCl)2], BAP and explants type. After thirty days, which was observed for the control of contamination, during the establishment in vitro, concentrations of [Ca(OCl)2] between 0.5% and 2.0% were effective in combating exogenous contamination of the apex. In nodal segments and internodes, concentrations of [Ca(OCl)2] between 1.0% and 2.0% and 1.5% and 2.0% were respectively, sufficient to reduce the percentage of losses in these infestations explants. For micropropagation, the culture medium supplemented with 0.1 mg.L-1 BAP promotes better development of multiple shoots per explants from nodal segment. However, success does not get to shoot training in internodal segment

Otimização de solução extrativa e desenvolvimento tecnológico de produto seco por aspersão de Psidium guajava L.

The increasing in the consumption of plant medicine by parts of the population generated a bigger need for studies. Drug substitutions, changes and adulterations at the production techniques are common places at plant-originated drugs trade, leading governmental departments of drug control round the world to adopt many analytical practices to medicinal plants. However, agronomic and technological issues cause characteristics and chemical composition variation at the drug, problem to be solved by the subject researchers. The present work aims to obtain a spray dried extract from a extractive solution obtained from Psidium guajava L. leaves based in book references that stress the intermediate dosage forms advantages. It also tries to validate useful methodologies for the quality control for both raw material and its derivates. Using eight sets of the spray dried extract (with Eudragit®, Aerosil ® e Avicel PH101 ® as drying adjuvants), the study proposes analytical methods using techniques commonly performed to plant medicines and its intermediate forms. As results, a viable spray-dried extract was obtained from a standartized extract solution. Among the studied adjuvants, the combination Aerosil ® with Eudragit ® showed the drying outcome, rheology, humidity and tannin content values that best fitted the demands of the Brazilian Pharmacopaea

Otimização evalidação de métodos analíticos para a determinação simultânea de tuberculostáticos (4-FDC) por CLAE/DAD e CLUE/ DAD

Tuberculosis is a serious disease, but curable in practically 100% of new cases, since complied the principles of modern chemotherapy. Isoniazid (ISN), Rifampicin (RIF), Pyrazinamide (PYR) and Chloride Ethambutol (ETA) are considered first line drugs in the treatment of tuberculosis, by combining the highest level of efficiency with acceptable degree of toxicity. Concerning USP 33 - NF28 (2010) the chromatography analysis to 3 of 4 drugs (ISN, PYR and RIF) last in average 15 minutes and 10 minutes more to obtain the 4th drug (ETA) using a column and mobile phase mixture different, becoming its industrial application unfavorable. Thus, many studies have being carried out to minimize this problem. An alternative would use the UFLC, which is based with the same principles of HPLC, however it uses stationary phases with particles smaller than 2 μm. Therefore, this study goals to develop and validate new analytical methods to determine simultaneously the drugs by HPLC/DAD and UFLC/DAD. For this, a analytical screening was carried out, which verified that is necessary a gradient of mobile phase system A (acetate buffer:methanol 94:6 v/v) and B (acetate buffer:acetonitrile 55:45 v/v). Furthermore, to the development and optimization of the method in HPLC and UFLC, with achievement of the values of system suitability into the criteria limits required for both techniques, the validations have began. Standard solutions and tablets test solutions were prepared and injected into HPLC and UFLC, containing 0.008 mg/mL ISN, 0.043 mg/mL PYR, 0.030 mg.mL-1 ETA and 0.016 mg/mL RIF. The validation of analytical methods for HPLC and UFLC was carried out with the determination of specificity/selectivity, analytical curve, linearity, precision, limits of detection and quantification, accuracy and robustness. The methods were adequate for determination of 4 drugs separately without interfered with the others. Precise, due to the fact of the methods demonstrated since with the days variation, besides the repeatability, the values were into the level required by the regular agency. Linear (R> 0,99), once the methods were capable to demonstrate results directly proportional to the concentration of the analyte sample, within of specified range. Accurate, once the methods were capable to present values of variation coefficient and recovery percentage into the required limits (98 to 102%). The methods showed LOD and LOQ very low showing the high sensitivity of the methods for the four drugs. The robustness of the methods were evaluate, facing the temperature and flow changes, where they showed robustness just with the preview conditions established of temperature and flow, abrupt changes may influence with the results of methods

Apelação no código de processo civil: uma análise sob o prisma do princípio da efetividade

The present dissertation, elaborated is based on the deductive method, through the use of the General Theory of Resources concepts, by the main types of judgments existing in the Code of Civil Procedure, the interlocutory judgment and sentence, as well as the features and effects that challenge these decisions, we sought to identify on this theme one of the greatest evils facing the justice system in the world, which is the processing delays. This slowness in adjudication affects seriously the principle of effectiveness, one of the postulates of procedural law and society as a whole. Thus, the use of tort serves to fight the interlocutory decision and appeal which challenges the judge`s ruling. It is a resource for excellence in appellate system as it meets with the most awaited decision of the process. In weighing the importance of the appeal that seeks to oppose the court decision today by the numerous reforms that the procedural system has been through, it has ended up to transform the process ineffective or inconsistent, for it is much easier to have efficacy in a interlocutory decision for preliminary injunction than by judgment on the merits of the judge. This is due to the prevision of the resources and their effect to those decisions. That is, the interlocutory decision involves interlocutory appeal only in the devolved effect, allowing its provisional execution, and the sentence has as recourse to appeal the double effect, remanding and suspension, which necessarily prevents its provisional execution. But it undeniably shows a paradox, because as to give effect to a measure that is based on a mere probability by a summary cognition, partial and superficial, and stop it on a decision by a court that is closer to the truth and sure, for a full and depleting cognition? It is seriously affect the principle of effectiveness. Therefore, starting from this ineffectiveness, sought to defend the solution of this problem with the approval of the bill n. º 3.605/2004 or the new Code of Civil Procedure project that modifies the general rule the effects of appeal. That is, remanding and suspensive, as to merely remanding effect to and thereby enable the provisional execution of the judgment of the court of the first degree of jurisdiction, giving effectiveness and enhancing the decision of the magistrate, making a fair distribution of time in the process and better guaranteed principle of access to justice

Estratégias de aplicações sequenciais e paralelas da metaheurística otimização por enxame de partículas ao problema do caixeiro viajante

Particle Swarm Optimization is a metaheuristic that arose in order to simulate the behavior of a number of birds in flight, with its random movement locally, but globally determined. This technique has been widely used to address non-liner continuous problems and yet little explored in discrete problems. This paper presents the operation of this metaheuristic, and propose strategies for implementation of optimization discret problems as form of execution parallel as sequential. The computational experiments were performed to instances of the TSP, selected in the library TSPLIB contenct to 3038 nodes, showing the improvement of performance of parallel methods for their sequential versions, in executation time and results

Otimização de escalas de serviço de tripulações estudo de caso em uma empresa de transporte urbano na região metropolitana de Natal/RN

This work aims to "build" rostering urban bus crews to minimize the cost of overtime. For this purpose a mathematical model was developed based on case study in an urban transport company in the metropolitan region of Natal. This problem is usually known in the literature as the Crew Scheduling Problem (CSP) and classified as NP-hard. The mathematical programming takes into account constraints such as: completion of all trips, daily and maximum allowable range of home and / or food. We used the Xpress-MP software to implement and validate the proposed model. For the tested instances the application of the model allowed a reduction in overtime from 38% to 84%

Algoritmos de otimização para decisões de localização de facilidades e distribuição em sistemas multiníveis de transporte rodoviário de carga

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