Within the framework of research on vaulted structures, this study proposes a structural analysis of a special case study: a 19th century five-arch masonry bridge (fig, 1) on the Cervo torrent near Buronzo (Vercelli) ...
详细信息
Within the framework of research on vaulted structures, this study proposes a structural analysis of a special case study: a 19th century five-arch masonry bridge (fig, 1) on the Cervo torrent near Buronzo (Vercelli) in Italy. Thanks to careful surveys and the retrieval of the original design project, it proved possible to work out a mathematical model able to take into account the different structural elements that were typical of late 19th century masonry bridges: foundations, piers, abutments, arches, tympanums and filling. A step-by-step analysis made it possible to eliminate from the masonry the zones in tension and work out a reliable model, so as to gain an understanding of the real structural behaviour of the bridge, both in its original configuration (before and after the damaging phenomena), and following the interventions performed over time to strengthen the bridge and to adapt it to the new requirements arising from vehicle traffic.
The proceedings contain 28 papers. The special focus in this conference is on Software engineering Methods, Formal Methods, User Interface Evaluation and User Interface Plasticity. The topics include: Turning the art ...
ISBN:
(纸本)9783540430445
The proceedings contain 28 papers. The special focus in this conference is on Software engineering Methods, Formal Methods, User Interface Evaluation and User Interface Plasticity. The topics include: Turning the art of interface design into engineering;an interdisciplinary approach for successfully integrating human-centered design methods into development processes practiced by industrial software development organizations;evaluating software architectures for usability;interactive system safety and usability enforced with the development process;detecting multiple classes of user errors;exploring new uses of video with videospace;prototyping pre-implementation designs of virtual environment behaviour;heuristic evaluation of groupware based on the mechanics of collaboration;an organizational learning method for applying usability guidelines and patterns;a unifying reference framework for the development of plastic user interfaces;toward natural gesture/speech control of a large display;an evaluation of two input devices for remote pointing;information sharing with handheld appliances;dynamic links for mobile connected context-sensitive systems;modelling and using sensed context information in the design of interactive applications and delivering adaptive web content based on client computing resources.
An essential type of "evidence" of the correctness of the requirements formalization process can be provided by human-based calculation. human calculation can be significantly amplified by shifting from symb...
详细信息
An essential type of "evidence" of the correctness of the requirements formalization process can be provided by human-based calculation. human calculation can be significantly amplified by shifting from symbolic representation to graphical representations. Having a formally defined system model, we can visualize formulas that represent functional behaviour of the system and associated safety constraints. This, in turn, provides an environment for validation of system models. The visual model strengthens specifier's ability to grasp the complexity, build a correct mental model of the system and write the symbolic specification. The visual model can also serve as a bridge between the domain expert and symbolic specification, and provide evidence of the correctness of the formalization process. As a case study, we developed a virtual environment model for the Production Cell robotic system. The model runs in ImmersaDesk Virtual Reality environment. We used this model to evaluate the applicability of virtual reality environments for software requirements validation. Although it introduces higher cost in the requirements formalization phase, this approach can be very beneficial in the development of high consequence systems.
The CO2 high speed Cartesian robot produced by Campetella Robotic Center, is characterised by good dynamic performances, but has been chosen by the producer for a re-engineering that should allow it to meet even more ...
详细信息
ISBN:
(纸本)0780367367
The CO2 high speed Cartesian robot produced by Campetella Robotic Center, is characterised by good dynamic performances, but has been chosen by the producer for a re-engineering that should allow it to meet even more advanced targets. First, experimental tests showed that some important interventions were needed for the upgrade, therefore a full dynamic modelling has been performed by the University of Ancona to try to get the best of the existing hardware during the re-engineering phase. The simple mechanical architecture of the Cartesian robot allows one to outline a typical modelling approach that takes advantages of the full integration of the used software packages. Experimental measures have been performed for the validation of the mathematical models and to assess the dynamic behaviour of the mechanical structure through modal testing.
The main interest of ergonomics in the human body is typically the mechanical loading or activity of the musculoskeletal system. The objective of biomechanics analysis is to enable one to quantitatively assess the loa...
详细信息
The main interest of ergonomics in the human body is typically the mechanical loading or activity of the musculoskeletal system. The objective of biomechanics analysis is to enable one to quantitatively assess the loading and behaviour of a body structure and compare this loading or behaviour to the tolerance or capacity of the body. A mathematical representation of the human body is required in order to evaluate parameters such as forces, pressure and movement patterns that occur during different activities of a human. Motion data is also required to compute the forces. In this paper,data from motion capture a video is used in conjunction with the mathematical representation of the body to perform biomechanics analysis.
Micro technology deals with miniaturization and integration in all areas of technology outside of microelectronics like micro mechanics, micro optics, micro acoustics, micro fluid technology, micro reaction technology...
详细信息
ISBN:
(纸本)0819442895
Micro technology deals with miniaturization and integration in all areas of technology outside of microelectronics like micro mechanics, micro optics, micro acoustics, micro fluid technology, micro reaction technology and further disciplines which are focused on technical components and systems with characteristic dimensions in the micrometer range. Within a period of about ten years a multi-billion dollar market has been set up with many products for daily life. The growth rate of the market of micro technology will remain on a high level for the years to come. Mega trends resulting from fundamental human wishes for health, information, mobility and sustainable development are creating a further growing basis for micro technical products. A broad spectrum of production processes and materials has been developed to meet the requirements of a strongly diversified range of applications. For the development of new components and systems the importance of software tools for simulation of functional properties, production processes and comprehensive optimization is growing rapidly. Micro devices are meanwhile used extensively in information, automotive, and medical technologies. In addition, micro technology is generating a completely novel basis for chemical engineering, life sciences, industrial automation and optical communication, to mention only a few disciplines where future innovation will be dominated by miniaturization.
For normal quiet standing the ankle strategy is used for human posture. The musculoskeletic system can be viewed as an inverted pendulum stabilised by a feedback loop with the lambda control. mathematicalmodelling of...
详细信息
For normal quiet standing the ankle strategy is used for human posture. The musculoskeletic system can be viewed as an inverted pendulum stabilised by a feedback loop with the lambda control. mathematicalmodelling of the musculo-skeletal system under lambda control is presented as a nonlinear system with time-delay in feedback. Necessary conditions of asymptotic stability and a practical analytic expression of the delay margin are presented. To authenticate the model, five subjects are experimented.
This paper presents a study of the dynamic performance analysis of an advanced static VAr compensator (ASVC) using a three-level voltage source inverter. The analysis is based on the modelling of the system in the d-q...
详细信息
This paper presents a study of the dynamic performance analysis of an advanced static VAr compensator (ASVC) using a three-level voltage source inverter. The analysis is based on the modelling of the system in the d-q axis. The dynamic behaviour of the system is analysed using Simulink with PLECS toolbox through a set of simulation tests.
User modelling is fast becoming a major topic for commercial and academic research. A major problem in user modelling is in categorising a new user into known user classes. We consider user classification as a recogni...
详细信息
User modelling is fast becoming a major topic for commercial and academic research. A major problem in user modelling is in categorising a new user into known user classes. We consider user classification as a recognition problem where a new user is an uncertain object of undetermined class and we must determine the membership of the object in each of a number of prototypical user classes. The temporal nature of user behaviour suggests a belief updating approach to user recognition. We examine the FILUM approach to user recognition and present a more generalised model. We compare the generalised FILUM model to a new interval support version of Hogarth and Einhorn's (1992) anchor and adjustment belief updating approach. We present an example using the iterated prisoner's dilemma problem implemented in the Fril++ object oriented uncertain logic programming language.
It is important in travel behaviour analysis to construct precise discrete choice models. Stochastic models based on the random utility theory such as logit models and fuzzy reasoning models can be combined in order t...
详细信息
It is important in travel behaviour analysis to construct precise discrete choice models. Stochastic models based on the random utility theory such as logit models and fuzzy reasoning models can be combined in order to create advanced models for the estimation of travel behaviour as hybrid models. Particularly, logit models with fuzzy logic utility functions have been proposed. It is known that the utility function described with fuzzy inference rules can reflect human decisions with vagueness on the logit models. Multinominal fuzzy logit models are applied to a modal choice problem in this study. In particular, the fuzzy inference rules and parameters of membership functions are determined using GA.
暂无评论