A balanced approach to high-level verification: performance trade-offs in verifying large-scale multiprocessors

2002 ◽  
Author(s):  
D. Abts ◽  
M. Roberts ◽  
D.J. Lilja
Keyword(s):  
Large Scale ◽  
Balanced Approach ◽  
Trade Offs ◽  
High Level

scholarly journals The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation

2020 ◽  
Vol 69 ◽  
pp. 471-500
Author(s):  
Shih-Yun Lo ◽  
Shiqi Zhang ◽  
Peter Stone
Keyword(s):  
Mobile Robot ◽  
Motion Planning ◽  
Mobile Robots ◽  
Large Scale ◽  
Accurate Estimate ◽  
Indoor Environments ◽  
Task Planning ◽  
Trade Offs ◽  
High Level ◽  
Task Level

Intelligent mobile robots have recently become able to operate autonomously in large-scale indoor environments for extended periods of time. In this process, mobile robots need the capabilities of both task and motion planning. Task planning in such environments involves sequencing the robot’s high-level goals and subgoals, and typically requires reasoning about the locations of people, rooms, and objects in the environment, and their interactions to achieve a goal. One of the prerequisites for optimal task planning that is often overlooked is having an accurate estimate of the actual distance (or time) a robot needs to navigate from one location to another. State-of-the-art motion planning algorithms, though often computationally complex, are designed exactly for this purpose of finding routes through constrained spaces. In this article, we focus on integrating task and motion planning (TMP) to achieve task-level-optimal planning for robot navigation while maintaining manageable computational efficiency. To this end, we introduce TMP algorithm PETLON (Planning Efficiently for Task-Level-Optimal Navigation), including two configurations with different trade-offs over computational expenses between task and motion planning, for everyday service tasks using a mobile robot. Experiments have been conducted both in simulation and on a mobile robot using object delivery tasks in an indoor office environment. The key observation from the results is that PETLON is more efficient than a baseline approach that pre-computes motion costs of all possible navigation actions, while still producing plans that are optimal at the task level. We provide results with two different task planning paradigms in the implementation of PETLON, and offer TMP practitioners guidelines for the selection of task planners from an engineering perspective.

Social inequality in the evolution of human societies

2019 ◽  
pp. 98-120
Author(s):  
Georgi Derluguian
Keyword(s):  
Social Inequality ◽  
Large Scale ◽  
Human Beings ◽  
Mass Violence ◽  
Public And Private ◽  
Tangible Assets ◽  
Transition To Agriculture ◽  
New Institutions ◽  
High Level ◽  
Political Economic

The author develops ideas about the origin of social inequality during the evolution of human societies and reflects on the possibilities of its overcoming. What makes human beings different from other primates is a high level of egalitarianism and altruism, which contributed to more successful adaptability of human collectives at early stages of the development of society. The transition to agriculture, coupled with substantially increasing population density, was marked by the emergence and institutionalisation of social inequality based on the inequality of tangible assets and symbolic wealth. Then, new institutions of warfare came into existence, and they were aimed at conquering and enslaving the neighbours engaged in productive labour. While exercising control over nature, people also established and strengthened their power over other people. Chiefdom as a new type of polity came into being. Elementary forms of power (political, economic and ideological) served as a basis for the formation of early states. The societies in those states were characterised by social inequality and cruelties, including slavery, mass violence and numerous victims. Nowadays, the old elementary forms of power that are inherent in personalistic chiefdom are still functioning along with modern institutions of public and private bureaucracy. This constitutes the key contradiction of our time, which is the juxtaposition of individual despotic power and public infrastructural one. However, society is evolving towards an ever more efficient combination of social initiatives with the sustainability and viability of large-scale organisations.

Pakistan's Export Possibilities

1973 ◽  
Vol 12 (1) ◽  
pp. 1-30
Author(s):  
Syed Nawab Haider Naqvi
Keyword(s):  
Economic Growth ◽  
Foreign Aid ◽  
Policy Maker ◽  
Time Horizon ◽  
Price Level ◽  
Balance Of Payments ◽  
Domestic Saving ◽  
Trade Offs ◽  
High Level

