A CASE tool for the modeling of methods and information systems

MODSI is a multi-models tool for information systems modeling. A modeling process in MODSI can be driven according to three different approaches: informal, semi-formal and formal. The MODSI tool is therefore based on the linked usage of these three modeling approaches. It can be employed at two different levels: the meta-modeling of a method and the modeling of an information system.In this paper we start presenting different types of modeling by making an analysis of their particular features. Then, we introduce the meta-model defined in our tool, as well as the tool functional architecture. Finally, we describe and illustrate the various usage levels of this tool.

Usage of enterprise modeling processes and information systems design to forecast demand

Managing the great complexity of enterprise system, due to entities numbers, decision and process varieties involved to be controlled results in a very hard task because deals with the integration of its operations and its information systems. Moreover, the enterprises find themselves in a constant changing process, reacting in a dynamic and competitive environment where their business processes are constantly altered. The transformation of business processes into models allows to analyze and redefine them. Through computing tools usage it is possible to minimize the cost and risks of an enterprise integration design. This article claims for the necessity of modeling the processes in order to define more precisely the enterprise business requirements and the adequate usage of the modeling methodologies. Following these patterns, the paper concerns the process modeling relative to the domain of demand forecasting as a practical example. The domain of demand forecasting was built based on a theoretical review. The resulting models considered as reference model are transformed into information systems and have the aim to introduce a generic solution and be start point of better practical forecasting. The proposal is to promote the adequacy of the information system to the real needs of an enterprise in order to enable it to obtain and accompany better results, minimizing design errors, time, money and effort. The enterprise processes modeling are obtained with the usage of CIMOSA language and to the support information system it was used the UML language.

RESTRUCTURING of SYSTEMS and LOGISTICS of MOVEMENT and ITS IMPACT on URBAN and REGIONAL PLANNING PAULISTA

Report some of the changes in production and consumption occurring in the state of São Paulo. through the restructuring in motion systems, logistics and standards and taxation, as well as the impacts on urban spaces through new economic dynamics, imposed by the demands of corporate, is the purpose of this article. The decentralization of production and consumption towards the interior was made possible by the combination of hierarchical and ordered some basic elements such as technological innovations (ways and means of transport) and organizational (logistics, standards and taxation) which optimized the flow territorial state São Paulo. It is noteworthy, therefore: 1) the improvement of logistics as a strategy, planning and management of transport, storage and communications (including the granting of public services to private), 2) the technological improvement and expansion of motion systems (infrastructure, means of transport) and 3) the systems of rules and regulations through taxation and deregulation affect the circulatory system of a given space. Thus, both systems aims to disentangle the economic flows (goods, services, information, capital and people) and provide a more fluid territorial. The impacts on the State of São Paulo, mainly through its economic dynamics, revert positively and negatively, by changing the way one thinks and performs planning.

Quantum entanglement and information: The effect of entropy revisited

In non-extensive statistical mechanics [14], it is a nonsense statement to say that the entropy of a system is extensive (or not), without mentioning a law of composition of its elements. In this theory quantum correlations might be perceived through quantum information process. This article, that is an extension of recent work [4], is a comparative study between the entropies of Von Neumann and of Tsallis, with some implementations of the effect of entropy in quantum entanglement, important as a process for transmission of quantum information. We consider two factorized (Fock number) states, which interact through a beam splitter bilinear Hamiltonian with two entries. This comparison showed us that the entropies of Tsallis and Von Neumann behave differently depending on the reflectance of the beam splitter. © 2011 Academic Publications.

Involutive constrained systems and Hamilton-Jacobi formalism

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

Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic

This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.

Complexity and information technologies: an ethical inquiry into human autonomous action

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

Mathematical analysis of maximum power generated by photovoltaic systems and fitting curves for standard test conditions

The rural electrification is characterized by geographical dispersion of the population, low consumption, high investment by consumers and high cost. Moreover, solar radiation constitutes an inexhaustible source of energy and in its conversion into electricity photovoltaic panels are used. In this study, equations were adjusted to field conditions presented by the manufacturer for current and power of small photovoltaic systems. The mathematical analysis was performed on the photovoltaic rural system I- 100 from ISOFOTON, with power 300 Wp, located at the Experimental Farm Lageado of FCA/UNESP. For the development of such equations, the circuitry of photovoltaic cells has been studied to apply iterative numerical methods for the determination of electrical parameters and possible errors in the appropriate equations in the literature to reality. Therefore, a simulation of a photovoltaic panel was proposed through mathematical equations that were adjusted according to the data of local radiation. The results have presented equations that provide real answers to the user and may assist in the design of these systems, once calculated that the maximum power limit ensures a supply of energy generated. This real sizing helps establishing the possible applications of solar energy to the rural producer and informing the real possibilities of generating electricity from the sun.

Effects of different soil tillage systems and coverages on soybean crop in the Botucatu Region in Brazil

