Digital system design process automation using place/transition petri nets

The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

Tridimensional modeling of the cardiac wall

The advance in the graphic computer's techniques and computer's capacity of processing made possible applications like the human anatomic structures modeling, in order to investigate diseases, surgical planning or even provide images for training of Computer Aided Diagnosis (CAD). On this context, this work exhibits an anatomical model of cardiac structures represented in a tridimensional environment. The model was represented with geometrical elements and has anatomical details, as the different tunics that compose the cardiac wall and measures that preserves the characteristics found on real structures. The validation of the anatomical model was made through quantitative comparations with real structures measures, available on specialized literature. The results obtained, evaluated by two specialists, are compatible with real anatomies, respecting the anatomical particularities. This degree of representation will allow the verification of the influence of radiological parameters, morphometric peculiarities and stage of the cardiac diseases on the quality of the images, as well as on the performance of the CAD. © 2010 IEEE.

A CAD/CAM flapless surgical technique and immediate prosthesis: A clinical report

Background: This article describes a clinical report with a new system for guided surgical treatment and immediate load prosthesis in the flapless surgical technique. Case report: Based on a computed tomography (CT) of a 64 - year-old edentulous patient, the cross sections were reformatted and used to construct a virtual planning of the implants and a guide template in Dental Slice. Six dental implants were placed in the maxilla and mandible using a Slice Guide System. Following a 30-month in maxilla and 24-month in mandible healing period, the clinical and radiographic evaluation and computed tomography (CT) showed good clinical stability. The Slice Guide System proved satisfactory for the Flapless Surgical Technique in dental implants.

Methodology analysis of a computational tool used in electronic circuit design

This paper considers the importance of using a top-down methodology and suitable CAD tools in the development of electronic circuits. The paper presents an evaluation of the methodology used in a computational tool created to support the synthesis of digital to analog converter models by translating between different tools used in a wide variety of applications. This tool is named MS 2SV and works directly with the following two commercial tools: MATLAB/Simulink and SystemVision. Model translation of an electronic circuit is achieved by translating a mixed-signal block diagram developed in Simulink into a lower level of abstraction in VHDL-AMS and the simulation project support structure in SystemVision. The method validation was performed by analyzing the power spectral of the signal obtained by the discrete Fourier transform of a digital to analog converter simulation model. © 2011 IEEE.

Using virtual worlds in distance learning environments

This paper presents two tools developed to facilitate the use and automate the process of using Virtual Worlds for educational purposes. The first tool has been developed to automatically create the classroom space, usually called region in the virtual world, which means, a region in the virtual world used to develop educational activities between professors, students and interactive objects. The second tool helps the process of creating 3D interactive objects in a virtual world. With these tools educators will be able to produce 3D interactive learning objects and use them in virtual classrooms improving the quality and appeal, for students, of their classes. © 2011 IEEE.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

Effect of disinfection and accelerated ageing on dimensional stability and detail reproduction of a facial silicone with nanoparticles

The aim of the present study was to evaluate the effect of disinfection and accelerated ageing on the dimensional stability and detail reproduction of a facial silicone with different types of nanoparticle. A total of 60 specimens were fabricated with Silastic MDX 4-4210 silicone and they were divided into three groups: colourless and pigmented with nanoparticles (make-up powder and ceramic powder). Half of the specimens of each group were disinfected with Efferdent tablets and half with neutral soap for 60 days. Afterwards, all specimens were subjected to accelerated ageing. Both dimensional stability and detail reproduction tests were performed after specimen fabrication (initial period), after chemical disinfection, and after accelerated ageing periods (252, 504 and 1008 hours). The dimensional stability test was conducted using AutoCAD software, while detail reproduction was analysed using a stereoscope magnifying glass. Dimensional stability values were statistically evaluated by analysis of variance (ANOVA) followed by Tukey's test (p < 0.01). Detail reproduction results were compared using a score. Chemical disinfection and also accelerated ageing affected the dimensional stability of the facial silicone with statistically significant results. The silicone's detail reproduction was not affected by these two factors regardless of nanoparticle type, disinfection and accelerated ageing. © 2012 Informa UK, Ltd.

A malware detection system inspired on the human immune system

Malicious programs (malware) can cause severe damage on computer systems and data. The mechanism that the human immune system uses to detect and protect from organisms that threaten the human body is efficient and can be adapted to detect malware attacks. In this paper we propose a system to perform malware distributed collection, analysis and detection, this last inspired by the human immune system. After collecting malware samples from Internet, they are dynamically analyzed so as to provide execution traces at the operating system level and network flows that are used to create a behavioral model and to generate a detection signature. Those signatures serve as input to a malware detector, acting as the antibodies in the antigen detection process. This allows us to understand the malware attack and aids in the infection removal procedures. © 2012 Springer-Verlag.

