Physical Electronics

Contains reports on three research projects

Physical Electronics

Contains reports on four research projects

Physical Electronics

Contains reports on four research projects

Physical Electronics

Contains reports on three research projects

Physical Electronics

Contains research objectives and reports on four research projects

Tradespace Exploration of Distributed Propulsors for Advanced On-Demand Mobility Concepts

Combustion-based sources of shaft power tend to significantly penalize distributed propulsion concepts, but electric motors represent an opportunity to advance the use of integrated distributed propulsion on an aircraft. This enables use of propellers in nontraditional, non-thrust-centric applications, including wing lift augmentation, through propeller slipstream acceleration from distributed leading edge propellers, as well as wingtip cruise propulsors. Developing propellers for these applications challenges long-held constraints within propeller design, such as the notion of optimizing for maximum propulsive efficiency, or the use of constant-speed propellers for high-performance aircraft. This paper explores the design space of fixed-pitch propellers for use as (1) lift augmentation when distributed about a wing's leading edge, and (2) as fixed-pitch cruise propellers with significant thrust at reduced tip speeds for takeoff. A methodology is developed for evaluating the high-level trades for these types of propellers and is applied to the exploration of a NASA Distributed Electric Propulsion concept. The results show that the leading edge propellers have very high solidity and pitch well outside of the empirical database, and that the cruise propellers can be operated over a wide RPM range to ensure that thrust can still be produced at takeoff without the need for a pitch change mechanism. To minimize noise exposure to observers on the ground, both the leading edge and cruise propellers are designed for low tip-speed operation during takeoff, climb, and approach

SAT-based Explicit LTL Reasoning

We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving. As a proof-of-concept of this framework, we describe a new LTL satisfiability tool, Aalta\_v2.0, which is built on top of the MiniSAT SAT solver. We test the effectiveness of this approach by demonnstrating that Aalta\_v2.0 significantly outperforms all existing LTL satisfiability solvers. Furthermore, we show that the framework can be extended from propositional LTL to assertional LTL (where we allow theory atoms), by replacing MiniSAT with the Z3 SMT solver, and demonstrating that this can yield an exponential improvement in performance

Gender and sexual orientation differences in cognition across adulthood : age is kinder to women than to men regardless of sexual orientation

Despite some evidence of greater age-related deterioration of the brain in males than in females, gender differences in rates of cognitive aging have proved inconsistent. The present study employed web-based methodology to collect data from people aged 20-65 years (109,612 men; 88,509 women). As expected, men outperformed women on tests of mental rotation and line angle judgment, whereas women outperformed men on tests of category fluency and object location memory. Performance on all tests declined with age but significantly more so for men than for women. Heterosexuals of each gender generally outperformed bisexuals and homosexuals on tests where that gender was superior; however, there were no clear interactions between age and sexual orientation for either gender. At least for these particular tests from young adulthood to retirement, age is kinder to women than to men, but treats heterosexuals, bisexuals, and homosexuals just the same

The complications of ‘hiring a hubby’: gender relations and the commoditisation of home maintenance in New Zealand

This paper examines the commoditization of traditionally male domestic tasks through interviews with handymen who own franchises in the company ‘Hire a Hubby’ in New Zealand and homeowners who have paid for home repair tasks to be done. Discussions of the commoditization of traditionally female tasks in the home have revealed the emotional conflicts of paying others to care as well as the exploitative and degrading conditions that often arise when work takes place behind closed doors. By examining the working conditions and relationships involved when traditionally male tasks are paid for, this paper raises important questions about the valuing of reproductive labour and the production of gendered identities. The paper argues that while working conditions and rates of pay for ‘hubbies’ are better than those for people undertaking commoditized forms of traditionally female domestic labour, the negotiation of this work is still complex and implicated in gendered relations and identities. Working on the home was described by interviewees as an expression of care for family and a performance of the ‘right’ way to be a ‘Kiwi bloke’ and a father. Paying others to do this labour can imply a failure in a duty of care and in the performance of masculinity