A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Social networks on the Internet: a practical investigation about file sharing on Facebook

The social networks on the internet have experienced rapid growth and joined millions of users in Brazil and throughout the world. Such networks allow groups of people to communicate and exchange information. Sharing information in files is also a growing activity on the internet and is done in various ways. However, applications are not yet available to enable file sharing on Facebook, the premier social network today. This study aims to investigate how users use Facebook, and their practices for file sharing. Due to the experimental nature of this research, we opted for a data collection survey, applied over the web. From the data analysis, we have found a frequent use of file sharing, but no interest in paid services. As for Facebook, there was an extensive use of applications. The set of results shows a favourable scenario for applications that allow file sharing on Facebook.

Influence of the tool edge geometry on specific cutting energy at high-speed cutting

This paper presents specific cutting energy measurements as a function of the cutting speed and tool cutting edge geometry. The experimental work was carried out on a vertical CNC machining center with 7,500 rpm spindle rotation and 7.5 kW power. Hardened steels ASTM H13 (50 HRC) were machined at conventional cutting speed and high-speed cutting (HSC). TiN coated carbides with seven different geometries of chip breaker were applied on dry tests. A special milling tool holder with only one cutting edge was developed and the machining forces needed to calculate the specific cutting energy were recorded using a piezoelectric 4-component dynamometer. Workpiece roughness and chip formation process were also evaluated. The results showed that the specific cutting energy decreased 15.5% when cutting speed was increased up to 700%. An increase of 1 °in tool chip breaker chamfer angle lead to a reduction in the specific cutting energy about 13.7% and 28.6% when machining at HSC and conventional cutting speed respectively. Furthermore the workpiece roughness values evaluated in all test conditions were very low, closer to those of typical grinding operations (∼0.20 μm). Probable adiabatic shear occurred on chip segmentation at HSC Copyright © 2007 by ABCM.

On data-centric misbehavior detection in VANETs

Detecting misbehavior (such as transmissions of false information) in vehicular ad hoc networks (VANETs) is a very important problem with wide range of implications, including safety related and congestion avoidance applications. We discuss several limitations of existing misbehavior detection schemes (MDS) designed for VANETs. Most MDS are concerned with detection of malicious nodes. In most situations, vehicles would send wrong information because of selfish reasons of their owners, e.g. for gaining access to a particular lane. It is therefore more important to detect false information than to identify misbehaving nodes. We introduce the concept of data-centric misbehavior detection and propose algorithms which detect false alert messages and misbehaving nodes by observing their actions after sending out the alert messages. With the data-centric MDS, each node can decide whether an information received is correct or false. The decision is based on the consistency of recent messages and new alerts with reported and estimated vehicle positions. No voting or majority decisions is needed, making our MDS resilient to Sybil attacks. After misbehavior is detected, we do not revoke all the secret credentials of misbehaving nodes, as done in most schemes. Instead, we impose fines on misbehaving nodes (administered by the certification authority), discouraging them to act selfishly. This reduces the computation and communication costs involved in revoking all the secret credentials of misbehaving nodes. © 2011 IEEE.

Approximation of hyperbolic tangent activation function using hybrid methods

Artificial Neural Networks are widely used in various applications in engineering, as such solutions of nonlinear problems. The implementation of this technique in reconfigurable devices is a great challenge to researchers by several factors, such as floating point precision, nonlinear activation function, performance and area used in FPGA. The contribution of this work is the approximation of a nonlinear function used in ANN, the popular hyperbolic tangent activation function. The system architecture is composed of several scenarios that provide a tradeoff of performance, precision and area used in FPGA. The results are compared in different scenarios and with current literature on error analysis, area and system performance. © 2013 IEEE.

Comparison of logistic and neural network models to fit to the egg production curve of White Leghorn hens

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

Design of a reconfigurable pseudorandom number generator for use in intelligent systems

