Search results for "Static analysis"
showing 5 items of 15 documents
Design of an Electromagnetic Regenerative Damper and Energy Harvesting Assessment
2016
Design of an electromagnetic regenerative shock absorber is proposed in this paper. In order to increase the efficiency of land vehicles the sources of energy losses have to be eliminated, or reduced. For this reason, several systems, recovering kinetic energy and converting it into electrical power, were studied and designed in the last years. This energy, converted into heat in traditional systems, is recovered to increase the autonomy of the vehicle. The proposed device is constituted by a stator part which coils are placed in an innovative disposition. The moving part is constituted by a rod made in stainless steel with alternated permanent magnets and spacers, so that the relative moti…
A hybrid system for malware detection on big data
2018
In recent years, the increasing diffusion of malicious software has encouraged the adoption of advanced machine learning algorithms to timely detect new threats. A cloud-based approach allows to exploit the big data produced by client agents to train such algorithms, but on the other hand, poses severe challenges on their scalability and performance. We propose a hybrid cloud-based malware detection system in which static and dynamic analyses are combined in order to find a good trade-off between response time and detection accuracy. Our system performs a continuous learning process of its models, based on deep networks, by exploiting the growing amount of data provided by clients. The prel…
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
An Exploratory Empirical Study of Internal Quality Attributes of Open Source Software Systems
2012
This exploratory empirical study has focused on open source software (OSS). Seven medium-sized OSS systems from the SourceForge repository were analysed. Over 100 internal quality attributes and programming practices were scrutinized by using two semi-automated source code analysis tools (FindBugs and SoftCalc). Many statistically significant relations were revealed by the conducted regression analyses. Seven so-called bad programming practices; as manifested by the measured source code inconsistencies were identified as having significant relations to internal software quality. Additionally we set and tested two hypotheses. That investigation provided mixed results partly supporting some o…
On the limit velocity and buckling phenomena of axially moving orthotropic membranes and plates
2011
In this paper, we consider the static stability problems of axially moving orthotropic membranes and plates. The study is motivated by paper production processes, as paper has a fiber structure which can be described as orthotropic on the macroscopic level. The moving web is modeled as an axially moving orthotropic plate. The original dynamic plate problem is reduced to a two-dimensional spectral problem for static stability analysis, and solved using analytical techniques. As a result, the minimal eigenvalue and the corresponding buckling mode are found. It is observed that the buckling mode has a shape localized in the regions close to the free boundaries. The localization effect is demon…