There is evidence that drivers’ behaviour adapts after using different advanced driving assistance systems. For instance, drivers’ headway during car-following reduces after using adaptive cruise control. However, little is known about whether, and how, drivers’ behaviour will change if they experience automated car-following, and how this is affected by engagement in non-driving-related tasks (NDRT). The aim of this driving simulator study, conducted as part of the H2020 L3Pilot project, was to address this topic. We also investigated the effect of the presence of a lead vehicle during the resumption of control, on subsequent manual driving behaviour. Thirty-two participants were divided into two experimental groups. During automated car-following, one group was engaged in an NDRT (SAE Level 3), while the other group was free to look around the road environment (SAE Level 2). Both groups were exposed to Long (1.5 s) and Short (.5 s) Time Headway (THW) conditions during automated car-following, and resumed control both with and without a lead vehicle. All post-automation manual drives were compared to a Baseline Manual Drive, which was recorded at the start of the experiment. Drivers in both groups significantly reduced their time headway in all post-automation drives, compared to a Baseline Manual Drive. There was a greater reduction in THW after drivers resumed control in the presence of a lead vehicle, and also after they had experienced a shorter THW during automated car-following. However, whether drivers were in L2 or L3 did not appear to influence the change in mean THW. Subjective feedback suggests that drivers appeared not to be aware of the changes to their driving behaviour, but preferred longer THWs in automation. Our results suggest that automated driving systems should adopt longer THWs in car-following situations, since drivers’ behavioural adaptation may lead to adoption of unsafe headways after resumption of control.
Predicate abstraction is a powerful technique to reduce the state space of a program to a finite and affordable number of
states. It produces a conservative over-approximation where concrete states are grouped together according to a given set
of predicates. A precise abstraction contains the minimal set of transitions with regard to the predicates, but as a result
is computationally expensive. Most model checkers therefore approximate the abstraction to alleviate the computation of the
abstract system by trading off precision with cost. However, approximation results in a higher number of refinement iterations,
since it can produce more false counterexamples than its precise counterpart. The refinement loop can become prohibitively
expensive for large programs. This paper proposes a new approach that employs both precise (slow) and approximated (fast)
abstraction techniques within one abstraction-refinement loop. It allows computing the abstraction quickly, but keeps it precise
enough to avoid too many refinement iterations. We implemented the new algorithm in a state-of-the-art software model checker.
Our tests with various real-life benchmarks show that the new approach almost systematically outperforms both precise and
imprecise techniques. 相似文献
Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as from soundness issues. This paper presents a novel technique that uses an efficient SAT solver for generating the abstract transition relations of ANSI-C programs. The SAT-based approach computes a more precise and safe abstraction compared to existing predicate abstraction techniques. 相似文献
The topic of plant‐based meat alternatives (PBMAs) has been discussed for several decades, but it has only recently become one of the hottest topics in the food and research communities. With the purpose of investigating the current situation of scientific research on PBMA and determining future research opportunities, the driving forces for PBMA development, a brief history of its progression, key technologies required for production, and the resulting consumer attitudes are summarized. Environmental, human health, and animal welfare concerns are the main factors that have driven the development of PBMA. Although its history can trace back to ancient Asian civilizations, the first generation of PBMA originated in 1960s and a new generation of PBMA designed for carnivore was developed in recently years. Structuring methods such as extrusion and shear cell techniques have been widely studied, but improvements toward the overall appearance and flavor, biological and chemical safety control, as well as the selection of protein sources are also very important for PBMA production. The consumer acceptance of PBMA remains unsatisfactory but is continually improving. Based on those knowledge, future research opportunities include developing more effective strategies for consumer education, providing more scientific evidence for the health properties of PBMA, finding more suitable protein sources to improve the quality of the final products, improving the appearance and flavor, further examining and securing the chemical safety, exploring the structure formation mechanism during the extraction or shearing processes, and developing methods and standards for a quality evaluation of PBMA. 相似文献
We investigated effects of two plant secondary metabolites (PSMs), cineole and gallic acid, on the nightly feeding behavior of the common brushtail possum (Trichosurus vulpecula), a generalist folivore. We tested whether possums altered their feeding behavior in response to increasing levels of cineole, a dietary terpene. Possums were fed artificial diets containing three levels of cineole; zero (basal diet), medium (6.8% of total dry matter, DM), and high (15.3% DM). In another experiment, we introduced gallic acid, a dietary phenolic, into the diets. Possums were offered a Choice PSM diet (cineole and gallic acid diets simultaneously) or a No-Choice PSM diet (containing either cineole or gallic acid). Detoxification products of cineole and gallic acid were examined in urine to determine that different detoxification pathways were utilized in the elimination of each compound. With increasing cineole levels, possums ate less, had smaller feeding bouts, and had a lower rate of intake, but did not extend their total nightly feeding time. Possums offered the Choice PSM diet, compared with the No-Choice diets, ate more, had larger feeding bouts, and tended to increase their rate of intake. Results from the urinary analysis indicated that gallic acid and cineole were not involved in competing detoxification pathways in brushtail possums. There was also a significant sex effect: females ate more overall, ate more per feeding bout, and ate at a higher rate than males. These results indicate that PSMs not only constrain overall intake, but that possums alter their feeding behavior in response to them. Altered feeding patterns may reduce the negative influence of PSMs on intake. 相似文献
Differential conditioning was assessed in 15 medication-free individuals meeting Diagnostic and Statistical Manual of Mental Disorders (4th ed.; American Psychiatric Association, 1994) criteria for chronic posttraumatic stress disorder (PTSD) and 18 trauma-exposed individuals who never developed PTSD (non-PTSD). Conditioned stimuli (CSs) were colored circles, and the unconditioned stimulus was a "highly annoying" electrical stimulus. Individuals with PTSD had higher resting heart rate (HR) and skin conductance (SC) levels and produced larger SC orienting responses. During conditioning, the PTSD group showed larger differential SC, HR, and electromyogrant responses to the reinforced vs. nonreinforced stimuli (CS+ vs. CS-) compared with the non-PTSD group. Only PTSD participants continued to show differential SC responses to CS+ vs. CS- during extinction trials. Results suggest that individuals with PTSD have higher sympathetic nervous system arousal at the time of conditioning and are more conditionable than trauma-exposed individuals without PTSD. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献