This paper deals with the design of a network-on-chip reconfigurable pseudorandom number generation unit that can map and execute meta-heuristic algorithms in hardware. The unit can be configured to implement one of the following five linear generator algorithms: a multiplicative congruential, a mixed congruential, a standard multiple recursive, a mixed multiple recursive, and a multiply-with-carry. The generation unit can be used both as a pseudorandom and a message passing-based server, which is able to produce pseudorandom numbers on demand, sending them to the network-on-chip blocks that originate the service request. The generator architecture has been mapped to a field programmable gate array, and showed that millions of numbers in 32-, 64-, 96-, or 128-bit formats can be produced in tens of milliseconds. (C) 2011 Elsevier B.V. All rights reserved.

Optimization of query results in peer-to-peer database supported by semantics

The development of new technologies that use peer-to-peer networks grows every day, with the object to supply the need of sharing information, resources and services of databases around the world. Among them are the peer-to-peer databases that take advantage of peer-to-peer networks to manage distributed knowledge bases, allowing the sharing of information semantically related but syntactically heterogeneous. However, it is a challenge to ensure the efficient search for information without compromising the autonomy of each node and network flexibility, given the structural characteristics of these networks. On the other hand, some studies propose the use of ontology semantics by assigning standardized categorization of information. The main original contribution of this work is the approach of this problem with a proposal for optimization of queries supported by the Ant Colony algorithm and classification though ontologies. The results show that this strategy enables the semantic support to the searches in peer-to-peer databases, aiming to expand the results without compromising network performance. © 2011 IEEE.

Representações da sexualidade em produto cultural: percepções e impressões de um filme

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

Tecnologia digital móvel e educação: envolvendo jovens na discussão sobre o ECA

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Identificação de perfis diferenciais de metilação do DNA na endometriose

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

Efeito do fresamento com alta velocidade de corte na usinabilidade de aços ferríticos com grãos ultrafinos

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

Switch allocation problems in power distribution systems

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

A educação para os 'meios e os fins': a informação, o conhecimento e a comunicação na educação escolar básica e universitária

This research has as its main reference, the need to detect the development initiatives by public higher education, concepts, methods and teaching and pedagogical tools and to investigate the ability to transfer knowledge and practices of teaching and learning produced for other levels education. The task of providing appropriate training of teachers of basic education to university education is a vital political and administrative demands for a large country, which needs to adequately educate its people, so he can face in the right conditions, the huge and complex demands of regional and national development. The research presented here, aims to gauge the extent and adequacy of current media and information as tools for teaching and pedagogical transfer the knowledge and practices of teaching and learning as a tool for updating and also for training or non-presence blended Primary School Teacher Education. From the established goals will be carried out research, conceptual and field, to analyze and evaluate some educational practices and resulting forms of communication and also to assess the effects brought about by replacing the linear communication model and the model of unilateral to multilateral communication networks on digital models, and practices of schooling. The results obtained from both theoretical and practical will be on the selection of concepts, content production, methodologies and resources run by different "means" integrated with the cultural, economic and social development, both locally, regionally or nationally. The strategic aim will be to expand from the analysis, production and dissemination of concepts, methods and tools made by teachers of Basic Education and Higher Education, teaching and pedagogical possibilities of media and digital devices that are emerging as the derivation of network communication.

Feminismo na internet: o caso do coletivo marcha das vadias e sua página no facebook

This article analyzes how the Brazilian feminist movements utilize online social networks to expand their sphere of action and mobilization in society through understanding how is the activity of the collective Marcha das Vadias of Rio de Janeiro on your Facebook page and as this group is mobilized in the online environment to organize its annual march, here, specifically the 4th Marcha das Vadias of Rio de Janeiro. Through exploratory, descriptive and analytical qualitative research methodology and analysis of social networks on the Internet, it is concluded that the network generated by the topic "4th Marcha das Vadias of Rio de Janeiro" was central dynamic between a public clear feminist, but weak and little to comprehensive dialogue with society in general positions.