Implications of query caching for JXTA peers

This dissertation studies the caching of queries and how to cache in an efficient way, so that retrieving previously accessed data does not need any intermediary nodes between the data-source peer and the querying peer in super-peer P2P network. A precise algorithm was devised that demonstrated how queries can be deconstructed to provide greater flexibility for reusing their constituent elements. It showed how subsequent queries can make use of more than one previous query and any part of those queries to reconstruct direct data communication with one or more source peers that have supplied data previously. In effect, a new query can search and exploit the entire cached list of queries to construct the list of the data locations it requires that might match any locations previously accessed. The new method increases the likelihood of repeat queries being able to reuse earlier queries and provides a viable way of by-passing shared data indexes in structured networks. It could also increase the efficiency of unstructured networks by reducing traffic and the propensity for network flooding. In addition, performance evaluation for predicting query routing performance by using a UML sequence diagram is introduced. This new method of performance evaluation provides designers with information about when it is most beneficial to use caching and how the peer connections can optimize its exploitation.

Domain Modeling to Support Anti-cyber Crime Education

This paper describes an approach to a computer-based learning of educational material. We define a model for the class of subjects of our interest - teaching of investigation and prevention of computer crimes, (those including both theoretical and practical issues). From this model, specific content outlines can be derived as subclasses and then instanced into actual domains. The last step consists in generating interactive documents, which use the instanced domain. Students can explore these documents through a web browser. Thus, an interactive learning scenario is created. This approach allows reusing and adapting the contents to a variety of situations, students and teaching purposes.

An automated tool for semantic accessing to formal software models

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts. © 2014.

Gestão e gerenciamento de resíduos sólidos: diretrizes jurídico-ambientais para a sustentabilidade

rates in the Brazilian cities, which time there is an inexistent theoretical reflection about public policy statement adding the way of Urban Solid Waste (USW) and tailing integrated management plans in the majorly Brazilian cities. The unappropriated solid waste disposal and final pollution result in a strong socioenvironmental problems and material extravagancies that should be used to recycling and reusing waste material, besides bringing immense challenges for the thematic Strategy Urban and Environmental Management it considers the Sustainable City Model. Moreover, this labor projects a discussion about USW problematic through legally and environmentally point of view, including the public environmental policy and the social technologies as resolution tactics. At that time, it reports rights, scientific articles, documents and Environmental Law Doctrine on findings thematic studies, also the propose displays an interdisciplinary research methodology which combines bibliographic method - focusing theory aspects of the legally environmentally guiding principle, public policy and social technologies. Those are theorist features very important to create a Municipal Integrated Solid Waste Management Plan (PMGIRS) - modus operandi of the Federal Law n. 12.305/2010 (National Solid Waste Policy - PNRS). That policy is interesting to receive financial resources from federal government (Cities Ministry; idem, Federal Decree n. 7.404/2010 and Federal Law n. 10.257/2001) helping the preservation of the environment, regional development, generation of jobs and income (art. 6º), in addition broadening spreading’s private companies dedicated to waste management. Consequently, the PNRS contains a set of guidelines and general procedures; it should be an operation of this legal policy contextualized by Social Technologies theory (TS) into social issues, legal, economic and environmental aspects. Therefore, this research notes the possibility of public policy statement implementation over and done with the PNRS by the terms of development and sustainability in the urban space.

Análise microestrutural de misturas cerâmicas de grês porcelanato com adição de chamote de telhas cerâmicas

MELO, Maxymme Mendes de ; PINHEIRO, Andrea Santos ; NASCIMENTO, R. M. ; MARTINELLI, Antonio Eduardo ; DUTRA, Ricardo Peixoto Suassuna ; MELO, Marcus Antônio de Freitas . Análise microestrutural de misturas cerâmicas de grês Porcelanato com adição de chamote de telhas cerâmicas. Cerâmica (São Paulo. Impresso), v. 55, p. 356-364, 2009

Licenshantering inom webbprojekt : Hur medvetna är företag om tredjepartslicenser?

Teknikutvecklingen går snabbt framåt, och idag finns det ett stort behov av att använda andra utvecklares kod för att hänga med i det höga tempot. De kallas samlat för ramverk eller bibliotek, och hjälper utvecklaren att på ett effektivare sätt ta sig från start till mål utan att behöva skriva all programmeringskod själv. Dessa tredjepartslösningar är nästintill alltid bundna till ett licensavtal, vars restriktioner och tillåtelser utvecklaren måste följa vid nyttjandet. I denna studie har vi undersökt hur medvetenheten ser ut kring de licenser som är bundna till dessa tredjepartslösningar. Då det framkom i vår förstudie att vårt fall hade en relativt låg medvetenhet har vi även valt att titta på hur medvetenheten kan ökas. För att genomföra detta har vi valt att intervjua utvecklare och projektledare på ett konsultföretag. Vi undersökte även vilka faktorer som är viktiga för att höja medvetenheten samt vilka konsekvenser som kunde uppkomma vid bristfällande licenshantering. Vi upptäckte att det var en bristfällig kunskap om tredjepartslicenser på det studerade företaget, och hur de följde de licensrestriktioner som fanns för respektive licens. För att höja medvetenheten föreslår vi hjälpmedel i form av en automatiserad centraliserad lösning, lathundar för en enklare överblick av licensavtalen och hur användning av redan färdiga programvaror kan hjälpa till att öka medvetenheten och hanteringen av licenser.

