A trimaran is a multihulled boat consisting of a main hull and two smaller outrigger hulls, attached to the main hull with lateral struts. There have been many studies highlighting that a trimaran takes many advantage...
详细信息
ISBN:
(纸本)9781467308298
A trimaran is a multihulled boat consisting of a main hull and two smaller outrigger hulls, attached to the main hull with lateral struts. There have been many studies highlighting that a trimaran takes many advantages over other types of hulls especially the roll performance, because of the greater resistance to rolling that the outrigger hulls offer. In order to study the rolling motion of a trimaran, an accurate roll motion model is needed. The rolling motion of a trimaran is inherently nonlinear due to both nonlinearities in the restoring moment and damping moment. This paper presents an estimation method to predict the linear and nonlinear roll damping parameters based on free roll decay experiments of a trimaran, whose outrigger hulls are movable both along the longitudinal and transverse direction. The estimation method is based on least square support vector regression (LS-SVR) theory. In order to verify the performance of this new estimation method, the least square (LS) estimation method is also applied to identify the parameters. Both methods show satisfying performances, however models generated by LS-SVR shows less accumulated errors than models generated by LS.
It is common practice for requirements traceability research to consider method call dependencies within the source code (e.g., fan-in/fan-out analyses). However, current approaches largely ignore the role of data. Th...
详细信息
It is common practice for requirements traceability research to consider method call dependencies within the source code (e.g., fan-in/fan-out analyses). However, current approaches largely ignore the role of data. The question this paper investigates is whether data dependencies have similar relationships to requirements as do call dependencies. For example, if two methods do not call one another, but do have access to the same data then is this information relevant? We formulated several research questions and validated them on three large software systems, covering about 120 KLOC. Our findings are that data relationships are roughly equally relevant to understanding the relationship to requirements traces than calling dependencies. However, most interestingly, our analyses show that data dependencies complement call dependencies. These findings have strong implications on all forms of code understanding, including trace capture, maintenance, and validation techniques (e.g., information retrieval).
Advances in mobile networking and information processing technologies have triggered vehicular ad hoc networks (VANETs) for traffic safety and value-added applications. Most efforts have been made to address the secur...
详细信息
We present an approach to model hardware configurations of complex manufacturing systems such as ASML's lithography machines. These hardware configurations consist of actuator and sensor elements which are control...
详细信息
We present an approach to model hardware configurations of complex manufacturing systems such as ASML's lithography machines. These hardware configurations consist of actuator and sensor elements which are controlled by system software that consists of over 35 million lines of code. To minimize the cost of testing and system integration, software simulators of hardware configurations are used-acting as virtual hardware platforms on which the real control software can be executed and tested. An important aspect in such simulation and testing is material flow (specifically wafer flow) in the machine. To support the effective and efficient realization of simulators covering material flow, we defined a domain specific language (DSL) for modelling the hardware configurations to be simulated, and used a model-driven engineering approach to generate the software components implementing the simulators. The DSL can be used to specify not only nominal (i.e. good weather) behaviour but also simulation based fault injection scenarios. The overall approach reduces the cost of early hardware-software integration and enables simulating scenarios that cannot be executed on real machines because they are difficult or hazardous to carry out.
Healthcare targeted for home activity is playing an important role in our daily lives as the number of elderly person is increasing sharply. Researches pointed out that one third of 65-and-over aged person fall per-ye...
详细信息
Healthcare targeted for home activity is playing an important role in our daily lives as the number of elderly person is increasing sharply. Researches pointed out that one third of 65-and-over aged person fall per-year. Some detection related work made use of accelerometers or gyroscopes, some use passive infrared or acoustic sensors. But there were some false alarms. Falls can be an unpredicted and dangerous event. A system based on wireless sensor networks to detect the falls for old and resident was proposed in this paper. We provided a method to minimize the false alarm rate of fall detection as well. Besides, we can detect falls that did not trigger the alarm which was intervened by outside forces.
In the decade following the completion of the Human Genome Project in 2000, the cost of sequencing DNA fell by a factor of around a million, and continues to fall. Applications of sequencing in health include precise ...
详细信息
Present Internet architecture is facing a number of challenges related to security, scalability, ubiquitous computing, management etc. Many initiatives are being carried out globally on designing new architecture for ...
详细信息
In large software organizations with a product line development approach, system test planning and scope selection is a complex tasks for which tool support is needed. Due to repeated testing: across different testing...
详细信息
In this paper, we elaborate a set of scenarios and experiments for evaluating the impact of the physical environment on a Wireless Sensor Network (WSN). More specifically, a WSN application is implemented for collecti...
详细信息
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boole...
详细信息
ISBN:
(纸本)9783939897316
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boolean expressions. Specifications using these facilities are often more succinct. However, these specifications are typically executed on solvers that only support questions of the form of existentially quantified conjunctions of constraints. We show how we can translate expressions with constraints appearing in non-Boolean contexts into conjunctions of ordinary constraints. The translation is clearly structured into constrained type elimination, local variable lifting and partial function elimination. We explain our approach in the context of the modelling language Zinc. An implementation of it is an integral part of our Zinc compiler.
暂无评论