On the invariants of coloured Petri Nets

In this paper, we develop a theorem that enables computation of the place invariants of the union of a finite collection of coloured Petri Nets when the individual nets satisfy certain conditions and their invariants are known. We consider the illustrative examples of the Readers-Writers problem, a resource sharing system, and a network of databases and show how this theorem is a valuable tool in the analysis of concurrent systems.

Productive coexistence and gain in agroforestry systems.

Productive coexistence and coexistence gain of populations were studied using nine years' data from field experiments of Taxodium ascendens-intercrop systems in Lixiahe, Jiangsu Province, China. A theoretical framework for productive coexistence in agroforestry was developed. Interaction patterns between trees and intercrops were presented within this framework. A model framework was developed to describe the coexistence gain and interaction of populations in T. ascendens-intercrop systems. Facilitation and resource sharing were identified as main contribution to the advantage of species combination in agroforestry. The model of population interaction developed in the present study was accepted for describing the interaction of populations in T. ascendens-intercrop systems, because it explained a high proportion of the variance of experimental data and fitted well the observations in most intercropping types. The model developed in the present study provides flexibility for describing different patterns of intra- and inter-specific interactions. Model coefficients were applied to the determination of the ecological compatibility of species. Managed T. ascendens-intercrop systems were advantageous as compared to a monoculture of trees or arable crops. In T. ascendens stands up to the age of three, arable crops contributed about 50-80 % of the total biomass yield of agroforestry. The diameter or height growth of T. ascendens was not significantly influenced by intercrops, indicating that intercropping under trees produced extra yields but did not depress the tree growth. When the trees were young (during the first three years), T. ascendens did not depress the crop yields, and a land equivalent ratio greater than unity was obtained together with a high yield of both components. The diameter and height of the trees were similar in four spacing configurations with an equal number of trees per hectare up to the age of eight, but wider between-rows open range were beneficial for the intercrops. The relationship between open-ranges and species coexistence was also analysed and the distribution of soil nutrients studied.

Política de escalonamento de recursos computacionais em clusters de física de altas energias

Este trabalho apresenta uma proposta para permitir o uso compartilhado dos recursos computacionais utilizados em um cluster de forma a atender simultaneamente aos quatro experimentos do CERN. A abordagem adotada utiliza o conceito de contratos, onde os requisitos e restrições de cada experimento são descritos em perfis, e uma política de alocação de recursos é definida para manter a utilização dos recursos de forma a atender aos perfis. Propomos um modelo de arquitetura para gerenciar o uso compartilhado de um cluster pelas quatro Organizações Virtuais do LHC. Este modelo de arquitetura é composto de elementos comuns a um cluster típico da Tier-2, acrescidos de funcionalidades para controlar a admissão de novos jobs de todas as Organizações Virtuais do LHC. Este modelo monitora a utilização de recursos do cluster por cada OV, aloca recursos para cada job de acordo com uma política estabelecida para o cluster de forma a procurar respeitar os requisitos de cada uma delas. Definimos um algoritmo para o escalonamento de jobs, que utiliza mecanismos de preempção para controlar a alocação de nós do cluster dependendo o uso corrente e acumulado de recursos por cada OV. Este algoritmo é executado em um dos elementos da arquitetura batizado de broker, dado que o mesmo intermedeia a chegada de novos jobs e a alocação dos nós do cluster, e tem com objetivo manter o controle dos contratos de cada OV. A simulação da arquitetura proposta foi feita no simulador de grades GridSim e os resultados obtidos foram avaliados.

Report of the Regional ICM Workshop, Cox's Bazaar, Bangladesh, 5-7 December, 2011

Recommendations form the workshop included:establishment of "Pilot Sites"; trans-boundary ecosystem resource sharing;establishment of Marine Protected Areas(MPAs); joint research;promotion of co-management principles; preparation of a regional "coastal atlas" and development of a communications strategy

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Webhosting and Networking

Page 1. Webhosting and Networking G. Santhosh Kumar, Dept. of Computer Science Cochin University of Science and Technology Page 2. Agenda What is a Network? Elements of a Network Hardware Software Ethernet Technology World Wide Web Setting up a Network Conclusion Page 3. What is a Network? An interconnected system of things or people Purpose of a Network? Resource Sharing Communication LANs have become the most popular form of Computer Networks Page 4. Principle of Locality of Reference Temporal Locality of Reference ...

Small World Folksonomies: Clustering in Tri-Partite Hypergraphs