Decisions, decisions everywhere (in the open data era).

Abstract: Decision support systems have been widely used for years in companies to gain insights from internal data, thus making successful decisions. Lately, thanks to the increasing availability of open data, these systems are also integrating open data to enrich decision making process with external data. On the other hand, within an open-data scenario, decision support systems can be also useful to decide which data should be opened, not only by considering technical or legal constraints, but other requirements, such as "reusing potential" of data. In this talk, we focus on both issues: (i) open data for decision making, and (ii) decision making for opening data. We will first briefly comment some research problems regarding using open data for decision making. Then, we will give an outline of a novel decision-making approach (based on how open data is being actually used in open-source projects hosted in Github) for supporting open data publication. Bio of the speaker: Jose-Norberto Mazón holds a PhD from the University of Alicante (Spain). He is head of the "Cátedra Telefónica" on Big Data and coordinator of the Computing degree at the University of Alicante. He is also member of the WaKe research group at the University of Alicante. His research work focuses on open data management, data integration and business intelligence within "big data" scenarios, and their application to the tourism domain (smart tourism destinations). He has published his research in international journals, such as Decision Support Systems, Information Sciences, Data & Knowledge Engineering or ACM Transaction on the Web. Finally, he is involved in the open data project in the University of Alicante, including its open data portal at http://datos.ua.es

Urbaania energiaa. Suvilahden, Hanasaaren A- ja Vuosaaren voimalaitokset osana helsinkiläistä kaupunkiympäristöä

Tutkimus koostuu kolmen Helsingissä sijaitsevan, kolmena eri aikakautena, 1910-, 1950- ja 1990-luvuilla, rakennetun voimalaitoksen arkkitehtuurista ja rakennustyypistä sekä niiden eroista ja erityisyyksistä samoin kuin näiden voimalaitosten roolista ja vaikutuksesta Helsingin kaupunkisuunnitteluun ja -rakentamiseen, kaupunkikuvaan sekä ympäristöestetiikkaan. Tutkimus on rajattu koskemaan erityyppisten voimalaitosten osalta yksinomaan kolmea helsinkiläistä kaupungissa sijaitsevaa voimalaitosta, Suvilahtea, Hanasaari-A:ta ja Vuosaaren A- ja B-laitoksia. Tutkimuksen tarkoituksena on ensinnäkin selvittää sekä periaatteessa että edellä mainittujen kolmen esimerkkikohteen kautta seikkoja, jotka ovat vaikuttaneet kunkin voimalaitoksen arkkitehtuuriin ja rakennustyyppiin kunakin aikakautena. Kaupunkivoimalan olennaiset elementit ovat korkea savupiippu, mittava polttoainevarasto sekä massiiviset rakennusmassat, jotka vaativat runsasta maankäyttöä. Toiseksi tutkimuksessa paneudutaan kaupunkisuunnitteluun laitoksen sijoittumisen osalta sekä ajallisesti että paikallisesti. Kolmanneksi selvitetään kaupunkikuvallisia ja ympäristöesteettisiä seikkoja, sekä niiden vaikutusten kehitystä voimalaitoksen toteutuksen ja nykyhetken kesken. Tutkimuksessa haetaan vastausta kysymykseen, miten Helsingissä sijaitseva voimalaitos arkkitehtuuriltaan, rakennustyypiltään ja sijoitukseltaan on soveltunut ja jatkossa soveltuu kaupunkisuunnittelun kannalta kaupunkikuvallisesti sekä ympäristöesteettisesti kyseiseen kaupunkiympäristöön. Tutkimus selvittää myös sitä ilmeistä ristiriitaa, joka syntyy kaupungin kehittyessä ja laajentuessa, jolloin voimalaitos infrastruktuurinsa ja useimmiten suunnattoman kokonsa vuoksi edustaa pysyvyyttä rakentuvan alueen sisällä. Tässä yhteydessä tutkimuksessa pohditaan esimerkkikohteiden avulla voimalaitoksen säilyttämistä puoltavia rakennustaiteellisia arvoja, mahdollista korvattavuutta, ja siinä yhteydessä haetaan vastauksia jäljelle jäävälle laitosrakennukselle kaupunkisuunnittelun kannalta asetettavista uusiokäytön vaatimuksista ja mahdollisuuksista. Tutkimuksen metodologia on sekä kvantitatiivisesti että kvalitatiivisesti historiallinen, esimerkkikohteita käsiteltäessä tarvittavassa määrin myös mikrohistoriallinen.