The recent uncertainties about aid flows have underscored the need for achieving an early independence from foreign aid. The Perspective Plan (1,965-85) had envisaged the termination of Pakistan's dependence on foreign aid by 1985. However, in the context of West Pakistan alone the time horizon can now be advanced by several years with considerable confidence in its economy to pull the trick. The difficulties of achieving independence from foreign aid can be seen by reference to the fact that aid flows make it possible for the policy-maker to pursue such ostensibly incompatible objectives as a balance in international payments (i.e., foreign aid finances the balance of payments), higher rates of economic growth (Lei, it pulls up domestic saving and investment levels), a high level of employment (i.e., it keeps the industries working at a fuller capacity than would otherwise be the case), and a reasonably stable price level (i.e., it lets a higher level of imports than would otherwise be possible). Without aid, then a simultaneous attainment of all these objectives at the former higher levels together with the balance in foreign payments may become well-nigh impos¬sible. Choices are, therefore, inevitable not for definite places in the hierarchy of values, but rather for occasional "trade-offs". That is to say, we will have to" choose how much to sacrifice for the attainment of one goal for the sake of somewhat better realization of another.

scholarly journals Mapping the adaptive landscape of a major agricultural pathogen reveals evolutionary constraints across heterogeneous environments

2021 ◽  
Author(s):  
Anik Dutta ◽  
Fanny E. Hartmann ◽  
Carolina Sardinha Francisco ◽  
Bruce A. McDonald ◽  
Daniel Croll
Keyword(s):  
Life History ◽  
Large Scale ◽  
Life History Traits ◽  
Genetic Correlations ◽  
Stress Factors ◽  
Life History Trait ◽  
Adaptive Landscape ◽  
Heterogeneous Environments ◽  
Growth Responses ◽  
Trade Offs

AbstractThe adaptive potential of pathogens in novel or heterogeneous environments underpins the risk of disease epidemics. Antagonistic pleiotropy or differential resource allocation among life-history traits can constrain pathogen adaptation. However, we lack understanding of how the genetic architecture of individual traits can generate trade-offs. Here, we report a large-scale study based on 145 global strains of the fungal wheat pathogen Zymoseptoria tritici from four continents. We measured 50 life-history traits, including virulence and reproduction on 12 different wheat hosts and growth responses to several abiotic stressors. To elucidate the genetic basis of adaptation, we used genome-wide association mapping coupled with genetic correlation analyses. We show that most traits are governed by polygenic architectures and are highly heritable suggesting that adaptation proceeds mainly through allele frequency shifts at many loci. We identified negative genetic correlations among traits related to host colonization and survival in stressful environments. Such genetic constraints indicate that pleiotropic effects could limit the pathogen’s ability to cause host damage. In contrast, adaptation to abiotic stress factors was likely facilitated by synergistic pleiotropy. Our study illustrates how comprehensive mapping of life-history trait architectures across diverse environments allows to predict evolutionary trajectories of pathogens confronted with environmental perturbations.

scholarly journals Arabidopsis Genes Essential for Seedling Viability: Isolation of Insertional Mutants and Molecular Cloning

Genetics ◽  
2001 ◽  
Vol 159 (4) ◽  
pp. 1765-1778
Author(s):  
Gregory J Budziszewski ◽  
Sharon Potter Lewis ◽  
Lyn Wegrich Glover ◽  
Jennifer Reineke ◽  
Gary Jones ◽  
...  
Keyword(s):  
Large Scale ◽  
Protein Translocation ◽  
Gene Families ◽  
Mutant Phenotype ◽  
Lethal Mutant ◽  
A Genome ◽  
Genes Encoding ◽  
High Level ◽  
Mutant Lines ◽  
Genome Scale

