Suchergebnisse

This paper hands in a review of the basic issues about the statics of tensegrity structures. Definitions and notation for the most important concepts, borrowed from the vast existing literature, are summarized. All of these concepts and definitions provide a complete mathematical framework to analyze the rigidity and stability properties of tensegrity structures from three different, but related, points of view: motions, forces and energy approaches. Several rigidity and stability definitions are presented in this paper and hierarchically ordered, from the strongest condition of infinitesimal rigidity to the more wide concept of simple rigidity, so extending some previous classifications already available. Important theorems regarding the relationship between these definitions are also put together to complete the static overview of tensegrity structures. Examples of different tensegrity structures belonging to each of the rigidity and stability ca\-tegories presented are described and analyzed. Concluding the static analysis of tensegrity structures, a review of existing form-finding methods is presented. ; This work was supported by projects: 'Estudio de estructuras tensegrity para el desarrollo de sensores manipuladores y robots móviles' (4798), 'Estudio y diseño de manipulador mecánico sobreactuado basado en estructuras tensigrity' (4801/Ref.CIT-020400-2007-78). This work has been partially supported by the projects CICyT DPI2006-14001 and PROFIT CIT-020400-2007-78 both financied by the Education and Science Ministry of the Spanish Government. ; Peer Reviewed

A comparative static analysis is conducted for international competition among several domestic and foreign firms in one country in relation to a change in the domestic firms' cost parameter, which could be technological, export subsidy or tax, or pollution tax rate. The general result is made more transparent for some simple cases. The effects of entry of a new domestic firm are analyzed.

AbstractThe vulnerability of modern cars increases due to their multiple connections to the environment, which offers the possibility of remote attacks in the worst case with fatal outcome. The controller area network (CAN) is still highly used and includes no security features, so intrusion detection systems are a promising approach to secure the communication. The proposed method monitors the CAN communication and uses static checks to differentiate between normal and attack traffic. This enables reliable and comprehensible attack detection and achieves a detection rate up to 100%, generating zero false alarms for the investigated data sets.

Abstract
In this paper a results of a static analysis of the tubular linear electromagnetic actuator is presented. The linear actuator consist of two parts: a cylindrical unmovable coils surrounded by a soft ferromagnetic case, and a runner made from sequence of permanent magnet with a soft ferro-magnetic gasket. In the first part of the paper the analytical method was performed for preliminary analysis. In the second part of the paper the more detailed analysis was depicted with using finite element method (FEM). The magnetic circuit shape and impact of selected dimensions on static characteristics is presented. Then the axial and radial electromagnetic force as a function of the runner dimensions were analysed.

Unknown protocol's hidden behavior is becoming a new challenge in network security. This paper takes the captured messages and the binary code that implement the protocol both as the studied object. Dynamic Taint Analysis combined with Static Analysis is used for protocol analyzing. Firstly, monitor and analyze the process of protocol program parses the message in the virtual platform HiddenDisc prototype system developed by the authors, record the protocol's public behavior, then based on the authors' proposed Hidden Behavior Perception and Mining algorithm, static analyze the protocol's hidden behavior trigger conditions and hidden behavior instruction sequences. According to the hidden behavior trigger conditions, new protocol messages with the sensitive information are generated, and the hidden behaviors are executed by dynamic triggering. HiddenDisc prototype system can sense, trigger and analyze the protocol's hidden behaviors. According to the statistical analysis results, the authors propose the evaluation method of Protocol Execution Security. The experimental results show that the present method can accurately mining the protocol's hidden behaviors, and can evaluate unknown protocol's execution security.

This paper analyzes the interplay of growth, (re-)distribution and policies when the latter are set exogenously or when the latter depend on economically important fundamentals. A redistribution policy generally causes lower growth, but less so when there is technological progress. The model implies that high (endogenous) tax rates may not necessarily imply low growth. The paper shows that the long-run cross-country relationship between growth and endogenous policy is generally not clear-cut. But this relies on conditions that can be used for identification in empirical research. The paper also argues mthat workers benefit more from technical progress than capital owners, even though inequality might and growth would rise.

Traditional static code analysis encompasses a mature set of techniques for helping understand and optimize programs, such as dead code elimination, program slicing, and partial evaluation (code specialization). It is well understood that compared to other program analysis techniques (e.g., dynamic analysis), static analysis techniques do a reasonable job for the cost associated with implementing them. Industry and government are moving away from more 'traditional' development approaches towards component-based approaches as 'the norm.' Component-based applications most often comprise a collection of distributed object-oriented components such as forms, code snippets, reports, modules, databases, objects, containers, and the like. These components are glued together by code typically written in a visual language. Some industrial experience shows that component-based development and the subsequent use of visual development environments, while reducing an application's total development time, actually increase certain maintenance problems. This provides a motivation for using automated analysis techniques on such systems. The results of this research show that traditional static analysis techniques may not be sufficient for analyzing component-based systems. We examine closely the characteristics of a component-based system and document many of the issues that we feel make the development, analysis, testing and maintenance of such systems more difficult. By analyzing additional summary information for the components as well as any available source code for an application, we show ways in which traditional static analysis techniques may be augmented, thereby increasing the accuracy of static analysis results and ultimately making the maintenance of component-based systems a manageable task. We develop a technique to use semantic information about component properties obtained from type library and interface definition language files, and demonstrate this technique by extending a traditional unreachable code algorithm. To support more complex analysis, we then develop a technique for component developers to provide summary information about a component. This information can be integrated with several traditional static analysis techniques to analyze component-based systems more precisely. We then demonstrate the effectiveness of these techniques on several real Department of Defense (DoD) COTS component-based systems.