Modelo de decisão multicritério para seleções interciclo das universidades novas: estudo na Universidade Federal do Rio Grande do Norte

The discussions wherein develop proposals for university reform in Brazil include, among other things, the conception of the university titled "New University", whose structural origin comes from the bill of higher education reform and unification of the foundations of education European upper (Bologna process). At its core, the Bologna process has imposed a series of transformations, among which, the promotion of mobility, as a stimulus to interinstitutional cooperation to enable an better and bigger qualification of the students. Nevertheless, what we see is that this point is one of the main points made flawed by Brazilian institutions that have adopted this model of higher education. An example is the Bachelor of Science and Technology - BC&T, Federal University of Rio Grande do Norte - UFRN, where there are problems of the internal order, represented by the problem of the reusing of the disciplines, such also of external order, in cases of transfers interinstitutional. Because of this, and knowing that this is a typical problem in which multiple criteria are involved, the aim of this study is to propose a multicriteria model for selection of interciclo of the BC&T of the UFRN which addresses the issue of mobility. For this, this study was of exploratory and study case nature, use as tools of data collection, the bibliographic and documentary research, as well as semi-structured interviews. For the elaboration of the model, were used the five phases most commonly used in the modeling of problems in operational research in a sample of 91 students of BC&T. As a result, we obtained a model that addresses the issue of internal and external mobility of the school and that, moreover, was also more robust and fair than the current model of BC&T and also what is used in other courses of the UFRN, taking into consideration the expected results by the decision makers

Mesh partitioning and load balancing for distributed memory parallel systems

A method is outlined for optimising graph partitions which arise in mapping unstructured mesh calculations to parallel computers. The method employs a relative gain iterative technique to both evenly balance the workload and minimise the number and volume of interprocessor communications. A parallel graph reduction technique is also briefly described and can be used to give a global perspective to the optimisation. The algorithms work efficiently in parallel as well as sequentially and when combined with a fast direct partitioning technique (such as the Greedy algorithm) to give an initial partition, the resulting two-stage process proves itself to be both a powerful and flexible solution to the static graph-partitioning problem. Experiments indicate that the resulting parallel code can provide high quality partitions, independent of the initial partition, within a few seconds. The algorithms can also be used for dynamic load-balancing, reusing existing partitions and in this case the procedures are much faster than static techniques, provide partitions of similar or higher quality and, in comparison, involve the migration of a fraction of the data.

Desenvolvimento e caracterização de um sabonete contendo borras de café

Desde da antiguidade que o ser humano se preocupa com a sua aparência externa, em especial com a pele. Para além do desenvolvimento de cosméticos, surgiram também produtos mais complexos, os cosmecêuticos, que diferem dos cosméticos devido a poderem influenciar a função biológica da pele, causando modificações positivas e duráveis. O conceito de sustentabilidade é usado para definir ações e atividades humanas que visam suprir as necessidades atuais dos seres humanos, sem comprometer o futuro das próximas gerações. Ou seja, a sustentabilidade está diretamente relacionada ao desenvolvimento económico e material sem agredir o meio ambiente, utilizando os recursos naturais de forma inteligente para que eles se mantenham no futuro. Seguindo estes parâmetros, a humanidade pode garantir o desenvolvimento sustentável. As borras de café são consideradas como um subproduto alimentar, sem grande reutilização, o que promove danos no impacto ambiental. Por outro lado, as borras de café podem exercer grandes benefícios para a pele, pois são consideradas excelentes exfoliantes naturais com propriedades refirmantes. Os produtos à base de cafeína são aliados no combate à celulite, na estimulação da regeneração celular e da circulação sanguínea, bem como, no rejuvenescimento e revitalização da pele. Este trabalho consistiu no desenvolvimento de um sabonete, contendo borras de café, como forma de reaproveitamento de um subproduto alimentar rico em cafeína, com o intuito de obter produtos com boas propriedades cosméticas e elevada estabilidade física e química. As borras de café foram analisadas em termos da sua estabilidade física e química através de ensaios de estabilidade acelerada por centrifugação, textura, reologia e doseamento do teor de cafeína por HPLC. Os resultados obtidos através do controlo físico-químico dos sabonetes, da determinação do potencial irritante cutâneo e da análise sensorial efectuada em voluntários humanos, demonstraram que é possível preparar sabonetes de borra de café com boa estabilidade físico-química, boa tolerância cutânea e com características sensoriais adequadas, utilizando uma base de sabão constituída pelos ingredientes (INCI): Sodium Palmate, Sodium Palm Kernelate, Aqua (water), Glycerine, Fragância de café, Sodium Chloride, Butyrospermum Parkii Butter (Shea Butter), CI 778911 (Titanium Dioxide), Tetrasodium EDTA, CI 77499, Linalool e à qual foi adicionada 5% de borras de café.