Abstract We have undertaken a large-scale genetic screen to identify genes with a seedling-lethal mutant phenotype. From screening ~38,000 insertional mutant lines, we identified >500 seedling-lethal mutants, completed cosegregation analysis of the insertion and the lethal phenotype for >200 mutants, molecularly characterized 54 mutants, and provided a detailed description for 22 of them. Most of the seedling-lethal mutants seem to affect chloroplast function because they display altered pigmentation and affect genes encoding proteins predicted to have chloroplast localization. Although a high level of functional redundancy in Arabidopsis might be expected because 65% of genes are members of gene families, we found that 41% of the essential genes found in this study are members of Arabidopsis gene families. In addition, we isolated several interesting classes of mutants and genes. We found three mutants in the recently discovered nonmevalonate isoprenoid biosynthetic pathway and mutants disrupting genes similar to Tic40 and tatC, which are likely to be involved in chloroplast protein translocation. Finally, we directly compared T-DNA and Ac/Ds transposon mutagenesis methods in Arabidopsis on a genome scale. In each population, we found only about one-third of the insertion mutations cosegregated with a mutant phenotype.

New Harvesting and Curing Techniques in the Production of Breeder's Seed Peanuts1

1979 ◽  
Vol 6 (2) ◽  
pp. 70-72
Author(s):  
T. A. Coffelt ◽  
F. S. Wright ◽  
J. L. Steele
Keyword(s):  
Large Scale ◽  
Combine Method ◽  
Frost Damage ◽  
New Method ◽  
Experimental Equipment ◽  
Harvesting Method ◽  
Curing Methods ◽  
Labor Requirements ◽  
High Level ◽  
Varietal Purity

Abstract A new method of harvesting and curing breeder's seed peanuts in Virginia was initiated that would 1) reduce the labor requirements, 2) maintain a high level of germination, 3) maintain varietal purity at 100%, and 4) reduce the risk of frost damage. Three possible harvesting and curing methods were studied. The traditional stack-pole method satisfied the latter 3 objectives, but not the first. The windrow-combine method satisfied the first 2 objectives, but not the last 2. The direct harvesting method satisfied all four objectives. The experimental equipment and curing procedures for direct harvesting had been developed but not tested on a large scale for seed harvesting. This method has been used in Virginia to produce breeder's seed of 3 peanut varieties (Florigiant, VA 72R and VA 61R) during five years. Compared to the stackpole method, labor requirements have been reduced, satisfactory levels of germination and varietal purity have been obtained, and the risk of frost damage has been minimized.

scholarly journals An integrated life cycle and water footprint assessment of nonfood crops based bioenergy production

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Jun Li ◽  
Fengyin Xiong ◽  
Zhuo Chen
Keyword(s):  
Life Cycle ◽  
Environmental Sustainability ◽  
Large Scale ◽  
Water Footprint ◽  
Arable Land ◽  
Integrated Analysis ◽  
Actual Performance ◽  
Bioenergy Production ◽  
Trade Offs ◽  
Hybrid Pennisetum

AbstractBiomass gasification, especially distribution to power generation, is considered as a promising way to tackle global energy and environmental challenges. However, previous researches on integrated analysis of the greenhouse gases (GHG) abatement potentials associated with biomass electrification are sparse and few have taken the freshwater utilization into account within a coherent framework, though both energy and water scarcity are lying in the central concerns in China’s environmental policy. This study employs a Life cycle assessment (LCA) model to analyse the actual performance combined with water footprint (WF) assessment methods. The inextricable trade-offs between three representative energy-producing technologies are explored based on three categories of non-food crops (maize, sorghum and hybrid pennisetum) cultivated in marginal arable land. WF results demonstrate that the Hybrid pennisetum system has the largest impact on the water resources whereas the other two technology options exhibit the characteristics of environmental sustainability. The large variances in contribution ratio between the four sub-processes in terms of total impacts are reflected by the LCA results. The Anaerobic Digestion process is found to be the main contributor whereas the Digestate management process is shown to be able to effectively mitigate the negative environmental impacts with an absolute share. Sensitivity analysis is implemented to detect the impacts of loss ratios variation, as silage mass and methane, on final results. The methane loss has the largest influence on the Hybrid pennisetum system, followed by the Maize system. Above all, the Sorghum system demonstrates the best performance amongst the considered assessment categories. Our study builds a pilot reference for further driving large-scale project of bioenergy production and conversion. The synergy of combined WF-LCA method allows us to conduct a comprehensive assessment and to provide insights into environmental and resource management.

