This article discusses the stochastic behavior and reliability properties for the inactivity times of failed components in coherent systems under double monitoring. A mixture representation of reliability function is obtained for the inactivity times of failed components, and some stochastic comparison results are also established. Furthermore, some sufficient conditions are developed in terms of the aging properties of the inactivity times of failed components. Finally, some numerical examples are presented to illustrate the theoretical results.

A hooking network is built by stringing together components randomly chosen from a set of building blocks (graphs with hooks). The vertices are endowed with “affinities” which dictate the attachment mechanism. We study the distance from the master hook to a node in the network chosen according to its affinity after many steps of growth. Such a distance is commonly called the depth of the chosen node. We present an exact average result and a rather general central limit theorem for the depth. The affinity model covers a wide range of attachment mechanisms, such as uniform attachment and preferential attachment, among others. Naturally, the limiting normal distribution is parametrized by the structure of the building blocks and their probabilities. We also take the point of view of a visitor uninformed about the affinity mechanism by which the network is built. To explore the network, such a visitor chooses the nodes uniformly at random. We show that the distance distribution under such a uniform choice is similar to the one under random choice according to affinities.

Considerable research has been conducted on the advancement of mobile technologies to facilitate vocabulary learning and acquisition in a second language (L2). However, whether mobile platforms lead to a comprehensive mastery of both receptive and productive vocabulary knowledge has seldom been addressed in previous literature. This study investigated English vocabulary learning from engagement with mobile-based word cards and paper word cards in the context of the Chinese university classroom. A total of 85 undergraduate students were recruited to take part in the study. The students were divided into two groups, a mobile learning group and a paper-based learning group, and tested on two word knowledge components: receptive knowledge of the form–meaning connection and productive knowledge of collocations. Both the digital and non-digital word cards enhanced L2 vocabulary learning, and the results showed that the mobile application (app) promoted greater gains than physical word cards.

We explore the concept of parameter design applied to the production of glass beads in the manufacture of metal-encapsulated transistors. The main motivation is to complete the analysis hinted at in the original publication by Jim Morrison in 1957, which was an early example of discussing the idea of transmitted variation in engineering design, and an influential paper in the development of analytic parameter design as a data-centric engineering activity. Parameter design is a secondary design activity focused on selecting the nominals of the design variables to achieve the required target performance and to simultaneously reduce the variance around the target. Although the 1957 paper is not recent, its approach to engineering design is modern.

In order to improve the working performance of the lower limb rehabilitation robot and the safety of the trained object, the mechanical characteristics of a cable-driven lower limb rehabilitation robot (CDLR) are studied. The dynamic model of the designed CDLR was established. Four kinds of cable tension optimization algorithms were proposed to obtain a good rehabilitation training effect, and the quality of the feasible workspace of the CDLR was analyzed. Finally, a real-time evaluation index of the cable tension optimization algorithms was given to measure the calculation speed of the optimization algorithms. The numerical research results were provided to confirm the characteristics of the four kinds of the optimization algorithms. The research results provide a basis for the follow-up research on the safety and compliance control strategy of the CDLR system.

This work extends a rule-based specification of nominal C-unification formalised in Coq to include ‘protected variables’ that cannot be instantiated during the unification process. By introducing protected variables, we are able to reuse the C-unification simplification rules to solve nominal C-matching (as well as equality check) problems. From the algorithmic point of view, this extension is sufficient to obtain a generalised C-unification procedure; however, it cannot be formally checked by simple reuse of the original formalisation. This paper describes the additional effort necessary in order to adapt the specification of the inference rules and reuse previous formalisations. We also generalise a functional recursive nominal C-unification algorithm specified in PVS with protected variables, effectively adapting this algorithm to the tasks of nominal C-matching and nominal equality check. The PVS formalisation is applied to test the correctness of a Python manual implementation of the algorithm.

Song lyrics contain repeated patterns that have been proven to facilitate automated lyrics segmentation, with the final goal of detecting the building blocks (e.g., chorus, verse) of a song text. Our contribution in this article is twofold. First, we introduce a convolutional neural network (CNN)-based model that learns to segment the lyrics based on their repetitive text structure. We experiment with novel features to reveal different kinds of repetitions in the lyrics, for instance based on phonetical and syntactical properties. Second, using a novel corpus where the song text is synchronized to the audio of the song, we show that the text and audio modalities capture complementary structure of the lyrics and that combining both is beneficial for lyrics segmentation performance. For the purely text-based lyrics segmentation on a dataset of 103k lyrics, we achieve an F-score of 67.4%, improving on the state of the art (59.2% F-score). On the synchronized text–audio dataset of 4.8k songs, we show that the additional audio features improve segmentation performance to 75.3% F-score, significantly outperforming the purely text-based approaches.

