Documents Found!
As seen in
Less Work, Better Grades
Join
Course Hero
Access
best resources
Ace
your classes
Ace your courses with Course Hero!

Submit your homework question or assignment here:
352 Tutors are online
 
We are so confident that you will love our service, we will answer your first homework question for FREE!
*  Attach Assignment (optional):
 
Study Smarter, Score Higher
 
Document Content (unformatted)
Course Hero has millions of student submitted documents similar to the one below including study guides, homework solutions, papers, exam answer keys and textbook solutions.
Waste Organic Handling "Systems" ALS 3133 Agriculture and Environmental Quality Reading: PP handout Production Collection Storage Transfer Treatment or Processing Utilization "Components" of Organic Waste Handling Systems Components 1. Production 2. Collection 3. Storage 3 4. Processing or Treatment 5. Transportation 6. Utilization or Disposal All components may or may not be present in a system Two components may be combined into one, i.e., one component may serve two functions Specified combination of components represents a p p p system by a given name Examples: Examples: 1. Liquid manure handling system 2. Composting system -- MSW, yard waste, manure, etc. manure, 3. Lagoon system 1. Production http://www.info.usda.gov/CED/ftp/CED/neh651-ch4.pdf a. Characteristics b. Quantities c. Possibilities for changing Water use Separation or segregation of waste streams 2. Collection -- examples a. Manual -- shovel or broom b. Flushing c. Grates or underfloor drains d. Vacuum e. Mechanical sweepers or brooms e f. Mechanical scrapers g. Sewer systems 3. Storage examples a. Lagoons several types biological treatment and storage b. Storage ponds -- designed on volume basis c. c Tanks various materials -- steel, concrete, fiberglas, fiberglas, etc. above ground or below ground e. Stacking f. Sanitary landfill for MSW 4. Processing or Treatment a. Lagoons b. Aeration Odor control, Decomposition, Nutrient removal c. Solids separation (1) Pretreatment (2) By-product development By- d. Chemical (1) Chlorination (2) Acid or alkali (3) P removal (nutrients) (nutrients) e. Drying or dehydration energy intensive & expensive 4. Processing or Treatment (cont'd) f. Anaerobic digestion (1) Methane production (2) Solids destruction and stabilization (3) Odor reduction g. Heat treatment rendering of mortality & processing wastes h. Composting i. Mechanical size reduction Shredding, Grinding, Chipping j. Compaction Woodex, Woodex, Fireplace logs, RDF - refuse derived fuel k. Incineration 5. Transportation or Transfer examples a. Conventional or "dry" truck or box spreader b. Tank truck or wagon c. Pump and pipe g d. Barge e. Pipeline f. Conveyors or augers g. Railroad 6. Utilization or Disposal examples a. Land application (1) Fertilizer (2) High rate (3) Soil Amendment (4) Compost (5) Peat substitute - Cowpeat b. Methane c. Worm production -- vermiculture d. Algae production 6. Utilization or Disposal (cont'd) e. Mushroom production e. Feed (1) Processing wastes (2) Livestock wastes (composted or ensiled) (3) Products from rendering p a ts oducts o e de g plants f. Energy (1) Combustion (2) Thermal gasification (3) Methane (4) Alcohols http://www.coskata.com/process.asp 100 gallons of ethanol per ton of dry carbonaceous input material Coskata has a patented process and proprietary microorganisms that will enable them to produce cellulosic ethanol for approximately US$1.00 (which would translate to retail fuel prices $0.50 to $1.00 less than current prices). Coors Doubling its Fuel Ethanol from Waste Production http://www.greencarcongress.com/2005/10/coors_doubling_.html Coors brewing operations result in approximately 87,000 tons per year of brewer's grains on a dry-matter basis from the brewing process plus nine other byproducts of the brewing process that contain fermentable starches or concentrations of ethanol. The goal of the biomass-to-ethanol processing is to convert those various feedstocks into higher value-added products and provide a test-bed to commercialize emerging enzymatic technologies. The biomass conversion plant will produce in excess of 4 million gallons per year of ethanol through conventional processes Production Collection Storage Transfer Treatment or Processing Utilization ALS 3133 Agriculture and Environmental Quality Overview 1. What are the regulations affecting animal waste management in Florida? 2. What are some of the new EPA regs that p p have been proposed? 3. Acronyms! 4. What are the major types of animal waste management systems in use today? Assignment: PowerPoint Handouts -- class web site CAFO Fact Sheet (Link) http://www.epa.gov/npdes/pubs/cafo_short_factsheet.pdf References: (not responsible for this) CAFO Final Rule http://cfpub.epa.gov/npdes/afo/cafofinalrule.cfm Florida regulations (Link) http://www.dep.state.fl.us/legal/Rules/wastewater/62-670.pdf CNMP Technical Guidance Document (Link) www.nrcs.usda.gov/programs/afo/ cnmp_guide_index.html NRCS Animal Waste Management http://www.wcc.nrcs.usda.gov/awm/ Note: Some of these documents are quite long, so be cautious if downloading and printing! Regulations: Florida Industrial waste permit (old permit system) -- no "ag waste" permit in Florida Dairy Rule -- Okeechobee basin NPDES permit -- discharge permit (new permit system) -- under authority of USEPA -- authority d l th it delegated t FDEP t d to Administrative Agreements precursor to a "general permit" Other permits for livestock operations County (Alachua dairy rule?) Acronyms NPDES permits -- Required for all Large CAFOs that discharge (National Pollutant Discharge Elimination System) AFO - Animal Feeding Operations CAFO - Concentrated Animal Feeding Operations CNMP - Comprehensive Nutrient Management Plan - Required for federal assistance PNP - Permit Nutrient Plan - Required for NPDES permit TMDL -- Total Maximum Daily Loads Definitions AFO - Animal Feeding Operations agricultural operations where animals are kept and raised in confined situations. congregate animals, feed, manure and urine, dead animals, and production operations on a small land area. Feed is brought to the animals rather animals grazing. CAFO - AFO definition which has 1000 animal units or areas on your facility where animal manure or wastewater can discharge or travel by pipe or ditch to navigable waters or a waterway that moves through or next to your facility that comes in contact with animals or manure Large CAFO (40 CFR 122.23(b)(4)) Animal Type Dairy Cows Veal calves Beef Cattle Other Cattle (e.g., heifers) Chickens, liquid manure system Chickens, other than liquid manure systems Turkeys Ducks Horses Sheep or Lambs Animal Threshold 700 1000 1000 1000 30,000 125,000 (non-laying birds) 82,000 (laying birds) 55,000 30,000 (non-liquid manure systems) 5,000 (liquid manure systems) 500 10,000 Medium CAFO (40 CFR 122.23(b)(6)) Animal Type Dairy Cows Veal calves Beef Cattle Other Cattle (e g heifers) (e.g., Chickens, liquid manure system Chickens, other than liquid manure systems Turkeys Ducks Horses Sheep or Lambs Number of Animals 200-699 300-999 300-999 300-999 300 999 9,000 - 29,999 37,500 - 124,999 (non-laying birds) 25,000 - 81,999 (laying birds) 16,500 - 54,999 10,000 - 29,999 (non-liquid manure systems) 1,500 - 4,999 (liquid manure systems) 150 - 499 3,000 - 9,999 US 257,000 AFOs of which about 15,500 are CAFOs. These operations generate manure, litter, and process wastewater that can contain pollutants like nitrogen, phosphorus, metals, and bacteria. Not managed properly - could release pollutants into the environment through spills, overflows, or runoff. Focus on the CAFOs that pose the greatest risk to water quality. Regulating mainly Large CAFOs and some smaller CAFOs that pose a high risk to water quality EPA regulating ~ 60% of all manure generated by operations that confine animals. Process wastewater is water used directly or indirectly in the operation of an AFO for any or all of the following: Spillage or overflow from animal or poultry watering systems. Washing, cleaning, or flushing pens, barns, manure pits, or other facilities. Di t contact swimming, washing, or spray cooling Direct t t i i hi li of animals. Dust control. Process wastewater also includes any water that comes into contact with any raw materials, products, or byproducts including manure, litter, feed, milk, eggs, and bedding. Air Quality Permits? Optional reading http://www.epa.gov/ttn/chief/ap42/ch09/draft/ draftanimalfeed.pdf http://www.epa.gov/compliance/resources/ agreements/caa/cafo-agr-0501.html Elements of a CNMP 1. Manure and Wastewater Handling and Storage 2. Land Treatment Practices 3. 3 Nutrient Management 4. Record Keeping 5. Feed Management 6. Other Utilization Practices I. Composition and Production Rates -- see tables II. Terminology A. Manure -- Feces and urine B. Animal waste or livestock waste -Manure plus waste feed, soil, debris, etc. C. Muck III. Choice of Type of System (don't memorize) A. Species of animal B. Cultural or production practices C. Feed formulation or ration D. Climate E. Topography, soils and geology E Topography F. Water use G. Energy use H. Land availability I. Value of waste and economics IV. Site Selection Production Major Components of Waste Management Systems Collection Storage Transfer Treatment or Processing Utilization Major Types A. Conventional or "Dry" System 1. Mechanical scraping 2. Stacking 2 3. No processing or treatment 4. Truck or wagon box-type spreader 5. Land application (Components) Collection Storage Processing Transport Utilization B. Slurry System (greater than 4 or 5 % total solids) 1. Slatted floors 2. Under floor pits or separate tank 3. No processing or treatment 4. Tank wagon ("honey" wagon) 5. Land application C. Liquid Manure Handling System (less than 4 % TS) g 1. Flushing 2. Storage pond or tank (lined?) 3. No processing or treatment 4. Pump and pipe 5. Irrigation system for nutrient value D. Lagoon System 1. Flushing 2. Lagoon (earthen or lined) 3. Lagoon 4. Pump and pipe 5. Irrigation system or recycle for flush water E. Composting System 1. Mechanical scraping g 2. Stacking 3. Composting process 4. Truck 5. Sold as soil conditioner or fertilizer F. Methane Generation System 1. Scrapers g 2. Holding and mix tank 3. Anaerobic reactor 4. Tank wagon or truck 5. Land application G. Miscellaneous Algae production g Refeeding Drying or dehydration Worm production (vermiculture) Oxidation ditch
Find millions of documents here - Study Guides, Homework Solutions, Papers, Exam Answer Keys and more. Course Hero has millions of course related materials that will enable you to learn better, faster and get an A in all your courses.
Below is a small sample set of documents:

