23 resultados para Static analysis


Relevância:

30.00% 30.00%

Publicador:

Resumo:

This review presents the methods used to investigate the effects of various stretching protocols on muscular force and performance, in light of current individual and elite athlete stretching practices in their warm-up routines. A meta-analysis of peer-reviewed articles between the years of 2000 and 2007 revealed the majority of studies support the notion that static stretching is detrimental to muscular force and performance. However, the meta-analysis also revealed that the protocols used do not necessarily match current practice with many elite athletes. This article proposes, based on the mismatch between research and practice, that further studies must address this issue in further exploring the role of stretching in pre-training and competition warm-up routines.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The peg-in-hole insertion and adjustment operation is one of the most common tasks in the robotic and automatic assembly processes. Fine motion strategies associated with adjustment operations on a peg-in-hole are fundamental manipulations that can be utilised in dynamic assembly and reconfigurable workholding or fixturing systems. This paper presents a comprehensive study of robotic-based height adjustment of a cylindrical pair based on maintaining minimum contact forces between the links. The outer link is held by the end-effector of a six-DOF (Degrees of freedom) serial articulated robot manipulator. The environment represented by the inner link can be either static or dynamic. A force-based approach and a d value approach are established to determine the type of contact that exists between the links of a cylindrical pair, and to extract control parameters. Based on the comparison and analysis of these two approaches, a hybrid methodology is established by combining a d value approach with a force-based approach for contact state determination. Formulations capable of extracting necessary control parameters, which ensure minimum contact forces between the links, are established from both planar and spatial viewpoints under both static and dynamic environmental conditions. Experimental results demonstrate the effectiveness of the proposed methodology.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, the modeling of the distribution network is done in a different way where the distributed generator and dynamic loads are considered. Based on this modeling, this paper presents an analysis to investigate the dynamic and static load variation effect on the distribution network. Graphical interface industry software is used to conduct all the aspects of model implementation and carry out the extensive simulation studies. Here also focuses on the worst case scenario and the different fault effect on the generator. Finally, this paper presents the voltage profile for different penetration with different network configurations.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper presents potential barriers to integrate the squirrel cage induction generator (SCIG) and doubly fed induction generator (DFIG) type wind turbine in distribution networks. The analysis is carried out over a 16 bus distribution test system. Both static and dynamic analyses are performed to see the impact of two different generators on the distribution system. The simulation results show that both SCIG and DFIG type wind turbines have significant impact on the static voltage stability, power loss, and dynamic behavior of the system, which should be taken into account to improve systems performance before integrating wind generation in existing distribution networks.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Heterogeneous deformation developed during "static recrystallization (SRX) tests" poses serious questions about the validity of the conventional methods to measure softening fraction. The challenges to measure SRX and verify a proposed kinetic model of SRX are discussed and a least square technique is utilized to quantify the error in a proposed SRX kinetic model. This technique relies on an existing computational-experimental multi-layer formulation to account for the heterogeneity during the post interruption hot torsion deformation. The kinetics of static recrystallization for a type 304 austenitic stainless steel deformed at 900 °C and strain rate of 0.01s-1 is characterized implementing the formulation. Minimizing the error between the measured and calculated torque-twist data, the parameters of the kinetic model and the flow behavior during the second hit are evaluated and compared with those obtained based on a conventional technique. Typical static recrystallization distributions in the test sample will be presented. It has been found that the major differences between the conventional and the presented technique results are due to the heterogeneous recrystallization in the cylindrical core of the specimen where the material is still partially recrystallized at the onset of the second hit deformation. For the investigated experimental conditions, the core is confined in the first two-thirds of the gauge radius, when the holding time is shorter than 50 s and the maximum pre-strain is about 0.5.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background

Previous reviews on risk and protective factors for violence in psychosis have produced contrasting findings. There is therefore a need to clarify the direction and strength of association of risk and protective factors for violent outcomes in individuals with psychosis.

Method

We conducted a systematic review and meta-analysis using 6 electronic databases (CINAHL, EBSCO, EMBASE, Global Health, PsycINFO, PUBMED) and Google Scholar. Studies were identified that reported factors associated with violence in adults diagnosed, using DSM or ICD criteria, with schizophrenia and other psychoses. We considered non-English language studies and dissertations. Risk and protective factors were meta-analysed if reported in three or more primary studies. Meta-regression examined sources of heterogeneity. A novel meta-epidemiological approach was used to group similar risk factors into one of 10 domains. Sub-group analyses were then used to investigate whether risk domains differed for studies reporting severe violence (rather than aggression or hostility) and studies based in inpatient (rather than outpatient) settings.

Findings

There were 110 eligible studies reporting on 45,533 individuals, 8,439 (18.5%) of whom were violent. A total of 39,995 (87.8%) were diagnosed with schizophrenia, 209 (0.4%) were diagnosed with bipolar disorder, and 5,329 (11.8%) were diagnosed with other psychoses. Dynamic (or modifiable) risk factors included hostile behaviour, recent drug misuse, non-adherence with psychological therapies (p values<0.001), higher poor impulse control scores, recent substance misuse, recent alcohol misuse (p values<0.01), and non-adherence with medication (p value <0.05). We also examined a number of static factors, the strongest of which were criminal history factors. When restricting outcomes to severe violence, these associations did not change materially. In studies investigating inpatient violence, associations differed in strength but not direction.

Conclusion

Certain dynamic risk factors are strongly associated with increased violence risk in individuals with psychosis and their role in risk assessment and management warrants further examination.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, the notion of the cumulative time varying graph (C-TVG) is proposed to model the high dynamics and relationships between ordered static graph sequences for space-based information networks (SBINs). In order to improve the performance of management and control of the SBIN, the complexity and social properties of the SBIN's high dynamic topology during a period of time is investigated based on the proposed C-TVG. Moreover, a cumulative topology generation algorithm is designed to establish the topology evolution of the SBIN, which supports the C-TVG based complexity analysis and reduces network congestions and collisions resulting from traditional link establishment mechanisms between satellites. Simulations test the social properties of the SBIN cumulative topology generated through the proposed C-TVG algorithm. Results indicate that through the C-TVG based analysis, more complexity properties of the SBIN can be revealed than the topology analysis without time cumulation. In addition, the application of attack on the SBIN is simulated, and results indicate the validity and effectiveness of the proposed C-TVG and C-TVG based complexity analysis for the SBIN.