In this paper, several physical activity-based human–computer interaction (HCI) games which are developed and implemented for the improvement of attention, emotion, and sensory–motor coordination will be presented. The interface and the difficulty levels of these games are specially designed for the use of people with different age groups and disabilities. The games involve physical activities for the fulfillment of some basic HCI tasks which require hand and arm motion for control, such as fruit picking and air hockey, with adaptive difficulty levels based on varying parameters of the games and human performance. In the fruit picking game, several fruit images are moving from top to the bottom of the screen. Objective is to collect apples while avoiding the pears. The player’s hand will control the basket that collects the fruits. In the air hockey game, the player will try to score goals against computer-controlled opponent. The player’s hand will control the paddle to hit the puck to score or to defend his/her goal area. The player’s hand is recognized by Kinect RGB-D sensors in both games. Aim of the adaptive difficulty-based system is keeping the players engaged in the games. The games are tested with a group of deaf children (3.5–5 years) as a part of an ongoing project,1 to decrease the stress of the children and increase their positive emotions, attention, and sensory–motor coordination before the audiology tests. The game performances and the evaluation of the therapists show that the games have a positive impact on the children. The games are also tested with a group of adults as a control group, where a mobile EEG device is employed to detect the attention levels. For this purpose, the adults also attended a third game featuring a maze and controlled with Myo sensors.

In this paper, we conceptualize, analyze, and assemble a prototype adaptive surface system capable of morphing its geometric configuration using an array of linear actuators to impose omnidirectional movement of objects that lie on the surface. The principal focus and contribution of this paper is the derivation of feedback control protocols–for regulating the actuators’ length in order to accomplish the object conveyance task–that scale with the number of actuators and the nonlinear kinematic constraints of the morphing surface. Simulations and experimental results demonstrate the advantages of distributed manipulation over static-shaped feeders.

In this work, a planar cable parallel robot (CPR) driven by four cable-and-pulley differentials is proposed and analyzed. A new cable-and-pulley differential is designed by adding an extra pulley to eliminate the modeling inaccuracies due to the pulley radius and obviate the need of solving the complex model which considers the pulley kinematics. The design parameters of the proposed CPR are determined through multi-objective optimal design for the largest total orientation wrench closure workspace (TOWCW) and the highest global stiffness magnitude index. The proposed differentially driven CPR is evaluated by comparing various performance indices with a fully actuated CPR.

This paper draws on perspectives from co-design as an integrative and collaborative design activity and co-simulation as a supporting information system to advance engineering design methods for problems of societal significance. Design and implementation of the Sustainable Infrastructure Planning Game provides a prototypical co-design artifact that leverages the High Level Architecture co-simulation standard. Three role players create a strategic infrastructure plan for agricultural, water and energy sectors to meet sustainability objectives for a growing and urbaninzing population in a fictional desert nation. An observational study conducts 15 co-design sessions to understand underlying dynamics between actors and how co-simulation capabilities influence design outcomes. Results characterize the dependencies and conflicts between player roles based on technical exchange of resource flows, identifying tension between agriculture and water roles based on water demands for irrigation. Analysis shows a correlation between data exchange, facilitated by synchronous co-simulation, and highly ranked achievement of joint sustainability outcomes. Conclusions reflect on the opportunities and challenges presented by co-simulation in co-design settings to address engineering systems problems.

This paper concerns with the development of three nonmotorized individual lower limb joints rehabilitation mechanisms based on a four-bar linkage, and mechanical movement transmission from the motion of the patient’s upper limb. Initially, mathematical and computational models are built based on the desired angular motions for the hip, knee, and ankle. A prototype for the knee mechanism was constructed for initial experimental tests. The first test with wooden mannequin show that this prototype is lightweight, has an output movement compatible with the amplitudes, is easy to build and operate, being thus ready for clinical tests with healthy and impaired subjects.

Thematic analysis of personal networks involves identifying regularities in network structure and content, and grouping networks into types/clusters, to allow for a holistic understanding of social complexities. We propose an inductive approach to network thematic analysis, applying the learnings from qualitative coding, fused mixed-methods analysis, and typology development. It involves framing (changing focus by magnifying, aggregating, and graphical configuration), pattern detection (identification of underlying dimensions, sorting, and clustering), labeling, and triangulating (confirmation and fine-tuning using quantitative and qualitative approaches); applied repeatedly and emergently. We describe this approach utilized in two cases of studying support networks of caregivers.

The notion of the capacity of a polynomial was introduced by Gurvits around 2005, originally to give drastically simplified proofs of the van der Waerden lower bound for permanents of doubly stochastic matrices and Schrijver’s inequality for perfect matchings of regular bipartite graphs. Since this seminal work, the notion of capacity has been utilised to bound various combinatorial quantities and to give polynomial-time algorithms to approximate such quantities (e.g. the number of bases of a matroid). These types of results are often proven by giving bounds on how much a particular differential operator can change the capacity of a given polynomial. In this paper, we unify the theory surrounding such capacity-preserving operators by giving tight capacity preservation bounds for all nondegenerate real stability preservers. We then use this theory to give a new proof of a recent result of Csikvári, which settled Friedland’s lower matching conjecture.

In this paper, we consider multi-state coherent systems that can be regarded as a series/parallel/recurrent connection of multi-state modules with binary/multi-state components. The multi-state (survival) signatures of such systems are presented in terms of multi-state (survival) signatures of related modules based on the structures. For a recurrent structure, the multi-state survival signature of the structure is also needed. The results established here are finally illustrated with a number of examples.