scholarly journals System design for inferring colony-level pollination activity through miniature bee-mounted sensors

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Haron M. Abdel-Raziq ◽  
Daniel M. Palmer ◽  
Phoebe A. Koenig ◽  
Alyosha C. Molnar ◽  
Kirstin H. Petersen
Keyword(s):  
Data Acquisition ◽  
Honey Bees ◽  
Large Scale ◽  
Physical World ◽  
Cluttered Environments ◽  
Robotic Mapping ◽  
Large Scale Data ◽  
Trade Offs ◽  
Large Numbers ◽  
Engineered Systems

AbstractIn digital agriculture, large-scale data acquisition and analysis can improve farm management by allowing growers to constantly monitor the state of a field. Deploying large autonomous robot teams to navigate and monitor cluttered environments, however, is difficult and costly. Here, we present methods that would allow us to leverage managed colonies of honey bees equipped with miniature flight recorders to monitor orchard pollination activity. Tracking honey bee flights can inform estimates of crop pollination, allowing growers to improve yield and resource allocation. Honey bees are adept at maneuvering complex environments and collectively pool information about nectar and pollen sources through thousands of daily flights. Additionally, colonies are present in orchards before and during bloom for many crops, as growers often rent hives to ensure successful pollination. We characterize existing Angle-Sensitive Pixels (ASPs) for use in flight recorders and calculate memory and resolution trade-offs. We further integrate ASP data into a colony foraging simulator and show how large numbers of flights refine system accuracy, using methods from robotic mapping literature. Our results indicate promising potential for such agricultural monitoring, where we leverage the superiority of social insects to sense the physical world, while providing data acquisition on par with explicitly engineered systems.

Results from a Large-Scale Epidemiologic Look-Back Investigation of Improperly Reprocessed Endoscopy Equipment

2012 ◽  
Vol 33 (07) ◽  
pp. 649-656 ◽  
Author(s):  
Mark Holodniy ◽  
Gina Oda ◽  
Patricia L. Schirmer ◽  
Cynthia A. Lucero ◽  
Yury E. Khudyakov ◽  
...  
Keyword(s):  
Genetic Testing ◽  
Large Scale ◽  
Bloodborne Pathogens ◽  
Medical Centers ◽  
B Virus ◽  
Immunodeficiency Virus ◽  
Viral Testing ◽  
Veterans Affairs Medical Centers ◽  
High Level ◽  
Nose And Throat

Objective.To determine whether improper high-level disinfection practices during endoscopy procedures resulted in bloodborne viral infection transmission.Design.Retrospective cohort study.Setting.Four Veterans Affairs medical centers (VAMCs).Patients.Veterans who underwent colonoscopy and laryngoscopy (ear, nose, and throat [ENT]) procedures from 2003 to 2009.Methods.Patients were identified through electronic health record searches and serotested for human immunodeficiency virus (HIV), hepatitis C virus (HCV), and hepatitis B virus (HBV). Newly discovered case patients were linked to a potential source with known identical infection, whose procedure occurred no more than 1 day prior to the case patient's procedure. Viral genetic testing was performed for case/proximate pairs to determine relatedness.Results.Of 10,737 veterans who underwent endoscopy at 4 VAMCs, 9,879 patients agreed to viral testing. Of these, 90 patients were newly diagnosed with 1 or more viral bloodborne pathogens (BBPs). There were no case/proximate pairings found for patients with either HIV or HBV; 24 HCV case/proximate pairings were found, of which 7 case patients and 8 proximate patients had sufficient viral load for further genetic testing. Only 2 of these cases, both of whom underwent laryngoscopy, and their 4 proximates agreed to further testing. None of the 4 remaining proximate patients who underwent colonoscopy agreed to further testing. Mean genetic distance between the 2 case patients and 4 proximate patients ranged from 13.5% to 19.1%.Conclusions.Our investigation revealed that exposure to improperly reprocessed ENT endoscopes did not result in viral transmission in those patients who had viral genetic analysis performed. Any potential transmission of BBPs from colonoscopy remains unknown.

Sign in / Sign up

Export Citation Format

Share Document