Retention and processing methods of nasal prosthesis

Patients with congenital malformations, traumatic or pathological mutilation and maxillofacial developmental disorders can be restored aesthetically and emotionally by the production and use of facial prostheses. The aim of this study was to review the literature about the retention and processing methods of facial prostheses, and discuss their characteristics. A literature review on Medline (PubMed) database was performed by using the keywords maxillofacial prosthesis, silicone, resin, pigment, cosmetic, prosthetic nose, based on articles published from 1956 to 2010. Several methods of retention, from adhesives to the placement of implants, and different processing methods such as laser, CAD/CAM and rapid prototyping technologies have been reported. There are advantages and disadvantages of each procedure, and none can be classified as better compared to others.

Influence of polishing procedures on the surface roughness of dental ceramics made by different techniques

The aim of this study was to evaluate the influence of 2 different surface polishing procedures - glazing (GZ) and manual polishing (MP) - on the roughness of ceramics processed by computer-aided design/computer-aided manufacturing (CAD/CAM) and conventional systems (stratification technique). Eighty ceramic discs (diameter: 8 mm, thickness: 1 mm) were prepared and divided among 8 groups (n = 10) according to the type of ceramic disc and polishing method: 4 GZ and 4 MP. Specimens were glazed according to each manufacturer's recommendations. Two silicone polishing points were used on the ceramic surface for manual polishing. Roughness was measured using a surface roughness tester. The roughness measurements were made along a distance of 2 mm on the sample surface and the speed of reading was 0.1 mm/s. Three measurements were taken for each sample. The data (μm) were statistically analyzed using analysis of variance (ANOVA) and Tukey's test (α = 0.05). Qualitative analysis was performed using scanning electron microscopy (SEM). The mean (± SD) roughness values obtained for GZ were: 1.1 ± 0.40 μm; 1.0 ± 0.31 μm; 1.6 ± 0.31 μm; and 2.2 ± 0.73 μm. For MP, the mean values were: 0.66 ± 0.13 μm; 0.43 ± 0.14 μm; 1.6 ± 0.55 μm; and 2.0 ± 0.63 μm. The mean roughness values were significantly affected by the ceramic type (P = 0.0001) and polishing technique (P = 0.0047). The SEM images confirmed the roughness data. The manually polished glass CAD/CAM ceramics promoted lower surface roughness than did the glazed feldspathic dental ceramics.

Classification of masses in mammographic image using wavelet domain features and polynomial classifier

Breast cancer is the most common cancer among women. In CAD systems, several studies have investigated the use of wavelet transform as a multiresolution analysis tool for texture analysis and could be interpreted as inputs to a classifier. In classification, polynomial classifier has been used due to the advantages of providing only one model for optimal separation of classes and to consider this as the solution of the problem. In this paper, a system is proposed for texture analysis and classification of lesions in mammographic images. Multiresolution analysis features were extracted from the region of interest of a given image. These features were computed based on three different wavelet functions, Daubechies 8, Symlet 8 and bi-orthogonal 3.7. For classification, we used the polynomial classification algorithm to define the mammogram images as normal or abnormal. We also made a comparison with other artificial intelligence algorithms (Decision Tree, SVM, K-NN). A Receiver Operating Characteristics (ROC) curve is used to evaluate the performance of the proposed system. Our system is evaluated using 360 digitized mammograms from DDSM database and the result shows that the algorithm has an area under the ROC curve Az of 0.98 ± 0.03. The performance of the polynomial classifier has proved to be better in comparison to other classification algorithms. © 2013 Elsevier Ltd. All rights reserved.

Desenvolvimento de uma ferramenta computacional de apoio ao ensino de sistemas eletrônicos digitais

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

Quantificação de fibrose e enfisema em pacientes com paracoccidioidomicose (PCM) pulmonar, através de imagens de tomografia computadorizada de alta resolução (TCAR)

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

Mudanças morfológicas na evolução do megaleque do Taquari: uma análise com base em dados orbitais

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

Avaliação da influência de diferentes materiais oclusais na confecção de próteses fixas implantossuportadas unitárias com diferentes diâmetros dos implantes osseointegrados: estudo pelo método dos elementos finitos tridimensionais

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