Análise microestrutural de misturas cerâmicas de grês porcelanato com adição de chamote de telhas cerâmicas

MELO, Maxymme Mendes de ; PINHEIRO, Andrea Santos ; NASCIMENTO, R. M. ; MARTINELLI, Antonio Eduardo ; DUTRA, Ricardo Peixoto Suassuna ; MELO, Marcus Antônio de Freitas . Análise microestrutural de misturas cerâmicas de grês Porcelanato com adição de chamote de telhas cerâmicas. Cerâmica (São Paulo. Impresso), v. 55, p. 356-364, 2009

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

CRESCIMENTO INICIAL DE ACÁCIA-NEGRA COM VERMICOMPOSTOS DE DIFERENTES RESÍDUOS AGROINDUSTRIAIS

A utilização de vermicompostos de diferentes resíduos agroindustriais na produção de mudas de acácianegra pode ser uma alternativa de reutilização de resíduos e aumentar a produção de mudas. Assim, os objetivos deste trabalho foram avaliar o crescimento e a concentração de nutrientes em mudas de acácianegra, cultivadas em substratos com diferentes vermicompostos de resíduos orgânicos agroindustriais. Instalou-se em casa de vegetação 11 diferentes tratamentos: T1) vermicomposto de esterco bovino (EB); T2) vermicomposto de esterco ovino (EO); T3) vermicomposto de lodo de parbolização de arroz (LP); T4) tratamento controle (sem adubação); T5) tratamento controle com adução mineral (NPK); T6) mistura de EB e LP; T7) mistura de EO e LP; T8) mistura de EB e vermicomposto de resíduos de alimentos (RA); T9) mistura de EO e RA; T10) mistura de EB e vermicomposto de resíduos de frutas (RF); T11) mistura de EO e RF. Após 180 dias de cultivo em recipiente com capacidade de cinco litros, foram analisadas a massa seca e a concentração de nutrientes na parte aérea da acácia-negra, e a concentração de nutrientes no solo, após o cultivo. A adição do esterco bovino, bem como a mistura de esterco bovino e resíduos alimentícios favoreceram o incremento de matéria seca das plantas de acácia-negra. Os resultados mostraram que as concentrações de nutrientes nas plantas, com exceção de Fe e Mn, variaram com adição de vermicompostos no solo. Os tratamentos T3 e T6 elevaram as concentrações em P, N, Zn de Cu nas folhas de acácia-negra. Além disso, a adição dos vermicompostos ao solo aumentou a disponibilidade de nutrientes para as plantas, mesmo após o cultivo, especialmente com relação ao fósforo, potássio e magnésio, sendo uma alternativa viável e eficaz na produção de mudas, podendo substituir a utilização de adubação mineral.

Formulação e caracterização de matérias-primas para revestimento cerâmico Semi-Poroso com adição de chamote de telhas

The ceramics industry in Piauí is nowadays with 55 industries where 11 are in Teresina which is the mainstream of the state, producing 55 million shingles; in which 10 % is of this production is wasted being sometimes thrown on the margins of rivers, roads and highways provoking an environmental degradation. The main goal of this work is to verify the potential of producing semi porous ceramic using grog of shingles, on the first part of this work bodies-of-proof were produced from a basic formula of an industry, doping it with 5 %, 10 %, 15 % and 20 % in mass and in the second part of this work some bodies-of-proof were produced from a formula where one raw material was substituted by 50 % of grog and another substituting it all by grog, bodies-of-proof made of a basic formula previously announced was used for experiment control.The grog and the raw materials were characterized by: particle size analysis , thermal differential analysis, X ray diffraction , X ray fluorescence, an thermal gravimetric analysis and rational analyses. The bodies-of-proof were sintetisized in an industrial oven obeying the normal cycle adopted by an industry, with peak temperatures of 1135 oC and a fast burning cycle of 25 minutes having as energetic fuel liquefied petroleum gas . The pieces that were obtained by this were submersed in rehearsed physics of: water absorption of, apparent specific mass, apparent porosity, lineal retraction, rupture tension to the flexural and dilatometry; mineralogical analysis for X ray diffraction; and microstructural for electronic microscope of sweeping. For all the formulas with addition of grog, superior priorities to the requested by the requirements for semi porous and for the formula to F2-2,5 superior priorities to standard formulas which justifies the incorporation of the shingles in mass for the semi porous ceramic