Many recent Web 2.0 resource sharing applications can be subsumed under the "folksonomy" moniker. Regardless of the type of resource shared, all of these share a common structure describing the assignment of tags to resources by users. In this report, we generalize the notions of clustering and characteristic path length which play a major role in the current research on networks, where they are used to describe the small-world effects on many observable network datasets. To that end, we show that the notion of clustering has two facets which are not equivalent in the generalized setting. The new measures are evaluated on two large-scale folksonomy datasets from resource sharing systems on the web.

Network properties of folksonomies

Social resource sharing systems like YouTube and del.icio.us have acquired a large number of users within the last few years. They provide rich resources for data analysis, information retrieval, and knowledge discovery applications. A first step towards this end is to gain better insights into content and structure of these systems. In this paper, we will analyse the main network characteristics of two of the systems. We consider their underlying data structures – socalled folksonomies – as tri-partite hypergraphs, and adapt classical network measures like characteristic path length and clustering coefficient to them. Subsequently, we introduce a network of tag co-occurrence and investigate some of its statistical properties, focusing on correlations in node connectivity and pointing out features that reflect emergent semantics within the folksonomy. We show that simple statistical indicators unambiguously spot non-social behavior such as spam.

Network properties of folksonomies

Social resource sharing systems like YouTube and del.icio.us have acquired a large number of users within the last few years. They provide rich resources for data analysis, information retrieval, and knowledge discovery applications. A first step towards this end is to gain better insights into content and structure of these systems. In this paper, we will analyse the main network characteristics of two of these systems. We consider their underlying data structures – so-called folksonomies – as tri-partite hypergraphs, and adapt classical network measures like characteristic path length and clustering coefficient to them. Subsequently, we introduce a network of tag cooccurrence and investigate some of its statistical properties, focusing on correlations in node connectivity and pointing out features that reflect emergent semantics within the folksonomy. We show that simple statistical indicators unambiguously spot non-social behavior such as spam.

Towards Grid-Wide Modeling and Simulation

Modeling and simulation permeate all areas of business, science and engineering. With the increase in the scale and complexity of simulations, large amounts of computational resources are required, and collaborative model development is needed, as multiple parties could be involved in the development process. The Grid provides a platform for coordinated resource sharing and application development and execution. In this paper, we survey existing technologies in modeling and simulation, and we focus on interoperability and composability of simulation components for both simulation development and execution. We also present our recent work on an HLA-based simulation framework on the Grid, and discuss the issues to achieve composability.

Economic models and algorithms for distributed systems

Distributed computing paradigms for sharing resources such as Clouds, Grids, Peer-to-Peer systems, or voluntary computing are becoming increasingly popular. While there are some success stories such as PlanetLab, OneLab, BOINC, BitTorrent, and SETI@home, a widespread use of these technologies for business applications has not yet been achieved. In a business environment, mechanisms are needed to provide incentives to potential users for participating in such networks. These mechanisms may range from simple non-monetary access rights, monetary payments to specific policies for sharing. Although a few models for a framework have been discussed (in the general area of a "Grid Economy"), none of these models has yet been realised in practice. This book attempts to fill this gap by discussing the reasons for such limited take-up and exploring incentive mechanisms for resource sharing in distributed systems. The purpose of this book is to identify research challenges in successfully using and deploying resource sharing strategies in open-source and commercial distributed systems.

Sustained monitoring of the Southern Ocean at Drake Passage: past achievements and future priorities

Drake Passage is the narrowest constriction of the Antarctic Circumpolar Current (ACC) in the Southern Ocean, with implications for global ocean circulation and climate. We review the long-term sustained monitoring programmes that have been conducted at Drake Passage, dating back to the early part of the twentieth century. Attention is drawn to numerous breakthroughs that have been made from these programmes, including (a) the first determinations of the complex ACC structure and early quantifications of its transport; (b) realization that the ACC transport is remarkably steady over interannual and longer periods, and a growing understanding of the processes responsible for this; (c) recognition of the role of coupled climate modes in dictating the horizontal transport, and the role of anthropogenic processes in this; (d) understanding of mechanisms driving changes in both the upper and lower limbs of the Southern Ocean overturning circulation, and their impacts. It is argued that monitoring of this passage remains a high priority for oceanographic and climate research, but that strategic improvements could be made concerning how this is conducted. In particular, long-term programmes should concentrate on delivering quantifications of key variables of direct relevance to large-scale environmental issues: in this context, the time-varying overturning circulation is, if anything, even more compelling a target than the ACC flow. Further, there is a need for better international resource-sharing, and improved spatio-temporal coordination of the measurements. If achieved, the improvements in understanding of important climatic issues deriving from Drake Passage monitoring can be sustained into the future.

A benchmark-driven modelling approach for evaluating deployment choices on a multi-core architecture