Nowadays, agricultural practices should combine high yields with a sustainable use of resources. Different tillage practices and crop covers, if combined, may help to achieve both objectives. In this work, several traits of a soybean (Glycine max L. Merr) cultivar were studied under different conditions of tillage and previous soil coverages. The experiment was installed at Lageado Research Station, Botucatu county, SP, Brazil, on a Paleudult. It consisted of nine treatments (combining three systems of soil tillage and three cover crops) and 4 replicates, yielding 36 plots of a randomized block experimental design. The soil tillage systems considered were: (i) conventional tillage with two heavy harrowing and a levelling harrowing; (ii) chiseling, and (iii) no-tillage with chemical drying of vegetation. The three cover crops used were: black oat, sorghum and spontaneous vegetation. Analyzed variables were: plant height, initial and final plant densities, height of first pod insertion, weight of a thousand grains, number of pods per plant, number of grains per pod, and crop yield. No significant differences were observed for most of the analyzed variables; however, conventional tillage produced significantly heavier grains and a higher number of pods per plant. The selected covers were considered an excellent coverage prior to planting soybean in a crop rotation. The three tillage systems can be used for deployment of culture without compromising the development of soybean.

Photoelastic Analysis of Implant-Retained and Conventional Obturator Prostheses With Different Attachment Systems and Soft Relining

Complete and partial loss of maxillary bone may jeopardize oral physiology and generate complications as oral-sinus-nasal communication. Palatal obturator prostheses are a treatment alternative for rehabilitation of these patients. The aim of this study was to assess stress distribution, through photoelasticity, on palatal obturator prostheses associated with different attachment systems (o'ring, bar clip, and o'ring/bar clip) of implants and submitted to relining. Two photoelastic models were fabricated according to an experimental maxillary model with oral-sinus-nasal communication. One model did not present implants, whereas the other included 2 implants with 13.0 mm in length in the left ridge. Four colorless maxillary obturator prostheses were fabricated and relined with soft silicone. One of these prostheses presented no attachment system, whereas the remaining prostheses included attachment systems adapted to the implants. The assembly (model/attachment system/prosthesis) was positioned in a circular polariscope during loading with 100 N at 10 mm/s. The results were based on observation during the experiment and photographic records of stress on the photoelastic model. The bar clip system exhibited the highest stress concentration followed by o'ring/bar clip and o'ring systems. The attachment systems presented different stress distribution with greater concentration surrounding the implants and homogenous stress distribution on the photoelastic model without implants. The highest concentration of fringes occurred, in ascending order, with o'ring, o'ring/bar clip, and bar clip systems.

The effect of sodium chloride on the formation of W/O microemulsions in soy bean oil/surfactant/water systems and the solubilization of small hydrophilic molecules

Partial pseudoternary phase diagrams were constructed for soy bean oil (SBO)/surfactant/NaCl aqueous solution systems, at 25 degrees C, using the anionic sodium bis(2-ethylhexyl) sulfosuccinate (ACT) and zwiterionic phosphatidylcholine (PC) or mixtures of these surfactants. The isotropic single phase of water-in-oil (W/O) microemulsions (MEs) is shown in the phase diagram and their viscosity reported. ME samples containing small amount of surfactant exhibit slightly higher viscosity than pure SBO, and were used in the solubilization of small water soluble molecules. NaCl enhances the area of the ME phase and MEs with different surfactant composition exhibit different induction time as obtained from tests of oxidative stability, and so are the MEs enriched with ascorbic acid, folic acid and FeSO4, with the latter exhibiting lower stability. The so prepared enriched soy bean oil has potential application in food industry since the surfactants are food grade. (C) 2007 Elsevier B.V. All rights reserved.

Non-involutive constrained systems and Hamilton-Jacobi formalism

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

Cold-atom systems and the scaling limit

With perspective to applications of cold-atom systems, some aspects of few-body physics at very low energies will be reviewed. By exploring the possibilities of varying the two-body interaction via the Feshbach resonance mechanism, some recent results are reported for condensed systems in optical lattices.

On the existence of infinite heteroclinic cycles in polynomial systems and its dynamic consequences

In this work we consider the dynamic consequences of the existence of infinite heteroclinic cycle in planar polynomial vector fields, which is a trajectory connecting two saddle points at infinity. It is stated that, although the saddles which form the cycle belong to infinity, for certain types of nonautonomous perturbations the perturbed system may present a complex dynamic behavior of the solutions in a finite part of the phase plane, due to the existence of tangencies and transversal intersections of their stable and unstable manifolds. This phenomenon might be called the chaos arising from infinity. The global study at infinity is made via the Poincare Compactification and the argument used to prove the statement is the Birkhoff-Smale Theorem. (c) 2004 WILEY-NCH Verlag GmbH & Co. KGaA, Weinheim.

Test systems and mathematical models for transmission network expansion planning

The data of four networks that can be used in carrying out comparative studies with methods for transmission network expansion planning are given. These networks are of various types and different levels of complexity. The main mathematical formulations used in transmission expansion studies-transportation models, hybrid models, DC power flow models, and disjunctive models are also summarised and compared. The main algorithm families are reviewed-both analytical, combinatorial and heuristic approaches. Optimal solutions are not yet known for some of the four networks when more accurate models (e.g. The DC model) are used to represent the power flow equations-the state of the art with regard to this is also summarised. This should serve as a challenge to authors searching for new, more efficient methods.