65 resultados para Security-critical software
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
Purpose: To investigate the healing of critical-size cranial bone defects (9-mm-diameter) in guinea pigs treated with a bovine bone-derived resorbable membrane. Materials and Methods: A sample of 42 guinea pigs was divided into test (n = 20), control (n = 20), and standard (n = 2) groups. A full-thickness trephine defect was made in the fronto-parietal bone of each animal. In the test group, the internal and external openings of the defect were each closed with a separate membrane, and the space between them was filled with blood clot and a central spacer. In the control group, the defect was filled only with the blood clot and spacer. At 1, 3, 6, and 9 months later, the calvarias (5 per period) for both the test and control groups were collected, fixed, radiographed, and histologically processed. The Standard-group animals were sacrificed immediately after surgery and used to determine the initial size of defect radiographically. The areas of defects in the radiographs were measured with image-analysis software and were compared between groups and periods by multiple regression analysis with the Bonferroni correction. Results: At 1 and 3 months, newly formed woven bone was histologically observed in both test and control groups. Radiographically, this new bone occupied an average of 32% of the defect area at 1 month and 60% at 3 months in the test group. In the control group, 21% of the defect was filled at 1 month and 39% at 3 months. However, the differences between treatments were not statistically significant (P > .05). At 6 and 9 months, a significant increase in newly formed lamellar bone was seen histologically in both groups. Radiographically, for the test group, the new bone occupied an average of 82% of the defect area at 6 months and 96% at 9 months. For the control group, new bone composed an average of 45% of the defect area at 6 months and 40% at 9 months. The differences between the test and control groups were statistically significant at 6 and 9 months (P < .05). Complete or almost complete filling of the defect was observed in several cases. Conclusion: It was concluded that the bovine bone-derived membrane is highly biocompatible and is able to promote good healing of critical-size defects in calvaria of guinea pig.
Resumo:
Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.
Resumo:
Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.
Resumo:
INTRODUÇÃO: quanto menor a dimensão do voxel, maior a nitidez da imagem de tomografia computadorizada Cone-Beam (TCCB), porém, maior a dose de radiação emitida. OBJETIVOS: avaliar e comparar a reprodutibilidade da mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB, utilizando diferentes protocolos de aquisição de imagem com variação da dimensão do voxel. MÉTODOS: exames de TCCB foram tomados de 12 mandíbulas humanas secas, com dimensão do voxel de 0,2; 0,3 e 0,4mm, no aparelho i-CAT Cone-Beam 3-D Dental Imaging System. No software i-CAT Viewer, foi mensurada a espessura das tábuas ósseas vestibular e lingual, em um corte axial passando 12mm acima do forame mentoniano do lado direito. A reprodutibilidade intraexaminador foi avaliada por meio da aplicação do teste t pareado. Para a comparação interexaminadores, foi utilizado o teste t independente. Os resultados foram considerados com o nível de significância de 5%. RESULTADOS: observou-se uma excelente reprodutibilidade interexaminadores para os três protocolos avaliados. A reprodutibilidade intraexaminadores foi muito boa, com exceção de algumas regiões dos dentes anteriores, que mostraram diferenças estatisticamente significativas, independentemente da dimensão do voxel. CONCLUSÃO: a mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB mostrou boa precisão para exames obtidos com voxel de 0,2; 0,3 ou 0,4mm. A reprodutibilidade das mensurações na região anterior da mandíbula foi mais crítica do que na região posterior.
Resumo:
The aim of this study was to evaluate the bone repair using autogenous periosteum-derived cells (PDC) and bovine anorganic apatite and collagen (HA-COL). PDC from Wistar rats (n=10) were seeded on HA-COL discs and subjected to osteoinduction during 6 days. Critical-size defects in rat calvarias were treated with blood clot (G1), autogenous bone (G2), HA-COL (G3) and HA-COL combined with PDC (G4) (n=40), and then analyzed 1 and 3 months after surgeries. Radiographic analysis exhibited no significant temporal change. G1 and G2 had discrete new marginal bone, but the radiopacity of graft materials in G2, G3 and G4 impaired the detection of osteogenesis. At 3 months, histopathological analysis showed the presence of ossification islets in G1, which was more evident in G2, homogeneous new bone around HA-COL in G3 and heterogeneous new bone around HA-COL in G4 in addition to moderate presence of foreign body cells in G3 and G4. Histomorphometric analysis showed no change in the volume density of xenograft (p>0.05) and bone volume density in G2 was twice greater than in G1 and G4 after 3 months (p<0.05), but similar to G3. The PDC did not increase bone formation in vivo, although the biomaterial alone showed biocompatibility and osteoconduction capacity.
Resumo:
Technical evaluation of analytical data is of extreme relevance considering it can be used for comparisons with environmental quality standards and decision-making as related to the management of disposal of dredged sediments and the evaluation of salt and brackish water quality in accordance with CONAMA 357/05 Resolution. It is, therefore, essential that the project manager discusses the environmental agency's technical requirements with the laboratory contracted for the follow-up of the analysis underway and even with a view to possible re-analysis when anomalous data are identified. The main technical requirements are: (1) method quantitation limits (QLs) should fall below environmental standards; (2) analyses should be carried out in laboratories whose analytical scope is accredited by the National Institute of Metrology (INMETRO) or qualified or accepted by a licensing agency; (3) chain of custody should be provided in order to ensure sample traceability; (4) control charts should be provided to prove method performance; (5) certified reference material analysis or, if that is not available, matrix spike analysis, should be undertaken and (6) chromatograms should be included in the analytical report. Within this context and with a view to helping environmental managers in analytical report evaluation, this work has as objectives the discussion of the limitations of the application of SW 846 US EPA methods to marine samples, the consequences of having data based on method detection limits (MDL) and not sample quantitation limits (SQL), and present possible modifications of the principal method applied by laboratories in order to comply with environmental quality standards.
Resumo:
We have considered a Bose gas in an anisotropic potential. Applying the the Gross-Pitaevskii Equation (GPE) for a confined dilute atomic gas, we have used the methods of optimized perturbation theory and self-similar root approximants, to obtain an analytical formula for the critical number of particles as a function of the anisotropy parameter for the potential. The spectrum of the GPE is also discussed.
Resumo:
The HACCP system is being increasingly used to ensure food safety. This study investigated the validation of the control measures technique in order to establish performance indicators of this HACCP system in the manufacturing process of Lasagna Bolognese (meat lasagna). Samples were collected along the manufacturing process as a whole, before and after the CCPs. The following microorganism s indicator (MIs) was assessed: total mesophile and faecal coliform counts. The same MIs were analyzed in the final product, as well as, the microbiological standards required by the current legislation. A significant reduction in the total mesophile count was observed after cooking (p < 0.001). After storage, there was a numerical, however non-significant change in the MI count. Faecal coliform counts were also significantly reduced (p < 0.001) after cooking. We were able to demonstrate that the HACCP system allowed us to meet the standards set by both, the company and the Brazilian regulations, proved by the reduction in the established indicators
Resumo:
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization and exploration of this data is critical to understanding the regulatory logic encoded in the genome by which the cell dynamically affects its physiology and interacts with its environment. Results: The Gaggle Genome Browser is a cross-platform desktop program for interactively visualizing high-throughput data in the context of the genome. Important features include dynamic panning and zooming, keyword search and open interoperability through the Gaggle framework. Users may bookmark locations on the genome with descriptive annotations and share these bookmarks with other users. The program handles large sets of user-generated data using an in-process database and leverages the facilities of SQL and the R environment for importing and manipulating data. A key aspect of the Gaggle Genome Browser is interoperability. By connecting to the Gaggle framework, the genome browser joins a suite of interconnected bioinformatics tools for analysis and visualization with connectivity to major public repositories of sequences, interactions and pathways. To this flexible environment for exploring and combining data, the Gaggle Genome Browser adds the ability to visualize diverse types of data in relation to its coordinates on the genome. Conclusions: Genomic coordinates function as a common key by which disparate biological data types can be related to one another. In the Gaggle Genome Browser, heterogeneous data are joined by their location on the genome to create information-rich visualizations yielding insight into genome organization, transcription and its regulation and, ultimately, a better understanding of the mechanisms that enable the cell to dynamically respond to its environment.
Resumo:
Objectives: To evaluate the intratumoral reliability of color Doppler parameters and the contribution of Doppler sonography to the gray-scale differential diagnosis of ovarian masses. Methods: An observational study was performed including 67 patients, 15 (22.4%) with malignant ovarian neoplasm and 52 (77.6%) with benign ovarian diseases. We performed the Doppler evaluation in two distinct vessels selected after decreasing the Doppler gain to sample only vessels with higher velocity flow. Doppler measurements were obtained from each identified vessel, and resistive index (RI), pulsatility index (PI), peak systolic velocity (PSV), and end-diastolic velocity (EDV) were measured. Intraclass coefficient of correlation (ICC), sensitivity, specificity, and potential improvement in gray-scale ultrasound performance were calculated. Results: The general ICC were 0.60 (95% CI 0.42- 0.73) for RI, 0.65 (95% CI 0.49- 0.77) for PI, 0.07 (95% CI- 0.17-0.30) for PSV, and 0.19 (95% CI -0.05-0.41) for EDV. The sensitivity and specificity were respectively 84.6% and 86.7% for RI, 69.2% and 93.3% for PI, 80.0% and 65.4% for gray-scale sonography, and 93.3% and 65.4% for gray-scale plus RI (p = 0.013). Conclusions: Gynecologists must be careful in interpreting results from Doppler evaluation of ovarian masses because PSV and EDV present poor intratumoral reliability. The lower RI value, evaluated in at least two distinct sites of the tumor, was able to improve the performance of gray-scale ultrasound in differential diagnosis of ovarian masses.
Resumo:
Previous studies have shown that a particular site in the periaqueductal gray (PAG), the rostrolateral PAG, influences the motivation drive to forage or hunt. To have a deeper understanding on the putative paths involved in the decision-making process between foraging, hunting, and other behavioral responses, in the present investigation, we carried out a systematic analysis of the neural inputs to the rostrolateral PAG (rlPAG), using Fluorogold as a retrograde tracer. According to the present findings, the rlPAG appears to be importantly driven by medial prefrontal cortical areas involved in controlling attention-related and decision-making processes. Moreover, the rlPAG also receives a wealth of information from different amygdalar, hypothalamic, and brainstem sites related to feeding, drinking, or hunting behavioral responses. Therefore, this unique combination of afferent connections puts the rlPAG in a privileged position to influence the motivation drive to choose whether hunting and foraging would be the most appropriate adaptive responses. Copyright (C) 2009 Sandra Regina Mota-Ortiz et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Resumo:
Objectives: The aim of this study was to evaluate the osteogenic potential of recombinant human bone morphogenetic protein-2 (rhBMP-2) and low-level laser irradiation (LLLI), isolated or combined in critical bone defects (5mm) in parietal bone using ovariectomized female rats as an experimental animal model. Materials and Methods: Forty-nine female Wistar rats, bilaterally ovariectomized (OVX), were divided into seven treatment groups of seven animals each: (I) laser in a single application, (II) 7 mu g of pure rhBMP-2, (III) laser and 7 mu g of pure rhBMP-2, (IV) 7 mu g of rhBMP-2/monoolein gel, (V) laser and 7 mu g of rhBMP-2/monoolein gel, (VI) laser and pure monoolein gel, and (VII) critical bone defect controls. The low-level laser source used was a gallium aluminum arsenide semiconductor diode laser device (lambda = 780 nm, D = 120 J/cm(2)). Results: Groups II and III presented higher levels of newly formed bone than all other groups with levels of 40.57% and 40.39%, respectively (p < 0.05). The levels of newly formed bone of groups I, IV, V, and VI were similar with levels of 29.67%, 25.75%, 27.75%, and 30.64%, respectively (p > 0.05). The area of new bone formation in group VII was 20.96%, which is significantly lower than groups I, II, III, and VI. Conclusions: It was concluded that pure rhBMP-2 and a single dose of laser application stimulated new bone formation, but the new bone formation area was significantly increased when only rhBMP-2 was used. Additionally, the laser application in combination with other treatments did not influence the bone formation area.
Resumo:
This paper presents SMarty, a variability management approach for UML-based software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a process for managing variabilities, the SMartyProcess. SMartyProfile aims at representing variabilities, variation points, and variants in UML models by applying a set of stereotypes. SMartyProcess consists of a set of activities that is systematically executed to trace, identify, and control variabilities in a PL based on SMarty. It also identifies variability implementation mechanisms and analyzes specific product configurations. In addition, a more comprehensive application of SMarty is presented using SEI's Arcade Game Maker PL. An evaluation of SMarty and related work are discussed.
Resumo:
Thermodiffusion in a lyotropic mixture of water and potassium laurate is investigated by means of an optical technique (Z scan) distinguishing the index variations due to the temperature gradient and the mass gradients. A phenomenological framework allowing for coupled diffusion is developed in order to analyze thermodiffusion in multicomponent systems. An observable parameter relating to the mass gradients is found to exhibit a sharp change around the critical micellar concentration, and thus may be used to detect it. The change in the slope is due to the markedly different values of the Soret coefficients of the surfactant and the micelles. The difference in the Soret coefficients is due to the fact that the micellization process reduces the energy of interaction of the ball of amphiphilic molecules with the solvent.
Resumo:
By means of numerical simulations and epidemic analysis, the transition point of the stochastic asynchronous susceptible-infected-recovered model on a square lattice is found to be c(0)=0.176 500 5(10), where c is the probability a chosen infected site spontaneously recovers rather than tries to infect one neighbor. This point corresponds to an infection/recovery rate of lambda(c)=(1-c(0))/c(0)=4.665 71(3) and a net transmissibility of (1-c(0))/(1+3c(0))=0.538 410(2), which falls between the rigorous bounds of the site and bond thresholds. The critical behavior of the model is consistent with the two-dimensional percolation universality class, but local growth probabilities differ from those of dynamic percolation cluster growth, as is demonstrated explicitly.