UF >> ALS >> 3133 (Spring, 2008)
LAND APPLICATION OF MUNICIPAL BIOSOLIDS AND RECLAIMED WATER ? FEDERAL REGULATIONS DEALING WITH DISPOSAL/UTILIZATION OF BIOSOLIDS The Clean Water Act Amendments of 1987 required EPA to develop regulations dealing with sewage sludge biosolids. These...
Allan Hancock College >> MATH >> 2200 (Fall, 2009)
MATH 2200: Applications of PLU decomposition Geoffrey Goodhill, Semester 2, 2007 First note that for a permutation matrix P 1 = P . The statement P A = LU is thus equivalent to A = P LU . The decomposition A = P LU is especially useful for computing ...
UF >> CKC >> 1129 (Fall, 2009)
Discussion of Genesove and Mullin\'s (1998) \"Testing static oligopoly models: conduct and cost in the sugar industry, 1890-1914\" Celeste K. Carruthers 1 NEIO The new empirical industrial organization (NEIO) treats marginal cost and industry conduct...
UF >> CBA >> 243 (Fall, 2009)
Vol. 24, No. 3, Summer 2005, pp. 508517 issn 0732-2399 eissn 1526-548X 05 2403 0508 informs doi 10.1287/mksc.1040.0106 2005 INFORMS Modeling Movie Life Cycles and Market Share UCLA Anderson School of Management, 110 Westwood Plaza, Room B412, U...
East Los Angeles College >> EC >> 966 (Fall, 2009)
EC966: Session X Gordon Kemp December 12, 2008 ] Outline Contents 1 General Maximum Likelihood 1.1 Framework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Examples of ML 2.1 Logit Model . . . . . . . . . . . . . ....
Fayetteville State University >> KKJ >> 8919 (Fall, 2009)
Krista Jabs Saral 220 Atkinson Drive, Apartment A Tallahassee, FL 32304 Phone: (850)766-0701 Email: kkj8919@fsu.edu Website: http:/mailer.fsu.edu/~kkj8919 Education: Ph.D. Economics, Florida State University, expected Aug. 2009 M.S. Economics, Flori...
Fayetteville State University >> ETD >> 11102008 (Fall, 2009)
FLORIDA STATE UNIVERSITY COLLEGE OF SOCIAL SCIENCES VERTICAL DIFFUSION, INTEREST GROUPS, AND ACTIVITIES OF STATE GOVERNMENTS By MARK CARBERRY A Thesis submitted to the Department of Political Science in partial fulfillment of the requirements for t...
Allegheny >> FS >> 102 (Fall, 1924)
FS 102 Spring 2009 Section 28 Roles: Speakers: Reviewers: Facilitators: Audience: Problem-Solution Speech Schedule Dr. Burkey Give their speeches Complete peer review forms for the speeches Responsible for timekeeping, speaker introductions, distri...
Allan Hancock College >> CSE >> 1301 (Fall, 2009)
CSE1301 Computer Programming: Lecture 1 Computer Systems Overview Linda McIver Linda.mciver@csse.monash.edu.au New Prac Times Remember to allocate yourself into pracs and tutes using allocate+ (theres a link on the courseware page) New pracs have ...
Purdue >> CE >> 597 (Fall, 2008)
Highway Traffic and Safety Analyses Lecture 26: Hum an Behavior and Road Safety Purdue University School of Civil Engineering West Lafayette Human Behavior 85-95 percent of crashes are attributed by experts to faulty human behavior Human Behavior ...
Cal Poly >> INF >> 1040 (Fall, 2009)
Projetsdingnierie phasedesign tape4: tudeprliminaire etprisededcision INF1040:introductionaugnieinformatique Dpartementdegnieinformatiqueetgnielogiciel mthodedeconceptionetralisation: vuedensemble 3.tudede praticabilit 2.recherche desolutions ...
Cal Poly >> INF >> 4715 (Fall, 2009)
INF4715 Cours 4 Les ombres Jean-No Morissette Carlos Valcarcel jean-noe.morissette@polymtl.ca carlos.valcarcel@polymtl.ca INF4715 Ingnierie des applications multimdia interactives Quest-ce quune ombre? stend linfini Ombre Objet Source lumineus...
Maryland >> ENEE >> 790 (Fall, 2008)
ENEE 790 HW # 9 1. Uniaxial crystal KD*P is 3 cm long and at =600nm has following properties: no=1.5044 and ne= 1.4656. r63=20 10-12 m/V and r41 = r52 = 8.8 10-12 m/V. a. Consider the experiment shown below. The KD*P crystal is placed between cross...
Cal Poly >> INF >> 3990 (Fall, 2009)
GESTION DES CONFLITS (Quelques lignes directrices) Vers une pense non linaire 1- Accepter le fait que chaque membre du groupe a sa propre vision de la situation, de la ralit, qui est fonction de ses besoins et de ses motions. Accepter ainsi, qu\'il n...
Cal Poly >> INF >> 3990 (Fall, 2009)
Principes Causes de divergences Valeur acquise, CBTP, CBTR, CRTR Exemple INF3990 - Projet de conception d\'un logiciel embarqu - Volet gestion de projet e Suivi de l\'avancement Michel C. Desmarais Gnie informatique e Ecole Polytechnique de Montr...
UF >> ESI >> 6321 (Fall, 2008)
6-1 Numerical Summaries Definition: Sample Mean 6-1 Numerical Summaries Example 6-1 6-1 Numerical Summaries Figure 6-1 The sample mean as a balance point for a system of weights. 6-1 Numerical Summaries Population Mean For a finite population wit...
UF >> WIS >> 3402 (Fall, 2008)
Water - Floridas lifeblood Water frequently in the news Council of 100 Supply and demand issues Water has played a unique role in Floridas history High rainfall Limestone aquifer Too much water: drain, dike, dredge Groundwater supplies insufficien...
UF >> ANS >> 6932 (Fall, 2008)
COMPOSITION LISHMENT OF THE RUMINAL FLORA AND ESTABOF RUMINAL CILIATED PROTOZOAL SPECIES IN ISOLATED CALVES P. W I L L I A M S 1 AND W I L L I A M E. D I N U S S O N 2, 3, 4 PHLETUS U.S. Department of Agriculture and North Dakota State University,...
Cal Poly >> INF >> 3990 (Fall, 2009)
Dpartement de gnie informatique et gnie logiciel INF3990 Projet de conception d\'un logiciel embarqu Exigences techniques du lecteur MP3 Complment au document d\'appel d\'offre Guy Bois Pierre-Luc Champigny Fvrier 2009 Version 1 __ Table des matir...
Cal Poly >> INF >> 3990 (Fall, 2009)
Traitement de signaux numriques et format MP3 Cours INF3990 Projet de conception dun logiciel embarqu et INF3610 Systmes embarqus Jrme Collin cole Polytechnique de Montral Dpartement de gnie informatique et de gnie logiciel Introduction au format...
UF >> PHY >> 7097 (Fall, 2008)
Physics 7097 Biological Physics Fall 2005 Physics Department, University of Florida Instructor Prof. Steve Hagen Office: 2362 New Physics Building Office hours: By appointment send me email to request appointment. Telephone: 352-392-4716 email: sjh...
UF >> PHY >> 7097 (Fall, 2008)
ExperimentalandTheoreticalinvestigationofelectricalproperties ofDNAmolecularstructures By Sefaattin Tongay 21/10/2005 Introduction DNAplaysapivotalroleinbiologyasthecarrierofgeneticinformationinalllivingspecies.Recently,due totheeffort inminiaturizat...
UF >> SPA >> 3032 (Fall, 2008)
CHAPTER 4 COMPLEX STIMULI Types of Sounds So far we\'ve talked a lot about sine waves = periodic = energy at one frequency But, not all sounds are like that Periodic/Aperiodic Sounds Periodic - Repeating regular pattern with a constant period Ap...
Cal Poly >> MEC >> 4250 (Fall, 2009)
DPARTEMENT DE GNIE MCANIQUE MEC 4250 - DESIGN ET EFFICACIT NERGTIQUE EN MCANIQUE DU BTIMENT T.D. # 2 - HIVER 2008 Donn le: 19 fvrier 2008 remettre le: 14 mars 2008 (au dbut du cours) Poids: 10 % de la note globale Objectifs: Dimensionnement de l\'cha...
Maine >> MAT >> 220 (Fall, 2009)
MAT 220 Introduction to Probaility and Statistics for Biological Sciences Lecture Notes Muhammad El-Taha Department of Mathematics and Statistics University of Southern Maine 96 Falmouth Street Portland, ME 04104-9300 MAT 220 Statistics for Biologic...
Allan Hancock College >> LAW >> 2201 (Fall, 2009)
TORTS A 2009 Lecturer: Room: 368 Email: karinne.ludlow@law.monash.edu.au Telephone: 9905 3306 DR KARINNE LUDLOW CONSULTATION TIMES: After class Other times by appointment Required books Must have casebook Luntz et al, 6th ed 2009 Wrongs A...
UF >> PLS >> 4601 (Fall, 2009)
PLS 4601 Weed Science Barry J. Brecke Professor Weed Science PLS 4601 Lecture 1 1 Weed Science Lecture Dr. Barry J. Brecke Professor Weed Science Lab Dr. Ken Hutto Post Doctoral Associate Weed Science PLS 4601 Lecture 1 2 Objectives for Tod...
UF >> PLS >> 4601 (Fall, 2009)
1 Invasive Weeds I. Invasive Weeds A. Descriptions: 1. Native a. Species that historically occurred or currently occurs in an ecosystem 2. Non-native a. Directly or indirectly introduced by humans b. Not present in region beforehand c. Would not hav...
UF >> PLS >> 4601 (Fall, 2009)
1 WEED BIOLOGY (cont.) Weed-Crop Interactions I. Agroecosystem - artificial ecosystem where humans cultivate the plants they desire. 1. Weeds are part of a dynamic ecosystem in which crops, weeds, humans, and the environment interact. 2. Change in...
UF >> PLS >> 4601 (Fall, 2009)
Review from Last Lecture How herbicides work Growth regulator (auxin) Cell division Photosynthesis Cell membranes Amino acid and protein synthesis Pigment synthesis Fatty acid and lipid synthesis PLS 4601 Lecture 10 1 Review from Last Lectur...
UF >> PLS >> 4601 (Fall, 2009)
1 Herbicides (cont) I. Herbicide Mode of Action A. Group herbicides by plant processes affected: 1. 2. 3. 4. 5. 6. B. Hormone or Plant Growth Regulator Photosynthesis Inhibitor Growth Inhibitors Cell Membranes Amino Acid and Protein Synthesis Pigme...
UF >> PLS >> 4601 (Fall, 2009)
1 WEED BIOLOGY CLASSIFICATION OF WEEDS (Text: Chapter 2) I. Introduction A. Weeds - unique group of plants - classified in many ways 1. Do not have specific botanical or taxonomic characteristics B. Classification 1. 2. 3. 4. C. Botanical 1. Genus a...
Allan Hancock College >> LAW >> 2201 (Fall, 2009)
L.C.Morris Copyright 2009 The following lecture slides have been prepared as a structural aid for lecture presentations. They are intended for use in conjunction with readings specified in the Torts A reading guide. Important : Because information ...
Vanderbilt >> CHEM >> 220 (Fall, 2009)
Chapter 24: Phenols. Alcohols contain an OH group bonded to an sp3-hybridized carbon. Phenols contain an OH group bonded to an sp2-hybridized carbon of a benzene ring 24.1: Nomenclature (please read) 24.2: Structure and Bonding (please read) 24.3: Ph...
Vanderbilt >> CHEM >> 220 (Fall, 2009)
Some Organic Synthesis Practice Problems: Starting from 1-hexene, 1-butyne, bromoethane, iodomethane and any reagent needed (you do not need to use all of these compounds), synthesize: 1. Cl Cl CHCl3, KOH Li, NH3 H3C C C CH2CH3 NaNH2, NH3, CH3I H C C...
Vanderbilt >> CHEM >> 220 (Fall, 2009)
Chapter 21: Ester Enolates 21.1: Ester Hydrogens and Their pKa\'s. The -protons of esters are less acidic that ketones and aldehydes. Typical pKa\'s of carbonyl compounds (-protons): aldehydes 17 O O ketones 19 C C H C CH H C H H C esters 24 O amides ...
Vanderbilt >> CHEM >> 220 (Fall, 2009)
Chapter 22: Amines. Organic derivatives of ammonia, NH3. Nitrogen atom have a lone pair of electrons, making the amine both basic and nucleophilic 22.1: Amines Nomenclature. (please read) H H C N H N H sp3 alkylamines arylamines Amines are classi...
UF >> AST >> 7939 (Fall, 2008)
Ast 7939: Exoplanets (Fall 2008) Homework Set #3 1. Here we consider the possibility of mean-motion resonances (MMRs) in your planetary systems. For your multiple planet system, is any pair of planets close to a mean-motion resonance (MMR)? If so, ...
UCSD >> PHYS >> 162 (Spring, 2002)
6 6 Vg s r( 8 P 5 r V e 8 V e s 5 e 8 s r( 6 P 6 5 i 6 r V P W s 5 e s r V s P W 8 P 7Rh7n1`#wQQRTTt@Q!QhQ!wQR`#Y!7QtoRn#`Tv a v 5 e 8 6 6 Vg s 0 \" 6 Vg P 0 \" s r( 6 P 6 5 v 0 P r 5 v V 5 e 8 5 8 Vg P sg V s g P e 6 P RQ!RRyw#!yRhQuRfdQ1Q...
UF >> COT >> 3100 (Fall, 2008)
COT3100, Application of Discrete Structures. Summer 2002 Exam I Name: _Solution_ No calculators, No crib sheets. Closed book. Thursday, May 30, 2002 This test has 16 questions and a bonus problem (# 17). Please show all your work. More work, more poi...
UF >> COT >> 3100 (Fall, 2008)
...
UF >> COT >> 3100 (Fall, 2008)
COT3100, Application of Discrete Structures. Summer 2002 Exam I Name: _Solution_ No calculators, No crib sheets. Closed book. Thursday, May 30, 2002 This test has 16 questions and a bonus problem (# 17). Please show all your work. More work, more poi...
UF >> COT >> 3100 (Fall, 2008)
...
UF >> COP >> 5725 (Fall, 2008)
Exercise 1 (SQL) Given following relations: Customers (cid, cname, city, discnt) Agents (aid, aname, city, percent) Products (pid, pname, city, quantity, price) Orders (ordno, month, cid, aid, pid, qty, dollars) Write the following queries in SQL: 1....
UF >> CIS >> 4301 (Fall, 2008)
Querying in the Relational Model Relational model is not all about storage Also allows data manipulation (queries, updates) Queries in RM: idea is to mathematically specify a new relation that holds only the answer tuples Two ways to specify: Rel...
UF >> CEN >> 6070 (Fall, 2008)
PredicateTransformsII SoftwareTestingandVerification Lecture20 Preparedby StephenM.Thebaut,Ph.D. UniversityofFlorida PredicateTransformsIandII 1. Introduction 2. Provingstrongcorrectness 3. Assignmentstatements 4. Sequencing 5. Selectionstatements ...
UF >> CEN >> 6075 (Fall, 2009)
(State)ModelBasedApproachesII SoftwareSpecification Lecture40 Preparedby StephenM.Thebaut,Ph.D. UniversityofFlorida SpecificationusingZ Zisamatureandexpressivenotationformodel basedspecification.Itcombinesformaland informaldescriptionsandincorpora...
UF >> CEN >> 6070 (Fall, 2008)
Notes on: Is Proof More CostEffective Than Testing? by Steve King, Jonathan Hammond, Rob Chapman, Andy Pryor Prepared by Stephen M. Thebaut, Ph.D. University of Florida UK Defense Standard 00-55 For procurement of safety critical software in defen...
UF >> CIS >> 6930 (Fall, 2008)
Programs with Common Sense John McCarthy Presented by Francis Kagunda Introduction The field of John McCarthy Formal logic Foundations in AI and the time period of this paper (1959, 1963) Programs that manipulate common instrumental statements S...
UF >> CIS >> 4301 (Fall, 2008)
The Meaning of SQL CIS 4301 Lecture Notes Lecture 18 3/27/2006 SQL Query Syntax SELECT mandatory FROM WHERE GROUP BY HAVING ORDER BY Optional; if used, must appear in this order CIS 4301 Spring 2006 Notes 18 2 The Meaning of SQL Queries 1. F...
UF >> CEN >> 6070 (Fall, 2008)
Exam2Review SoftwareTestingandVerification Lecture26 Preparedby StephenM.Thebaut,Ph.D. UniversityofFlorida Coverage Lectures16through25(totalof10) Requiredreadings78: 1. King,etal.,IsProofMoreCostEffective thanTesting? 2. Linger,CleanroomSoftware...
Allan Hancock College >> CSE >> 5807 (Fall, 2009)
...
UF >> CEN >> 6070 (Fall, 2008)
Lectures 18 and 19 More on Axiomatic Verification and Intro to Predicate Transforms We continue our study of axiomatic verification by considering iteration (in the form of while loops) and proving termination (\"Axiomatic Verification II\"). We then...
UF >> CEN >> 5035 (Fall, 2008)
NAME: _ (Please PRINT) -CEN 5035 - Software Engineering -Exam 2 - Spring 2008 You have 90 minutes to work on this closed-book/closed-notes test. Please pay attention to point values since you may not have time to complete all 29 problems. PLEASE PRIN...
UF >> CEN >> 6070 (Fall, 2008)
Software Testing and Verification Problem Set 5: Axiomatic Verification Solution Notes 1. a. would not: precondition not satisfied b. would not: cannot determine if Q holds in this case or not since final value of y is not given c. w...
UF >> CEN >> 5035 (Fall, 2008)
- CEN 5035 - Software Engineering -Practice Quiz 1 1. (3 pts.) What is the difference between \"generic\" and \"bespoke\" software? (Circle one only.) a. Generic software is derived from a set of activities whose goal is the development or evolution of...
UF >> CEN >> 5035 (Fall, 2008)
Proofs of Correctness: An Introduction to Axiomatic Verification CEN 5035 Software Engineering Prepared by Stephen M. Thebaut, Ph.D. University of Florida Outline Introduction Weak correctness predicate Assignment statements Sequencing Select...
UF >> CEN >> 6070 (Fall, 2008)
Predicate Transforms I Software Testing and Verification Lecture 19 Prepared by Stephen M. Thebaut, Ph.D. University of Florida Predicate Transforms I and II 1. Introduction 2. Proving strong correctness 3. Assignment statements 4. Sequencing 5. S...
UF >> CEN >> 6070 (Fall, 2008)
CEN 6070 Software Testing and Verication Fall 2006 Overview: Software Testing and Verication is an advanced survey course on concepts, principles, and techniques related to software testing and formal program verication. Students will become acquaint...
UF >> COT >> 3100 (Fall, 2008)
...
UF >> CAP >> 4621 (Fall, 2008)
Homework 2 This assignment is due on Wednesday, October 20, 2004. There will be no extension for this homework since we are on a tight schedule: Midterm will be on October 22, and the solution will be available after class on October 20. The assignme...
UF >> ALYM >> 1007 (Fall, 2009)
nomen mihi est _ Latin 1 Review: Chapter 3 Nouns of the second declension are usually masculine or neuter. The masculines (and occasional feminines) of the 2nd declension have these endings: Nom. Gen. Dat. Acc. Abl. Voc. Sg. -us/-er -i -o -um -o * Pl...
UF >> ALYM >> 1007 (Fall, 2009)
Wheelock Chapter 13 Reflexive Pronouns Reflexive pronouns refer back to the subject of the verb (Ex: I praise myself; he sees himself; versus: I see him; he praises me), so they can only appear in the predicate and cannot be the subject of finite ver...
UF >> ALYM >> 1007 (Fall, 2009)
Wheelock Workbook Answer Key: Chapter 1 GRAMMATICA 1. j; w; v 2. twice 3. c 4. a 5. b 6. d 7. a 8. c 9. b 10. p Singular Latin Ending -o or m -s -t 11. 12. 13. 14. 15. 16. 17. 18. 19. cream green y quick a c w uphill vowels or diphthongs Plural Latin...
UCSD >> MATH >> 102 (Fall, 2009)
Math 102 Review Sheet #2 Disclaimer: This review sheet is not necessarily intended to give questions from the entire course. You should not rely solely on this document to study. This sheet is broken up into a couple sections. Each section is design...
UCSD >> MATH >> 130 (Fall, 2009)
Math 130A Prof. Rabin Homework #0 due October 4, 2007 These problems will help you review some concepts from Math 20D and 20F. They will not be graded, but you should be prepared to discuss them at the rst section meeting. (1) Solve by separation ...
Dallas >> CPB >> 021000 (Fall, 2008)
Asian font packs for Acrobat Reader 5.x on MacOS are installed as a custom installation item from the network-based installer. Please see: http:/www.adobe.com/products/acrobat/readstep2.html for further instructions. ...
Harvard >> CFA >> 001100 (Fall, 2009)
Electronic Telegram No. 1142 Central Bureau for Astronomical Telegrams INTERNATIONAL ASTRONOMICAL UNION M.S. 18, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A. IAUSUBS@CFA.HARVARD....
UF >> ABE >> 6254 (Fall, 2008)
ABE 6254 10/14/2003 Model Calibration and Testing Calibration Process of adjusting model parameters to achieve accurate simulation What information will be important when the model is applied? Calibration Select set of criteria for determining ...
Harvard >> LAW >> 616 (Fall, 2009)
CATHERINE KARUGAPROFESSOR HUTT COMBINATION PAPER: FOOD AND DRUG LAW & 3RD YEAR PAPER THE EXPANSION OF FDA\'S ENFORCEMENT POWERS FROM 1906-2003 BRIEF HISTORY OF THE FDA The Food and Drug Administration of the Health and Human Services Department is th...
What are you waiting for?