The complexity of current and emerging architectures provides users with options about how best to use the available resources, but makes predicting performance challenging. In this work a benchmark-driven model is developed for a simple shallow water code on a Cray XE6 system, to explore how deployment choices such as domain decomposition and core affinity affect performance. The resource sharing present in modern multi-core architectures adds various levels of heterogeneity to the system. Shared resources often includes cache, memory, network controllers and in some cases floating point units (as in the AMD Bulldozer), which mean that the access time depends on the mapping of application tasks, and the core's location within the system. Heterogeneity further increases with the use of hardware-accelerators such as GPUs and the Intel Xeon Phi, where many specialist cores are attached to general-purpose cores. This trend for shared resources and non-uniform cores is expected to continue into the exascale era. The complexity of these systems means that various runtime scenarios are possible, and it has been found that under-populating nodes, altering the domain decomposition and non-standard task to core mappings can dramatically alter performance. To find this out, however, is often a process of trial and error. To better inform this process, a performance model was developed for a simple regular grid-based kernel code, shallow. The code comprises two distinct types of work, loop-based array updates and nearest-neighbour halo-exchanges. Separate performance models were developed for each part, both based on a similar methodology. Application specific benchmarks were run to measure performance for different problem sizes under different execution scenarios. These results were then fed into a performance model that derives resource usage for a given deployment scenario, with interpolation between results as necessary.

O atendimento educacional especializado no processo de inclusão escolar, na rede municipal de ensino de Mossoró/RN

This dissertation aims to analyze the specialized educational services(AEE, Portuguese) implemented in four municipal schools of Mossoró/RN, with attention to the process of collaboration between regular classroom teachers and multifunctional resource classroom teachers. We use as theoretical reference the works of Vygotsky and others authors that write about education and collaboration. To accomplish the research we chose a qualitative approach, using as a methodological resources: study of cases, bibliographical, documental and field research. For the field research we make observations in regular and multifunctional classrooms. We produce group intervieus with regular and multifunctional teachers. From the analysis performed we identify that the concepts and the practices of teachers in regular classrooms changes, with integrationist predominance. The AEE s teachers had more inclusive conceptions and greater investment in continuing education than the regular classroom teachers. The practices of regular classroom teachers are more traditional, what makes the learning process more difficult for the students, even more for the students with disabilities and pervasive developmental disorders. Teachers of AEE was more interactive and creative, however, the attention to the students was more individual. In three of the four schools surveyed stand out the efforts of the teachers of specialist classroom to collaborate with regular school teachers, by notes, e-mails, phone calls and resource sharing. In one of the four was noted a good collaborative interactive between the AEE teachers and the regular school teachers. The school with the worst improvement was that in which the actions of the teachers of the AEE were limited to actions in multifunctional resource classroom. The resistance to these professionals was identified in the statements of the regular classroom teachers. Another issue raised was the lack of time for teachers to conduct AEE actions that contribute to the process of school students, because their working hours is restricted to the opposite turn in school. Transport difficulties for the students to attend the resource classroom multifunctional and the lack of dialogue with the health sector was challenges for the four schools. The families were with a practically constant interest to interact with the AEE teachers in the four schools. Thus, we believe that the presence of AEE school can make contributions to the educational process, however, it is necessary more attention to the collaborative process between teachers and the school community

Territorial behaviour and dominance hierarchy of Anthracothorax nigricollis Vieillot 1817 (Aves: Trochilidae) on food resources

Dominant species are those which delimit and defend territories from other individuals of the same or different species. Subordinate species are those which, furtive and sneakily, use sources of nectar from other individuals. This study aimed to describe the aggressive interactions between species of hummingbirds, define which species are dominant and which are subordinate, investigate if the sharing of resources occurs during the visits, and compare the behaviour of the dominant species in different strata (tree, arbustive and herbaceous). The species observed interacting with Anthracothorax nigricollis Vieillot 1817 were Phaethornis pretrei Lesson and Delattrer 1839, Thalurania furcata Gmelin 1788, and Polytmus guainumbi Pallas 1764. Nine behavioural acts grouped into four categories were identified and described. The dominant species is A. nigricollis (with 0.9 of the attacks), followed by T. furcata (with 0.07) and P. pretrei (with 0.03). The resource sharing was seen only in the shrub layer, in C. surinamensis, in which there was intraspecific and interspecific sharing. A. nigricollis showed higher interspecific toleration, T. furcata (0.27) and P. pretrei (0.55) than intraspecific A. nigricollis (0.18). The frequency of occurrence of behaviours expressed by A. nigricollis in the three vegetation strata differed significantly.