Search results

The purpose of this paper is to consider the logical specification, and automated verification, of high‐level robotic behaviours.

The paper uses temporal logic as a formal language for providing abstractions of foraging robot behaviour, and successively extends this to multiple robots, items of food for the robots to collect, and constraints on the real‐time behaviour of robots. For each of these scenarios, proofs of relevant properties are carried out in a fully automated way. In addition to automated deductive proofs in propositional temporal logic, the possibility of having arbitrary numbers of robots involved is considered, thus allowing representations of robot swarms. This leads towards the use of first‐order temporal logics (FOTLs).

The proofs of many properties are achieved using automatic deductive temporal provers for the propositional and FOTLs.

Many details of the problem, such as location of the robots, avoidance, etc. are abstracted away.

Large robot swarms are beyond the current capability of propositional temporal provers. Whilst representing and proving properties of arbitrarily large swarms using FOTLs is feasible, the representation of infinite numbers of pieces of food is outside of the decidable fragment of FOTL targeted, and practically, the provers struggle with even small numbers of pieces of food.

The work described in this paper is novel in that it applies automatic temporal theorem provers to proving properties of robotic behaviour.

The present study aims to identify the practices employed to bring heirs into family businesses as successors.

We conducted an exploratory, qualitative investigation using a case study approach. Semi-structured face-to-face interviews were conducted with external consultants and with incumbent leaders, next-generation heirs working in the firm (and likely to become successors) and employees from three family firms from different industries and under ownership and control of different generations of their respective families (first, second and third and fourth generations). In addition to surveying their general perceptions of the succession processes in their firms, each informant was asked to rate the degree of importance of 12 succession practices identified in the literature and the extent to which they exist in their respective firms.

Our results showed that heirs typically enter the family business after a development process outside of the family business, which we have termed as coming back to the nest. This process was enacted through practices that we allocated to the following categories: continued development of heirs, developing relationships in the succession process, separation of roles and attitude of the successor heirs. Overall, 8 of the 12 practices derived from the theoretical framework were endorsed as important by representatives of the family businesses and 9 were endorsed by the consultants, 7 of which coincided in both groups. However, only 5 of the practices were identified as present in the firms’ succession processes by the representatives of the family businesses, while the consultants did not identify any of the 12 practices as present.

We present additional important practices, the adoption of which would be beneficial for family business succession, such as adapting external learning to the family business, acquiring leadership skills and experience and developing emotional intelligence. Our study advances the prior literature since we do not merely discuss succession planning but analyze in an applied manner how succession actually takes place in family businesses.

For contemporary American young adults (aged 18–29), coresidence with parents is now the most common living arrangement. Recent research on residential transitions out of and back into the parental home shows that residential independence is still common, meaning that many young adults coreside with parents after first leaving the nest. The timing of residential independence and subsequent coresidence is often tied to other life-course outcomes, such as relationships and employment, as well as characteristics of the family context, such as family structure and financial resources. A small body of research also demonstrates that residential transitions are common following criminal justice contact experiences such as arrests and periods of incarceration. While this association does not appear to be explained by the family context, the current study argues there are several reasons to anticipate heterogeneity in coresidence patterns based on the childhood family context. Drawing on data from the 1997 cohort of the National Longitudinal Survey of Youth, I find that criminal justice contact is associated with coresidence with parents during young adulthood in a fairly consistent manner across different dimensions of family context (although parental education may play a role). These findings demonstrate the power of the criminal justice system in directing or redirecting residential trajectories and have implications for both individuals with contact and their families.

A recent television programme in ‘The World About Us’ series showed the various six‐legged or four‐footed sitting tenants and unwelcome visitors that find an old cottage a desirable residence at the various seasons of the year. Through the stages of its conversion and re‐occupation by people, some insects, fungi, rodents, mites and moulds disappeared, only to be replaced by other species more adapted to the new environment. ‘Vacant Possession’ is a relative term.

In the English county of Cornwall the annual invading army of tourists which are its biggest source of income are referred to unkindly as ‘emmets’, an ancient word for ‘ants’. Yet the observed behaviour of real life ants suggests that the locals have instinctively hit on a model which has enormous implications for any industry or business trying to understand how its consumer market works.

The purpose of this paper is to present a graph representation of the design space that is suitable for the ant colony optimization (ACO) method in topology optimization (TO) problems.

The ACO is employed to obtain optimal routes in an equivalent graph representation of the discretized design space, with each route corresponding to a given distribution of material.

The problem associated with the maximization of the torque of a c‐core magnetic actuator is investigated, in which part of the yoke is discretized into a 16×8 grid and can assume three different materials: air, pure iron and a magnetic material.

The results of the c‐core magnetic actuator problem, which are in agreement with literature available, show the adequacy of the proposed approach to TO of electromagnetic devices.

The graph representation of the design space permits the solution of topological design problems with an arbitrary number of materials.

The results illustrate the potential of the methodology in dealing with multi‐domain TO problems, and the possibility to extend the application to 3D problems.

This paper aims to examine total annual cost from economic view mixed materials heat exchangers based on three optimization algorithms. This study compares the use of three optimization algorithms in the design of economic optimization shell and tube mixed material heat exchangers.

A shell and tube mixed materials heat exchanger optimization design approach is expanded based on the total annual cost measured by dividing the costs of the heat exchanger to area of surface and power consumption. In this study, optimization and minimization of the total annual cost is considered as the objective function. There are three types of exchangers: cheap, expensive and mixed. Mixed materials are used in corrosive flows in the heat exchanger network. The present study explores the use of three optimization techniques, namely, hybrid genetic-particle swarm optimization, shuffled frog leaping algorithm techniques and ant colony optimization.

There are three parameters as decision variables such as tube outer diameter, shell diameter and central baffle spacing considered for optimization. Results have been compared with the findings of previous studies to demonstrate the accuracy of algorithms.

The present study explores the use of three optimization techniques, namely, hybrid genetic-particle swarm optimization, shuffled frog leaping algorithm techniques and ant colony optimization. This study has demonstrated successful application of each technique for the optimal design of a mixed material shell and tube heat exchanger from the economic view point.

This chapter explores the role of student loan debt in the lives of American students and graduates in Wisconsin, US. The total amount of student loan debt in the United States is now at a record high. While debt is considered an integral part of a “forced timeline” toward a greater good, namely the American Dream, it is at the same time a disciplinary mechanism binding individuals to their families in various ways. While most anthropological research on college students and debt has not focused explicitly on student loan debt, this chapter offers insight into a phenomenon currently affecting more than 44 million Americans.

Current single head pick and place robots have reached their practical limit for throughput rates due to impractical speeds and acceleration, which often damage or lose the product being transferred. The purpose of this paper is to present a new system which uses 2 XY motion slides and an indexing flexible conveyor to achieve a more desired motion while achieving a high throughput rate.

An innovative robotic pick and place motion design (the FlowBot) was previously created to address the changing needs of the packaging and automation industry. A full patent has been filed covering this technology. This paper documents a refinement to the FlowBot concept that produces a more compact implementation, entitled the Compact FlowBot.

Tit was found that the motion of smaller steps with limited accelerations does produce higher throughputs without the excessive accelerations that Delta robots produce. The robotics system does require limited Z height so the potential for multiple stacked systems is presented.

This novel robot has been found to be a next generation design, which has been confirmed by an international patent search. Many established consumer packaging goods companies and food processing companies have lauded its merits. The system needs to move into prototype and full development mode.