964 resultados para Static analysis


Relevância:

60.00% 60.00%

Publicador:

Resumo:

O presente trabalho de investigação aplicada subordinado ao tema “Aquisição dos bens e serviços ao nível do Exército” visa descrever que medidas podem ser implementadas no sistema aquisitivo do Exército para minimizar os custos e melhorar a racionalização de diversos recursos. O presente trabalho estrutura-se em duas partes. A primeira parte consiste numa exposição teórica, na qual são abordados diversos temas como as “compras”, a descentralização e centralização, a regência da Administração Pública ao nível da contratação pública. Numa segunda parte, é definido o trabalho de campo, no qual são descritas as entrevistas realizadas com intuito de obter informações no que concerne a metodologias, fluxos e procedimentos adotados por parte dos ramos das Forças Armadas e Guarda Nacional Republicana, bem como a análise estatística das aquisições dos bens e serviços de 2015 Este trabalho foi realizado com recurso a uma metodologia hipotético-dedutiva, tendo a sua realização permitido o esclarecimento de hipóteses previamente colocadas. A investigação concluiu que o sistema aquisitivo do Exército possui muitas fragilidades que o impossibilitam de usufruir das vantagens que a centralização acarreta, nomeadamente as economias de escala. Tal deve-se a diversas lacunas existentes, particularmente a falta de planeamento.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Smartphones become very critical part of our lives as they offer advanced capabilities with PC-like functionalities. They are getting widely deployed while not only being used for classical voice-centric communication. New smartphone malwares keep emerging where most of them still target Symbian OS. In the case of Symbian OS, application signing seemed to be an appropriate measure for slowing down malware appearance. Unfortunately, latest examples showed that signing can be bypassed resulting in new malware outbreak. In this paper, we present a novel approach to static malware detection in resource-limited mobile environments. This approach can be used to extend currently used third-party application signing mechanisms for increasing malware detection capabilities. In our work, we extract function calls from binaries in order to apply our clustering mechanism, called centroid. This method is capable of detecting unknown malwares. Our results are promising where the employed mechanism might find application at distribution channels, like online application stores. Additionally, it seems suitable for directly being used on smartphones for (pre-)checking installed applications.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The desire to solve problems caused by socket prostheses in transfemoral amputees and the acquired success of osseointegration in the dental application has led to the introduction of osseointegration in the orthopedic surgery. Since its first introduction in 1990 in Gothenburg Sweden the osseointegrated (OI) orthopedic fixation has proven several benefits[1]. The surgery consists of two surgical procedures followed by a lengthy rehabilitation program. The rehabilitation program after an OI implant includes a specific training period with a short training prosthesis. Since mechanical loading is considered to be one of the key factors that influence bone mass and the osseointegration of bone-anchored implants, the rehabilitation program will also need to include some form of load bearing exercises (LBE). To date there are two frequently used commercially available human implants. We can find proof in the literature that load bearing exercises are performed by patients with both types of OI implants. We refer to two articles, a first one written by Dr. Aschoff and all and published in 2010 in the Journal of Bone and Joint Surgery.[2] The second one presented by Hagberg et al in 2009 gives a very thorough description of the rehabilitation program of TFA fitted with an OPRA implant. The progression of the load however is determined individually according to the residual skeleton’s quality, pain level and body weight of the participant.[1] Patients are using a classical bathroom weighing scale to control the load on the implant during the course of their rehabilitation. The bathroom scale is an affordable and easy-to-use device but it has some important shortcomings. The scale provides instantaneous feedback to the patient only on the magnitude of the vertical component of the applied force. The forces and moments applied along and around the three axes of the implant are unknown. Although there are different ways to assess the load on the implant for instance through inverse dynamics in a motion analysis laboratory [3-6] this assessment is challenging. A recent proof- of-concept study by Frossard et al (2009) showed that the shortcomings of the weighing scale can be overcome by a portable kinetic system based on a commercial transducer[7].

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Experiments have repeatedly observed both thermodynamic and dynamic anomalies in aqueous binary mixtures, surprisingly at low solute concentration. Examples of such binary mixtures include water-DMSO, water-ethanol, water-tertiary butyl alcohol (TBA), and water-dioxane, to name a few. The anomalies have often been attributed to the onset of a structural transition, whose nature, however, has been left rather unclear. Here we study the origin of such anomalies using large scale computer simulations and theoretical analysis in water-DMSO binary mixture. At very low DMSO concentration (below 10%), small aggregates of DMSO are solvated by water through the formation of DMSO-(H2O)(2) moieties. As the concentration is increased beyond 10-12% of DMSO, spanning clusters comprising the same moieties appear in the system. Those clusters are formed and stabilized not only through H-bonding but also through the association of CH3 groups of DMSO. We attribute the experimentally observed anomalies to a continuum percolation-like transition at DMSO concentration X-DMSO approximate to 12-15%. The largest cluster size of CH3-CH3 aggregation clearly indicates the formation of such percolating clusters. As a result, a significant slowing down is observed in the decay of associated rotational auto time correlation functions (of the S = O bond vector of DMSO and O-H bond vector of water). Markedly unusual behavior in the mean square fluctuation of total dipole moment again suggests a structural transition around the same concentration range. Furthermore, we map our findings to an interacting lattice model which substantiates the continuum percolation model as the reason for low concentration anomalies in binary mixtures where the solutes involved have both hydrophilic and hydrophobic moieties.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This article contains electromechanical analysis of a piezoelectric bimorph actuator at high electric field by incorporating second-order constitutive equations of piezoelectric material. Tip deflection, block force, block moment, block load, output strain energy, output energy density, input electrical energy, and energy efficiency are analytically derived for the actuator at high electric field. The analysis shows that output energy and energy density increase more rapidly at high electric field, compared to the prediction by the linear model. The analysis shows energy efficiency depends on electric field. Some analytical results are validated with the published experimental results.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper presents a critical comparison of static and switching performance of commercially available 1.2 kV SiC BJTs, MOSFETs and JFETs with 1.2 kV Si IGBTs. The experiments conducted are mainly focussed on investigating the temperature dependence of device performance. As an emerging commercial device, special emphasis is placed on SiC BJTs. The experimental data indicate that the SiC BJTs have relatively smaller conduction, off-state and turn-off switching losses, in comparison to the other devices. Furthermore, SiC BJTs have demonstrated much higher static current gain values in comparison to their silicon counterparts, thereby minimising driver losses. Based on the results, the suitability of SiC devices for high power density applications has been discussed. © 2013 IEEE.