Science.gov

Sample records for formally certified sat

  1. Assessment of long-term impact of formal certified cardiopulmonary resuscitation training program among nurses

    PubMed Central

    Saramma, P. P.; Raj, L. Suja; Dash, P. K.; Sarma, P. S.

    2016-01-01

    Context: Cardiopulmonary resuscitation (CPR) and emergency cardiovascular care guidelines are periodically renewed and published by the American Heart Association. Formal training programs are conducted based on these guidelines. Despite widespread training CPR is often poorly performed. Hospital educators spend a significant amount of time and money in training health professionals and maintaining basic life support (BLS) and advanced cardiac life support (ACLS) skills among them. However, very little data are available in the literature highlighting the long-term impact of these training. Aims: To evaluate the impact of formal certified CPR training program on the knowledge and skill of CPR among nurses, to identify self-reported outcomes of attempted CPR and training needs of nurses. Setting and Design: Tertiary care hospital, Prospective, repeated-measures design. Subjects and Methods: A series of certified BLS and ACLS training programs were conducted during 2010 and 2011. Written and practical performance tests were done. Final testing was undertaken 3–4 years after training. The sample included all available, willing CPR certified nurses and experience matched CPR noncertified nurses. Statistical Analysis Used: SPSS for Windows version 21.0. Results: The majority of the 206 nurses (93 CPR certified and 113 noncertified) were females. There was a statistically significant increase in mean knowledge level and overall performance before and after the formal certified CPR training program (P = 0.000). However, the mean knowledge scores were equivalent among the CPR certified and noncertified nurses, although the certified nurses scored a higher mean score (P = 0.140). Conclusions: Formal certified CPR training program increases CPR knowledge and skill. However, significant long-term effects could not be found. There is a need for regular and periodic recertification. PMID:27303137

  2. Assessing, Recognising and Certifying Informal and Non-Formal Learning (ARCNIL): Evolution and Challenges

    ERIC Educational Resources Information Center

    Svetlik, Ivan

    2009-01-01

    Certifying non-formal and informal knowledge may be a consequence of separating education and training from other social and economic activities. Specialisation and formalisation of education and training both aim to increase learning efficiency. In the emerging knowledge society, this has attracted particular attention among researchers and…

  3. Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

    NASA Technical Reports Server (NTRS)

    Carrreno, Victor A.; Gottliebsen, Hanne; Butler, Ricky; Kalvala, Sara

    2004-01-01

    New concepts for automating air traffic management functions at small non-towered airports raise serious safety issues associated with the software implementations and their underlying key algorithms. The criticality of such software systems necessitates that strong guarantees of the safety be developed for them. In this paper we present a formal method for modeling and verifying such systems using the PVS theorem proving system. The method is demonstrated on a preliminary concept of operation for the Small Aircraft Transportation System (SATS) project at NASA Langley.

  4. Synthesizing Certified Code

    NASA Technical Reports Server (NTRS)

    Whalen, Michael; Schumann, Johann; Fischer, Bernd

    2002-01-01

    Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

  5. Comparing Techniques for Certified Static Analysis

    NASA Technical Reports Server (NTRS)

    Cachera, David; Pichardie, David

    2009-01-01

    A certified static analysis is an analysis whose semantic validity has been formally proved correct with a proof assistant. The recent increasing interest in using proof assistants for mechanizing programming language metatheory has given rise to several approaches for certification of static analysis. We propose a panorama of these techniques and compare their respective strengths and weaknesses.

  6. Effective preprocessing in #SAT

    NASA Astrophysics Data System (ADS)

    Guo, Qin; Sang, Juan; He, Yong-mei

    2011-12-01

    Preprocessing #SAT instances can reduce their size considerably and decrease the solving time. In this paper we investigate the use of the hyper-binary resolution and equality reduction to preprocess the #SAT instances. And a preprocessing algorithm Preprocess MC is presented, which combines the unit propagation, the hyper-binary resolution, and the equality reduction together. The experiment shows that these excellent technologies not only reduce the size of the #SAT formula, but also improve the ability of the model counters to solve #SAT problems.

  7. Surviving Without the SAT

    ERIC Educational Resources Information Center

    McDermott, Ann

    2008-01-01

    Scholastic Aptitude Test (SAT) scores still wield a mighty force in American culture and in the psyches of teenagers, even though 760 American colleges and universities have made standardized testing an optional part of the admissions process. Three years ago, after the new writing portion of the SAT was unveiled, the author's college, the College…

  8. Disabling the SAT.

    ERIC Educational Resources Information Center

    Freedman, Miriam Kurtzig

    2003-01-01

    Argues the College Boards' decision to stop flagging the SAT scores of students with disabilities given extended time to take the test will compromise the test's validity. A civil rights organization urged the College Board to stop flagging SAT scores because the practice violated the rights of students with disabilities. Proposes three…

  9. SmallSat Database

    NASA Technical Reports Server (NTRS)

    Petropulos, Dolores; Bittner, David; Murawski, Robert; Golden, Bert

    2015-01-01

    The SmallSat has an unrealized potential in both the private industry and in the federal government. Currently over 70 companies, 50 universities and 17 governmental agencies are involved in SmallSat research and development. In 1994, the U.S. Army Missile and Defense mapped the moon using smallSat imagery. Since then Smart Phones have introduced this imagery to the people of the world as diverse industries watched this trend. The deployment cost of smallSats is also greatly reduced compared to traditional satellites due to the fact that multiple units can be deployed in a single mission. Imaging payloads have become more sophisticated, smaller and lighter. In addition, the growth of small technology obtained from private industries has led to the more widespread use of smallSats. This includes greater revisit rates in imagery, significantly lower costs, the ability to update technology more frequently and the ability to decrease vulnerability of enemy attacks. The popularity of smallSats show a changing mentality in this fast paced world of tomorrow. What impact has this created on the NASA communication networks now and in future years? In this project, we are developing the SmallSat Relational Database which can support a simulation of smallSats within the NASA SCaN Compatability Environment for Networks and Integrated Communications (SCENIC) Modeling and Simulation Lab. The NASA Space Communications and Networks (SCaN) Program can use this modeling to project required network support needs in the next 10 to 15 years. The SmallSat Rational Database could model smallSats just as the other SCaN databases model the more traditional larger satellites, with a few exceptions. One being that the smallSat Database is designed to be built-to-order. The SmallSat database holds various hardware configurations that can be used to model a smallSat. It will require significant effort to develop as the research material can only be populated by hand to obtain the unique data

  10. FDA Certified Mammography Facilities

    MedlinePlus

    ... Products Radiation-Emitting Products Home Radiation-Emitting Products Mammography Quality Standards Act and Program Consumer Information (MQSA) ... it Email Print This list of FDA Certified Mammography Facilities is updated weekly. If you click on ...

  11. The SAT Trap. Why Do We Make So Much of One 3-Hour Test?

    ERIC Educational Resources Information Center

    Adelman, Clifford

    1999-01-01

    The Scholastic Assessment Tests (SAT) measures students' general learned abilities, but student test performance is influenced as much by family environment as it is by formal education. Many colleges use SAT scores in admissions decisions. Students would be far better served if there was a concentration on other ways of predicting success in…

  12. Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations

    NASA Technical Reports Server (NTRS)

    Dowek, Gilles; Munoz, Cesar; Carreno, Victor A.

    2004-01-01

    An abstract mathematical model of the concept of operations for the Small Aircraft Transportation System (SATS) is presented. The Concept of Operations consist of several procedures that describe nominal operations for SATS, Several safety properties of the system are proven using formal techniques. The final goal of the verification effort is to show that under nominal operations, aircraft are safely separated. The abstract model was written and formally verified in the Prototype Verification System (PVS).

  13. A Certified Health Career

    ERIC Educational Resources Information Center

    Adamson, Pamela

    2006-01-01

    This article features a certification program for health care workers in Southeastern Oklahoma. Kiamichi Technology Center is certifying success for its students while helping to meet the demand for trained health care workers in Southeastern Oklahoma. Through the health careers certification program at Kiamichi Technology Center in Hugo, Oklahoma…

  14. Certified records manager exam

    SciTech Connect

    Not Available

    1990-01-01

    The Institute of Certified Records Managers (ICRM) is a non-profit, certifying organization of professional records managers and administrators. ICRM members are experienced in information requirements, records and information systems, and the related office systems and technologies. All members have met certification requirements and have received the Certified Records Manager (CRM) designation. As the field of information and records management moves toward standardization, and as the application of new technologies and technicalities complicate the measurement and demonstration of professional competence, the need for a means of identifying persons who have basic competency increases. The ICRM is providing such a means by testing and certifying basic knowledge. More and more job announcements are requiring this evidence of competency. Unfortunately, as an organization, NIRMA has a relatively small number of CRMs. The goal of the ICRM Development Group is two-fold; (1) to encourage NIRMA members to obtain their certification by providing basic information and support and; (2) to develop the Nuclear Specialist test module which will demonstrate that bearers have demonstrated expertise in nuclear records management as well as basic competencies. This report covers the examination process.

  15. Active CryoCubeSat

    NASA Technical Reports Server (NTRS)

    Swenson, Charles

    2016-01-01

    The Active CryoCubeSat project will demonstrate an advanced thermal control system for a 6-Unit (6U) CubeSat platform. A miniature, active thermal control system, in which a fluid is circulated in a closed loop from thermal loads to radiators, will be developed. A miniature cryogenic cooler will be integrated with this system to form a two-stage thermal control system. Key components will be miniaturized by using advanced additive manufacturing techniques resulting in a thermal testbed for proving out these technologies. Previous CubeSat missions have not tackled the problem of active thermal control systems nor have any past or current CubeSat missions included cryogenic instrumentation. This Active CryoCubeSat development effort will provide completely new capacities for CubeSats and constitutes a major advancement over the state-of-the-art in CubeSat thermal control.

  16. Difficulties of Alternatively Certified Teachers

    ERIC Educational Resources Information Center

    Schonfeld, Irvin Sam; Feinman, Samantha J.

    2012-01-01

    This daily diary study followed, over a 2-week period, 252 beginning New York City public school teachers. Seventy percent were alternatively certified (New York City Teaching Fellows) and the rest, traditionally certified teachers. Alternatively certified teachers were more likely to experience stressors such as violent incidents and classroom…

  17. CarbonSat Constellation

    NASA Astrophysics Data System (ADS)

    Sun, Wei; Tobehn, Carsten; Ernst, Robert; Bovensmann, Heinrich; Buchwitz, Michael; Burrows, John P.; Notholt, John

    1 Carbon dioxide (CO2) and methane (CH4) are the most important manmade greenhouse gases (GHGs) which are driving global climate change. Currently, the CO2 measurements from the ground observing network are still the main sources of information but due to the limited number of measurement stations the coverage is limited. In addition, CO2 monitoring and trading is often based mainly on bottom-up calculations and an independent top down verification is limited due to the lack of global measurement data with local resolution. The first CO2 and CH4 mapping from SCIAMACHY on ENVISAT shows that satellites add important missing global information. Current GHG measurement satellites (GOSAT)are limited either in spatial or temporal resolution and coverage. These systems have to collect data over a year or even longer to produce global regional fluxes products. Conse-quently global, timely, higher spatial resolution and high accuracy measurement are required for: 1. A good understanding of the CO2 and CH4 sources and sinks for reliable climate predic-tion; and 2. Independent and transparent verification of accountable sources and sinks in supporting Kyoto and upcoming protocols The CarbonSat constellation idea comes out the trade off of resolution and swath width during CarbonSat mission definition studies. In response to the urgent need to support the Kyoto and upcoming protocols, a feasibility study has been carried out. The proposed solution is a constellation of five CarbonSat satellites in 614km LTAN 13:00, which is able to provide global, daily CO2 and CH4 measurement everywhere on the Earth with high spatial resolution 2 × 2 km and low uncertainty lt;2ppm (CO2) and lt;8ppb (CH4). The unique global daily measurement capability significantly increases the number of cloud free measurements, which enables more reliable services associated with reduced uncertainty, e.g. to 0.15ppm (CO2) per month in 10km and even more timely products. The CarbonSat Constellation in

  18. CloudSat Education Network: Partnerships for Outreach

    NASA Astrophysics Data System (ADS)

    TeBockhorst, D.

    2014-12-01

    CloudSat Education Network (CEN): Partnerships to improve the understanding of clouds in formal and informal settings. Since The CloudSat satellite launched in 2006 the Formal and Informal education programs for the mission have been focused on bringing an understanding about the mission science and the importance of clouds, climate & weather science. This has been done by creating and strengthening partnership and collaboration within scientific and educational communities around the country and the world. Because CloudSat was formally recognized as a Earth System Science Pathfinder campaign with the GLOBE program, the CEN developed a set of field protocols for student observations that augmented the GLOBE atmosphere protocols when there was a satellite overpass. This shared process between GLOBE & CloudSat resulted in the training & creation of CEN schools that are both GLOBE schools and CloudSat schools, and also produced three GLOBE partnerships that specialize in cloud science education and outreach. In addition, the CEN has developed productive relationships with other NASA missions and EPO teams. Specifically, in collaboration with the NASA CERES mission projects S'Cool and MyNASAData, we have co-presented at NSTA conferences and with schools participating in a NASA EPOESS-funded formal education project. This collaborative work has been a very real benefit to a wide variety of audiences needing to strengthen their understanding of clouds and their roles in the earth system, and we hope will serve as a model to future missions looking to involve the public in mission science.

  19. CubeSat Launch Initiative

    NASA Technical Reports Server (NTRS)

    Higginbotham, Scott

    2016-01-01

    The National Aeronautics and Space Administration (NASA) recognizes the tremendous potential that CubeSats (very small satellites) have to inexpensively demonstrate advanced technologies, collect scientific data, and enhance student engagement in Science, Technology, Engineering, and Mathematics (STEM). The CubeSat Launch Initiative (CSLI) was created to provide launch opportunities for CubeSats developed by academic institutions, non-profit entities, and NASA centers. This presentation will provide an overview of the CSLI, its benefits, and its results.

  20. Recognising and Certifying Lifelong Skills: Impact on Labour Market Integration of the Unemployed

    ERIC Educational Resources Information Center

    Fernandes, Pedro Afonso

    2009-01-01

    The process for recognising, validating and certifying (RVC) non-formally or informally acquired lifelong learning, launched in 2000, is now part of mainstream education and training policies in Portugal. This article aims to determine how much the labour-market behaviour of the RVC-certified unemployed differs from that of other unemployed…

  1. SDO FlatSat Facility

    NASA Technical Reports Server (NTRS)

    Amason, David L.

    2008-01-01

    The goal of the Solar Dynamics Observatory (SDO) is to understand and, ideally, predict the solar variations that influence life and society. It's instruments will measure the properties of the Sun and will take hifh definition images of the Sun every few seconds, all day every day. The FlatSat is a high fidelity electrical and functional representation of the SDO spacecraft bus. It is a high fidelity test bed for Integration & Test (I & T), flight software, and flight operations. For I & T purposes FlatSat will be a driver to development and dry run electrical integration procedures, STOL test procedures, page displays, and the command and telemetry database. FlatSat will also serve as a platform for flight software acceptance and systems testing for the flight software system component including the spacecraft main processors, power supply electronics, attitude control electronic, gimbal control electrons and the S-band communications card. FlatSat will also benefit the flight operations team through post-launch flight software code and table update development and verification and verification of new and updated flight operations products. This document highlights the benefits of FlatSat; describes the building of FlatSat; provides FlatSat facility requirements, access roles and responsibilities; and, and discusses FlatSat mechanical and electrical integration and functional testing.

  2. ACT/SAT College Survey.

    ERIC Educational Resources Information Center

    Stafford, John E.

    1998-01-01

    Reports on findings of a survey designed to discover whether higher education institutions' admission standards accept SAT I or ACT and if there is preference for either, and whether ACT could be submitted in lieu of SAT II subject tests. Eighty-six percent of the reporting schools indicated no preference; 28 schools indicated that the ACT was an…

  3. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... ASSESSMENTS In General § 327.2 Certified statements. (a) Required. (1) The certified statement shall also be known as the quarterly certified statement invoice. Each insured depository institution shall file and certify its quarterly certified statement invoice in the manner and form set forth in this section....

  4. NASA Facts: SporeSat

    NASA Technical Reports Server (NTRS)

    Martinez, Andres; Cappuccio, Gelsomina; Tomko, David

    2013-01-01

    SporeSat is an autonomous, free-flying three-unit (3U) spacecraft that will be used to conduct scientific experiments to gain a deeper knowledge of the mechanisms of plant cell gravity sensing. SporeSat is being developed through a partnership between NASAs Ames Research Center and the Department of Agricultural and Biological Engineering at Purdue University. Amani Salim and Jenna L. Rickus are the Purdue University Principal Investigators. The SporeSat mission will be flown using a 3U nanosatellite weighing approximately 12 pounds and measuring 14 inches long by 4 inches wide by 4 inches tall. SporeSat will utilize flight-proven spacecraft technologies demonstrated on prior Ames nanosatellite missions such as PharmaSat and OrganismOrganic Exposure to Orbital Stresses (OOREOS) as well as upgrades that increase the hardware integration capabilities with SporeSat science instrumentation. In addition, the SporeSat science payload will serve as a technology platform to evaluate new microsensor technologies for enabling future fundamental biology missions.

  5. SATS HVO Concept Validation Experiment

    NASA Technical Reports Server (NTRS)

    Consiglio, Maria; Williams, Daniel; Murdoch, Jennifer; Adams, Catherine

    2005-01-01

    A human-in-the-loop simulation experiment was conducted at the NASA Langley Research Center s (LaRC) Air Traffic Operations Lab (ATOL) in an effort to comprehensively validate tools and procedures intended to enable the Small Aircraft Transportation System, Higher Volume Operations (SATS HVO) concept of operations. The SATS HVO procedures were developed to increase the rate of operations at non-towered, non-radar airports in near all-weather conditions. A key element of the design is the establishment of a volume of airspace around designated airports where pilots accept responsibility for self-separation. Flights operating at these airports, are given approach sequencing information computed by a ground based automated system. The SATS HVO validation experiment was conducted in the ATOL during the spring of 2004 in order to determine if a pilot can safely and proficiently fly an airplane while performing SATS HVO procedures. Comparative measures of flight path error, perceived workload and situation awareness were obtained for two types of scenarios. Baseline scenarios were representative of today s system utilizing procedure separation, where air traffic control grants one approach or departure clearance at a time. SATS HVO scenarios represented approaches and departure procedures as described in the SATS HVO concept of operations. Results from the experiment indicate that low time pilots were able to fly SATS HVO procedures and maintain self-separation as safely and proficiently as flying today's procedures.

  6. Find a NCCAOM Certified Practitioner

    MedlinePlus

    ... NCCAOM Certification Get Certified Get Recertified PDA Search Engine Find A Practitioner State Licensing Helpful NCCAOM Links ... My Status State Licensure Diplomates Recertification PDA Search Engine State Licensure Consumers Diplomate of Acupuncture Diplomate of ...

  7. Rethinking Formalisms in Formal Education

    ERIC Educational Resources Information Center

    Nathan, Mitchell J.

    2012-01-01

    I explore a belief about learning and teaching that is commonly held in education and society at large that nonetheless is deeply flawed. The belief asserts that mastery of "formalisms"--specialized representations such as symbolic equations and diagrams with no inherent meaning except that which is established by convention--is prerequisite to…

  8. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 4 2010-01-01 2010-01-01 false Certified statements. 327.2 Section 327.2 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY ASSESSMENTS In General § 327.2 Certified statements. (a) Required. (1) The certified statement shall also be known as the quarterly certified...

  9. COLD-SAT dynamic model

    NASA Astrophysics Data System (ADS)

    Adams, Neil S.; Bollenbacher, Gary

    1992-12-01

    This report discusses the development and underlying mathematics of a rigid-body computer model of a proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer spacecraft (COLD-SAT). This model, referred to in this report as the COLD-SAT dynamic model, consists of both a trajectory model and an attitudinal model. All disturbance forces and torques expected to be significant for the actual COLD-SAT spacecraft are modeled to the required degree of accuracy. Control and experimental thrusters are modeled, as well as fluid slosh. The model also computes microgravity disturbance accelerations at any specified point in the spacecraft. The model was developed by using the Boeing EASY5 dynamic analysis package and will run on Apollo, Cray, and other computing platforms.

  10. COLD-SAT dynamic model

    NASA Technical Reports Server (NTRS)

    Adams, Neil S.; Bollenbacher, Gary

    1992-01-01

    This report discusses the development and underlying mathematics of a rigid-body computer model of a proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer spacecraft (COLD-SAT). This model, referred to in this report as the COLD-SAT dynamic model, consists of both a trajectory model and an attitudinal model. All disturbance forces and torques expected to be significant for the actual COLD-SAT spacecraft are modeled to the required degree of accuracy. Control and experimental thrusters are modeled, as well as fluid slosh. The model also computes microgravity disturbance accelerations at any specified point in the spacecraft. The model was developed by using the Boeing EASY5 dynamic analysis package and will run on Apollo, Cray, and other computing platforms.

  11. Seeking Coalitions between Certified and Non-Certified Art Educators

    ERIC Educational Resources Information Center

    Lackey, Lara M.; Chou, Chun-Ming; Hsu, Pei-Lan

    2010-01-01

    This article explores the following question, posed in the call for submissions to this special issue, dealing with significant 21st-century debates for art education: "How can art educators embrace non-certified individuals who teach art in various settings such as craft stores, after-school programs, and community centers?" While the question…

  12. DebriSat Project Update and Planning

    NASA Technical Reports Server (NTRS)

    Sorge, M.; Krisko, P. H.

    2016-01-01

    DebriSat Reporting Topics: DebriSat Fragment Analysis Calendar; Near-term Fragment Extraction Strategy; Fragment Characterization and Database; HVI (High-Velocity Impact) Considerations; Requirements Document.

  13. EMC Test Report: StangSat - CubeSat Program

    NASA Technical Reports Server (NTRS)

    Carmody, Lynne M.; Aragona, Peter S.

    2013-01-01

    This report documents the Electromagnetic Interference E M I testing performed on the StangSat; the unit under test (UUT). Testing was per the requirements of MIL STD-461F. The UUT was characterized and passed the radiated emissions (RE102 limit for Spacecraft) testing.

  14. What Have the Pilot SATs Taught Us?

    ERIC Educational Resources Information Center

    Pearson, Lea

    1990-01-01

    This paper describes pilot testing of Great Britain's standard assessment tasks (SATs), focusing on children with special educational needs. Two SATs were produced (Change and Movement) to assess three core subjects (English, mathematics, and science.) The need for SAT adaptations to allow children with disabilities equal access is stressed. (JDD)

  15. Tensor Network Contractions for #SAT

    NASA Astrophysics Data System (ADS)

    Biamonte, Jacob D.; Morton, Jason; Turner, Jacob

    2015-09-01

    The computational cost of counting the number of solutions satisfying a Boolean formula, which is a problem instance of #SAT, has proven subtle to quantify. Even when finding individual satisfying solutions is computationally easy (e.g. 2-SAT, which is in ), determining the number of solutions can be #-hard. Recently, computational methods simulating quantum systems experienced advancements due to the development of tensor network algorithms and associated quantum physics-inspired techniques. By these methods, we give an algorithm using an axiomatic tensor contraction language for n-variable #SAT instances with complexity where c is the number of COPY-tensors, g is the number of gates, and d is the maximal degree of any COPY-tensor. Thus, n-variable counting problems can be solved efficiently when their tensor network expression has at most COPY-tensors and polynomial fan-out. This framework also admits an intuitive proof of a variant of the Tovey conjecture (the r,1-SAT instance of the Dubois-Tovey theorem). This study increases the theory, expressiveness and application of tensor based algorithmic tools and provides an alternative insight on these problems which have a long history in statistical physics and computer science.

  16. Independent Schools and the SAT

    ERIC Educational Resources Information Center

    Torres, Amada

    2016-01-01

    In September 2015, when the College Board released its average SAT scores for the 2015 graduating class, two details stood out for many educators: (1) the record participation and diversity numbers (close to 1.7 million students took the test, with 50 percent being students of color); and (2) the test's lower average scores compared with previous…

  17. SAT Future: Alignment to Standards

    ERIC Educational Resources Information Center

    Gewertz, Catherine

    2012-01-01

    One of the chief architects of the Common Core State Standards was named the next president of the College Board and said one of his top priorities is to reshape the organization's influential college-admissions test, the SAT, to better reflect the new standards. David Coleman will assume his new duties on Oct. 15, replacing Gaston Caperton, who…

  18. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 10 2011-01-01 2011-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  19. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 10 2010-01-01 2010-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  20. 7 CFR 1221.4 - Certified organization.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 10 2010-01-01 2010-01-01 false Certified organization. 1221.4 Section 1221.4 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization that has been certified by the Secretary...

  1. 24 CFR 1710.504 - Cooperation among certified states and between certified states and the Secretary.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Cooperation among certified states and between certified states and the Secretary. 1710.504 Section 1710.504 Housing and Urban....504 Cooperation among certified states and between certified states and the Secretary. (a) By...

  2. CS2SAT Desktop Tool

    Energy Science and Technology Software Center (ESTSC)

    2006-03-15

    The Idaho National Laboratory (INL) has developed a Control System Cyber Security Self-Assessment Tool (CS2SAT) desktop tool that provides a repeatable and systematic approach for control system users to assess the cyber security posture of their control system networks. The tool assists users in identifying the cyber security parameters of their systems and then offers security objectives, in the form of requirements, for improving the security of their specific network. Each requirement is linked tomore » a series of associated recommendations for compliance dependent upon the desired level of security protection. Each requirement is supported by links to the original standards document and recommendations are supported by links to whitepapers and other help documents. Package also includes two back-end supporting codes: CS2SAT Requirements Matrix and Control System Security Information System.« less

  3. The COLD-SAT program

    NASA Technical Reports Server (NTRS)

    Bailey, William J.

    1990-01-01

    The Cryogenic On-Orbit Liquid Depot Storage, Acquisition and Transfer (COLD-SAT) satellite is an experimental spacecraft launched from an expendable launch vehicle which is designed to investigate the systems and technologies required for efficient and reliable management of cryogenic fluid in the reduced-gravity space environment. Future applications such as Space Station, Space Transportation Vehicle (STV), external tank (ET), aft cargo carrier (ACC) propellant scavenging, storage depots, and lunar and interplanetary missions, among others, have provided the impetus to pursue this technology in a timely manner to support the design efforts. A refined conceptual approach has been developed and an overview of the COLD-SAT program is described which includes the following: (1) a definition of the technology needs and the accompanying experimental six-month baseline mission; (2) a description of the experiment subsystem, major features, and rationale for satisfaction of primary and secondary experiment requirements using LH2 as the test fluid; and (3) a presentation of the conceptual design of the COLD-SAT spacecraft subsystems which support the on-orbit experiment with emphasis on those areas which posed the greatest technical challenge.

  4. The New SAT: The Future of Transition Assessment.

    ERIC Educational Resources Information Center

    Graff, A. Steven

    1993-01-01

    Describes changes being made in the Scholastic Aptitude Test (SAT) and other standardized tests. Highlights include a history of standardized college entrance testing; the change process of the SAT; descriptions of the new SAT I Reasoning Tests and SAT II Subject Tests; comparisons between the old and the new SAT; and future possibilities. (LRW)

  5. Improving Resource-Unaware SAT Solvers

    NASA Astrophysics Data System (ADS)

    Hölldobler, Steffen; Manthey, Norbert; Saptawijaya, Ari

    The paper discusses cache utilization in state-of-the-art SAT solvers. The aim of the study is to show how a resource-unaware SAT solver can be improved by utilizing the cache sensibly. The analysis is performed on a CDCL-based SAT solver using a subset of the industrial SAT Competition 2009 benchmark. For the analysis, the total cycles, the resource stall cycles, the L2 cache hits and the L2 cache misses are traced using sample based profiling. Based on the analysis, several techniques - some of which have not been used in SAT solvers so far - are proposed resulting in a combined speedup up to 83% without affecting the search path of the solver. The average speedup on the benchmark is 60%. The new techniques are also applied to MiniSAT2.0 improving its runtime by 20% on average.

  6. A Case for Not Going SAT-Optional: Students with Discrepant SAT and HSGPA Performance

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Shaw, Emily J.; Kobrin, Jennifer L.

    2010-01-01

    Presented at the national conference for the American Educational Research Association (AERA) in 2010. This presentation describes an alternative way of presenting the unique information provided by the SAT over HSGPA, namely examining students with discrepant SAT-HSGPA performance.

  7. Different Tests, Same Flaws: Examining the SAT I, SAT II, and ACT

    ERIC Educational Resources Information Center

    Perez, Christina

    2002-01-01

    Spurred in part by University of California (UC) President Richard Atkinson's February 2001 proposal to drop the SAT I for UC applicants, more attention is being paid to other tests such as the SAT II and ACT. Proponents of these alternative exams argue that the SAT I is primarily an aptitude test measuring some vague concept of "inherent…

  8. Stennis certified as Project Ready

    NASA Technical Reports Server (NTRS)

    2009-01-01

    Mississippi Power Co. Director of Economic Development Arnie Williams presents NASA's John C. Stennis Space Center Deputy Director Patrick Scheuermann with a commemorative plate designating the facility as a Project Ready technology park during a Nov. 6 ceremony. The designation certifies Stennis as a 'project ready' site for high-tech firms seeking a new location. Mississippi Power launched the Project Ready Certified Site Program to identify locations that are ready to go and relatively risk-free in an effort to attract companies into the region. Stennis is the first site to gain the technology park certification. Participants in the Nov. 6 ceremony included (l to r): Sue Wright, economic development director for the Hancock County Development Commission; Griff Salmon, director of the Global Business Division of the Mississippi Development Authority; Williams; Scheuermann; Mark Sweeney, senior principal of the McCallum Sweeney Consulting firm in Greenville, S.C., which is helping implement the Project Ready initiative; and Ron Magee, assistant to the director of Stennis' Center Operations Directorate.

  9. The Iodine Satellite (iSat) Project Development Towards Critical Design Review (CDR)

    NASA Technical Reports Server (NTRS)

    Dankanich, John W.; Selby, Michael; Polzin, Kurt A.; Kamhawi, Hani; Hickman, Tyler; Byrne, Larry

    2016-01-01

    Despite the prevalence of Small Satellites in recent years, the systems flown to date have very limited propulsion capability. SmallSats are typically secondary payloads and have significant constraints for volume, mass, and power in addition to limitations on the use of hazardous propellants or stored energy (i.e. high pressure vessels). These constraints limit the options for SmallSat maneuverability. NASA's Space Technology Mission Directorate approved the iodine Satellite flight project for a rapid demonstration of iodine Hall thruster technology in a 12U configuration under the Small Spacecraft Technology Program. The project formally began in FY15 as a partnership between NASA MSFC, NASA GRC, and Busek Co, Inc., with the Air Force supporting the propulsion technology maturation. The team is in final preparation of the Critical Design Review prior to initiating the fabrication and integration phase of the project. The iSat project is on schedule for a launch opportunity in November 2017.

  10. A Small Aircraft Transportation System (SATS) Demand Model

    NASA Technical Reports Server (NTRS)

    Long, Dou; Lee, David; Johnson, Jesse; Kostiuk, Peter; Yackovetsky, Robert (Technical Monitor)

    2001-01-01

    The Small Aircraft Transportation System (SATS) demand modeling is a tool that will be useful for decision-makers to analyze SATS demands in both airport and airspace. We constructed a series of models following the general top-down, modular principles in systems engineering. There are three principal models, SATS Airport Demand Model (SATS-ADM), SATS Flight Demand Model (SATS-FDM), and LMINET-SATS. SATS-ADM models SATS operations, by aircraft type, from the forecasts in fleet, configuration and performance, utilization, and traffic mixture. Given the SATS airport operations such as the ones generated by SATS-ADM, SATS-FDM constructs the SATS origin and destination (O&D) traffic flow based on the solution of the gravity model, from which it then generates SATS flights using the Monte Carlo simulation based on the departure time-of-day profile. LMINET-SATS, an extension of LMINET, models SATS demands at airspace and airport by all aircraft operations in US The models use parameters to provide the user with flexibility and ease of use to generate SATS demand for different scenarios. Several case studies are included to illustrate the use of the models, which are useful to identify the need for a new air traffic management system to cope with SATS.

  11. Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores.

    PubMed

    Hannon, Brenda

    2012-11-01

    This study uses analysis of co-variance in order to determine which cognitive/learning (working memory, knowledge integration, epistemic belief of learning) or social/personality factors (test anxiety, performance-avoidance goals) might account for gender differences in SAT-V, SAT-M, and overall SAT scores. The results revealed that none of the cognitive/learning factors accounted for gender differences in SAT performance. However, the social/personality factors of test anxiety and performance-avoidance goals each separately accounted for all of the significant gender differences in SAT-V, SAT-M, and overall SAT performance. Furthermore, when the influences of both of these factors were statistically removed simultaneously, all non-significant gender differences reduced further to become trivial by Cohen's (1988) standards. Taken as a whole, these results suggest that gender differences in SAT-V, SAT-M, and overall SAT performance are a consequence of social/learning factors. PMID:23997382

  12. Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores

    PubMed Central

    Hannon, Brenda

    2013-01-01

    This study uses analysis of co-variance in order to determine which cognitive/learning (working memory, knowledge integration, epistemic belief of learning) or social/personality factors (test anxiety, performance-avoidance goals) might account for gender differences in SAT-V, SAT-M, and overall SAT scores. The results revealed that none of the cognitive/learning factors accounted for gender differences in SAT performance. However, the social/personality factors of test anxiety and performance-avoidance goals each separately accounted for all of the significant gender differences in SAT-V, SAT-M, and overall SAT performance. Furthermore, when the influences of both of these factors were statistically removed simultaneously, all non-significant gender differences reduced further to become trivial by Cohen's (1988) standards. Taken as a whole, these results suggest that gender differences in SAT-V, SAT-M, and overall SAT performance are a consequence of social/learning factors. PMID:23997382

  13. Computer as a Tool in SAT Preparation.

    ERIC Educational Resources Information Center

    Coffin, Gregory C.

    Two experimental programs, designed to increase Scholastic Aptitude Test (SAT) scores of inner city, low achieving students by using computer-assisted SAT preparation, produced differing results. Forty volunteers from a nearby high school were assigned to two groups of 20 each--one experimental and one control group. The first program provided six…

  14. Ace the Verbal on the SAT

    ERIC Educational Resources Information Center

    Meierding, Loren

    2005-01-01

    Many students are not accepted in to certain colleges and universities because of low SAT scores. Loren Meierding has written Ace the Verbal on the SAT to help students with minimal preparation do well by improving their vocabulary and use better techniques for finding the answers to the questions. This book provides strategies needed to score…

  15. Colleges Making SAT Optional as Admissions Requirement

    ERIC Educational Resources Information Center

    Gilroy, Marilyn

    2007-01-01

    This article reports that more colleges are dropping the SAT as a requirement for admission and, in many cases, these institutions are attracting a larger and more diverse pool of applicants. According to the National Center for Fair & Open Testing (FairTest), 740 schools have made the SATs optional. The list includes some of the nation's most…

  16. Space Environmental NanoSat Experiment (SENSE)

    NASA Astrophysics Data System (ADS)

    Kalamaroff, K. I.; Thompson, D. C.; Gentile, L. C.; Cooke, D. L.; Bonito, N.; La Tour, P.

    2012-12-01

    The Space Environmental NanoSat Experiment (SENSE) program is a rapid development effort of the USAF Space and Missiles Center Development Planning Directorate (SMC/XR) which will demonstrate the capability of NanoSats to perform space missions in an affordable and resilient manner. The three primary objectives for the SENSE mission are: 1) to develop best practices for operational CubeSat/NanoSat procurement, development, test, and operations; 2) to mature CubeSat bus and sensor component technology readiness levels; and 3) to demonstrate the operational utility of CubeSat measurements by flowing validated, low-latency data into operational space weather models. SENSE consists of two 3-U CubeSats scheduled for launch in summer 2013. Both satellites are 3-axis stabilized with star cameras for attitude determination and are equipped with a Compact Total Electron Density Sensor (CTECS) to provide radio occultation measurements of total electron content and L-band scintillation. One satellite has a Cubesat Tiny Ionospheric Photometer (CTIP) monitoring 135.6 nm photons produced by the recombination of O+ ions and electrons. The other satellite has a Wind Ion Neutral Composite Suite (WINCS) to acquire simultaneous co-located, in situ measurements of atmospheric and ionospheric density, composition, temperature and winds/drifts. Mission data will be used to improve current and future space weather models and demonstrate the utility of data from CubeSats for operational weather requirements.

  17. Certifying nonlocality from separable marginals

    NASA Astrophysics Data System (ADS)

    Vértesi, Tamás; Laskowski, Wiesław; Pál, Károly F.

    2014-01-01

    Imagine three parties, Alice, Bob, and Charlie, who share a state of three qubits such that all two-party reduced states A-B, A-C, and B-C are separable. Suppose that they have information only about these marginals but not about the global state. According to recent results, there exists an example for a set of three separable two-party reduced states that is only compatible with an entangled global state. In this paper, we show a stronger result by exhibiting separable two-party reduced states A-B, A-C, and B-C, such that any global state compatible with these marginals is nonlocal. Hence, we obtain that nonlocality of multipartite states can be certified from information only about separable marginals.

  18. Certifying Domain-Specific Policies

    NASA Technical Reports Server (NTRS)

    Lowry, Michael; Pressburger, Thomas; Rosu, Grigore; Koga, Dennis (Technical Monitor)

    2001-01-01

    Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

  19. Formal descriptions for formulation.

    PubMed

    This, Hervé

    2007-11-01

    Two formalisms used to describe the physical microstructure and the organization of formulated products are given. The first, called "complex disperse systems formalism" (CDS formalism) is useful for the description of the physical nature of disperse matter. The second, called "non periodical organizational space formalism" (NPOS formalism) has the same operators as the CDS formalism, but different elements; it is useful to describe the arrangement of any objects in space. Both formalisms can be viewed as the same, applied to different orders of magnitude for spatial size. PMID:17875375

  20. (abstract) Formal Inspection Technology Transfer Program

    NASA Technical Reports Server (NTRS)

    Welz, Linda A.; Kelly, John C.

    1993-01-01

    A Formal Inspection Technology Transfer Program, based on the inspection process developed by Michael Fagan at IBM, has been developed at JPL. The goal of this program is to support organizations wishing to use Formal Inspections to improve the quality of software and system level engineering products. The Technology Transfer Program provides start-up materials and assistance to help organizations establish their own Formal Inspection program. The course materials and certified instructors associated with the Technology Transfer Program have proven to be effective in classes taught at other NASA centers as well as at JPL. Formal Inspections (NASA tailored Fagan Inspections) are a set of technical reviews whose objective is to increase quality and reduce the cost of software development by detecting and correcting errors early. A primary feature of inspections is the removal of engineering errors before they amplify into larger and more costly problems downstream in the development process. Note that the word 'inspection' is used differently in software than in a manufacturing context. A Formal Inspection is a front-end quality enhancement technique, rather than a task conducted just prior to product shipment for the purpose of sorting defective systems (manufacturing usage). Formal Inspections are supporting and in agreement with the 'total quality' approach being adopted by many NASA centers.

  1. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 25 2013-07-01 2013-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  2. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 23 2010-07-01 2010-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  3. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 24 2011-07-01 2011-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  4. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 25 2012-07-01 2012-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  5. Certified Nurses' Aide Job-Related Curriculum.

    ERIC Educational Resources Information Center

    Massachusetts Career Development Inst., Springfield.

    This document, which is designed for students preparing to become a certified nurses' aide, contains instructional text and learning activities organized in nine sections. The following topics are covered: the role of the certified nurse's aide (job duties, personal health, professionalism, code of ethics); infection control (the infection…

  6. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... nominal concentration of the ingredient in the product, according to the table in paragraph (b)(2) of this section. (2) Table of standard certified limits. If the nominal concentration (N) for the ingredient is... how the certified limits were arrived at (e.g., sample analysis, quantitative estimate based...

  7. 21 CFR 82.6 - Certifiable mixtures.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... PROVISIONALLY LISTED COLORS AND SPECIFICATIONS General Provisions § 82.6 Certifiable mixtures. (a) A batch of a... and cosmetics, if: (1) Each coal-tar color used as an ingredient in mixing such batch is from a previously certified batch and such color has not changed in composition in any manner whatever since...

  8. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 24 2014-07-01 2014-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  9. NextSat on-orbit experiences

    NASA Astrophysics Data System (ADS)

    Randall, Christopher R.; Porter, Bradley S.; Stokley, Catherine; Epstein, Kenneth; Kaufman, David

    2008-04-01

    The NextSat spacecraft was designed and built by Ball Aerospace & Technologies Corp. as part of the DARPA-funded Orbital Express mission. Orbital Express, launched in March of 2007, was a highly successful demonstration mission proving the feasibility of autonomous on-orbit refueling and servicing of spacecraft. The Orbital Express mission consisted of the Ball-built NextSat/CSC satellite and the Boeing-built ASTRO satellite. Both satellites launched mated into a 492km circular orbit on board a Lockheed-Martin Atlas V 401 launch vehicle from Cape Canaveral. The NextSat satellite acted as both the next generation "serviceable" satellite and the commodities satellite. This paper discusses the on-orbit mission experiences of the NextSat satellite. Key experiences include: launch and early orbit operations in which the NextSat satellite was called on to perform critical attitude control functions for the mated stack, functionality which was never tested or planned for; autonomous fluid transfers between ASTRO and NextSat; autonomous ORU transfers between ASTRO and NextSat; autonomous separation, free-flying and rendezvous operations; and end-of-life operations.

  10. Reentry Experiment SAT-X

    NASA Astrophysics Data System (ADS)

    Woods, Maurice; Kuhns, Casey; Honda, Motoaki; Shiely, Robert; Adamson, Aaron; Aken, Jordan; Walch, Robert; Galovich, Cynthia; Semak, Matthew

    2011-10-01

    The challenge of reentering the Earth's atmosphere is not new. For years, NASA has successfully designed vessels that have endured the harsh process of reentry. However, in most cases, this is made possible only through the act of over-engineering; designing to withstand conditions far beyond what is expected to be encountered. Though this method has been effective, there would be benefit in knowing more precisely what to expect upon atmospheric reentry. The University of Northern Colorado Reentry Experiment SAT-X project, launched from Wallops Island, Virginia on July 21, 2011, was designed to shed light on the reentry process by collecting motion data for a capsule ejected from a rocket. Moreover, a secondary objective was to test the capability of the prototype capsule to serve as a platform for future reentry experiments. The mission and preliminary results from the launch will be described.

  11. Certifiable database generation for SVS

    NASA Astrophysics Data System (ADS)

    Schiefele, Jens; Damjanovic, Dejan; Kubbat, Wolfgang

    2000-06-01

    In future aircraft cockpits SVS will be used to display 3D physical and virtual information to pilots. A review of prototype and production Synthetic Vision Displays (SVD) from Euro Telematic, UPS Advanced Technologies, Universal Avionics, VDO-Luftfahrtgeratewerk, and NASA, are discussed. As data sources terrain, obstacle, navigation, and airport data is needed, Jeppesen-Sanderson, Inc. and Darmstadt Univ. of Technology currently develop certifiable methods for acquisition, validation, and processing methods for terrain, obstacle, and airport databases. The acquired data will be integrated into a High-Quality Database (HQ-DB). This database is the master repository. It contains all information relevant for all types of aviation applications. From the HQ-DB SVS relevant data is retried, converted, decimated, and adapted into a SVS Real-Time Onboard Database (RTO-DB). The process of data acquisition, verification, and data processing will be defined in a way that allows certication within DO-200a and new RTCA/EUROCAE standards for airport and terrain data. The open formats proposed will be established and evaluated for industrial usability. Finally, a NASA-industry cooperation to develop industrial SVS products under the umbrella of the NASA Aviation Safety Program (ASP) is introduced. A key element of the SVS NASA-ASP is the Jeppesen lead task to develop methods for world-wide database generation and certification. Jeppesen will build three airport databases that will be used in flight trials with NASA aircraft.

  12. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Cockrell, James J.; Yost, Bruce; Petro, Andrew

    2013-01-01

    NASAs PhoneSat project will test whether spacecraft can be built using smartphones to launch the lowest-cost satellites ever flown in space. Each PhoneSat nanosatellite is one cubesat unit - a satellite in a 10 cm (approx. 4 inches) cube or about the size of a tissue box - and weighs approximately three pounds. Engineers believe PhoneSat technology will enable NASA to launch multiple new satellites capable of conducting science and exploration missions at a small fraction of the cost of conventional satellites.

  13. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Cockrell, James J.; Yost, Bruce; Petro, Andrew

    2013-01-01

    NASA's PhoneSat project tests whether spacecraft can be built using smartphones to launch the lowest-cost satellites ever flown in space. Each PhoneSat nanosatellite is one cubesat unit - a satellite in a 10 cm (approx. 4 inches) cube or about the size of a tissue box - and weighs approximately 1 kg (2.2 pounds). Engineers believe PhoneSat technology will enable NASA to launch multiple new satellites capable of conducting science and exploration missions at a small fraction of the cost of conventional satellites.

  14. SAT-Solving Based on Boundary Point Elimination

    NASA Astrophysics Data System (ADS)

    Goldberg, Eugene; Manolios, Panagiotis

    We study the problem of building structure-aware SAT-solvers based on resolution. In this study, we use the idea of treating a resolution proof as a process of Boundary Point Elimination (BPE). We identify two problems of using SAT-algorithms with Conflict Driven Clause Learning (CDCL) for structure-aware SAT-solving. We introduce a template of resolution based SAT-solvers called BPE-SAT that is based on a few generic implications of the BPE concept. BPE-SAT can be viewed as a generalization of CDCL SAT-solvers and is meant for building new structure-aware SAT-algorithms. We give experimental results substantiating the ideas of the BPE approach. In particular, to show the importance of structural information we compare an implementation of BPE-SAT and state-of-the-art SAT-solvers on narrow CNF formulas.

  15. Certifying Auto-Generated Flight Code

    NASA Technical Reports Server (NTRS)

    Denney, Ewen

    2008-01-01

    Model-based design and automated code generation are being used increasingly at NASA. Many NASA projects now use MathWorks Simulink and Real-Time Workshop for at least some of their modeling and code development. However, there are substantial obstacles to more widespread adoption of code generators in safety-critical domains. Since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently the generated code still needs to be fully tested and certified. Moreover, the regeneration of code can require complete recertification, which offsets many of the advantages of using a generator. Indeed, manual review of autocode can be more challenging than for hand-written code. Since the direct V&V of code generators is too laborious and complicated due to their complex (and often proprietary) nature, we have developed a generator plug-in to support the certification of the auto-generated code. Specifically, the AutoCert tool supports certification by formally verifying that the generated code is free of different safety violations, by constructing an independently verifiable certificate, and by explaining its analysis in a textual form suitable for code reviews. The generated documentation also contains substantial tracing information, allowing users to trace between model, code, documentation, and V&V artifacts. This enables missions to obtain assurance about the safety and reliability of the code without excessive manual V&V effort and, as a consequence, eases the acceptance of code generators in safety-critical contexts. The generation of explicit certificates and textual reports is particularly well-suited to supporting independent V&V. The primary contribution of this approach is the combination of human-friendly documentation with formal analysis. The key technical idea is to exploit the idiomatic nature of auto-generated code in order to automatically infer logical annotations. The annotation inference algorithm

  16. HaloSat- A CubeSat to Study the Hot Galactic Halo

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    We propose to develop, build, and fly HaloSat, a CubeSat capable of measuring the oxygen line emission from the hot Galactic halo. A dedicated CubeSat enables an instrument design and observing strategy to maximize the halo signal while minimizing foregrounds from solar wind charge exchange interactions within the solar system. We will use HaloSat to map the distribution of hot gas in the Milky Way and determine whether it fills an extended, and thus massive halo, or whether the halo is compact, and thus does not contribute significantly to the total mass of the Milky Way. HaloSat can be accomplished at modest cost using a CubeSat, a novel platform for space astrophysics missions. We will use a commercially available CubeSat bus and commercially available X-ray detectors to reduce development risk and minimize overall mission cost. HaloSat builds on the initiatives of GSFC/Wallops Flight Facility (WFF) in the development of CubeSats for low cost access to space and relies on the technical expertise of WFF personnel for spacecraft and mission design and operations. The team, from University of Iowa (UI), GSFC, Johns Hopkins, and CNRS (France), contains experts in X-ray detector development and data analysis and the astrophysics of hot plasmas and Galactic structure. The UI team will include a number of junior researchers (undergraduates, graduate students, and a postdoc) and help train them for future leadership roles on NASA space flight missions.

  17. Interdependence of Formal Reasoning

    ERIC Educational Resources Information Center

    Berzonsky, Michael D.; And Others

    1975-01-01

    Investigated the intercorrelations among tasks that appear to require Piagetian formal reasoning to determine whether formal reasoning is used selectively or all-pervasively. Subjects were 60 undergraduate females. (SDH)

  18. CloudSat View of Flossie

    NASA Video Gallery

    CloudSat passed directly over Tropical Storm Flossie on July 29 and showed cumulus and stratocumulus clouds in northern Hawaii and cumulonimbus clouds over the southern part. Large amounts of liqui...

  19. Score Trends, SAT Validity and Subgroup Differences

    ERIC Educational Resources Information Center

    Camara, Wayne

    2008-01-01

    Presented at the Summer Institute on College Admissions at Harvard in June 2008. The presentation explores whether the SAT validity has changed with the test changes and if those changes affect specific subgroups.

  20. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Westley, Deborah; Yost, Bruce; Petro, Andrew

    2013-01-01

    PhoneSat 2.4, carried into space on November 19, 2013 aboard a Minotaur I rocket from the Mid-Atlantic Regional Spaceport at NASAs Wallops Flight Facility in Virginia, is the first of the PhoneSat family to use a two-way S-band radio to allow engineers to command the satellite from Earth. This mission also serves as a technology demonstration for a novel attitude determination and control system (ADCS) that establishes and stabilizes the satellites attitude relative to Earth. Unlike the earlier PhoneSats that used a Nexus One, PhoneSat 2.4 uses the Nexus S smartphone, which runs Googles Android operating system, and is made by Samsung Electronics Co., Suwon, So. Korea. The smartphone provides many of the functions needed by the satellite such as a central computer, data memory, ready-made interfaces for communications, navigation and power all pre-assembled in a rugged electronics package.

  1. The SAT: An Essay in Uncertainty

    ERIC Educational Resources Information Center

    Mlodinow, Leonard

    2008-01-01

    In this article, the author talks about the release of the most comprehensive study of SAT exams. The headline on the Web site of the College Board, the maker of the test, was, "SAT Studies Show Test's Strength in Predicting College Success." At the same time, a headline on the Web site of the group FairTest, a 23-year-old, nonprofit watchdog…

  2. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED) NATIONAL PRIMARY DRINKING WATER REGULATIONS Monitoring and Analytical Requirements § 141.28 Certified... supplier of water with the applicable requirements of this part....

  3. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED) NATIONAL PRIMARY DRINKING WATER REGULATIONS Monitoring and Analytical Requirements § 141.28 Certified... supplier of water with the applicable requirements of this part....

  4. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED) NATIONAL PRIMARY DRINKING WATER REGULATIONS Monitoring and Analytical Requirements § 141.28 Certified... supplier of water with the applicable requirements of this part....

  5. Get Your Automotive Program Nationally Certified!

    ERIC Educational Resources Information Center

    Lundquist, Patricia A.

    2000-01-01

    Automotive programs that nationally certified enhance student recruitment and give students better employment opportunities. Technicians who earn the Automotive Service Excellence credential have joined the ranks of professionals in the automotive service industry. (Author/JOW)

  6. Certified organic vegetable production for market

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Federal guidelines for organic certification in 2002 provided structure for producers and processors to market certified organic foods. The guidelines provide general provisions and processes for obtaining and maintaining organic certification, but did not specify best management practices for crop...

  7. Certified Nursing Assistants’ Explanatory Models of Nursing Home Resident Depression

    PubMed Central

    Piven, Mary Lynn; Anderson, Ruth A.; Colón-Emeric, Cathleen S.; Sandelowski, Margarete

    2008-01-01

    In this study, we explored how Certified Nursing Assistants (CNAs) understood resident depression. Interviews with 18 CNAs, working in two nursing homes were guided by Kleinman’s Explanatory Models of Illness framework. Interview data were content analyzed and CNAs’ descriptions of depression were compared to the MDS 2.0 Mood Screen and to DSM-IV-TR Depression Criteria. CNAs identified causes, signs, and symptoms of depression, but they were unsure about the duration and normalcy of depression in residents. Although they had no formal training, CNAs felt responsible for detecting depression and described verbal and non-verbal approaches that they used for emotional care of depressed residents. CNAs hold potential to improve the detection of depression and contribute to the emotional care of residents. Attention to knowledge deficits and facility barriers may enhance this capacity. PMID:18390825

  8. KidSat: Image User's Manual

    NASA Technical Reports Server (NTRS)

    Way, JoBea; Andres, Paul; Baker, John; Goodson, Greg; Marshall, William; McGuire, John; Rackley, Kathleen; Stork, Elizabeth Jones; Yiu, Lisa

    1999-01-01

    The goal of KidSat was to provide young students with the opportunity to participate directly in the NASA space program and to enhance learning in the process. The KidSat pilot project was focused on using a color digital camera, mounted on the space shuttle, to take pictures of the Earth. These could be used to enhance middle school curricula. The project not only benefited middle school students, who were essentially the Science Team, responsible for deciding where to take pictures, but it also benefited high school students and undergraduates, who were essentially the Project Team, responsible for the development and implementation of the project. KidSat flew on three missions as part of the pilot project: STS-76, STS-81, and STS-86. This document describes the goals, project elements, results, and data for the three KidSat missions that made up the pilot program. It serves as a record for this pilot project and may be used as a reference for similar projects. It can also be a too] in using the data to its fullest extent. The KidSat Web page remains on-line at http://kidsat.jpl.nasa.gov/kidsat, and the images may be downloaded in their full resolution.

  9. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  10. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Certified seed potatoes. 945.7 Section 945.7... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  11. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  12. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Certified seed potatoes. 945.7 Section 945.7... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  13. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  14. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  15. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  16. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  17. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  18. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  19. TemperSAT: A new efficient fair-sampling random k-SAT solver

    NASA Astrophysics Data System (ADS)

    Fang, Chao; Zhu, Zheng; Katzgraber, Helmut G.

    The set membership problem is of great importance to many applications and, in particular, database searches for target groups. Recently, an approach to speed up set membership searches based on the NP-hard constraint-satisfaction problem (random k-SAT) has been developed. However, the bottleneck of the approach lies in finding the solution to a large SAT formula efficiently and, in particular, a large number of independent solutions is needed to reduce the probability of false positives. Unfortunately, traditional random k-SAT solvers such as WalkSAT are biased when seeking solutions to the Boolean formulas. By porting parallel tempering Monte Carlo to the sampling of binary optimization problems, we introduce a new algorithm (TemperSAT) whose performance is comparable to current state-of-the-art SAT solvers for large k with the added benefit that theoretically it can find many independent solutions quickly. We illustrate our results by comparing to the currently fastest implementation of WalkSAT, WalkSATlm.

  20. An investigation of safety climate in OHSAS 18001-certified and non-certified organizations.

    PubMed

    Ghahramani, Abolfazl

    2016-09-01

    Many organizations worldwide have implemented Occupational Health and Safety Assessment Series (OHSAS) 18001 in their premises because of the assumed positive effects of this standard on safety. Few studies have analyzed the effect of the safety climate in OHSAS 18001-certified organizations. This case-control study used a new safety climate questionnaire to evaluate three OHSAS 18001-certified and three non-certified manufacturing companies in Iran. Hierarchical regression indicated that the safety climate was influenced by OHSAS implementation and by safety training. Employees who received safety training had better perceptions of the safety climate and its dimensions than other respondents within the certified companies. This study found that the implementation of OHSAS 18001 does not guarantee improvement of the safety climate. This study also emphasizes the need for high-quality safety training for employees of the certified companies to improve the safety climate. PMID:27108658

  1. Test and On-Orbit Experiences of FalconSAT-3

    NASA Astrophysics Data System (ADS)

    Saylor, W. W.; France, M. E. B.

    2008-08-01

    The fundamental objectives of the capstone design project in the Department of Astronautics at the United States Air Force Academy (USAFA) are for cadets to learn important engineering lessons by executing a real space mission on a Department of Defense-funded satellite project. FalconSAT-3 is a 50 kg, gravity gradient-stabilized designed and built by cadets and launched March 2007 on the first ESPA (Enhanced extended launch vehicle Satellite Payload Adapter) mission. FalconSAT-3 was one of six satellites integrated onto the launch vehicle and the nature of the mission made it that the satellite was subject to the full formality of testing requirements. Two successive gravity gradient booms failed either design requirements or environmental testing; design requirements grew dramatically during the design phase; ambiguous thermal vacuum test results led to uncertainty at launch; and after launch it was not possible to contact the satellite for several weeks.

  2. The Amma-Sat Database

    NASA Astrophysics Data System (ADS)

    Ramage, K.; Desbois, M.; Eymard, L.

    2004-12-01

    The African Monsoon Multidisciplinary Analysis project is a French initiative, which aims at identifying and analysing in details the multidisciplinary and multi-scales processes that lead to a better understanding of the physical mechanisms linked to the African Monsoon. The main components of the African Monsoon are: Atmospheric Dynamics, the Continental Water Cycle, Atmospheric Chemistry, Oceanic and Continental Surface Conditions. Satellites contribute to various objectives of the project both for process analysis and for large scale-long term studies: some series of satellites (METEOSAT, NOAA,.) have been flown for more than 20 years, ensuring a good quality monitoring of some of the West African atmosphere and surface characteristics. Moreover, several recent missions, and several projects will strongly improve and complement this survey. The AMMA project offers an opportunity to develop the exploitation of satellite data and to make collaboration between specialist and non-specialist users. In this purpose databases are being developed to collect all past and future satellite data related to the African Monsoon. It will then be possible to compare different types of data from different resolution, to validate satellite data with in situ measurements or numerical simulations. AMMA-SAT database main goal is to offer an easy access to satellite data to the AMMA scientific community. The database contains geophysical products estimated from operational or research algorithms and covering the different components of the AMMA project. Nevertheless, the choice has been made to group data within pertinent scales rather than within their thematic. In this purpose, five regions of interest where defined to extract the data: An area covering Tropical Atlantic and Africa for large scale studies, an area covering West Africa for mesoscale studies and three local areas surrounding sites of in situ observations. Within each of these regions satellite data are projected on

  3. More than Formal Proof.

    ERIC Educational Resources Information Center

    Hanna, Gila

    1989-01-01

    The origins of the emphasis on formal proof are discussed as well as more recent views. Factors in acceptance of a proof and the social process of acceptance by mathematicians are included. The impact of formal proof on the curriculum and implications for teaching are given. (DC)

  4. Geometry and Formal Linguistics.

    ERIC Educational Resources Information Center

    Huff, George A.

    This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

  5. Software Formal Inspections Guidebook

    NASA Technical Reports Server (NTRS)

    1993-01-01

    The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

  6. Partitioning SAT Instances for Distributed Solving

    NASA Astrophysics Data System (ADS)

    Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka

    In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication between parallel running computations are limited.We study analytically an approach where the instance is partitioned iteratively into a tree of subproblems and each node in the tree is solved in parallel.We present new methods for constructing partitions which combine clause learning and lookahead. The methods are incorporated into the iterative approach and its performance is demonstrated with an extensive comparison against the best sequential solvers in the SAT competition 2009 as well as against two efficient parallel solvers.

  7. Two CubeSats Deployed from the International Space Station

    NASA Video Gallery

    This movie of a CubeSat deployment from the International Space Station shows a compilation of photos taken by astronauts on May 16, 2016. The bottom-most CubeSat is the NASA-funded MinXSS CubeSat,...

  8. Overestimation Bias in Self-Reported SAT Scores

    ERIC Educational Resources Information Center

    Mayer, Richard E.; Stull, Andrew T.; Campbell, Julie; Almeroth, Kevin; Bimber, Bruce; Chun, Dorothy; Knight, Allan

    2007-01-01

    The authors analyzed self-reported SAT scores and actual SAT scores for five different samples of college students (N = 650). Students overestimated their actual SAT scores by an average of 25 points (SD = 81, d = 0.31), with 10% under-reporting, 51% reporting accurately, and 39% over-reporting, indicating a systematic bias towards over-reporting.…

  9. Issues of Validity of SAT Subject Test: Korean with Listening

    ERIC Educational Resources Information Center

    Lee, Saekyun H.; Han, Hyunjoo

    2007-01-01

    This study investigated some issues regarding the validity of the Scholastic Achievement Test (SAT) Subject Test: Korean with Listening. The SAT Korean has been administered just once a year since its inception in 1997. As of March 2006, it had been administered nine times. However, SAT foreign language tests are not as rigorously researched as…

  10. SAT Participation and Performance for the Class of 2014. Memorandum

    ERIC Educational Resources Information Center

    Sanderson, Geoffrey T.

    2014-01-01

    SAT participation and performance are milestones on the path to college and career readiness. This report provides the results for SAT participation and performance in Montgomery County (Maryland) Public Schools (MCPS) for the class of 2014. Analysis of postsecondary outcomes for MCPS graduates indicates that graduates who took the SAT were more…

  11. HaloSat - A CubeSat to Study the Hot Galactic Halo

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    2016-04-01

    Observations of the nearby universe fail to locate about half of the normal matter (baryons) observed in the early universe. The missing baryons may be in hot galactic halos. HaloSat is a CubeSat designed to map oxygen line emission (O VII and O VIII) around the Milky Way in order to constrain the mass and spatial distribution of hot gas in the halo. HaloSat has a grasp competitive with current X-ray observatories. Its observing program will be optimized to minimize contributions from solar wind charge exchange (SWCX) emission that limit the accuracy of current measurements. We will describe the HaloSat mission concept, progress towards its implementation, and plans for archiving and distribution of the data.

  12. Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

    NASA Astrophysics Data System (ADS)

    Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi

    Generating test cases for combinatorial testing is to find a covering array in Combinatorial Designs. In this paper, we consider the problem of finding optimal covering arrays by SAT encoding. We present two encodings suitable for modern CDCL SAT solvers. One is based on the order encoding that is efficient in the sense that unit propagation achieves the bounds consistency in CSPs. Another one is based on a combination of the order encoding and Hnich's encoding. CDCL SAT solvers have an important role in the latest SAT technology. The effective use of them is essential for enhancing efficiency. In our experiments, we found solutions that can be competitive with the previously known results for the arrays of strength two to six with small to moderate size of components and symbols. Moreover, we succeeded either in proving the optimality of known bounds or in improving known lower bounds for some arrays.

  13. 13 CFR 121.303 - What size procedures are used by SBA before it makes a formal size determination?

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... SBA before it makes a formal size determination? 121.303 Section 121.303 Business Credit and... by SBA before it makes a formal size determination? (a) A concern that submits an application for financial assistance is deemed to have certified that it is small under the applicable size standard....

  14. 13 CFR 121.303 - What size procedures are used by SBA before it makes a formal size determination?

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... SBA before it makes a formal size determination? 121.303 Section 121.303 Business Credit and... by SBA before it makes a formal size determination? (a) A concern that submits an application for financial assistance is deemed to have certified that it is small under the applicable size standard....

  15. Unflagged SATs: Who Benefits from Special Accommodations?

    ERIC Educational Resources Information Center

    Abrams, Samuel J.

    2005-01-01

    When the College Board announced, in the summer of 2002, that it would stop "flagging" the test scores of students who were given special accommodations for the SAT, the gold standard exam for college admission, disability advocates were thrilled. "A triumphant day for millions of people with dyslexia and other disabilities," exclaimed Thomas…

  16. Pre- to Post- CubeSats

    NASA Astrophysics Data System (ADS)

    Cutler, J.

    2015-12-01

    CubeSats sprung from a formative picosatellite effort at a university in the heart of Silicon Valley, took root in a university-led university environment, and have grown into complex-shaped explorers in both near and soon-to-be deep space. Private citizens, businesses, government are building and launching a variety of science, technology demonstration, and service missions. A new generation of space explorers is gaining first hand experience in space missions at all educational levels. There is new life and new energy in the space program. However, space is still difficult. The environment is harsh. Funding is sparse. This talk explores this history and the future of CubeSats from the context of a university-centric laboratory that emphasizes teaching, research, and entrepreneurial impact. It will explore the following questions: What sparked the CubeSat innovation? What are longer lasting lessons of this community? Where are places we can go next? What does it take to get there? The talk will draw on lessons learned from building over six on-orbit CubeSat missions and training hundreds of space engineers.

  17. The RadioSat (sm) network

    NASA Technical Reports Server (NTRS)

    Noreen, Gary K.

    1991-01-01

    The RadioSat network under development by radio Satellite Corporation will use mobile satellite (MSAT) technology to provide diverse personal communications, broadcast, and navigation services. The network will support these services simultaneously for integrated mobile radios throughout Canada and the United States. The RadioSat network takes advantage of several technological breakthroughs, all coming to fruition by the time the first MSAT satellite is launched in 1994. The most important of these breakthroughs is the enormous radiated power of each MSAT spacecraft - orders of magnitude greater than the radiated power of previous L-band spacecraft. Another important breakthrough is the development of advanced digital audio compression algorithms, enabling the transmission of broadcast quality music at moderate data rates. Finally, continuing dramatic increases in VLSI capabilities permit the production of complex, multi-function mobile satellite radios in very large quantities at prices little more than those of conventional car radios. In addition to performance breakthroughs and their economic implications to RadioSat, the design of the RadioSat network is reviewed.

  18. Investigating SATS-36 for a Matriculation Sample

    ERIC Educational Resources Information Center

    Krishnan, Saras; Idris, Noraini

    2015-01-01

    Students' attitudes towards statistics have been more often negative due to many factors such as initial perception of the subject, low ability in mathematics and lack of motivation to study statistics. Studies involving SATS-36 included investigation of the different factors in relation to students' attitude towards statistics. Other studies have…

  19. COLD-SAT Dynamic Model Computer Code

    NASA Technical Reports Server (NTRS)

    Bollenbacher, G.; Adams, N. S.

    1995-01-01

    COLD-SAT Dynamic Model (CSDM) computer code implements six-degree-of-freedom, rigid-body mathematical model for simulation of spacecraft in orbit around Earth. Investigates flow dynamics and thermodynamics of subcritical cryogenic fluids in microgravity. Consists of three parts: translation model, rotation model, and slosh model. Written in FORTRAN 77.

  20. SAT Scores at NAIS Member Schools

    ERIC Educational Resources Information Center

    Torres, Amada

    2015-01-01

    Between March and June 2014, more than 1.67 million students from the 2014 graduating class took the SAT, marking a new participation record for the test. At the request of the National Association of Independent Schools (NAIS), the College Board created a special report that allows the association to compare how independent school students fared…

  1. SAT's Next Chapter about to Be Written

    ERIC Educational Resources Information Center

    Honawar, Vaishali

    2005-01-01

    Starting in March 2005, the SAT, taken annually by more than 1.4 million college-bound students, will undergo its most significant change since 1994, when the College Board, which sponsors the test, first allowed calculators into test rooms, added open-ended math questions, and eliminated antonyms and added more critical-reading passages in the…

  2. 31 CFR 357.31 - Certifying individuals.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Certifying individuals. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING BOOK-ENTRY TREASURY BONDS, NOTES AND BILLS HELD IN...

  3. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 24 2011-07-01 2011-07-01 false Certified limits. 161.175 Section 161.175 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements §...

  4. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 25 2013-07-01 2013-07-01 false Certified limits. 161.175 Section 161.175 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements §...

  5. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) Certified program: Property Crime (STING) Program. This program targets the apprehension and prosecution of..., programs have employed techniques to infiltrate organizations in order to obtain evidence for prosecution... fraudulent burning of property. It attempts to reduce the incidence of arson and increase arrest,...

  6. 31 CFR 357.31 - Certifying individuals.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Certifying individuals. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... DIRECT Legacy Treasury Direct Book-Entry Securities System (Legacy Treasury Direct) § 357.31...

  7. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN...

  8. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 25 2012-07-01 2012-07-01 false Certified limits. 161.175 Section 161.175 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements §...

  9. 31 CFR 346.14 - Certifying officers.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying officers. 346.14 Section 346.14 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... imprint of the corporate seal, or, where the institution is an authorized issuing agent for United...

  10. 31 CFR 357.31 - Certifying individuals.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying individuals. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... institutions, corporate central credit unions, and institutions that are members of...

  11. 31 CFR 306.45 - Certifying individuals.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying individuals. 306.45 Section 306.45 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... employees of depository institutions, corporate central credit unions, and institutions that are members...

  12. 31 CFR 341.14 - Certifying officers.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying officers. 341.14 Section 341.14 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... imprint of the corporate seal, or, where the institution is an authorized issuing agent for United...

  13. SAT: a Late NS Protein of Porcine Parvovirus

    PubMed Central

    Zádori, Zoltán; Szelei, József; Tijssen, Peter

    2005-01-01

    The genomes of all members of the Parvovirus genus were found to contain a small open reading frame (ORF), designated SAT, with a start codon four or seven nucleotides downstream of the VP2 initiation codon. Green fluorescent protein or FLAG fusion constructs of SAT demonstrated that these ORFs were expressed. Although the SAT proteins of the different parvoviruses are not particularly conserved, they were all predicted to contain a membrane-spanning helix, and mutations in this hydrophobic stretch affected the localization of the SAT protein. SAT colocalized with calreticulin in the membranes of the endoplasmic reticulum and the nucleus. A knockout mutant (SAT−), with an unmodified VP sequence, showed a “slow-spreading” phenotype. These knockout mutants could be complemented with VP2− SAT+ mutant. The SAT protein is a late nonstructural (NS) protein, in contrast to previously identified NS proteins, since it is expressed from the same mRNA as VP2. PMID:16189014

  14. Achievements and Future Plan of Interplanetary CubeSats and Micro-Sats in Japan

    NASA Astrophysics Data System (ADS)

    Funase, Ryu

    2016-07-01

    This paper introduces Japanese achievements and future plans of CubeSats and Micro-Sats for deep space exploration. As the first step toward deep space mission by such tiny spacecraft, University of Tokyo and Japan Aerospace Exploration Agency (JAXA) developed the world's first deep space micro-spacecraft PROCYON (Proximate Object Close flYby with Optical Navigation). Its mission objective is to demonstrate a micro-spacecraft bus technology for deep space exploration and proximity flyby to asteroids performing optical measurements. PROCYON was launched into the Earth departure trajectory on December 3, 2014 together with Japanese asteroid sample return mission Hayabusa-2. PROCYON successfully completed the bus system demonstration mission in its interplanetary flight. Currently, Japan is not only pursuing the improvement and utilization of the demonstrated micro-sat deep space bus system with a weight of tens of kg or more for more practical scientific deep space missions, but also trying to develop smaller spacecraft with a weight of less than tens of kg, namely CubeSats, for deep space exploration. We are proposing a self-contained 6U CubeSat mission for the rideshare opportunity on the USA's SLS EM-1 mission, which will fly to a libration orbit around Earth-Moon L2 point and perform scientific observations of the Earth and the Moon. We are also seeking the possibility of CubeSats which is carried by a larger spacecraft to the destination and supports the mission by taking advantage of its low-cost and risk-tolerable feature. As an example of such style of CubeSat missions, we are studying a CubeSat for close observations of an asteroid, which will be carried to the target asteroid by a larger mother spacecraft. This CubeSat is released from the mother spacecraft to make a close flyby for scientific observations, which is difficult to be performed by the mother spacecraft if we consider the risk of the collision to the target asteroid or dust particles ejected

  15. NASA's Participation in Joint SatOPS Compatibility Efforts 2009-2010

    NASA Technical Reports Server (NTRS)

    Smith, Danford

    2010-01-01

    Many U.S. government organizations build or fly space systems: a) NASA, NOAA, Navy, Air Force, NRO, ORS. Others? b) Through the Joint SatOps Compatibility Committee (JSCC) we have increased the grass-roots interaction between many of these organizations. c) We all deal with many of the same challenges: More rapid deployments, lower budgets; Advancing technologies - frameworks, clouds, virtualization; Evolving concepts - automation, situational awareness, enterprise mngt. Standardization - formal or by common use. There is an inherently governmental role in creating the business case for contractors and commercial product vendors to move in directions beneficial to multiple government space organizations.

  16. 20 CFR 403.155 - Does SSA certify records?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false Does SSA certify records? 403.155 Section 403.155 Employees' Benefits SOCIAL SECURITY ADMINISTRATION TESTIMONY BY EMPLOYEES AND THE PRODUCTION OF RECORDS AND INFORMATION IN LEGAL PROCEEDINGS § 403.155 Does SSA certify records? We can certify the authenticity of copies of records we...

  17. 18 CFR 385.714 - Certified questions (Rule 714).

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Certified questions... Certified questions (Rule 714). (a) General rule. During any proceeding, a presiding officer may certify or... question arising in the proceeding, including any question of law, policy, or procedure. (b) Notice....

  18. 18 CFR 385.714 - Certified questions (Rule 714).

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Certified questions... Certified questions (Rule 714). (a) General rule. During any proceeding, a presiding officer may certify or... question arising in the proceeding, including any question of law, policy, or procedure. (b) Notice....

  19. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  20. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... part shall be done by a certified person. (b) To be certified, a person shall pass the MSHA examination on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to take... shall be withdrawn if the person does not successfully complete the examination conducted by MSHA...

  1. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... and calibrated by a certified person. (b) To be certified, a person shall pass the MSHA examination on... certified by MSHA to maintain and calibrate approved sampling devices if the person receives instruction... person does not successfully complete the examination conducted by MSHA on maintenance and...

  2. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 2 2013-04-01 2013-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  3. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 2 2012-04-01 2012-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  4. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 2 2011-04-01 2011-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  5. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 2 2010-04-01 2010-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  6. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 2 2014-04-01 2014-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  7. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  8. 40 CFR 85.1407 - Notification of intent to certify.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ..., notification of the intent to certify must be approved by the MOD Director. (1) All notifications shall include... any such notification shall be submitted by the equipment certifier to: MOD Director, MOD (6405J... whether retrofit/rebuild equipment may be certified, may submit comments to the MOD Director on any...

  9. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 2 2010-04-01 2010-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  10. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 24 Housing and Urban Development 2 2012-04-01 2012-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  11. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 24 Housing and Urban Development 2 2011-04-01 2011-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  12. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 24 Housing and Urban Development 2 2014-04-01 2014-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  13. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 24 Housing and Urban Development 2 2013-04-01 2013-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  14. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ...) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.662... of a certified operation by a certifying agent or a State organic program's governing State official... demonstrates that each noncompliance has been resolved, the certifying agent or the State organic...

  15. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ...) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.662... of a certified operation by a certifying agent or a State organic program's governing State official... demonstrates that each noncompliance has been resolved, the certifying agent or the State organic...

  16. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ...) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.662... of a certified operation by a certifying agent or a State organic program's governing State official... demonstrates that each noncompliance has been resolved, the certifying agent or the State organic...

  17. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  18. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  19. 19 CFR 159.36 - Multiple certified rates.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... multiple rates have been certified for a foreign currency, the rate to be used for Customs purposes shall be the type of certified rate which the port director is satisfied, from information in his own files... applicable on a percentage bases, each type of certified rate shall be used for the percentage of value...

  20. Job satisfaction among multiple sclerosis certified nurses.

    PubMed

    Gulick, Elsie E; Halper, June; Costello, Kathleen

    2007-08-01

    Several studies document high levels of job satisfaction among certified nurses, but no study has examined job satisfaction and factors influencing job satisfaction of certified multiple sclerosis (MS) nurses. This study tested a theoretical model proposing that two organizational factors, colleague relationships and benefits, will predict job satisfaction. Job satisfaction was represented by four factors: autonomy, professional status, professional growth, and time efficiency. Participants included MS nurses certified for 6 months or more practicing mostly in three countries (Canada, Great Britain, and the United States) who anonymously completed the Misener Nurse Practitioner Job Satisfaction Scale, an overall job satisfaction rating, and demographic information. Findings indicate that colleague relationships and benefits significantly estimated organization structure and that autonomy, professional status, professional growth, and time efficiency significantly estimated job satisfaction; furthermore, organization factors such as colleague relationships and benefits significantly predict job satisfaction. Among the countries, several statistically significant differences were observed between job satisfaction factors as well as items in both organization and job satisfaction subscales. Average factor scores among the countries were mostly rated satisfactory. The International Organization of Multiple Sclerosis Nurses Executive Board plans to use the study findings to see how it needs to focus efforts as an organization toward enhancing and standardizing MS care and develop MS nurse professionalism worldwide. PMID:17847673

  1. COLD-SAT feasibility study safety analysis

    NASA Technical Reports Server (NTRS)

    Mchenry, Steven T.; Yost, James M.

    1991-01-01

    The Cryogenic On-orbit Liquid Depot-Storage, Acquisition, and Transfer (COLD-SAT) satellite presents some unique safety issues. The feasibility study conducted at NASA-Lewis desired a systems safety program that would be involved from the initial design in order to eliminate and/or control the inherent hazards. Because of this, a hazards analysis method was needed that: (1) identified issues that needed to be addressed for a feasibility assessment; and (2) identified all potential hazards that would need to be controlled and/or eliminated during the detailed design phases. The developed analysis method is presented as well as the results generated for the COLD-SAT system.

  2. SAT Encoding of Unification in EL

    NASA Astrophysics Data System (ADS)

    Baader, Franz; Morawska, Barbara

    Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have shown that unification in EL is NP-complete, and thus of a complexity that is considerably lower than in other Description Logics of comparably restricted expressive power. In this paper, we introduce a new NP-algorithm for solving unification problems in EL, which is based on a reduction to satisfiability in propositional logic (SAT). The advantage of this new algorithm is, on the one hand, that it allows us to employ highly optimized state-of-the-art SAT solvers when implementing an EL-unification algorithm. On the other hand, this reduction provides us with a proof of the fact that EL-unification is in NP that is much simpler than the one given in our previous paper on EL-unification.

  3. CubeSat deformable mirror demonstration

    NASA Astrophysics Data System (ADS)

    Cahoy, Kerri; Marinan, Anne; Kerr, Caitlin; Cheng, Kezi; Jamil, Sara

    2012-09-01

    The goal of the CubeSat Deformable Mirror Demonstration (DeMi) is to characterize the performance of a small deformable mirror over a year in low-Earth orbit. Small form factor deformable mirrors are a key technology needed to correct optical system aberrations in high contrast, high dynamic range space telescope applications such as space-based coronagraphic direct imaging of exoplanets. They can also improve distortions and reduce bit error rates for space-based laser communication systems. While follow-on missions can take advantage of this general 3U CubeSat platform to test the on-orbit performance of several different types of deformable mirrors, this first design accommodates a 32-actuator Boston Micromachines MEMS deformable mirror.

  4. Formalizing Probabilistic Safety Claims

    NASA Technical Reports Server (NTRS)

    Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

    2011-01-01

    A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

  5. ExoplanetSat: detecting transiting exoplanets using a low-cost CubeSat platform

    NASA Astrophysics Data System (ADS)

    Smith, Matthew W.; Seager, Sara; Pong, Christopher M.; Villaseñor, Jesus S.; Ricker, George R.; Miller, David W.; Knapp, Mary E.; Farmer, Grant T.; Jensen-Clem, Rebecca

    2010-07-01

    Nanosatellites, i.e. spacecraft that weigh between 1 and 10 kg, are drawing increasing interest as platforms for conducting on-orbit science. This trend is primarily driven by the ability to piggyback nanosatellites on the launch of large spacecraft and hence achieve orbit at greatly reduced cost. The CubeSat platform is a standardized nanosatellite configuration, consisting of one, two, or three 10 cm x 10 cm x 10 cm units (1, 2, or 3 "U"s) arranged in a row. We present a CubeSat-based concept for the discovery of transiting exoplanets around the nearest and brightest Sun-like stars. The spacecraft prototype - termed ExoplanetSat - is a 3U space telescope capable of monitoring a single target star from low Earth orbit. Given the volume limitations of the CubeSat form factor, designing a capable spacecraft requires overcoming significant challenges. This work presents the initial satellite configuration along with several subsystem-specific solutions to the aforementioned constraints. An optical design based on a modified commercial off-the-shelf camera lens is given. We also describe a novel two-stage attitude control architecture that combines 3-axis reaction wheels for coarse pointing with a piezoelectric translation stage at the focal plane for fine pointing. Modeling and simulation results are used to demonstrate feasibility by quantifying ExoplanetSat pointing precision, signal-to-noise ratio, guide star magnitude, and additional design parameters which determine system performance.

  6. Big Software for SmallSats: Adapting CFS to CubeSat Missions

    NASA Technical Reports Server (NTRS)

    Cudmore, Alan P.; Crum, Gary; Sheikh, Salman; Marshall, James

    2015-01-01

    Expanding capabilities and mission objectives for SmallSats and CubeSats is driving the need for reliable, reusable, and robust flight software. While missions are becoming more complicated and the scientific goals more ambitious, the level of acceptable risk has decreased. Design challenges are further compounded by budget and schedule constraints that have not kept pace. NASA's Core Flight Software System (cFS) is an open source solution which enables teams to build flagship satellite level flight software within a CubeSat schedule and budget. NASA originally developed cFS to reduce mission and schedule risk for flagship satellite missions by increasing code reuse and reliability. The Lunar Reconnaissance Orbiter, which launched in 2009, was the first of a growing list of Class B rated missions to use cFS. Large parts of cFS are now open source, which has spurred adoption outside of NASA. This paper reports on the experiences of two teams using cFS for current CubeSat missions. The performance overheads of cFS are quantified, and the reusability of code between missions is discussed. The analysis shows that cFS is well suited to use on CubeSats and demonstrates the portability and modularity of cFS code.

  7. LifeSat - A new research vehicle

    NASA Technical Reports Server (NTRS)

    Gilbreath, William P.; Dunning, Robert W.

    1990-01-01

    LifeSat is a reusable recoverable satellite that will support research in the gravitation and radiation biology fields. It can provide sustained lower gravitational levels than manned vehicles and can access orbits where specimens can be exposed to cosmic radiation. The satellite design encompasses environmental support for vertebrate, invertebrate and plant specimens ranging from cells and tissues up to small mammals. The first launch, in a series of 7 satellite flights, is planned for late 1995.

  8. Software Formal Inspections Standard

    NASA Technical Reports Server (NTRS)

    1993-01-01

    This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software. The objective of this Standard is to define the requirements for a process that inspects software products to detect and eliminate defects as early as possible in the software life cycle. The process also provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

  9. A second order parameter for 3SAT

    SciTech Connect

    Sandholm, T.W.

    1996-12-31

    The 3-satisfiability problem (3SAT) has had a central role in the study of complexity. It was recently found that 3SAT instances transition sharply from satisfiable to nonsatisfiable as the ratio of clauses to variables increases. Because this phase transition is so sharp, the ratio - an order parameter - can be used to predict satisfiability. This paper describes a second order parameter for 3SAT. Like the classical order parameter, it can be computed in linear time, but it analyzes the structure of the problem instance more deeply. We present an analytical method for using this new order parameter in conjunction with the classical one to enhance satisfiability prediction accuracy. The assumptions of the method are verified by rigorous statistical testing. The method significantly increases the satisfiability prediction accuracy over using the classical order parameter alone. Hardness - i.e. how long it takes to determine satisfiability - results for one complete and one incomplete algorithm from the literature are also presented as a function of the two order parameters. The importance of new order parameters lies in the fact that they refine the locating of satisfiable vs. nonsatisfiable and hard vs. easy formulas in the space of all problem instances by adding a new dimension in the analysis.

  10. Physics First: Impact on SAT Math Scores

    NASA Astrophysics Data System (ADS)

    Bouma, Craig E.

    Improving science, technology, engineering, and mathematics (STEM) education has become a national priority and the call to modernize secondary science has been heard. A Physics First (PF) program with the curriculum sequence of physics, chemistry, and biology (PCB) driven by inquiry- and project-based learning offers a viable alternative to the traditional curricular sequence (BCP) and methods of teaching, but requires more empirical evidence. This study determined impact of a PF program (PF-PCB) on math achievement (SAT math scores) after the first two cohorts of students completed the PF-PCB program at Matteo Ricci High School (MRHS) and provided more quantitative data to inform the PF debate and advance secondary science education. Statistical analysis (ANCOVA) determined the influence of covariates and revealed that PF-PCB program had a significant (p < .05) impact on SAT math scores in the second cohort at MRHS. Statistically adjusted, the SAT math means for PF students were 21.4 points higher than their non-PF counterparts when controlling for prior math achievement (HSTP math), socioeconomic status (SES), and ethnicity/race.

  11. A Certified Stamp of Approval: How Important Are IT Certifications?

    ERIC Educational Resources Information Center

    Raths, David

    2010-01-01

    In the world of campus IT hiring, think of certifications as the equivalent of the SATs. They're just one component of the overall application, along with the interview, past performance, and references. If the candidate is accomplished and well rounded, the SATs--or certifications--can be more of a checklist item. Otherwise, they may make the…

  12. SAT Monitor Program. High School Students View the SAT and College Admissions Process. Report on Wave of Completed Questionnaires Associated with December 1977 SAT Administration.

    ERIC Educational Resources Information Center

    Response Analysis Corp., Princeton, NJ.

    College applicants taking the Scholastic Aptitude Test (SAT) and the Test of Standard Written English (TSWE) were surveyed regarding the tests, college admission in general, and the communications received concerning the test and their scores. Separate questionnaires were administered before taking the SAT or TSWE, after taking the test, and after…

  13. Causes of fatal accidents for instrument-certified and non-certified private pilots.

    PubMed

    Shao, Bob Siyuan; Guindani, Michele; Boyd, Douglas D

    2014-11-01

    Instrument certification (IFR) enhances a pilot's skills in precisely controlling the aircraft and requires a higher level of standards in maintaining heading and altitude compared with the less stringent private pilot certificate. However, there have been no prior studies to compare fatal accident causes for airmen with, and without, this rating, The NTSB accident database was queried for general aviation fatal accidents for private pilots with, and without IFR certification. Exact Poisson tests were used to calculate whether two rate parameters were equal (ratio of 1), normalized to the number of IFR-rated pilots and flight hours in the given time period. Proportion tests were used to determine whether there were significant differences in fatal accident causes between IFR-certified and non-certified pilots. A logistic regression for log-odds success was used in determining the trend and effect of age on fatal accident rates. IFR certification was associated with a reduced risk of accidents due to failure to maintain obstacle/terrain clearance and spatial disorientation for day and night operations respectively. In contrast, the likelihood of fatal accident due to equipment malfunction during day operations was higher for IFR-certified pilots. The fatal accident rate decreased over the last decade for IFR-certified but not for non-IFR-certified private pilots. However, the overall accident rate for IFR-certified private pilots was more than double that of the cohort lacking this certification. Finally, we found a trend for an increased fatality rate with advancing age for both group of pilots. Our findings informs on where training and/or technology should be focused. Both training for aerodynamic stalls, which causes over a quarter of all fatal accidents, should be intensified for both IFR-certified and non-certified private pilots. Similarly, adherence to minimum safe altitudes for both groups of pilots should be encouraged toward reducing the fatal accidents

  14. Satisfiability Threshold for Random Regular nae-sat

    NASA Astrophysics Data System (ADS)

    Ding, Jian; Sly, Allan; Sun, Nike

    2016-01-01

    We consider the random regular k- nae- sat problem with n variables, each appearing in exactly d clauses. For all k exceeding an absolute constant {{k}_0}, we establish explicitly the satisfiability threshold {{{d_star} equiv {d_star(k)}}}. We prove that for {{d < d_star}} the problem is satisfiable with high probability, while for {{d > d_star}} the problem is unsatisfiable with high probability. If the threshold {{d_star}} lands exactly on an integer, we show that the problem is satisfiable with probability bounded away from both zero and one. This is the first result to locate the exact satisfiability threshold in a random constraint satisfaction problem exhibiting the condensation phenomenon identified by Krzakała et al. [Proc Natl Acad Sci 104(25):10318-10323, 2007]. Our proof verifies the one-step replica symmetry breaking formalism for this model. We expect our methods to be applicable to a broad range of random constraint satisfaction problems and combinatorial problems on random graphs.

  15. Advances in Ka-Band Communication System for CubeSats and SmallSats

    NASA Technical Reports Server (NTRS)

    Kegege, Obadiah; Wong, Yen F.; Altunc, Serhat

    2016-01-01

    A study was performed that evaluated the feasibility of Ka-band communication system to provide CubeSat/SmallSat high rate science data downlink with ground antennas ranging from the small portable 1.2m/2.4m to apertures 5.4M, 7.3M, 11M, and 18M, for Low Earth Orbit (LEO) to Lunar CubeSat missions. This study included link analysis to determine the data rate requirement, based on the current TRL of Ka-band flight hardware and ground support infrastructure. Recent advances in Ka-band transceivers and antennas, options of portable ground stations, and various coverage distances were included in the analysis. The link/coverage analysis results show that Cubesat/Smallsat missions communication requirements including frequencies and data rates can be met by utilizing Near Earth Network (NEN) Ka-band support with 2 W and high gain (>6 dBi) antennas.

  16. Big Software for SmallSats: Adapting cFS to CubeSat Missions

    NASA Technical Reports Server (NTRS)

    Cudmore, Alan P.; Crum, Gary Alex; Sheikh, Salman; Marshall, James

    2015-01-01

    Expanding capabilities and mission objectives for SmallSats and CubeSats is driving the need for reliable, reusable, and robust flight software. While missions are becoming more complicated and the scientific goals more ambitious, the level of acceptable risk has decreased. Design challenges are further compounded by budget and schedule constraints that have not kept pace. NASA's Core Flight Software System (cFS) is an open source solution which enables teams to build flagship satellite level flight software within a CubeSat schedule and budget. NASA originally developed cFS to reduce mission and schedule risk for flagship satellite missions by increasing code reuse and reliability. The Lunar Reconnaissance Orbiter, which launched in 2009, was the first of a growing list of Class B rated missions to use cFS.

  17. TechEdSat Nano-Satellite Series Fact Sheet

    NASA Technical Reports Server (NTRS)

    Murbach, Marcus; Martinez, Andres; Guarneros Luna, Ali

    2014-01-01

    TechEdSat-3p is the second generation in the TechEdSat-X series. The TechEdSat Series uses the CubeSat standards established by the California Polytechnic State University Cal Poly), San Luis Obispo. With typical blocks being constructed from 1-unit (1U 10x10x10 cm) increments, the TechEdSat-3p has a 3U volume with a 30 cm length. The project uniquely pairs advanced university students with NASA researchers in a rapid design-to-flight experience lasting 1-2 semesters.The TechEdSat Nano-Satellite Series provides a rapid platform for testing technologies for future NASA Earth and planetary missions, as well as providing students with an early exposure to flight hardware development and management.

  18. Adolescence and Formal Operations

    ERIC Educational Resources Information Center

    Blasi, A.; Hoeffel, E. C.

    1974-01-01

    Analyzes the relationship between the development of formal operations and the development of the adolescent personality, as hypothesized by Inhelder and Piaget. It is suggested that the concepts of possibility and reflectivity have a variety of meanings, and that once these meanings are examined, the logical foundation for the…

  19. Correlates of Formal Reasoning.

    ERIC Educational Resources Information Center

    Linn, Marcia C.; Pulos, Steven

    This study of Piagetian formal reasoning in seventh grade students reports the relationships between four aspects of the ability to control variables in an experiment and the relationships between those four aspects and other constructs. The four aspects of the ability to control variables identified are: (1) set up a controlled experiment, (2)…

  20. Finite-Size Scaling in Random K-SAT Problems

    NASA Astrophysics Data System (ADS)

    Ha, Meesoon; Lee, Sang Hoon; Jeon, Chanil; Jeong, Hawoong

    2010-03-01

    We propose a comprehensive view of threshold behaviors in random K-satisfiability (K-SAT) problems, in the context of the finite-size scaling (FSS) concept of nonequilibrium absorbing phase transitions using the average SAT (ASAT) algorithm. In particular, we focus on the value of the FSS exponent to characterize the SAT/UNSAT phase transition, which is still debatable. We also discuss the role of the noise (temperature-like) parameter in stochastic local heuristic search algorithms.

  1. Development of Novel Integrated Antennas for CubeSats

    NASA Technical Reports Server (NTRS)

    Jackson, David; Fink, Patrick W.; Martinez, Andres; Petro, Andrew

    2015-01-01

    The Development of Novel Integrated Antennas for CubeSats project is directed at the development of novel antennas for CubeSats to replace the bulky and obtrusive antennas (e.g., whip antennas) that are typically used. The integrated antennas will not require mechanical deployment and thus will allow future CubeSats to avoid potential mechanical problems and therefore improve mission reliability. Furthermore, the integrated antennas will have improved functionality and performance, such as circular polarization for improved link performance, compared with the conventional antennas currently used on CubeSats.

  2. Proceedings of the First NASA Formal Methods Symposium

    NASA Technical Reports Server (NTRS)

    Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)

    2009-01-01

    Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

  3. Validity of the SAT for Predicting First-Year Grades: 2008 SAT Validity Sample. Statistical Report No. 2011-5

    ERIC Educational Resources Information Center

    Patterson, Brian F.; Mattern, Krista D.

    2011-01-01

    The findings for the 2008 sample are largely consistent with the previous reports. SAT scores were found to be correlated with FYGPA (r = 0.54), with a magnitude similar to HSGPA (r = 0.56). The best set of predictors of FYGPA remains SAT scores and HSGPA (r = 0.63), as the addition of the SAT sections to the correlation of HSGPA alone with FYGPA…

  4. Selecting Students with a General Reasoning Test (SAT I) or Tests in Academic Subjects (SAT II): Does It Matter for Non-Native Speakers of English?

    ERIC Educational Resources Information Center

    Bridgeman, Brent; Burton, Nancy; Cline, Frederick

    Using data from a sample of 10 colleges at which most students had taken both the SAT I: Reasoning Test and SAT II: Subject Tests researchers simulated the effects of making selection decisions using SAT II scores in place of SAT I scores. Students in each college were treated as forming the applicant pool for a more select college, and the top…

  5. Semisymmetric systems: Hermitian formalism

    NASA Astrophysics Data System (ADS)

    Buchdahl, H. A.

    1995-04-01

    The power series representing the characteristic function of a regular semisymmetric system involves four linearly independent rotational invariants XA (A=1,.. .,4) that jointly satisfy a quadratic identity. When the X A are appropriately chosen, this takes the form -(X1)2-(X2 )2-(X3)2+( X4)2=0 . The XA are thus the components of a null vector in a four-dimensional Euclidean space whose metric is gAB: =diag(-1,-1 ,-1,1) . Such a vector is equivalent to a simple 2-spinor xi alpha . The intrinsic presence of a spin vector in the formalism used hitherto suggests that it might be of advantage to replace the latter with an explicit 2-spinor formalism. A way of doing this is examined.

  6. Comparability of Scores on the New and Prior Versions of the SAT Reasoning Test™. Research Notes. RN-31

    ERIC Educational Resources Information Center

    Kobrin, Jennifer L.; Melican, Gerald J.

    2007-01-01

    This report synthesizes the research to date addressing the construct comparability of the SAT Reasoning Test and prior SAT I: Reasoning Test and the series of research studies addressing the equatability and subpopulation invariance of the SAT and SAT I.

  7. Random numbers certified by Bell's theorem.

    PubMed

    Pironio, S; Acín, A; Massar, S; de la Giroday, A Boyer; Matsukevich, D N; Maunz, P; Olmschenk, S; Hayes, D; Luo, L; Manning, T A; Monroe, C

    2010-04-15

    Randomness is a fundamental feature of nature and a valuable resource for applications ranging from cryptography and gambling to numerical simulation of physical and biological systems. Random numbers, however, are difficult to characterize mathematically, and their generation must rely on an unpredictable physical process. Inaccuracies in the theoretical modelling of such processes or failures of the devices, possibly due to adversarial attacks, limit the reliability of random number generators in ways that are difficult to control and detect. Here, inspired by earlier work on non-locality-based and device-independent quantum information processing, we show that the non-local correlations of entangled quantum particles can be used to certify the presence of genuine randomness. It is thereby possible to design a cryptographically secure random number generator that does not require any assumption about the internal working of the device. Such a strong form of randomness generation is impossible classically and possible in quantum systems only if certified by a Bell inequality violation. We carry out a proof-of-concept demonstration of this proposal in a system of two entangled atoms separated by approximately one metre. The observed Bell inequality violation, featuring near perfect detection efficiency, guarantees that 42 new random numbers are generated with 99 per cent confidence. Our results lay the groundwork for future device-independent quantum information experiments and for addressing fundamental issues raised by the intrinsic randomness of quantum theory. PMID:20393558

  8. Certified Athletic Trainers as Certified Teachers: A Model for Making It Happen

    ERIC Educational Resources Information Center

    Unruh, Nita; Unruh, Scott; Scantling, Ed

    2008-01-01

    School administrators don't usually consider hiring a certified athletic trainer for managing the medical issues that arise from students' participation in athletics, perhaps because they believe it would be too expensive to hire someone solely to manage injury and illness for just a portion of the students. Since it is important to provide…

  9. Training and Certification Program for Certified Energy Auditors (CEA) and Certified Building Commissioning Professionals (CBCP)

    SciTech Connect

    Kent, Bill

    2012-08-24

    The Association of Energy Engineers (AEE) has offered energy efficiency training and certification programs for over 30 years. During that time AEE has certified more than 22,000 professionals. All of our certification programs are the result of extensive industry research and program development and oversight by certification boards. For this project award, AEE proposed to work with the Department of Energy to utilize and extend existing industry recognized Certified Energy Auditor (CEA) and Certified Building Commissioning Professional (CBCP) programs under this Training Program Development Announcement. These expanded training programs will have significant impact in training professionals for building commissioning and energy auditing to achieve the goal of bringing existing buildings up to their optimal energy performance potential and ensuring that new buildings maintain their expected optimal level of performance. The goals and objectives of the training development project were achieved with the development of new training programs that are now being offered as self-sustaining commercial training and certification programs. These new programs are training and certifying professionals who are accomplishing the goal of increasing building energy performance in both existing and new buildings.

  10. 77 FR 5415 - National Organic Program: Notice of Draft Guidance for Accredited Certifying Agents, Certified...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-03

    ... Budget (OMB) Bulletin on Agency Good Guidance Practices (GGPs) (January 25, 2007, 72 FR 3432-3440). The...; ] DEPARTMENT OF AGRICULTURE Agricultural Marketing Service 7 CFR Part 205 National Organic Program: Notice of... Certified Organic Products AGENCY: Agricultural Marketing Service, USDA. ACTION: Notice of availability...

  11. SAT-Based Model Checking without Unrolling

    NASA Astrophysics Data System (ADS)

    Bradley, Aaron R.

    A new form of SAT-based symbolic model checking is described. Instead of unrolling the transition relation, it incrementally generates clauses that are inductive relative to (and augment) stepwise approximate reachability information. In this way, the algorithm gradually refines the property, eventually producing either an inductive strengthening of the property or a counterexample trace. Our experimental studies show that induction is a powerful tool for generalizing the unreachability of given error states: it can refine away many states at once, and it is effective at focusing the proof search on aspects of the transition system relevant to the property. Furthermore, the incremental structure of the algorithm lends itself to a parallel implementation.

  12. The FedSat Microsatellite Mission

    NASA Astrophysics Data System (ADS)

    Fraser, B. J.

    2003-04-01

    An Australian research microsatellite, FedSat with a complement of four payloads was launched from Tanegashima, Japan on 14 December 2002 into a near-circular sun synchronous 10:30 LT polar orbit at an inclination of 98.7° and altitude 800 km. Scientific experiments include a triaxial fluxgate magnetometer with a frequency response up to 100 Hz and a GPS receiver to monitor total electron content (TEC) and provide a precise orbit determination. Communications experiments include a Ka-band transponder and a UHF packet data service. A high performance computer payload will test reconfigurable computing technology.

  13. Formal Safety Certification of Aerospace Software

    NASA Technical Reports Server (NTRS)

    Denney, Ewen; Fischer, Bernd

    2005-01-01

    integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

  14. Appraising the Implications of the SAT for Educational Policy.

    ERIC Educational Resources Information Center

    Steelman, Lala Carr; Powell, Brian

    1985-01-01

    Differences in the corrected state rankings on Scholastic Aptitude Test (SAT) scores are explained by the percentage of students taking the test and by student composition by sex, race, and average family income. Higher state per capita educational expenditures are significantly related to higher average SAT scores. Policy implications are…

  15. Money Improves Test Scores--Even State-Level SATs.

    ERIC Educational Resources Information Center

    Bracey, Gerald W.

    1996-01-01

    Three former secretaries of education--William Bennett, Lauro Cavazos, and Terrel Bell--have touted state-level SAT scores as proof that educational financing does not matter. Recently, Brian Powell and Lala Carr Steelman adjusted scores for participation rate and detected a very strong relationship between expenditures and SAT scores. Bigger…

  16. Variations in State SAT Performance: Meaningful or Misleading?

    ERIC Educational Resources Information Center

    Powell, Brian; Steelman, Lala Carr

    1984-01-01

    The authors attempt to show how the dissemination of uncorrected state Scholastic Aptitude Test (SAT) scores may have created an inaccurate public and governmental perception of the variation in educational quality. Their research demonstrates that comparing state SAT averages is ill-advised unless these ratings are corrected for compositional and…

  17. Mathematical SAT Test Scores and College Chemistry Grades.

    ERIC Educational Resources Information Center

    Spencer, Harry E.

    1996-01-01

    Explores the comparative performance of various segments of the student sample in general chemistry courses relative to their scores on the mathematical SAT test. Results indicate that mathematical skill measured by the SAT scores is an important factor in determining grades while factors that are not important in determining grades are gender…

  18. First-Year Chemistry Grades and SAT Math Scores.

    ERIC Educational Resources Information Center

    Andrews, Marjorie H.; Andrews, Lester

    1979-01-01

    Comparison of SAT math scores, high school grade point averages (GPAs), and final chemistry grades for both the 1972 and 1976 fall semester classes of the first-year chemistry course at the University of Virginia showed that SAT math scores were a much better predictor of final chemistry grades than were high school GPAs. (BB)

  19. Comparing State SAT Scores Using a Mixture Modeling Approach

    ERIC Educational Resources Information Center

    Kim, YoungKoung Rachel

    2009-01-01

    Presented at the national conference for AERA (American Educational Research Association) in April 2009. The large variability of SAT taker population across states makes state-by-state comparisons of the SAT scores challenging. Using a mixture modeling approach, therefore, the current study presents a method of identifying subpopulations in terms…

  20. The Revised SAT: No Better, No Worse at Its Job

    ERIC Educational Resources Information Center

    Hoover, Eric

    2008-01-01

    The latest word about the new SAT is this: It gives colleges about the same information as the old one did. Last week, the College Board announced that the recent changes in the SAT had not substantially altered how accurately it predicts first-year grades. The news prompted applause from the test's proponents, scorn from its critics, and little…

  1. CloudSat Anomaly Recovery and Operational Lessons Learned

    NASA Technical Reports Server (NTRS)

    Nayak, Michael; Witkowski, Mona

    2012-01-01

    Nov 2011: NASA/JPL declared CloudSat fully operational in DO ]OP Mode . CloudSat collects science data during sunlit portion of orbit, stable spin hibernation in eclipse . New CONOPS requires constant monitoring of thermal and power profiles, while allowing collection of 54 mins of science data per sunlit orbit

  2. CubeSat Integration into the Space Situational Awareness Architecture

    NASA Astrophysics Data System (ADS)

    Morris, K.; Wolfson, M.; Brown, J.

    2013-09-01

    Lockheed Martin Space Systems Company has recently been involved in developing GEO Space Situational Awareness architectures, which allows insights into how cubesats can augment the current national systems. One hole that was identified in the current architecture is the need for timelier metric track observations to aid in the chain of custody. Obtaining observations of objects at GEO can be supported by CubeSats. These types of small satellites are increasing being built and flown by government agencies like NASA and SMDC. CubeSats are generally mass and power constrained allowing for only small payloads that cannot typically mimic traditional flight capability. CubeSats do not have a high reliability and care must be taken when choosing mission orbits to prevent creating more debris. However, due to the low costs, short development timelines, and available hardware, CubeSats can supply very valuable benefits to these complex missions, affordably. For example, utilizing CubeSats for advanced focal plane demonstrations to support technology insertion into the next generation situational awareness sensors can help to lower risks before the complex sensors are developed. CubeSats can augment the planned ground and space based assets by creating larger constellations with more access to areas of interest. To aid in maintaining custody of objects, a CubeSat constellation at 500 km above GEO would provide increased point of light tracking that can augment the ground SSA assets. Key features of the Cubesat include a small visible camera looking along the GEO belt, a small propulsion system that allows phasing between CubeSats, and an image processor to reduce the data sent to the ground. An elegant communications network will also be used to provide commands to and data from multiple CubeSats. Additional CubeSats can be deployed on GSO launches or through ride shares to GEO, replenishing or adding to the constellation with each launch. Each CubeSat would take images of

  3. ProSAT+: visualizing sequence annotations on 3D structure.

    PubMed

    Stank, Antonia; Richter, Stefan; Wade, Rebecca C

    2016-08-01

    PRO: tein S: tructure A: nnotation T: ool-plus (ProSAT(+)) is a new web server for mapping protein sequence annotations onto a protein structure and visualizing them simultaneously with the structure. ProSAT(+) incorporates many of the features of the preceding ProSAT and ProSAT2 tools but also provides new options for the visualization and sharing of protein annotations. Data are extracted from the UniProt KnowledgeBase, the RCSB PDB and the PDBe SIFTS resource, and visualization is performed using JSmol. User-defined sequence annotations can be added directly to the URL, thus enabling visualization and easy data sharing. ProSAT(+) is available at http://prosat.h-its.org. PMID:27284084

  4. Formalizing the concept of sound.

    SciTech Connect

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  5. Formalizing Space Shuttle Software Requirements

    NASA Technical Reports Server (NTRS)

    Crow, Judith; DiVito, Ben L.

    1996-01-01

    This paper describes two case studies in which requirements for new flight-software subsystems on NASA's Space Shuttle were analyzed, one using standard formal specification techniques, the other using state exploration. These applications serve to illustrate three main theses: (1) formal methods can complement conventional requirements analysis processes effectively, (2) formal methods confer benefits regardless of how extensively they are adopted and applied, and (3) formal methods are most effective when they are judiciously tailored to the application.

  6. Massively Clustered CubeSats NCPS Demo Mission

    NASA Technical Reports Server (NTRS)

    Robertson, Glen A.; Young, David; Kim, Tony; Houts, Mike

    2013-01-01

    Technologies under development for the proposed Nuclear Cryogenic Propulsion Stage (NCPS) will require an un-crewed demonstration mission before they can be flight qualified over distances and time frames representative of a crewed Mars mission. In this paper, we describe a Massively Clustered CubeSats platform, possibly comprising hundreds of CubeSats, as the main payload of the NCPS demo mission. This platform would enable a mechanism for cost savings for the demo mission through shared support between NASA and other government agencies as well as leveraged commercial aerospace and academic community involvement. We believe a Massively Clustered CubeSats platform should be an obvious first choice for the NCPS demo mission when one considers that cost and risk of the payload can be spread across many CubeSat customers and that the NCPS demo mission can capitalize on using CubeSats developed by others for its own instrumentation needs. Moreover, a demo mission of the NCPS offers an unprecedented opportunity to invigorate the public on a global scale through direct individual participation coordinated through a web-based collaboration engine. The platform we describe would be capable of delivering CubeSats at various locations along a trajectory toward the primary mission destination, in this case Mars, permitting a variety of potential CubeSat-specific missions. Cameras on various CubeSats can also be used to provide multiple views of the space environment and the NCPS vehicle for video monitoring as well as allow the public to "ride along" as virtual passengers on the mission. This collaborative approach could even initiate a brand new Science, Technology, Engineering and Math (STEM) program for launching student developed CubeSat payloads beyond Low Earth Orbit (LEO) on future deep space technology qualification missions. Keywords: Nuclear Propulsion, NCPS, SLS, Mars, CubeSat.

  7. Certifying Unpredictable Randomness from Quantum Nonlocality

    NASA Astrophysics Data System (ADS)

    Bierhorst, Peter

    2015-03-01

    A device-independent quantum randomness protocol takes an initial random seed as input and then expands it in to a longer random string. It has been proven that if the initial random seed is trusted to be unpredictable, then the longer output string can also be certified to be unpredictable by an experimental violation of Bell's inequality. It has furthermore been argued that the initial random seed may not need to be truly unpredictable, but only uncorrelated to specific parts of the Bell experiment. In this work, we demonstrate rigorously that this is indeed true, under assumptions related to ``no superdeterminism/no conspiracy'' concepts along with the no-signaling assumption. So if we assume that superluminal signaling is impossible, then a loophole-free test of Bell's inequality would be able to generate provably unpredictable randomness from an input source of (potentially predictable) classical randomness.

  8. Substituting SAT II: Subject Tests for SAT I: Reasoning Tests: Impact on Admitted Class Composition and Quality.

    ERIC Educational Resources Information Center

    Bridgeman, Brent; Burton, Nancy; Cline, Frederick

    2003-01-01

    Simulated the effects of making admission decisions using SAT II subject scores in place of SAT I reasoning scores. Found that success rates, in terms of first-year grade point averages, were virtually identical for students selected by the different models. The percentage of African American, Asian American, and White students selected varied…

  9. An Application of Score Equity Assessment: Invariance of Linkage of New SAT[R] to Old SAT across Gender Groups

    ERIC Educational Resources Information Center

    Liu, Jinghua; Cahn, Miriam F.; Dorans, Neil J.

    2006-01-01

    The College Board's SAT[R] data are used to illustrate how the score equity assessment (SEA) can help inform the program about equatability. SEA is used to examine whether the content change(s) to the revised new SAT result in differential linking functions across gender groups. Results of population sensitivity analyses are reported on the…

  10. Approximate Solutions in Planted 3-SAT

    NASA Astrophysics Data System (ADS)

    Hsu, Benjamin; Laumann, Christopher; Moessner, Roderich; Sondhi, Shivaji

    2013-03-01

    In many computational settings, there exists many instances where finding a solution requires a computing time that grows exponentially in the number of variables. Concrete examples occur in combinatorial optimization problems and cryptography in computer science or glassy systems in physics. However, while exact solutions are often known to require exponential time, a related and important question is the running time required to find approximate solutions. Treating this problem as a problem in statistical physics at finite temperature, we examine the computational running time in finding approximate solutions in 3-satisfiability for randomly generated 3-SAT instances which are guaranteed to have a solution. Analytic predictions are corroborated by numerical evidence using stochastic local search algorithms. A first order transition is found in the running time of these algorithms.

  11. Space radiation incident on SATS missions

    NASA Technical Reports Server (NTRS)

    Stassinopoulos, E. G.

    1973-01-01

    A special orbital radiation study was conducted in order to evaluate mission encountered energetic particle fluxes. This information is to be supplied to the project subsystem engineers for their guidance in designing flight hardware to withstand the expected radiation levels. Flux calculations were performed for a set of 20 nominal trajectories placed at several altitudes and inclinations. Temporal variations in the ambient electron environment were considered and partially accounted for. Magnetic field calculations were performed with a current field model, extrapolated to the tentative SATS launch epoch with linear time terms. Orbital flux integrations ware performed with the latest proton and electron environment models, using new computational methods. The results are presented in graphical and tabular form. Estimates of energetic solar proton fluxes are given for a one year mission at selected integral energies ranging from 10 to 100 Mev, calculated for a year of maximum solar activity during the next solar cycle.

  12. 19 CFR 159.34 - Certified quarterly rate.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Certified quarterly rate. 159.34 Section 159.34 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.34 Certified quarterly rate. (a) Countries for which quarterly rate...

  13. 31 CFR 360.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... the Commonwealth of Puerto Rico. (ii) Any officer of a trust company incorporated in the United States... employee expressly authorized to certify by an institution must sign his or her name over the title... posts, bases, or stations. The certifying officer must indicate his or her rank and state that...

  14. 42 CFR 438.604 - Data that must be certified.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Data that must be certified. 438.604 Section 438.604 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICAL ASSISTANCE PROGRAMS MANAGED CARE Certifications and Program Integrity § 438.604 Data that must be certified. (a) Data...

  15. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Certified seed only election. 97.122 Section 97.122 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When...

  16. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 47 Telecommunication 1 2012-10-01 2012-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  17. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 47 Telecommunication 1 2014-10-01 2014-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  18. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 47 Telecommunication 1 2011-10-01 2011-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  19. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 47 Telecommunication 1 2010-10-01 2010-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  20. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 47 Telecommunication 1 2013-10-01 2013-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  1. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 21 2010-07-01 2010-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  2. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Team certifying need for services. 441.153 Section... § 441.153 Team certifying need for services. Certification under § 441.152 must be made by terms..., certification must be made by an independent team that— (1) Includes a physician; (2) Has competence...

  3. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2012-01-01 2012-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

  4. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2014-01-01 2014-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

  5. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2010-01-01 2010-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

  6. 49 CFR 1001.2 - Certified copies of records.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 49 Transportation 8 2010-10-01 2010-10-01 false Certified copies of records. 1001.2 Section 1001.2 Transportation Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION GENERAL RULES AND REGULATIONS INSPECTION OF RECORDS § 1001.2 Certified copies...

  7. 49 CFR 1001.2 - Certified copies of records.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 8 2011-10-01 2011-10-01 false Certified copies of records. 1001.2 Section 1001.2 Transportation Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION GENERAL RULES AND REGULATIONS INSPECTION OF RECORDS § 1001.2 Certified copies...

  8. 38 CFR 3.200 - Testimony certified or under oath.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 38 Pensions, Bonuses, and Veterans' Relief 1 2010-07-01 2010-07-01 false Testimony certified or... Testimony certified or under oath. (a) All oral testimony presented by claimants and witnesses on their...) All written testimony submitted by the claimant or in his or her behalf for the purpose...

  9. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  10. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) To be certified, a person shall pass the MSHA examination on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to take respirable dust samples if the person... successfully complete the examination conducted by MSHA on sampling of respirable coal mine dust within...

  11. Career ladder development for certified occupational therapy assistants.

    PubMed

    Strickland, L R

    1988-01-01

    Practice models which depict the interactions of Certified Occupational Therapy Assistants and Registered Occupational Therapists are described. These models portray career ladder development for the Certified Occupational Therapy Assistant. Job enrichment for the assistant facilitates the provision of qualitative and cost effective occupational therapy sessions. PMID:23944877

  12. Teaching Efficacy Beliefs of National Board Certified Physical Educators

    ERIC Educational Resources Information Center

    Woods, Amelia Mays; Rhoades, Jesse

    2013-01-01

    The National Board of Professional Teaching Standards offers a voluntary advanced certification for K-12 teachers. The majority of teachers who pursue this professional development program live in the USA, although there are National Board Certified teachers across the globe. This study examined National Board Certified Physical Education…

  13. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 22 2011-07-01 2011-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  14. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 22 2014-07-01 2013-07-01 true When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  15. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 23 2013-07-01 2013-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  16. 76 FR 80741 - TRICARE: Certified Mental Health Counselors

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-12-27

    ... of the Secretary 32 CFR Part 199 TRICARE: Certified Mental Health Counselors AGENCY: Office of the... accordance with Section 717 of the NDAA 2008, that would allow licensed or certified mental health counselors... services. Under current TRICARE requirements, mental health counselors (MHCs) are authorized to...

  17. Teacher Efficacy of Alternative and Traditionally Certified Special Education Teachers

    ERIC Educational Resources Information Center

    Green, Sean Michael

    2012-01-01

    A teacher shortage in the area of special education has led to an increase in the number of alternatively certified special education teachers. Many alternative certification programs focus on content knowledge rather than pedagogical training, allowing many alternatively certified teachers into the classroom with little pedagogical training.…

  18. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  19. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 7 2014-01-01 2014-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified...

  20. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 7 2012-01-01 2012-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified...

  1. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 71.202 Section 71.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by...

  2. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND... Sampling Procedures § 90.202 Certified person; sampling. (a) The respirable dust sampling required by...

  3. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 70.202 Section 70.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified...

  4. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; maintenance and calibration. 71.203 Section 71.203 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration....

  5. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration. 71.203 Section 71.203 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration....

  6. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration. 90.203 Section 90.203 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR... OF PNEUMOCONIOSIS Sampling Procedures § 90.203 Certified person; maintenance and calibration....

  7. 76 FR 14366 - National Registry of Certified Medical Examiners

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-16

    ... National Registry of Certified Medical Examiners (NRCME) published on December 1, 2008 (73 FR 73129). Other... Federal Register (73 FR 3316). Title: National Registry of Certified Medical Examiners (NRCME). Summary... 73 FR at 73140-42). Public Participation and Request for Comments: We encourage you to...

  8. 29 CFR 1601.80 - Certified designated FEP agencies.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 29 Labor 4 2010-07-01 2010-07-01 false Certified designated FEP agencies. 1601.80 Section 1601.80 Labor Regulations Relating to Labor (Continued) EQUAL EMPLOYMENT OPPORTUNITY COMMISSION PROCEDURAL REGULATIONS FEP Agency Designation Procedures § 1601.80 Certified designated FEP agencies. The designated FEP agencies receiving certification by...

  9. 29 CFR 1601.80 - Certified designated FEP agencies.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 29 Labor 4 2013-07-01 2013-07-01 false Certified designated FEP agencies. 1601.80 Section 1601.80 Labor Regulations Relating to Labor (Continued) EQUAL EMPLOYMENT OPPORTUNITY COMMISSION PROCEDURAL REGULATIONS FEP Agency Designation Procedures § 1601.80 Certified designated FEP agencies. The designated FEP agencies receiving certification by...

  10. 45 CFR 155.225 - Certified application counselors.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 1 2013-10-01 2013-10-01 false Certified application counselors. 155.225 Section 155.225 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES REQUIREMENTS RELATING TO HEALTH CARE... organization designated as a Medicaid certified application counselor organization by a state Medicaid or...

  11. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 4 2013-01-01 2013-01-01 false Environmental requirements for certifying powerplants. 504.9 Section 504.9 Energy DEPARTMENT OF ENERGY (CONTINUED) ALTERNATE FUELS EXISTING POWERPLANTS § 504.9... use of natural gas or petroleum, or both, as a primary energy source in any certifying...

  12. A Survey of Training Needs of Experienced Certified Addictions Counselors.

    ERIC Educational Resources Information Center

    Taleff, Michael J.

    1996-01-01

    Survey of 208 Certified Addiction Counselors (CAC) and Certified Prevention Specialists (CPS) about education and training topics in the field of alcohol and other drug abuse. Results indicate that CAC/CPS professionals prefer training topics that encompass cultural issues, alternative forms of treatment and relapse prevention delivered in…

  13. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  14. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  15. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  16. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ...,” or “made with organic (specified ingredients or food group(s))” must be certified according to the..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except...

  17. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ...,” or “made with organic (specified ingredients or food group(s))” must be certified according to the..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except...

  18. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ...,” or “made with organic (specified ingredients or food group(s))” must be certified according to the..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except...

  19. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ...,” or “made with organic (specified ingredients or food group(s))” must be certified according to the..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except...

  20. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  1. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  2. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  3. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  4. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  5. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  6. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  7. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  8. 45 CFR 153.320 - Federally certified risk adjustment methodology.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 1 2013-10-01 2013-10-01 false Federally certified risk adjustment methodology... TO HEALTH CARE ACCESS STANDARDS RELATED TO REINSURANCE, RISK CORRIDORS, AND RISK ADJUSTMENT UNDER THE AFFORDABLE CARE ACT State Standards Related to the Risk Adjustment Program § 153.320 Federally certified...

  9. 3D Printing the Complete CubeSat

    NASA Technical Reports Server (NTRS)

    Kief, Craig

    2015-01-01

    The 3D Printing the Complete CubeSat project is designed to advance the state-of-the-art in 3D printing for CubeSat applications. Printing in 3D has the potential to increase reliability, reduce design iteration time and provide greater design flexibility in the areas of radiation mitigation, communications, propulsion, and wiring, among others. This project is investigating the possibility of including propulsion systems into the design of printed CubeSat components. One such concept, an embedded micro pulsed plasma thruster (mPPT), could provide auxiliary reaction control propulsion for a spacecraft as a means to desaturate momentum wheels.

  10. Optimal cooperative CubeSat maneuvers obtained through parallel computing

    NASA Astrophysics Data System (ADS)

    Ghosh, Alexander; Coverstone, Victoria

    2015-02-01

    CubeSats, the class of small standardized satellites, are quickly becoming a prevalent scientific research tool. The desire to perform ambitious missions using multiple CubeSats will lead to innovations in thruster technology and will require new tools for the development of cooperative trajectory planning. To meet this need, a new software tool was created to compute propellant-minimizing maneuvers for two or more CubeSats. By including parallelization techniques, this tool is shown to run significantly faster than its serial counterpart.

  11. Solving SAT Problem Based on Hybrid Differential Evolution Algorithm

    NASA Astrophysics Data System (ADS)

    Liu, Kunqi; Zhang, Jingmin; Liu, Gang; Kang, Lishan

    Satisfiability (SAT) problem is an NP-complete problem. Based on the analysis about it, SAT problem is translated equally into an optimization problem on the minimum of objective function. A hybrid differential evolution algorithm is proposed to solve the Satisfiability problem. It makes full use of strong local search capacity of hill-climbing algorithm and strong global search capability of differential evolution algorithm, which makes up their disadvantages, improves the efficiency of algorithm and avoids the stagnation phenomenon. The experiment results show that the hybrid algorithm is efficient in solving SAT problem.

  12. Function analysis of a new type I PKS-SAT domain by SAT-EAT domain replacement.

    PubMed

    Jiao, Y L; Wang, L H; Jiao, B H; Wang, S J; Fang, Y W; Liu, S

    2010-01-01

    The function of a new starter unit acyltransferase (SAT) domain SAT-EF080951 (GenBank accession number) encoded in a new type I polyketide synthase (PKS) gene cluster EF568935 (GenBank accession number) isolated for this study was analyzed by domain replacement with an extender unit AT (EAT) domain of avermectin PKS. It was shown that the SAT-EF080951 incorporated malonyl-CoA specifically in vivo, which contradicted the specificity that we had previously determined by substrate binding test in vitro. The result of this study indicates that type I PKS-SAT can alter its specificity in vivo and functions well in extender units and proved the feasibility of the SAT-EAT domain replacement in type I PKS. We propose that SAT-EAT replacement strategy could be a novel route for increasing the diversity of new polyketides combinatorially biosynthesized. The new type I PKS-SAT-EF080951 studied herein may be further employed for related studies on enzymology or combinatorial biosynthesis of polyketides. PMID:20391758

  13. 48 CFR 239.7406 - Certified cost or pricing data and data other than certified cost or pricing data.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 3 2014-10-01 2014-10-01 false Certified cost or pricing data and data other than certified cost or pricing data. 239.7406 Section 239.7406 Federal Acquisition Regulations System DEFENSE ACQUISITION REGULATIONS SYSTEM, DEPARTMENT OF DEFENSE SPECIAL CATEGORIES OF CONTRACTING ACQUISITION OF...

  14. Teacher quality: a comparison of National Board-certified and non-Board-certified teachers of deaf students.

    PubMed

    Scheetz, Nanci A; Martin, David S

    2006-01-01

    THE STUDY was designed to identify specific components of teacher excellence, focusing initially on the characteristics of the small number of teachers of the deaf who are certified by the National Board for Professional Teaching Standards (NBPTS), then comparing those with the characteristics of other teachers identified as master teachers by university faculty in teacher preparation in deafness. Classroom observation, written lesson plans, teacher questionnaires on beliefs, and content analysis of interactive electronic focus groups were used to compare the two groups of teachers. Results indicated similarities between Board-certified and non-Board-certified master teachers in regard to teacher behaviors and commitment to well-founded pedagogical principles. Differences were found in classroom priorities and in the greater level of interconnectivity expressed by Board-certified teachers as the result of becoming Board certified. Recommendations are made for preparing teachers of deaf students. PMID:16856648

  15. 48 CFR 15.403-5 - Instructions for submission of certified cost or pricing data and data other than certified cost...

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... submission of certified cost or pricing data and data other than certified cost or pricing data. 15.403-5... AND CONTRACT TYPES CONTRACTING BY NEGOTIATION Contract Pricing 15.403-5 Instructions for submission of certified cost or pricing data and data other than certified cost or pricing data. (a) Taking...

  16. 48 CFR 15.403-5 - Instructions for submission of certified cost or pricing data and data other than certified cost...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... submission of certified cost or pricing data and data other than certified cost or pricing data. 15.403-5... AND CONTRACT TYPES CONTRACTING BY NEGOTIATION Contract Pricing 15.403-5 Instructions for submission of certified cost or pricing data and data other than certified cost or pricing data. (a) Taking...

  17. 48 CFR 52.215-20 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. 52.215-20 Section 52.215-20... Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. As prescribed in 15.408(l), insert the following provision: Requirements for Certified Cost or Pricing Data and Data Other...

  18. 48 CFR 52.215-21 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data-Modifications. 52.215-21... Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data... Pricing Data and Data Other Than Certified Cost or Pricing Data—Modifications (OCT 2010) (a)...

  19. 48 CFR 52.215-20 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. 52.215-20 Section 52.215-20... Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. As prescribed in 15.408(l), insert the following provision: Requirements for Certified Cost or Pricing Data and Data Other...

  20. 48 CFR 52.215-20 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. 52.215-20 Section 52.215-20... Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. As prescribed in 15.408(l), insert the following provision: Requirements for Certified Cost or Pricing Data and Data Other...

  1. 48 CFR 52.215-21 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing...

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data-Modifications. 52.215-21... Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data... Pricing Data and Data Other Than Certified Cost or Pricing Data—Modifications (OCT 2010) (a)...

  2. 48 CFR 15.403-5 - Instructions for submission of certified cost or pricing data and data other than certified cost...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... submission of certified cost or pricing data and data other than certified cost or pricing data. 15.403-5... AND CONTRACT TYPES CONTRACTING BY NEGOTIATION Contract Pricing 15.403-5 Instructions for submission of certified cost or pricing data and data other than certified cost or pricing data. (a) Taking...

  3. Formal verification of AI software

    NASA Technical Reports Server (NTRS)

    Rushby, John; Whitehurst, R. Alan

    1989-01-01

    The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms.

  4. Model Search: Formalizing and Automating Constraint Solving in MDE Platforms

    NASA Astrophysics Data System (ADS)

    Kleiner, Mathias; Del Fabro, Marcos Didonet; Albert, Patrick

    Model Driven Engineering (MDE) and constraint programming (CP) have been widely used and combined in different applications. However, existing results are either ad-hoc, not fully integrated or manually executed. In this article, we present a formalization and an approach for automating constraint-based solving in a MDE platform. Our approach generalizes existing work by combining known MDE concepts with CP techniques into a single operation called model search. We present the theoretical basis for model search, as well as an automated process that details the involved operations. We validate our approach by comparing two implemented solutions (one based on Alloy/SAT, the other on OPL/CP), and by executing them over an academic use-case.

  5. FalconSAT-7: a membrane space telescope

    NASA Astrophysics Data System (ADS)

    Andersen, Geoff; Asmolova, Olha; Dickinson, Thomas

    2014-06-01

    The USAF Academy Department of Physics is building FalconSAT-7, a membrane solar telescope to be deployed from a 3U CubeSat in LEO. The primary optic is a 0.2m photon sieve.—a diffractive element consisting of billions of tiny holes in an otherwise opaque polymer sheet. The membrane, its support structure, secondary optics, two imaging cameras and associated control/recording electronics are all packaged within half the CubeSat volume. Once in space the supporting pantograph structure is deployed, pulling the membrane flat under tension. The telescope will then be steered towards the Sun to gather images at H-alpha for transmission to the ground. Due for launch in 2016, FalconSAT-7 will serve as a pathfinder for future surveillance missions.

  6. Skunk Works type approach for F-SAT

    NASA Astrophysics Data System (ADS)

    Turner, Gary F.

    The topics are presented in viewgraph form and include the following: the F-SAT Program, the classic program organization, design/configuration management, procurement/material, manufacturing, quality assurance, the facility, and personnel management.

  7. Skunk Works type approach for F-SAT

    NASA Technical Reports Server (NTRS)

    Turner, Gary F.

    1992-01-01

    The topics are presented in viewgraph form and include the following: the F-SAT Program, the classic program organization, design/configuration management, procurement/material, manufacturing, quality assurance, the facility, and personnel management.

  8. Onboard autonomy on the Three Corner Sat Mission

    NASA Technical Reports Server (NTRS)

    Chien, S.; Engelhardt, B.; Knight, R.; Rabideau, G.; Sherwood, R.

    2001-01-01

    Three Corner Sat (3CS) is a mission of three university nanosatellites scheduled for launch on September 2002. The 3CS misison will utilize significan onboard autonomy to perform onboard science data validation and replanning.

  9. Atmospheric Entry Aerothermodynamics Flight Test on CubeSat Platform

    NASA Astrophysics Data System (ADS)

    Sakraker, I.; Umit, E.; van der Haegen, V.; Chazot, O.

    2014-06-01

    The challenging aerothermochemistry of atmospheric entry is aimed to be experimented on a triple CubeSat platform having ablative TPS in the front unit and ceramic TPS on the side panels. Five aerothermodynamics payloads are presented in this paper.

  10. Multifractal formalisms of human behavior.

    PubMed

    Ihlen, Espen A F; Vereijken, Beatrix

    2013-08-01

    With the mounting realization that variability is an inevitable part of human behavior comes the need to integrate this phenomenon in concomitant models and theories of motor control. Among other things, this has resulted in a debate throughout the last decades about the origin of variability in behavior, the outcome of which has important implications for motor control theories. To date, a monofractal formalism of variability has been used as the basis for arguing for component- versus interaction-oriented theories of motor control. However, monofractal formalism alone cannot decide between the opposing sides of the debate. The present theoretical overview introduces multifractal formalisms as a necessary extension of the conventional monofractal formalism. In multifractal formalisms, the scale invariance of behavior is numerically defined as a spectrum of scaling exponents, rather than a single average exponent as in the monofractal formalism. Several methods to estimate the multifractal spectrum of scaling exponents - all within two multifractal formalisms called large deviation and Legendre formalism - are introduced and briefly discussed. Furthermore, the multifractal analyses within these two formalisms are applied to several performance tasks to illustrate how explanations of motor control vary with the methods used. The main section of the theoretical overview discusses the implications of multifractal extensions of the component- and interaction-oriented models for existing theories of motor control. PMID:24054900

  11. High concentration aqueous sodium fluoride certified reference materials for forensic use certified by complexometric titration.

    PubMed

    Archer, Marcellé; Brits, Martin; Prevoo-Franzsen, Désirée; Quinn, Laura

    2015-04-01

    Sodium fluoride in concentrations of 1 to 2 % is used to prevent the formation of ethanol in blood and urine samples that are to be analysed for ethanol content. The majority of such samples form part of forensic investigations into alleged drunken driving. In South Africa, the laboratory performing the tests is required to prove that the sodium fluoride concentration in the blood samples is above 1 g/100 ml on receipt. This is done by using a fluoride ion-selective electrode calibrated with external aqueous solutions of sodium fluoride. The National Metrology Institute of South Africa (NMISA) prepares sodium fluoride solutions in concentrations from 0.3 to 3.0 g/100 ml. No other certified sodium fluoride reference solutions in these concentrations are available commercially. The sodium fluoride is certified by precipitation of the fluoride as lead chlorofluoride (PbClF) through the addition of a known excess of lead nitrate. The excess lead is back-titrated with ethylenediamine tetraacetic acid (EDTA) using a photometric electrode to detect the endpoint. Aqueous sodium fluoride solutions are prepared and the concentrations verified by the precipitation/back-titration method. This paper shows the application of a classical complexometric method to the certification of reference materials and describes the procedures for the preparation of the sodium fluoride solutions, verification of the concentrations, homogeneity and stability by primary titrimetry. It also briefly covers the calculation of uncertainty, the establishment of traceability and the quality control measures applied to ensure the quality of the certified reference materials (CRMs). PMID:25326884

  12. Formal, Non-Formal and Informal Learning in the Sciences

    ERIC Educational Resources Information Center

    Ainsworth, Heather L.; Eaton, Sarah Elaine

    2010-01-01

    This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

  13. A SAT Encoding for Multi-dimensional Packing Problems

    NASA Astrophysics Data System (ADS)

    Grandcolas, Stéphane; Pinto, Cédric

    The Orthogonal Packing Problem (OPP) consists in determining if a set of items can be packed into a given container. This decision problem is NP-complete. Fekete et al. modelled the problem in which the overlaps between the objects in each dimension are represented by interval graphs. In this paper we propose a SAT encoding of Fekete et al. characterization. Some results are presented, and the efficiency of this approach is compared with other SAT encodings.

  14. SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints

    NASA Astrophysics Data System (ADS)

    Lardeux, Frederic; Monfroy, Eric; Saubion, Frederic; Crawford, Broderick; Castro, Carlos

    Constraint satisfaction problems (CSP) or Boolean satisfiability problem (SAT) are two well known paradigm to model and solve combinatorial problems. Modeling and resolution of CSP is often strengthened by global constraints (e.g., Alldiff constraint). This paper highlights two different ways of handling specific structural information: a uniform propagation framework to handle (interleaved) Alldiff constraints with some CSP reduction rules; and a SAT encoding of these rules that preserves the reduction properties of CSP.

  15. Miniature scientific-grade magnetic sensors for CubeSats

    NASA Astrophysics Data System (ADS)

    Pronenko, Vira; Belyayev, Serhiy

    2016-07-01

    Micro- and nanosatellites have become more attractive due to their low development and launch cost. A class of nanosatellites defined by the CubeSat standard allows standardizing CubeSat preparation and launch, thus making the projects more affordable. Because of the complexity of sensors miniaturization to install them onboard CubeSat, the majority of CubeSat launches are aimed the technology demonstration or education missions. The scientific success of CubeSat mission depends on the sensors quality. In spite that the sensitivity of the magnetic sensors strongly depends on their size, the recent development in this branch allows us to propose tiny but sensitive both AC and DC magnetometers. The goal of the present report is to introduce the new design of miniature three-component sensors for measurement of vector magnetic fields - for quasi-stationary and slowly fluctuating - flux-gate magnetometer (FGM) - and for alternative ones - search-coil magnetometer (SCM). In order to create magnetometers with the really highest possible level of parameters, a set of scientific and technological problems, mostly aimed at the sensor construction improvement, was solved. The most important parameter characterizing magnetometer quality is its own magnetic noise level (NL). The analysis of the NL influencing factors is made and the ways to decrease it are discussed in the report. Construction details and technical specifications of miniature but sensitive FGM and SCM for the CubeSat mission are presented. This work is supported by EC Framework 7 funded project 607197.

  16. PhoneSat In-flight Experience Results

    NASA Technical Reports Server (NTRS)

    Salas, Alberto Guillen; Attai, Watson; Oyadomari, Ken Y.; Priscal, Cedric; Schimmin, Rogan S.; Gazulla, Oriol Tintore; Wolfe, Jasper L.

    2014-01-01

    Over the last decade, consumer technology has vastly improved its performances, become more affordable and reduced its size. Modern day smartphones offer capabilities that enable us to figure out where we are, which way we are pointing, observe the world around us, and store and transmit this information to wherever we want. These capabilities are remarkably similar to those required for multi-million dollar satellites. The PhoneSat project at NASA Ames Research Center is building a series of CubeSat-size spacecrafts using an off-the-shelf smartphone as its on-board computer with the goal of showing just how simple and cheap space can be. Since the PhoneSat project started, different suborbital and orbital flight activities have proven the viability of this revolutionary approach. In early 2013, the PhoneSat project launched the first triage of PhoneSats into LEO. In the five day orbital life time, the nano-satellites flew the first functioning smartphone-based satellites (using the Nexus One and Nexus S phones), the cheapest satellite (a total parts cost below $3,500) and one of the fastest on-board processors (CPU speed of 1GHz). In this paper, an overview of the PhoneSat project as well as a summary of the in-flight experimental results is presented.

  17. Characterizations of a Quality Certified Athletic Trainer

    PubMed Central

    Raab, Scot; Wolfe, Brent D.; Gould, Trenton E.; Piland, Scott G.

    2011-01-01

    Context: Didactic proficiency does not ensure clinical aptitude. Quality athletic health care requires clinical knowledge and affective traits. Objective: To develop a grounded theory explaining the constructs of a quality certified athletic trainer (AT). Design: Delphi study. Setting: Interviews in conference rooms or business offices and by telephone. Patients or Other Participants: Thirteen ATs (men = 8, women = 5) stratified across the largest employment settings (high school, college, clinical) in the 4 largest districts of the National Athletic Trainers' Association (2, 3, 4, 9). Data Collection and Analysis: Open-ended interview questions were audio recorded, transcribed, and reviewed before condensing. Two member checks ensured trustworthiness. Open coding reduced text to descriptive adjectives. Results: We grouped adjectives into 5 constructs (care, communication, commitment, integrity, knowledge) and grouped these constructs into 2 higher-order constructs (affective traits, effective traits). Conclusions: According to participants, ATs who demonstrate the ability to care, show commitment and integrity, value professional knowledge, and communicate effectively with others can be identified as quality ATs. These abilities facilitate the creation of positive relationships. These relationships allow the quality AT to interact with patients and other health care professionals on a knowledgeable basis that ultimately improves health care delivery. Our resulting theory supported the examination of characteristics not traditionally assessed in an athletic training education program. If researchers can show that these characteristics develop ATs into quality ATs (eg, those who work better with others, relate meaningfully with patients, and improve the standard of health care), they must be cultivated in the educational setting. PMID:22488194

  18. 42 CFR 405.2415 - Services and supplies incident to nurse practitioner, physician assistant, certified nurse...

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... practitioner, physician assistant, certified nurse midwife, clinical psychologist, or clinical social worker... nurse practitioner, physician assistant, certified nurse midwife, clinical psychologist, or clinical..., certified nurse midwife, clinical psychologist, or clinical social worker service are payable under...

  19. Validity of the SAT for Predicting Second-Year Grades: 2006 SAT Validity Sample. Statistical Report No. 2011-1

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2011-01-01

    This report presents the validity of the SAT for predicting two second-year outcomes: (1) second-year cumulative GPA (2nd Yr Cum GPA), and (2) second-year grade point average (2nd Yr GPA). Similar to the results for first-year grade point average (1st Yr GPA), the SAT is strongly correlated with second year outcomes. For many significant…

  20. Validity of the SAT for Predicting Third-Year Grades: 2006 SAT Validity Sample. Statistical Report No. 2011-3

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2006-01-01

    This report presents the validity of the SAT for predicting two third-year college outcomes: (1) third-year cumulative GPA (3rd Yr Cum GPA), and (2) third-year grade point average (3rd Yr GPA). Similar to the results for first- and second-year outcomes (1st Yr GPA, 2nd Yr GPA, 2nd Yr Cum GPA), the SAT is strongly correlated with third year…

  1. Topside Ionospheric Sounder for CubeSats

    NASA Astrophysics Data System (ADS)

    Swenson, C.; Pratt, J.; Fish, C. S.; Winkler, C.; Pilinski, M.; Azeem, I.; Crowley, G.; Jeppesen, M.; Martineau, R.

    2014-12-01

    This presentation will outline the design of a Topside Ionospheric Sounder (TIS) for CubeSats. In the same way that an ionosonde measures the ionospheric profile from the ground, a Topside Sounder measures the ionospheric profile from a location above the F-region peak. The TIS will address the need for increased space situational awareness and environmental monitoring by estimating electron density profiles in the topside of the ionosphere. The TIS will measure topside electron density profiles for plasma frequencies ranging from 0.89 MHz to 28.4 MHz below the satellite altitude. The precision of the measurement will be 5% or 10,000 p/cm^3. The TIS average power consumption will be below 10 W and a mass of less than 10 kg, so it is appropriate for a 6U Cubesat (or multiple of that size). The sounder will operate via a transmitted frequency sweep across the desired plasma frequencies which, upon reception, can be differenced to determine range and density information of the topside ionosphere. The velocity of the spacecraft necessitates careful balancing of range resolution and frequency knowledge requirements as well as novel processing techniques to correctly associate the return signal with the correct plasma frequency. TIS is being designed to provide a low cost, low mass spacecraft that can provide accurate topside profiles of the ionospheric electron density in order to further understanding of ionospheric structure and dynamic processes in the ionosphere.

  2. Memorial consequences of answering SAT II questions.

    PubMed

    Marsh, Elizabeth J; Agarwal, Pooja K; Roediger, Henry L

    2009-03-01

    Many thousands of students take standardized tests every year. In the current research, we asked whether answering standardized test questions affects students' later test performance. Prior research has shown both positive and negative effects of multiple-choice testing on later tests, with negative effects arising from students selecting incorrect alternatives on multiple-choice tests and then believing they were correct (Roediger & Marsh, 2005). In the current experiments, undergraduates and high school students answered multiple-choice questions retired from SAT II tests (that are no longer in the testing pool) on biology, chemistry, U.S. history, and world history, and later answered cued-recall questions about these subjects. In 3 experiments, we observed positive testing effects: More final cued-recall questions were answered correctly if the items had appeared on the initial multiple-choice test. We also sometimes observed negative testing effects: intrusions of multiple-choice distractors as answers on the final cued-recall test. Students who scored well on the initial test benefited from taking the test, but lower achieving students showed either less benefit (undergraduates) or costs from the testing (high school students). PMID:19309212

  3. 45 CFR 153.320 - Federally certified risk adjustment methodology.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... TO HEALTH CARE ACCESS STANDARDS RELATED TO REINSURANCE, RISK CORRIDORS, AND RISK ADJUSTMENT UNDER THE AFFORDABLE CARE ACT State Standards Related to the Risk Adjustment Program § 153.320 Federally certified...

  4. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... SERVICES Inpatient Psychiatric Services for Individuals Under Age 21 in Psychiatric Facilities or Programs § 441.153 Team certifying need for services. Certification under § 441.152 must be made by...

  5. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... SERVICES Inpatient Psychiatric Services for Individuals Under Age 21 in Psychiatric Facilities or Programs § 441.153 Team certifying need for services. Certification under § 441.152 must be made by...

  6. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... SERVICES Inpatient Psychiatric Services for Individuals Under Age 21 in Psychiatric Facilities or Programs § 441.153 Team certifying need for services. Certification under § 441.152 must be made by...

  7. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... SERVICES Inpatient Psychiatric Services for Individuals Under Age 21 in Psychiatric Facilities or Programs § 441.153 Team certifying need for services. Certification under § 441.152 must be made by...

  8. Integrated pest management for certified organic production in Oklahoma

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Integrated pest management (IPM) and sustainable agriculture are basic precepts within the organic crop production philosophy. The establishment of federal guidelines for organic certification in 2002 provided a structure for producers and processors to market certified organic foods. The guidelin...

  9. 45 CFR 155.225 - Certified application counselors.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... coverage selection process; (2) Assist individuals and employees to apply for coverage in a QHP through the... an artificial or prerecorded voice, except in cases where the individual certified...

  10. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.661 Investigation of... regulations of this part concerning production and handling operations certified as organic by the...

  11. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.661 Investigation of... regulations of this part concerning production and handling operations certified as organic by the...

  12. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.661 Investigation of... regulations of this part concerning production and handling operations certified as organic by the...

  13. Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

    NASA Technical Reports Server (NTRS)

    Basir, Nurlida; Denney, Ewen; Basir, Nurlida

    2009-01-01

    We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components. Keywords: Automated code generation, Hoare logic, formal code certification, safety case, Goal Structuring Notation.

  14. Clinical Biospecimens: Reference Materials, Certified for Nominal Properties?

    PubMed Central

    2014-01-01

    This report makes the case for clinical biospecimens to be certified for nominal properties, in particular the diagnosis, and to attain the level of Reference Materials. Clinical certified biospecimens that are collected, processed, characterized, stored, and distributed by biobanks are urgently needed to facilitate diagnostic test development, evaluation, and quality assurance. Four examples are provided to illustrate this purpose and the certification approaches that could be applied are proposed. PMID:24749878

  15. Science-Driven NanoSats Design for Deep Space

    NASA Astrophysics Data System (ADS)

    Klesh, A. T.; Castillo, J. C.

    2012-12-01

    CubeSat-based exploration of Earth has driven the development of miniaturized systems and research-grade instruments. The current performance of CubeSats raises the question of their potential contribution to planetary exploration. Two possible applications can be foreseen. One would take advantage of the readily availability of the CubeSat deployer Poly Picosatellite Orbital Deployer (P-POD) for planetary-related observations around Earth (e.g., O/OREOS mission, ExoPlanetSat), and, when propulsion systems develop, for interplanetary exploration. However, the CubeSat formfactor restricts payloads to be in an undeployed volume of 10x10x10 (1U) to 10x20x30 (6U) cm, based on the qualified and accepted P-POD. As a possible alternative, one may leverage the CubeSat-tailored subsystems to operate that platform as a secondary payload on a deep space mission. Whether the CubeSat formfactor constraint might be adjusted to accommodate a broader range of science applications or specific tailoring is required remains to be quantified. Through consultation with a wide range of scientists and engineers, we have examined the possible applications of secondary deep space NanoSats, and what derived requirements stem from these missions. Applications and requirements, together with existing technology, inform on common formfactors that could be useful for future planetary missions. By examining these formfactors, we have identified different categories of NanoSat explorer (additionally imposing discrete requirements on the mothership) that directly support scientific endeavors. In this paper, we outline some of the scientific applications that would drive the NanoSat formfactor design, as well as describe how the requirements affect programmatic issues. Several mission types are considered: passive deployment, active propulsion, targeted landing, and sample return. Each scenario changes the risk posture, and can impose additional considerations. Our goal has been to identify

  16. CubeSat Material Limits for Design for Demise

    NASA Technical Reports Server (NTRS)

    Kelley, R. L.; Jarkey, D. R.

    2014-01-01

    The CubeSat form factor of nano-satellite (a satellite with a mass between one and ten kilograms) has grown in popularity due to their ease of construction and low development and launch costs. In particular, their use as student led payload design projects has increased due to the growing number of launch opportunities. CubeSats are often deployed as secondary or tertiary payloads on most US launch vehicles or they may be deployed from the ISS. The focus of this study will be on CubeSats launched from the ISS. From a space safety standpoint, the development and deployment processes for CubeSats differ significantly from that of most satellites. For large satellites, extensive design reviews and documentation are completed, including assessing requirements associated with re-entry survivability. Typical CubeSat missions selected for ISS deployment have a less rigorous review process that may not evaluate aspects beyond overall design feasibility. CubeSat design teams often do not have the resources to ensure their design is compliant with re-entry risk requirements. A study was conducted to examine methods to easily identify the maximum amount of a given material that can be used in the construction of a CubeSats without posing harm to persons on the ground. The results demonstrate that there is not a general equation or relationship that can be used for all materials; instead a limiting value must be defined for each unique material. In addition, the specific limits found for a number of generic materials that have been previously used as benchmarking materials for re-entry survivability analysis tool comparison will be discussed.

  17. Solar neutron observations with ChubuSat-2 satellite

    NASA Astrophysics Data System (ADS)

    Yamaoka, Kazutaka

    2016-07-01

    Solar neutron observation is a key in understanding of ion accerelation mechanism in the Sun surface since neutrons are hardly affected by magnetic field around the Sun and intersteller mediums unlike charged particles. However, there was only a few tenth detections so far since its discovery in 1982. Actually SEDA-AP Fiber detector (FIB) onboard the International Space Station (ISS) was suffered from a high neutron background produced by the ISS itself. ChubuSat is a series of 50-kg class microsatellite jointly depeloped by universities (Nagoya university and Daido university) and aerospace companies at the Chubu area of central Japan. The ChubuSat-2 is the second ChubuSat following the ChubuSat-1 which was launched by Russian DNEPR rocket on November 6, 2014. It was selected as one of four piggyback payloads of the X-ray astronomy satellite ASTRO-H in 2014 summer, and will be launched by the H-IIA launch vehcles from from JAXA Tanegashima Space Center (TNSC) in February 2016. The ChubuSat-2 carries a mission instrument, radiation detector (RD). The main mission of ChubuSat-2 is devoted for monitoring neutrons and gamma-rays which can be background source for ASTRO-H celestrial observations with the RD. The mission also involves a function of solar neutron observations which were originally proposed by graduate students who join the leadership development program for space exploration and research, program for leading graduate schools at Nagoya University. The RD has a similar detection area and efficiency to those of the SEDA-AP FIB, but is expected to have lower backgrounthan the ISS thanks to much smaller mass of the micro-satellite. In this paper, we will describe details of ChubuSat-2 satellite and RD, and in-orbit performance of RD.

  18. CubeSat Material Limits For Design for Demise

    NASA Technical Reports Server (NTRS)

    Kelley, R. L.; Jarkey, D. R.

    2014-01-01

    The CubeSat form factor of nano-satellite (a satellite with a mass between one and ten kilograms) has grown in popularity due to their ease of construction and low development and launch costs. In particular, their use as student led payload design projects has increased due to the growing number of launch opportunities. CubeSats are often deployed as secondary or tertiary payloads on most US launch vehicles or they may be deployed from the ISS. The focus of this study will be on CubeSats launched from the ISS. From a space safety standpoint, the development and deployment processes for CubeSats differ significantly from that of most satellites. For large satellites, extensive design reviews and documentation are completed, including assessing requirements associated with reentry survivability. Typical CubeSat missions selected for ISS deployment have a less rigorous review process that may not evaluate aspects beyond overall design feasibility. CubeSat design teams often do not have the resources to ensure their design is compliant with reentry risk requirements. A study was conducted to examine methods to easily identify the maximum amount of a given material that can be used in the construction of a CubeSats without posing harm to persons on the ground. The results demonstrate that there is not a general equation or relationship that can be used for all materials; instead a limiting value must be defined for each unique material. In addition, the specific limits found for a number of generic materials that have been previously used as benchmarking materials for reentry survivability analysis tool comparison will be discussed.

  19. CloudSat as a Global Radar Calibrator

    SciTech Connect

    Protat, Alain; Bouniol, Dominique; O'Connor, E. J.; Baltink, Henk K.; Verlinde, J.; Widener, Kevin B.

    2011-03-01

    The calibration of the CloudSat spaceborne cloud radar has been thoroughly assessed using very accurate internal link budgets before launch, comparisons with predicted ocean surface backscatter at 94 GHz, direct comparisons with airborne cloud radars, and statistical comparisons with ground-based cloud radars at different locations of the world. It is believed that the calibration of CloudSat is accurate to within 0.5 to 1 dB. In the present paper it is shown that an approach similar to that used for the statistical comparisons with ground-based radars can now be adopted the other way around to calibrate other ground-based or airborne radars against CloudSat and / or detect anomalies in long time series of ground-based radar measurements, provided that the calibration of CloudSat is followed up closely (which is the case). The power of using CloudSat as a Global Radar Calibrator is demonstrated using the Atmospheric Radiation Measurement cloud radar data taken at Barrow, Alaska, the cloud radar data from the Cabauw site, The Netherlands, and airborne Doppler cloud radar measurements taken along the CloudSat track in the Arctic by the RASTA (Radar SysTem Airborne) cloud radar installed in the French ATR-42 aircraft for the first time. It is found that the Barrow radar data in 2008 are calibrated too high by 9.8 dB, while the Cabauw radar data in 2008 are calibrated too low by 8.0 dB. The calibration of the RASTA airborne cloud radar using direct comparisons with CloudSat agrees well with the expected gains and losses due to the change in configuration which required verification of the RASTA calibration.

  20. Expanding CubeSat Capabilities with a Low Cost Transceiver

    NASA Technical Reports Server (NTRS)

    Palo, Scott; O'Connor, Darren; DeVito, Elizabeth; Kohnert, Rick; Schaire, Scott H.; Bundick, Steve; Crum, Gary; Altunc, Serhat; Winkert, Thomas

    2014-01-01

    CubeSats have developed rapidly over the past decade with the advent of a containerized deployer system and ever increasing launch opportunities. These satellites have moved from an educational tool to teach students about engineering challenges associated with satellite design, to systems that are conducting cutting edge earth, space and solar science. Early variants of the CubeSat had limited functionality and lacked sophisticated attitude control, deployable solar arrays and propulsion. This is no longer the case and as CubeSats mature, such systems are becoming commercially available. The result is a small satellite with sufficient power and pointing capabilities to support a high rate communication system. Communications systems have matured along with other CubeSat subsystems. Originally developed from amateur radio systems, CubeSats have generally operated in the VHF and UHF bands at data rates below 10 kbps (kilobits per second). More recently higher rate UHF systems have been developed, however these systems require a large collecting area on the ground to close the communications link at 3 Mbps (megabits per second). Efforts to develop systems that operate with similar throughput at S-Band (2-4 GHz (gigaherz)) and C-Band (4-8 GHz (gigaherz)) have also recently evolved. In this paper we outline an effort to develop a high rate CubeSat communication system that is compatible with the NASA Near Earth Network and can be accommodated by a CubeSat. The system will include a 200 kbps (kilobits per second) S-Band receiver and a 12.5 Mbps (megabits per second).X-Band transmitter. This paper will focus on our design approach and initial results associated with the 12.5 Mbps (megabits per second) X-band transmitter.

  1. A national survey of board-certified emergency physicians: quality of care and practice structure issues.

    PubMed

    Plantz, S H; Kreplick, L W; Panacek, E A; Mehta, T; Adler, J; McNamara, R M

    1998-01-01

    The opinions and experiences of board-certified emergency physicians regarding employment structure and finances, professional society policies, and quality of patient care have never been formally studied. A survey questionnaire was sent to a random sample of 1,050 emergency physicians certified by the American Board of Emergency Medicine. The survey contained 29 multiple choice questions. Of the 1,050, 465 (44.3%) of the surveys were returned. Respondents averaged 13.5 years of emergency medicine practice, 83% were members of the American College of Emergency Physicians, and 44% were emergency medicine residency trained. Seventy-five percent felt they had been financially exploited by the emergency department contract holder and 49% considered leaving their employer because of unfair business practices. Fifteen percent have been terminated without due process/peer review, and 11% have been forced to leave a position, move, or pay compensation because of noncompete clauses. The majority reported encountering instances of substandard emergency medical care, most commonly in settings with multihospital contract company coverage. The majority also believe their specialty societies should address issues of employment structure and quality of patient care standards. PMID:9451304

  2. To Be or Not to Be Certified.

    PubMed

    Suskie, Kelley

    2016-01-01

    The pathway to professional development does not require a start or end date. Professional development is a perpetual process that is set into motion the day you first ask "why?" or "how?" Anyone who has spent time with a toddler knows that the endless pursuit of knowledge and, therefore, intellectual growth starts at a very young age. As we mature, we refine our questions beyond the whys and hows and start the professional development journey. Throughout each academic pursuit, we accomplish another rung on the ladder of our achievements. As we graduate from kindergarten, grade school, high school, and college, we easily point to the parchment most of these ceremonious events yield. Once we start our careers, though, what do we have to show for our professional development efforts? The mountains of literature provide a constant reminder of what you have left to learn. Most professions provide a formal pathway to aid in professional development, and medical practice management is no exception. The certification and fellowship program and process available from the Medical Group Management Association provides a system to map your journey of professional development--complete with its own version of parchment. This article explains why you would want to pursue professional development in the form of certification and Fellowship. PMID:27443056

  3. A novel solid-angle tomosynthesis (SAT) scanning scheme

    SciTech Connect

    Zhang Jin; Yu, Cedric

    2010-08-15

    Purpose: Digital tomosynthesis (DTS) recently gained extensive research interests in both diagnostic and radiation therapy fields. Conventional DTS images are generated by scanning an x-ray source and flat-panel detector pair on opposite sides of an object, with the scanning trajectory on a one-dimensional curve. A novel tomosynthesis method named solid-angle tomosynthesis (SAT) is proposed, where the x-ray source scans on an arbitrary shaped two-dimensional surface. Methods: An iterative algorithm in the form of total variation regulated expectation maximization is developed for SAT image reconstruction. The feasibility and effectiveness of SAT is corroborated by computer simulation studies using three-dimensional (3D) numerical phantoms including a 3D Shepp-Logan phantom and a volumetric CT image set of a human breast. Results: SAT is able to cover more space in Fourier domain more uniformly than conventional DTS. Greater coverage and more isotropy in the frequency domain translate to fewer artifacts and more accurately restored features in the in-plane reconstruction. Conclusions: Comparing with conventional DTS, SAT allows cone-shaped x-ray beams to project from more solid angles, thus provides more coverage in the spatial-frequency domain, resulting in better quality of reconstructed image.

  4. Extravehicular Activity System Sizing Analysis Tool (EVAS_SAT)

    NASA Technical Reports Server (NTRS)

    Brown, Cheryl B.; Conger, Bruce C.; Miranda, Bruno M.; Bue, Grant C.; Rouen, Michael N.

    2007-01-01

    An effort was initiated by NASA/JSC in 2001 to develop an Extravehicular Activity System Sizing Analysis Tool (EVAS_SAT) for the sizing of Extravehicular Activity System (EVAS) architecture and studies. Its intent was to support space suit development efforts and to aid in conceptual designs for future human exploration missions. Its basis was the Life Support Options Performance Program (LSOPP), a spacesuit and portable life support system (PLSS) sizing program developed for NASA/JSC circa 1990. EVAS_SAT estimates the mass, power, and volume characteristics for user-defined EVAS architectures, including Suit Systems, Airlock Systems, Tools and Translation Aids, and Vehicle Support equipment. The tool has undergone annual changes and has been updated as new data have become available. Certain sizing algorithms have been developed based on industry standards, while others are based on the LSOPP sizing routines. The sizing algorithms used by EVAS_SAT are preliminary. Because EVAS_SAT was designed for use by members of the EVA community, subsystem familiarity on the part of the intended user group and in the analysis of results is assumed. The current EVAS_SAT is operated within Microsoft Excel 2003 using a Visual Basic interface system.

  5. Mathematical SAT Test Scores and College Chemistry Grades

    NASA Astrophysics Data System (ADS)

    Spencer, Harry E.

    1996-12-01

    The relationships between mathematical SAT scores (SAT-M) and grades earned by students in eight consecutive years of first- and second-semester general chemistry courses at Oberlin College are reported. The academic years surveyed are 1987-1988 through 1994-1995. SAT-M scores are grouped within seven ranges from 450 and less to 710-800. Within any range of scores, students in both courses earned a wide variety of grades, but those within the higher ranges tended to earn higher grades and fewer failures relative to students in the lower ranges. For all students within each range of SAT-M scores, the fraction earning each grade are calculated. These fractions along with the numbers of students and their SAT-M scores in a subset are used to calculate grades expected for that subset. In the first-semester course, the expected and actual grades for subsets of males, females, first-year students, non-first-year students, Asians, Blacks, and Latinos are not significantly different. Those who eventually majored in chemistry or biochemistry attained grades very significantly higher than expected. Most students tended to achieve grades in the second-semester course that were similar to those earned in the first-semester course.

  6. A novel solid-angle tomosynthesis (SAT) scanning scheme

    PubMed Central

    Zhang, Jin; Yu, Cedric

    2010-01-01

    Purpose: Digital tomosynthesis (DTS) recently gained extensive research interests in both diagnostic and radiation therapy fields. Conventional DTS images are generated by scanning an x-ray source and flat-panel detector pair on opposite sides of an object, with the scanning trajectory on a one-dimensional curve. A novel tomosynthesis method named solid-angle tomosynthesis (SAT) is proposed, where the x-ray source scans on an arbitrary shaped two-dimensional surface. Methods: An iterative algorithm in the form of total variation regulated expectation maximization is developed for SAT image reconstruction. The feasibility and effectiveness of SAT is corroborated by computer simulation studies using three-dimensional (3D) numerical phantoms including a 3D Shepp–Logan phantom and a volumetric CT image set of a human breast. Results: SAT is able to cover more space in Fourier domain more uniformly than conventional DTS. Greater coverage and more isotropy in the frequency domain translate to fewer artifacts and more accurately restored features in the in-plane reconstruction. Conclusions: Comparing with conventional DTS, SAT allows cone-shaped x-ray beams to project from more solid angles, thus provides more coverage in the spatial-frequency domain, resulting in better quality of reconstructed image. PMID:20879579

  7. Forecasting Evaluation of WindSat in the Coastal Environment

    NASA Technical Reports Server (NTRS)

    Lee, Thomas F.; Bettenhausen, Mike H.; Hawkins, Jeffrey D.; Richardson, Kim; Jedlovec, Gary; Smith, Matt

    2012-01-01

    WindSat has demonstrated that measurements from polarimetric space-based microwave radiometers can be used to retrieve global ocean surface vector winds. Since the date of launch in 2003, substantial incremental improvements have been made to WindSat data processing, calibration, and retrieval algorithms. The retrievals now have higher resolution, improved wind vector ambiguity removal, and enhanced capability to represent high winds. Utilization of WindSat retrievals (wind vectors, total precipitable water, rainrate and sea surface temperature) will be demonstrated in the context of operational weather forecasting applications, especially the monitoring of topographically-forced winds. Examples will be presented from various parts of the world, including inland seas, midlatitude oceans, the tropics, and the United States. We will illustrate retrievals in extreme high- and extreme low-wind regimes, both of which can be problematic. Rain contamination will be addressed. We will include a comparison of WindSat vector maps to corresponding maps from the QuikScat scatterometer. We will discuss how near-realtime data from WindSat is being transitioned to specific offices within the National Weather Service.

  8. NASA Formal Methods Workshop, 1990

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W. (Compiler)

    1990-01-01

    The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.

  9. Formalism and functionalism in linguistics.

    PubMed

    Newmeyer, Frederick J

    2010-05-01

    Formalism and functionalism in linguistics are often taken to be diametrically opposed approaches. However, close examination of the relevant phenomena reveals that the two are complementary, rather than being irrevocably in opposition to each other. One can be a formal linguist and a functional linguist at the same time, without there being any contradiction. Copyright © 2010 John Wiley & Sons, Ltd. For further resources related to this article, please visit the WIREs website. PMID:26271372

  10. Complex cobordism and formal groups

    NASA Astrophysics Data System (ADS)

    Buchstaber, Viktor M.

    2012-10-01

    This paper surveys the current state of the theory of cobordism, focusing on geometric and universal properties of complex cobordism, the Landweber-Novikov algebra, and the formal group law of geometric cobordisms. The relationships with K-theory, algebraic cycles, formal group laws, compact Lie group actions on manifolds, toric topology, infinite-dimensional Lie algebras, and nilmanifolds are described. The survey contains key results and open problems. Bibliography: 124 titles.

  11. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  12. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  13. Pass It On: Alternatively Certified Teachers' Advice to Prospective Alternate Route Educators

    ERIC Educational Resources Information Center

    Brown, Casey

    2009-01-01

    Ten alternatively certified teachers provide advice to other non-traditionally certified teachers via in-depth interviews. The alternatively certified teachers interviewed had retained their teaching positions and achieved longevity in the teaching profession. Data collection and analysis resulted in alternatively certified teachers' advice to…

  14. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  15. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  16. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  17. HaloSat: A CubeSat to Map the Distribution of Baryonic Matter in the Galactic Halo

    NASA Astrophysics Data System (ADS)

    Miles, Drew M.

    2016-04-01

    Approximately half of predicted baryonic matter in the Milky Way remains unidentified. One possible explanation for the location of this missing matter is in an extended Galactic halo. HaloSat is a CubeSat that aims to constrain the mass and distribution of the halo’s baryonic matter by obtaining an all-sky map of O VII and O VIII emission in the hot gas associated with the halo of the Milky Way. HaloSat offers an improvement in the quality of measurements of oxygen line emission over existing X-ray observatories and an observation plan dedicated to mapping the hot gas in the Galactic halo. In addition to the missing baryon problem, HaloSat will assign a portion of its observations to the solar wind charge exchange (SWCX) in order to calibrate models of SCWX emission. We present here the current status of HaloSat and the progression of instrument development in anticipation of a 2018 launch.

  18. Experimental infection of giraffe (Giraffa camelopardalis) with SAT-1 and SAT-2 foot-and-mouth disease virus.

    PubMed

    Vosloo, W; Swanepoel, S P; Bauman, M; Botha, B; Esterhuysen, J J; Boshoff, C I; Keet, D F; Dekker, A

    2011-04-01

    The potential role of giraffe (Giraffa camelopardalis) in the epidemiology and spread of foot-and-mouth disease (FMD) SAT types was investigated by experimental infection and detection of virus in excretions using virus isolation on primary pig kidney cell cultures. In two experiments separated by a period of 24 months, groups of four animals were needle infected with a SAT-1 or SAT-2 virus, respectively and two in-contact controls were kept with each group. Viraemia was detected 3-9 days post-infection and virus isolated from mouth washes and faeces only occasionally up to day 13. The SAT-1 virus was transmitted to only one in-contact control animal, probably via saliva that contained virus from vesicles in the mouth of a needle-infected animal. None of the animals infected with the SAT-2 virus had any vesicles in the mouth, and there was no evidence of transmission to the in-contact controls. No virus was detected in probang samples for the duration of the experiments (60 days post-infection), indicating that persistent infection probably did not establish with either of these isolates. Giraffe most likely do not play an important role in FMD dissemination. Transmission of infection would possibly occur only during close contact with other animals when mouth vesicles are evident. PMID:26353052

  19. Phased array antenna investigation for CubeSat size satellites

    NASA Astrophysics Data System (ADS)

    Dang, Kien

    Increasing bandwidth of the communication link has been a challenge for CubeSat class satellite. Traditional satellites usually utilizes high gain antennas for this purpose, but these antenna are rarely seen in CubeSat because of its power, volume and weight constraints. To solve these issues, this dissertation presents a phased array antenna system prototyped at 2.45 GHz with 17.7 dBi gain at broadside, 14.2 dBi at +/-40°, 50 MHz bandwidth, and fits on a side of a 3U CubeSat. The gain can be increased by adding more antenna elements into the array as needed. Testing for electronic beam steering has been completed and detailed results will be presented.

  20. Origami NanoSat Telescopes: Planetary Astronomy's Future unfolds

    NASA Astrophysics Data System (ADS)

    Marchis, F.; Castillo-Rogez, J.; Jenkins, J.; Dissly, R.; Klesh, A.

    2013-09-01

    We will present a concept to develop a key technology to expand the application of NanoSats to astronomy. The NanoSat size intrinsically constrains the aperture diameter of an onboard telescope to a few centimeters; consequently it limits the sensitivity of the instruments and the scientific return of the mission. An obvious but challenging solution is to encapsulate a deployable telescope in a NanoSat platform and deploy it in space after launch. A revolutionary advance is to add state-of-the-art wavefront sensing and control to a large deployable aperture, and then combine this with excellent pointing stability on such a small platform. We focus this study on a few significant science drivers, which appear to be the most beneficial to the planetary science science decadal survey, the astrophysics decadal survey NASA Strategic goals and plans, and will drive the design of the satellite.

  1. COLD-SAT orbital experiment configured for Atlas launch

    NASA Technical Reports Server (NTRS)

    Shuster, J. R.; Bennett, F. O.; Wachter, J. P.

    1989-01-01

    The design and requirements for the proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer (COLD-SAT) satellite experiment, which is to be launched by Atlas I, are examined. The COLD-SAT experiments are categorized as class I and II; class I involves technology related to space transportation missions and class II represents alternative fluid management operations and data. The hardware for the COLD-SAT experiments consists of three hydrogen tanks contained in the experimental module; the experimental module is connected to a three-axis-controlled spacecraft bus, and thrusters are positioned on the forward and aft ends of the spacecraft and on the cylindrical portion of the experimental module. The components and systems of the experiment module and the types of experiments that can be conducted in each tank are described. Diagrams of the spacecraft configuration are provided.

  2. Solving SAT and Hamiltonian Cycle Problem Using Asynchronous P Systems

    NASA Astrophysics Data System (ADS)

    Tagawa, Hirofumi; Fujiwara, Akihiro

    In the present paper, we consider fully asynchronous parallelism in membrane computing, and propose two asynchronous P systems for the satisfiability (SAT) and Hamiltonian cycle problem. We first propose an asynchronous P system that solves SAT with n variables and m clauses, and show that the proposed P system computes SAT in O(mn2n) sequential steps or O(mn) parallel steps using O(mn) kinds of objects. We next propose an asynchronous P system that solves the Hamiltonian cycle problem with n nodes, and show that the proposed P system computes the problem in O(n!) sequential steps or O(n2) parallel steps using O(n2) kinds of objects.

  3. iSat Surface Charging and Thruster Plume Interactions Analysis

    NASA Technical Reports Server (NTRS)

    Parker, L. Neergaard; Willis, E.; Minow, J.

    2016-01-01

    NASA is designing the Iodine Satellite (iSAT) cubesat mission to demonstrate operations of an iodine electric thruster system. The spacecraft will be deployed as a secondary payload from a launch vehicle which has not yet been identified so the program must plan for the worst case environments over a range of orbital inclinations. We present results from a NASA and Air Force Charging Analyzer Program (NASCAP-2K) surface charging calculation used to evaluate the effects of charging on the spacecraft and to provide the charging levels at other locations in orbit for a thruster plume interaction analysis for the iSAT mission. We will then discuss results from the thruster interactions analysis using the Electric Propulsion Interactions Code (EPIC). The results of these analyses are being used by the iSAT program for a range of environments that could be encountered when the final mission orbit is selected.

  4. LifeSat - A satellite for space biological research

    NASA Technical Reports Server (NTRS)

    Halstead, Thora W.; Morey-Holton, Emily R.

    1990-01-01

    The LifeSat Program addresses the need for continuing access by biological scientists to space experimentation by accommodating a wide range of experiments involving animals and plants for durations up to 60 days in an unmanned satellite. The program will encourage interdisciplinary and international cooperation at both the agency and scientist levels, and will provide a recoverable, reusable facility for low-cost missions addressing key scientific issues that can only be answered by space experimentation. It will provide opportunities for research in gravitational biology and on the effects of cosmic radiation on life systems. The scientific aspects of LifeSat are addressed here.

  5. Radiation Tolerant, FPGA-Based SmallSat Computer System

    NASA Technical Reports Server (NTRS)

    LaMeres, Brock J.; Crum, Gary A.; Martinez, Andres; Petro, Andrew

    2015-01-01

    The Radiation Tolerant, FPGA-based SmallSat Computer System (RadSat) computing platform exploits a commercial off-the-shelf (COTS) Field Programmable Gate Array (FPGA) with real-time partial reconfiguration to provide increased performance, power efficiency and radiation tolerance at a fraction of the cost of existing radiation hardened computing solutions. This technology is ideal for small spacecraft that require state-of-the-art on-board processing in harsh radiation environments but where using radiation hardened processors is cost prohibitive.

  6. Mars Moons Prospector Mission with CubeSats

    NASA Astrophysics Data System (ADS)

    Udrea, Bogdan; Nayak, Mikey; Allen, Brett; Bourke, Justin; Casariego, Gabriela; Gosselin, Steven; Hiester, Evan; Maier, Margaret; Melchert, Jeanmarie; Patel, Chitrang; Reis, Leslie; Smith, Gregory; Snow, Travis; Williams, Sarah; Franquiz, Francsico

    2015-04-01

    The preliminary design of a low-cost Discovery class mission for prospecting Mars moons Phobos and Deimos is undertaken as capstone senior design class in spacecraft design. The mission design is centred on a mothership that carries a dozen of 12U CubeSats, each of 22x22x34cm in size and 24kg in mass. The mothership is equipped with a set of instruments for the investigation of regolith samples, similar to those with identical functions on the Curiosity and the Mars 2020 rovers. The mothership also serves as a telecommunication hub with Earth. Six of the CubeSats have the role of touching down and picking up soil samples for delivery to the mothership for analysis and the six have the role of visually inspecting the moon at close proximity in visible and near and mid infrared light and deploying instruments on the surface of the moons. A suite of miniaturized instruments are investigated for deployment on the CubeSats. The CubeSats are designed to dock with the mothership to be refueled and they heavily leverage the design of the ARAPAIMA (www.eraucubesat.org) proximity operations 6U CubeSat currently in development at ERAU for the Air Force University Nanosatellite Program. The concept of operations envisions the launch of the mothership as a primary payload on a Mars transfer trajectory. After performing a Mars capture maneuver the mothership undertakes autonomous aerobraking to achieve a highly elliptic orbit with the apoapsis at Deimos altitude of 23,460km. Further maneuvering places the mothership in a relative orbit about Deimos from which the CubeSats are deployed. Once the investigation of Deimos is completed the mothership retrieves its CubeSats and maneuver to achieve a relative orbit about Phobos. An investigation similar to that of Deimos is performed. If the mass margins allow it then an extended mission will attempt to confirm the presence of a dust ring between Phobos and Deimos and conduct multi-point atmospheric investigations with supplemental 3U

  7. Integrated Solar-Panel Antenna Array for CubeSats

    NASA Technical Reports Server (NTRS)

    Baktur, Reyhan

    2016-01-01

    The goal of the Integrated Solar-Panel Antenna Array for CubeSats (ISAAC) project is to design and demonstrate an effective and efficien toptically transparent, high-gain, lightweight, conformal X-band antenna array that is integrated with the solar panels of a CubeSat. The targeted demonstration is for a Near Earth Network (NEN)radio at X-band, but the design can be easilyscaled to other network radios for higher frequencies. ISAAC is a less expensive and more flexible design for communication systemscompared to a deployed dish antenna or the existing integrated solar panel antenna design.

  8. Some results for k-SAT on trees

    NASA Astrophysics Data System (ADS)

    Sumedha; Krishnamurthy, Supriya

    2015-09-01

    Phase transitions in random k-SAT problems are connected to their computational complexity. While polynomical time algorithms are known to solve the problem for k = 2, for k ≥ 3 the problem is known to be NP-complete. Recently we have studied random k-SAT and many of its variants on regular infinite trees. We find that the solvability threshold for k = 2 matches the exact value of the threshold on regular random graphs. For higher k, the values are very close to those predicted using other techniques like cavity method.

  9. Preliminary analysis of a radiobiological experiment for LifeSat

    NASA Technical Reports Server (NTRS)

    Wilson, John W.; Townsend, Lawrence W.; Nealy, John E.; Hardy, Alva C.; Atwell, William; Schimmerling, Walter

    1991-01-01

    With the possibility of performing radiation life science experiments on a dedicated satellite (LifeSat) in space, a combined effort in radiation physics and radiation dosimetry, in addition to radiation biology, is clearly required to ensure that meaningful biological experiments can be performed. To better understand the relationship of these disciplines, some possible LifeSat missions are examined. As a trial biological system, tumorigenesis is considered in the Harderian gland of mice, a system of sufficient radiosensitivity for which relative biological effectiveness (RBE) is well defined by laboratory experiments.

  10. A New Assay for Determining Ganglioside Sialyltransferase Activities Lactosylceramide-2,3-Sialyltransferase (SAT I) and Monosialylganglioside-2,3-Sialyltransferase (SAT IV)

    PubMed Central

    Sun, Cynthia Q.; Hubl, Ulrike; Hoefakker, Petra; Vasudevamurthy, Madhusudan K.; Johnson, Keryn D.

    2014-01-01

    A new assay for the determination of lactosylceramide-2,3-sialyltransferase (SAT I, EC 2.4.99.9) and monosialoganglioside sialyltransferase (SAT IV, EC 2.4.99.2) is described. The assay utilised the commercially available fluorophore labelled sphingolipids, boron dipyrromethene difluoride (BODIPY) lactosylceramide (LacCer), and BODIPY-monosialotetrahexosylganglioside (GM1) as the acceptor substrates, for SAT I and SAT IV, respectively. HPLC coupled with fluorescence detection was used to analyse product formation. The analysis was performed in a quick and automated fashion. The assay showed good linearity for both BODIPY sphingolipids with a quantitative detection limit of 0.05 pmol. The high sensitivity enabled the detection of SAT I and SAT IV activities as low as 0.001 μU, at least 200 fold lower than that of most radiometric assays. This new assay was applied to the screening of SAT I and SAT IV activities in ovine and bovine organs (liver, heart, kidney, and spleen). The results provided evidence that young animals, such as calves, start to produce ganglioside sialyltransferases as early as 7 days after parturition and that levels change during maturation. Among the organs tested from a bovine source, spleen had the highest specific ganglioside sialyltransferase activity. Due to the organ size, the greatest total ganglioside sialyltransferase activities (SAT I and SAT IV) were detected in the liver of both bovine and ovine origin. PMID:24718572

  11. A new assay for determining ganglioside sialyltransferase activities lactosylceramide-2,3-sialyltransferase (SAT I) and monosialylganglioside-2,3-sialyltransferase (SAT IV).

    PubMed

    Sun, Cynthia Q; Hubl, Ulrike; Hoefakker, Petra; Vasudevamurthy, Madhusudan K; Johnson, Keryn D

    2014-01-01

    A new assay for the determination of lactosylceramide-2,3-sialyltransferase (SAT I, EC 2.4.99.9) and monosialoganglioside sialyltransferase (SAT IV, EC 2.4.99.2) is described. The assay utilised the commercially available fluorophore labelled sphingolipids, boron dipyrromethene difluoride (BODIPY) lactosylceramide (LacCer), and BODIPY-monosialotetrahexosylganglioside (GM1) as the acceptor substrates, for SAT I and SAT IV, respectively. HPLC coupled with fluorescence detection was used to analyse product formation. The analysis was performed in a quick and automated fashion. The assay showed good linearity for both BODIPY sphingolipids with a quantitative detection limit of 0.05 pmol. The high sensitivity enabled the detection of SAT I and SAT IV activities as low as 0.001 μU, at least 200 fold lower than that of most radiometric assays. This new assay was applied to the screening of SAT I and SAT IV activities in ovine and bovine organs (liver, heart, kidney, and spleen). The results provided evidence that young animals, such as calves, start to produce ganglioside sialyltransferases as early as 7 days after parturition and that levels change during maturation. Among the organs tested from a bovine source, spleen had the highest specific ganglioside sialyltransferase activity. Due to the organ size, the greatest total ganglioside sialyltransferase activities (SAT I and SAT IV) were detected in the liver of both bovine and ovine origin. PMID:24718572

  12. CryoSat Plus For Oceans: an ESA Project for CryoSat-2 Data Exploitation Over Ocean

    NASA Astrophysics Data System (ADS)

    Benveniste, J.; Cotton, D.; Clarizia, M.; Roca, M.; Gommenginger, C. P.; Naeije, M. C.; Labroue, S.; Picot, N.; Fernandes, J.; Andersen, O. B.; Cancet, M.; Dinardo, S.; Lucas, B. M.

    2012-12-01

    The ESA CryoSat-2 mission is the first space mission to carry a space-borne radar altimeter that is able to operate in the conventional pulsewidth-limited (LRM) mode and in the novel Synthetic Aperture Radar (SAR) mode. Although the prime objective of the Cryosat-2 mission is dedicated to monitoring land and marine ice, the SAR mode capability of the Cryosat-2 SIRAL altimeter also presents the possibility of demonstrating significant potential benefits of SAR altimetry for ocean applications, based on expected performance enhancements which include improved range precision and finer along track spatial resolution. With this scope in mind, the "CryoSat Plus for Oceans" (CP4O) Project, dedicated to the exploitation of CryoSat-2 Data over ocean, supported by the ESA STSE (Support To Science Element) programme, brings together an expert European consortium comprising: DTU Space, isardSAT, National Oceanography Centre , Noveltis, SatOC, Starlab, TU Delft, the University of Porto and CLS (supported by CNES),. The objectives of CP4O are: - to build a sound scientific basis for new scientific and operational applications of Cryosat-2 data over the open ocean, polar ocean, coastal seas and for sea-floor mapping. - to generate and evaluate new methods and products that will enable the full exploitation of the capabilities of the Cryosat-2 SIRAL altimeter , and extend their application beyond the initial mission objectives. - to ensure that the scientific return of the Cryosat-2 mission is maximised. In particular four themes will be addressed: -Open Ocean Altimetry: Combining GOCE Geoid Model with CryoSat Oceanographic LRM Products for the retrieval of CryoSat MSS/MDT model over open ocean surfaces and for analysis of mesoscale and large scale prominent open ocean features. Under this priority the project will also foster the exploitation of the finer resolution and higher SNR of novel CryoSat SAR Data to detect short spatial scale open ocean features. -High Resolution Polar

  13. Validity Comparison of PCAT and SAT in the Prediction of First-Year GPA

    ERIC Educational Resources Information Center

    Kotzan, Jeffrey A.; Entrekin, Durward N.

    1977-01-01

    University of Georgia pharmacy students were studied to determine whether (1) SAT factor scores related to a measure of pharmacy student performance as well as PCAT factor scores, and (2) a combination of PCAT factors, SAT factors, and other available applicant information improved the validity of the singular use of SAT or PCAT. (LBH)

  14. The Shrinking Black-White Gap on SAT II Achievement Tests.

    ERIC Educational Resources Information Center

    Journal of Blacks in Higher Education, 2002

    2002-01-01

    Recent research shows that the SAT II test is a much better predictor of college success than the standard SAT. In recent years, black students appear to be making progress in closing the racial scoring gap on the wide variety of academic subjects (particularly chemistry, world history, and biology) that are measured by the SAT II test. (SM)

  15. The Rise and Demise of the SAT: The University of California Generates Change for College Admissions

    ERIC Educational Resources Information Center

    Berger, Susan J.

    2012-01-01

    Over the past few months, news about the Scholastic Assessment Test (SAT) has made national headlines and not in a good way: "Large SAT Score Decline Shows Failure of No Child Left Behind and State High-Stakes Testing Strategy" (FairTest 2011); "Eshaghoff, Emory University Student, Allegedly Took SAT For Other Students" (Huffington Post 2011); and…

  16. The Effect of Personality Preferences on the 2005 Version of the SAT

    ERIC Educational Resources Information Center

    Burrs, Ashley

    2013-01-01

    Some researchers suggest the Scholastic Aptitude Test (SAT) is biased toward certain personality types. Extant literature lacked examination of personality constructs and their relationship with SAT scores of the newly revised SAT. The purpose of this study was two-fold. First, this study examined the relationship between the Sensing and Intuition…

  17. An Alternative Presentation of Incremental Validity: Discrepant SAT and HSGPA Performance

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Shaw, Emily J.; Kobrin, Jennifer L.

    2011-01-01

    This study examined discrepant high school grade point average (HSGPA) and SAT performance as measured by the difference between a student's standardized SAT composite score and standardized HSGPA. The SAT-HSGPA discrepancy measure was used to examine whether certain students are more likely to exhibit discrepant performance and in what direction.…

  18. A CubeSat for Calibrating Ground-Based and Sub-Orbital Millimeter-Wave Polarimeters (CalSat)

    NASA Astrophysics Data System (ADS)

    Johnson, Bradley R.; Vourch, Clement J.; Drysdale, Timothy D.; Kalman, Andrew; Fujikawa, Steve; Keating, Brian; Kaufman, Jon

    2015-10-01

    We describe a low-cost, open-access, CubeSat-based calibration instrument that is designed to support ground-based and sub-orbital experiments searching for various polarization signals in the cosmic microwave background (CMB). All modern CMB polarization experiments require a robust calibration program that will allow the effects of instrument-induced signals to be mitigated during data analysis. A bright, compact and linearly polarized astrophysical source with polarization properties known to adequate precision does not exist. Therefore, we designed a space-based millimeter-wave calibration instrument, called CalSat, to serve as an open-access calibrator, and this paper describes the results of our design study. The calibration source on board CalSat is composed of five “tones” with one each at 47.1, 80.0, 140, 249 and 309GHz. The five tones we chose are well matched to (i) the observation windows in the atmospheric transmittance spectra, (ii) the spectral bands commonly used in polarimeters by the CMB community and (iii) the Amateur Satellite Service bands in the Table of Frequency Allocations used by the Federal Communications Commission. CalSat would be placed in a polar orbit allowing visibility from observatories in the Northern Hemisphere, such as Mauna Kea in Hawaii and Summit Station in Greenland, and the Southern Hemisphere, such as the Atacama Desert in Chile and the South Pole. CalSat also would be observable by balloon-borne instruments launched from a range of locations around the world. This global visibility makes CalSat the only source that can be observed by all terrestrial and sub-orbital observatories, thereby providing a universal standard that permits comparison between experiments using appreciably different measurement approaches.

  19. Final Report - Certifying the Performance of Small Wind Turbines

    SciTech Connect

    Sherwood, Larry

    2015-08-28

    The Small Wind Certification Council (SWCC) created a successful accredited certification program for small and medium wind turbines using the funding from this grant. SWCC certifies small turbines (200 square meters of swept area or less) to the American Wind Energy Association (AWEA) Small Wind Turbine Performance and Safety Standard (AWEA Standard 9.1 – 2009). SWCC also certifies medium wind turbines to the International Electrical Commission (IEC) Power Performance Standard (IEC 61400-12-1) and Acoustic Performance Standard (IEC 61400-11).

  20. The Formal Semantics of PVS

    NASA Technical Reports Server (NTRS)

    Owre, Sam; Shankar, Natarajan

    1999-01-01

    A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.

  1. Formal verification of mathematical software

    NASA Technical Reports Server (NTRS)

    Sutherland, D.

    1984-01-01

    Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

  2. Malaria Early Warning: The MalarSat project

    NASA Astrophysics Data System (ADS)

    Roca, M.; Escorihuela, M. J.; Martínez, D.; Torrent, M.; Aponte, J.; Nunez, F.; Garcia, J.

    2009-04-01

    Malaria is one of the major public health challenges undermining development in the world. The aim of MalarSat Project is to provide a malaria risks infection maps at global scale using Earth Observation data to support and prevent epidemic episodes. The proposed service for creating malaria risk maps would be critically useful to improve the efficiency in insecticide programs, vaccine campaigns and the logistics epidemic treatment. Different teams have already carried out studies in order to exploit the use of Earth Observation (EO) data with epidemiology purposes. In the case of malaria risk maps, it has been shown that meteorological data is not sufficient to fulfill this objective. In particular being able to map the malaria mosquito habitat would increase the accuracy of risk maps. The malaria mosquitoes mainly reproduce in new water puddles of very reduced dimensions (about 1 meter wide). There is no instrument that could detect such small patches of water unless there are many of them spread in an area of several hundreds of meters. MalarSat aims at using the radar altimeter data from the EnviSat, RA-2, to try and build indicators of mosquitoes existence. This presentation will show the scientific objectives and principles of the MalarSat project.

  3. Project ELaNa and NASA's CubeSat Initiative

    NASA Technical Reports Server (NTRS)

    Skrobot, Garrett Lee

    2010-01-01

    This slide presentation reviews the NASA program to use expendable lift vehicles (ELVs) to launch nanosatellites for the purpose of enhancing educational research. The Education Launch of Nanosatellite (ELaNa) project, run out of the Launch Services Program is requesting proposals for CubeSat type payload to provide information that will aid or verify NASA Projects designs while providing higher educational research

  4. Smart Sat experiment for the L5 mission

    NASA Astrophysics Data System (ADS)

    Akioka, M.; Ohtaka, K.; Nagatsuma, T.; Miyake, W.; Goka, T.; Matsumoto, H.; Koshiishi, H.

    We have proposed the L5 mission for space weather research and operational forecasting experiment. The spacecraft will be deployed at the L5 Point of the Sun - Earth system for remote sensing of the Sun and the interplanetary space and for in situ measurement of the solar wind plasma and high energy solar particle event. For the L5 mission, CRL and JAXA develop wide field imager for CME tracking and advanced high energy particle sensor. We plan orbital demonstration in near earth orbit before the L5 mission as the Smart Sat program. The Smart Sat is a pair of small satellites about 150Kg, which will be a collaborative program of government agency (CRL,JAXA) and private sector (MHI) in Japan. The space weather experiment of the Smart Sat consists of Wide field imager for CME tracking (WCI) and Space Environment Data Acquisition equipment (SEDA). Both of the instruments will be principal components of the L5 mission. In this article, we report an overview of the space weather experiment of Smart Sat program.

  5. Analysis of WindSat Data over Arctic Sea Ice

    Technology Transfer Automated Retrieval System (TEKTRAN)

    The radiation of the 3rd and 4th Stokes components emitted by Arctic sea ice and observed by the spaceborne fully polarimetric radiometer WindSat is investigated. Two types of analysis are carried out, spatial (maps of different quadrants of azimuth look angles) and temporal (time series of daily av...

  6. WindSat Global Soil Moisture Retrieval and Validation

    Technology Transfer Automated Retrieval System (TEKTRAN)

    A physically based six-channel land algorithm is developed to simultaneously retrieve the global soil moisture, vegetation water content and land surface temperature. The algorithm is based on a maximum-likelihood estimation and uses WindSat passive microwave data at 10, 18.7 and 37 GHz. The global ...

  7. WindSat Passive Microwave Soil Moisture Retrievals

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Technical Abstract: WindSat is a spaceborne fully polarimetric conical scanning microwave radiometer. It operates at frequencies and polarizations that match other radiometers such as the Advanced Microwave Scanning Radiometer (AMSR-E) and in addition it acquires additional polarimetric measurements...

  8. Student Change, Program Change: Why SAT Scores Kept Falling.

    ERIC Educational Resources Information Center

    Turnbull, William W.

    This paper analyzes Scholastic Aptitude Test (SAT) score declines of two decades--the 1960s and 1970s. The importance of pervasive societal influences is accepted. A variety of data suggests, however, that the increase in school retention rates of poorly prepared students and the resulting heterogeneity of the high school population is a unifying…

  9. Patterns of SAT Scores, Choice of STEM Major, and Gender

    ERIC Educational Resources Information Center

    Davison, Mark L.; Jew, Gilbert B.; Davenport, Ernest C., Jr.

    2014-01-01

    Using Baccalaureate and Beyond 2001 data, we found that STEM major was associated with an SAT pattern less common among females than males, in which the student's quantitative score exceeded the verbal score. Verbal ability was negatively associated with STEM major. Implications for career theory and test interpretation are discussed.

  10. CloudSat Reflectivity Data Visualization Inside Hurricanes

    NASA Technical Reports Server (NTRS)

    Suzuki, Shigeru; Wright, John R.; Falcon, Pedro C.

    2011-01-01

    We have presented methods to rapidly produce visualization and outreach products from CloudSat data for science and the media These methods combine data from several sources in the product generation process In general, the process can be completely automatic, producing products and notifying potential users

  11. S.A.T. Drop: Let's Ban the Bomb Theory.

    ERIC Educational Resources Information Center

    American School Board Journal, 1983

    1983-01-01

    Questions radiological physicist Ernest J. Sternglass's theory that links falling Scholastic Aptitude Test (SAT) scores in the 1960s and '70s to nuclear weapons testing in the late '40s, the '50s, and early '60s. Notes other scientists' contention that Sternglass's theory only establishes a correlation, not a cause and effect relationship. (JBM)

  12. Interpreting Force Concept Inventory Scores: Normalized Gain and SAT Scores

    ERIC Educational Resources Information Center

    Coletta, Vincent P.; Phillips, Jeffrey A.; Steinert, Jeffrey J.

    2007-01-01

    Preinstruction SAT scores and normalized gains (G) on the force concept inventory (FCI) were examined for individual students in interactive engagement (IE) courses in introductory mechanics at one high school (N=335) and one university (N=292), and strong, positive correlations were found for both populations (r=0.57 and r=0.46, respectively).…

  13. The COLD-SAT experiment for cryogenic fluid management technology

    NASA Technical Reports Server (NTRS)

    Schuster, J. R.; Wachter, J. P.; Vento, D. M.

    1990-01-01

    The COLD-SAT spacecraft design experiments are described. COLD-SAT will be placed into an initial 1300 km circular orbit by an Atlas commercial launch vehicle. Electric power, experiment control and data management, attitude control, and propulsive accelarations for the experiments will be provided by the three-axis-controlled spacecraft bus. To provide data on the effects that low gravity levels might have on the heat and mass transfer processes involved, low levels of accelaration will be created. The COLD-SAT experiment will be configured into a module. The spacecraft experiment module will include three liquid hydrogen tanks; fluid transfer, pressurization and venting equipment; and instrumentation. Since the largest tank has helium-purged MLI to prevent ingress and freezing of air on the launchpad, it will contain all the liquid hydrogen at the point of launching. The hydrogen tanking system used for the Centaur upper stage of the Atlas will load and top off this tank. Atlas, with its liquid hydrogen upper stage, large payload fairing, and large launch margin, simplifies COLD-SAT design and integration.

  14. A Better SAT Starts with a Better College Board

    ERIC Educational Resources Information Center

    Katzman, John

    2014-01-01

    It is so easy to criticize the SAT that most observers overlook the weaknesses of its architect, the College Board. This author contents that, until the latter is replaced, however, the former will never be fixed. The College Board has every incentive to create a complex, stressful, expensive college admissions system. Because it is accountable to…

  15. Improving Plan Quality in SAT-Based Planning

    NASA Astrophysics Data System (ADS)

    Giunchiglia, Enrico; Maratea, Marco

    Planning as Satisfiability (SAT) is the best approach for optimally (wrt makespan) solving classical planning problems. SAT-based planners, like SATPLAN, can thus return plans having minimal makespan guaranteed. However, the returned plan does not take into account plan quality issues introduced in the last two International Planning Competitions (IPCs): such issues include minimal-actions plans and plans with "soft" goals, where a metric has to be optimized over actions/goals. Recently, an approach to address such issues has been presented, in the framework of planning as satisfiability with preferences: by modifying the heuristic of the underlying SAT solver, the related system (called SATPLAN(P)) is guaranteed to return plans with minimal number of actions, or with maximal number of soft goals satisfied. But, besides such feature, it is well-known that introducing ordering in SAT heuristics can lead to significant degradation in performances. In this paper, we present a generate-and-test approach to tackle the problem of dealing with such optimization issues: without imposing any ordering, a (candidate optimal) plan is first generated, and then a constraint is added imposing that the new plan (if any) has to be "better" than the last computed, i.e., the plan quality is increased at each iteration. We implemented this idea in SATPLAN, and compared the resulting systems wrt SATPLAN(P) and SGPlan on planning problems coming from IPCs. The analysis shows performance benefits for the new approach, in particular on planning problems with many preferences.

  16. Behind the SAT-Optional Movement: Context and Controversy

    ERIC Educational Resources Information Center

    Epstein, Jonathan P.

    2009-01-01

    The advent of the modern form of the Scholastic Aptitude Test (SAT), brought to bear by the combination of the Educational Testing Service (ETS) and Harvard's former president James Bryant Conant (Lemann 1999), was designed to promote the recognition of talent and intellect, wherever they may be found. Their aim was to provide greater educational…

  17. FalconSAT-7: a membrane space telescope

    NASA Astrophysics Data System (ADS)

    Andersen, Geoff P.; Asmolova, Olha

    2014-08-01

    The USAF Academy Department of Physics has built FalconSAT-7, a membrane solar telescope to be deployed from a 3U CubeSat in LEO. The primary optic is a 0.2m photon sieve - a diffractive element consisting of billions of tiny circular dimples etched into a Kapton sheet. The membrane, its support structure, secondary optics, two imaging cameras and associated control/recording electronics are all packaged within half the CubeSat volume. Once in space, the supporting pantograph structure is deployed, extending out and pulling the membrane flat under tension. The telescope will then be directed at the Sun to gather images at H-alpha for transmission to the ground. Due for launch in 2015, FalconSAT-7 will serve as a pathfinder for future surveillance missions consisting of a 0.3m aperture deployed from a 12U satellite. Such a telescope would be capable of providing sub-meter resolution of ground-based objects.

  18. Two Professors Retake the SAT: Is It a Good Test?

    ERIC Educational Resources Information Center

    Harper, Christopher; Vanderbei, Robert J.

    2009-01-01

    In this article, two professors retake the college-entrance exam and arrive at very different conclusions about its performance. Even though Christopher Harper has worked as a college professor for 15 years, he decided last winter to take the SAT and ACT examinations that his students needed to enter the institution where he teaches, Temple…

  19. WindSat Soil Moisture Algorithm and Validation

    Technology Transfer Automated Retrieval System (TEKTRAN)

    A WindSat land algorithm that retrieves global soil moisture and vegetation water content simultaneously using the physically-based multi-channel maximum-likelihood estimation was developed and evaluated. The retrievals agree well with soil moisture climatology, and in-situ data collected from a ser...

  20. X-Band CubeSat Communication System Demonstration

    NASA Technical Reports Server (NTRS)

    Altunc, Serhat; Kegege, Obadiah; Bundick, Steve; Shaw, Harry; Schaire, Scott; Bussey, George; Crum, Gary; Burke, Jacob C.; Palo, Scott; O'Conor, Darren

    2015-01-01

    Today's CubeSats mostly operate their communications at UHF- and S-band frequencies. UHF band is presently crowded, thus downlink communications are at lower data rates due to bandwidth limitations and are unreliable due to interference. This research presents an end-to-end robust, innovative, compact, efficient and low cost S-band uplink and X-band downlink CubeSat communication system demonstration between a balloon and a Near Earth Network (NEN) ground system. Since communication systems serve as umbilical cords for space missions, demonstration of this X-band communication system is critical for successfully supporting current and future CubeSat communication needs. This research has three main objectives. The first objective is to design, simulate, and test a CubeSat S- and X-band communication system. Satellite Tool Kit (STK) dynamic link budget calculations and HFSS Simulations and modeling results have been used to trade the merit of various designs for small satellite applications. S- and X-band antennas have been tested in the compact antenna test range at Goddard Space Flight Center (GSFC) to gather radiation pattern data. The second objective is simulate and test a CubeSat compatible X-band communication system at 12.5Mbps including S-band antennas, X-band antennas, Laboratory for Atmospheric and Space Physics (LASP) /GSFC transmitter and an S-band receiver from TRL-5 to TRL-8 by the end of this effort. Different X-band communication system components (antennas, diplexers, etc.) from GSFC, other NASA centers, universities, and private companies have been investigated and traded, and a complete component list for the communication system baseline has been developed by performing analytical and numerical analysis. This objective also includes running simulations and performing trades between different X-band antenna systems to optimize communication system performance. The final objective is to perform an end-to-end X-band CubeSat communication system

  1. Shields-1, A SmallSat Radiation Shielding Technology Demonstration

    NASA Technical Reports Server (NTRS)

    Thomsen, D. Laurence, III; Kim, Wousik; Cutler, James W.

    2015-01-01

    The NASA Langley Research Center Shields CubeSat initiative is to develop a configurable platform that would allow lower cost access to Space for materials durability experiments, and to foster a pathway for both emerging and commercial-off-the-shelf (COTS) radiation shielding technologies to gain spaceflight heritage in a relevant environment. The Shields-1 will be Langleys' first CubeSat platform to carry out this mission. Radiation shielding tests on Shields-1 are planned for the expected severe radiation environment in a geotransfer orbit (GTO), where advertised commercial rideshare opportunities and CubeSat missions exist, such as Exploration Mission 1 (EM-1). To meet this objective, atomic number (Z) graded radiation shields (Zshields) have been developed. The Z-shield properties have been estimated, using the Space Environment Information System (SPENVIS) radiation shielding computational modeling, to have 30% increased shielding effectiveness of electrons, at half the thickness of a corresponding single layer of aluminum. The Shields-1 research payload will be made with the Z-graded radiation shields of varying thicknesses to create dose-depth curves to be compared with baseline materials. Additionally, Shields-1 demonstrates an engineered Z-grade radiation shielding vault protecting the systems' electronic boards. The radiation shielding materials' performances will be characterized using total ionizing dose sensors. Completion of these experiments is expected to raise the technology readiness levels (TRLs) of the tested atomic number (Z) graded materials. The most significant contribution of the Z-shields for the SmallSat community will be that it enables cost effective shielding for small satellite systems, with significant volume constraints, while increasing the operational lifetime of ionizing radiation sensitive components. These results are anticipated to increase the development of CubeSat hardware design for increased mission lifetimes, and enable

  2. Spacecraft Charging Analysis of a CubeSat

    NASA Technical Reports Server (NTRS)

    Willis, Emily M.; Minow, Joseph I.; Parker, Linda Neergaard

    2014-01-01

    Spacecraft charging occurs when charged particles from the surrounding space plasma environment contact a spacecraft and unequal charging currents result in a net charge density accumulation on or in spacecraft materials. Charging becomes a threat when differential potentials between two points on the spacecraft or between the spacecraft and the ambient space environment build to the level that electric fields associated with the potentials exceed the electric breakdown strength of the spacecraft materials and electrostatic discharge arcs are generated. Electrostatic discharges resulting from spacecraft charging can adversely affect telemetry and cause irreparable damage to electronics. Other spacecraft charging effects include damage of solar arrays and thermal protection, enhancement of contamination of surfaces, and degradation of optics. Typically, the large government and commercial space programs include spacecraft charging analysis as part of the design process. CubeSat projects, however, usually do not have the time or funding to include a spacecraft charging analysis due to their low budget and quick-turnaround requirements. CubeSat projects also tend to rely heavily on commercial "off-the-shelf" products, many of which are not qualified for use in space, and are particularly vulnerable to the effects of the space environment. As the demand for longer and more complex CubeSat missions increases, it is becoming more and more important to consider the effects of spacecraft charging in the design process. Results of surface charging analysis using Nascap-2k on a typical CubeSat design for a polar orbit scenario are illustrated. These results show that for a polar orbiting CubeSat, spacecraft charging could be an issue and steps should be taken to mitigate the effects for these small satellites.

  3. CloudSat Anomaly Recovery and Operational Lessons Learned

    NASA Technical Reports Server (NTRS)

    Witkowski, Mona; Vane, Deborah; Livermore, Thomas; Rokey, Mark; Barthuli, Marda; Gravseth, Ian J.; Pieper, Brian; Rodzinak, Aaron; Silva, Steve; Woznick, Paul; Nayak, Michael

    2012-01-01

    In April 2011, NASA's pioneering cloud profiling radar satellite, CloudSat, experienced a battery anomaly that placed it into emergency mode and rendered it operations incapable. All initial attempts to recover the spacecraft failed as the resultant power limitations could not support even the lowest power mode. Originally part of a six-satellite constellation known as the "A-Train", CloudSat was unable to stay within its assigned control box, posing a threat to other A-Train satellites. CloudSat needed to exit the constellation, but with the tenuous power profile, conducting maneuvers was very risky. The team was able to execute a complex sequence of operations which recovered control, conducted an orbit lower maneuver, and returned the satellite to safe mode, within one 65 minute sunlit period. During the course of the anomaly recovery, the team developed several bold, innovative operational strategies. Details of the investigation into the root-cause and the multiple approaches to revive CloudSat are examined. Satellite communication and commanding during the anomaly are presented. A radical new system of "Daylight Only Operations" (DO-OP) was developed, which cycles the payload and subsystem components off in tune with earth eclipse entry and exit in order to maintain positive power and thermal profiles. The scientific methodology and operational results behind the graduated testing and ramp-up to DO-OP are analyzed. In November 2011, the CloudSat team successfully restored the vehicle to consistent operational collection of cloud radar data during sunlit portions of the orbit. Lessons learned throughout the six-month return-to-operations recovery effort are discussed and offered for application to other R&D satellites, in the context of on-orbit anomaly resolution efforts.

  4. Interpreting force concept inventory scores: Normalized gain and SAT scores

    NASA Astrophysics Data System (ADS)

    Coletta, Vincent P.; Phillips, Jeffrey A.; Steinert, Jeffrey J.

    2007-06-01

    Preinstruction SAT scores and normalized gains (G) on the force concept inventory (FCI) were examined for individual students in interactive engagement (IE) courses in introductory mechanics at one high school (N=335) and one university (N=292) , and strong, positive correlations were found for both populations ( r=0.57 and r=0.46 , respectively). These correlations are likely due to the importance of cognitive skills and abstract reasoning in learning physics. The larger correlation coefficient for the high school population may be a result of the much shorter time interval between taking the SAT and studying mechanics, because the SAT may provide a more current measure of abilities when high school students begin the study of mechanics than it does for college students, who begin mechanics years after the test is taken. In prior research a strong correlation between FCI G and scores on Lawson’s Classroom Test of Scientific Reasoning for students from the same two schools was observed. Our results suggest that, when interpreting class average normalized FCI gains and comparing different classes, it is important to take into account the variation of students’ cognitive skills, as measured either by the SAT or by Lawson’s test. While Lawson’s test is not commonly given to students in most introductory mechanics courses, SAT scores provide a readily available alternative means of taking account of students’ reasoning abilities. Knowing the students’ cognitive level before instruction also allows one to alter instruction or to use an intervention designed to improve students’ cognitive level.

  5. A Formalization of Student Modeling.

    ERIC Educational Resources Information Center

    Danna, Frederic; Sebillot, Pascale

    1997-01-01

    Focuses on student modeling within an Intelligent Tutoring System. Describes three domain-independent properties that the formalism representing student knowledge and the processes synthesizing this knowledge must possess to build accurate student models for second-language learning. Notes when, how, and where hypothetical reasoning mechanisms…

  6. Chao Formalism & Kondratenko Crossing Tests

    NASA Astrophysics Data System (ADS)

    Raymond, R. S.; Chao, A. W.; Krisch, A. D.; Leonova, M. A.; Morozov, V. S.; Sivers, D. W.; Wong, V. K.; Gebel, R.; Lehrach, A.; Lorentz, B.; Maier, R.; Prasuhn, D.; Schnase, A.; Stockhorst, H.; Hinterberger, F.; Ulbrich, K.; Kondratenko, A. M.

    2007-06-01

    We recently started testing Chao's proposed new matrix formalism for describing the spin dynamics due to a single spin resonance; this seems to be the first generalization of the Froissart-Stora equation since it was published in 1960. The Chao matrix formalism allows one to calculate analytically the polarization's behavior inside a resonance, which is not possible using the Froissart-Stora equation. We recently tested some Chao formalism predictions using a 1.85 GeV/c polarized deuteron beam stored in COSY. We swept an rf dipole's frequency through 200 Hz while varying the distance from the sweep's end frequency to an rf-induced spin resonance's central frequency. While the Froissart-Stora formula can make no prediction in this case, the data seem to support the Chao formalism. We also started investigating the new Kondratenko method to preserve beam polarization during a spin resonance crossing; the method uses 3 rapid changes of the crossing rate near the resonance. With a proper choice of crossing parameters, Kondratenko Crossing may better preserve the polarization than simple fast crossing. We tested Kondratenko's idea using 2.1 GeV/c polarized protons stored in COSY; the frequency of a ferrite rf dipole was swept though an rf-induced spin resonance using Kondratenko's crossing shape. We have not yet observed a significant advantage of Kondratenko Crossing over simple fast crossing. We plan to study it further by choosing better crossing parameters and a smaller momentum spread.

  7. 40 CFR 85.1407 - Notification of intent to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 18 2010-07-01 2010-07-01 false Notification of intent to certify. 85.1407 Section 85.1407 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Urban Bus Rebuild Requirements §...

  8. Injury and Illness Costs in the Certified Safe Farm Study

    ERIC Educational Resources Information Center

    Donham, Kelley J.; Rautiainen, Risto H.; Lange, Jeffrey L.; Schneiders, Sara

    2007-01-01

    Context: The Certified Safe Farm (CSF) intervention program aims to reduce occupational injuries and illnesses, and promote wellness to reduce health care and related costs to farmers, insurers, and other stakeholders. Purpose: To evaluate the cost effectiveness of CSF. Methods: Farms (316) located in a 9-county area of northwestern Iowa were…

  9. Job Satisfaction of Certified Nurse Midwives: An Examination

    ERIC Educational Resources Information Center

    Hampton, Gerald M.; Peterson, Robin T.

    2012-01-01

    Health care providers face pressure to reduce costs and enhance patient satisfaction. One approach is to employ primary care providers such as nurse practitioners, physician assistants, and certified nurse midwives. Since there is a positive relationship between job satisfaction and patient satisfaction, positive job satisfaction on the part of…

  10. Impact on Student Learning: National Board Certified Teachers' Perceptions

    ERIC Educational Resources Information Center

    Petty, Teresa M.; Good, Amy J.; Handler, Laura K.

    2016-01-01

    The purpose of this study is to report National Board Certified Teachers' (NBCTs) perceived impact on student learning. The guiding research question for this study, "How do teachers perceive the influence of the National Board Certification process on student learning in their own classrooms?" was explored. A total of 496 NBCTs…

  11. 31 CFR 353.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... States, or the Commonwealth of Puerto Rico. (ii) Any officer of a trust company incorporated in the... employee expressly authorized to certify by an institution must sign his or her name over the title... organization, not a bank or a trust company, that is qualified as an issuing agent for bonds of Series EE....

  12. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 23 2012-07-01 2012-07-01 false When Administrator certifies. 121.21 Section 121.21 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS STATE CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator...

  13. 49 CFR 655.83 - Requirement to certify compliance.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... noncompliance by FTA may lead to the suspension of eligibility for Federal public transportation funding. ... 49 Transportation 7 2010-10-01 2010-10-01 false Requirement to certify compliance. 655.83 Section 655.83 Transportation Other Regulations Relating to Transportation (Continued) FEDERAL...

  14. 36 CFR 1254.64 - Will NARA certify copies?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Will NARA certify copies? 1254.64 Section 1254.64 Parks, Forests, and Public Property NATIONAL ARCHIVES AND RECORDS ADMINISTRATION PUBLIC AVAILABILITY AND USE USING RECORDS AND DONATED HISTORICAL MATERIALS Copying...

  15. 19 CFR 115.9 - Certifying Authorities responsibilities-containers.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... may be approved for transport under seal by design type at the manufacturing stage or, otherwise, at a stage subsequent to manufacture. (b) Design type approval. The Certifying Authority to whom a container is submitted for design type approval shall examine the drawings and detailed design...

  16. 76 FR 28403 - National Registry of Certified Medical Examiners

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-17

    ... of a National Registry of Certified Medical Examiners (National Registry), 73 FR 73129. The National... medical examiners about FMCSA's physical qualification standards. See 73 FR 73132-33. However, the Agency... Register published on January 17, 2008 (73 FR 3316) at...

  17. 33 CFR 159.17 - Changes to certified devices.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 33 Navigation and Navigable Waters 2 2010-07-01 2010-07-01 false Changes to certified devices. 159.17 Section 159.17 Navigation and Navigable Waters COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) POLLUTION MARINE SANITATION DEVICES Certification Procedures § 159.17 Changes to...

  18. Importance of Addressing Sexuality in Certified Rehabilitation Counselor Practice

    ERIC Educational Resources Information Center

    Kazukauskas, Kelly A.; Lam, Chow S.

    2009-01-01

    This study investigated Certified Rehabilitation Counselors' (CRCs) beliefs about the importance of addressing sexuality issues during rehabilitation. A modified version of the Family Life Sex Education Goals Questionnaire (FLSEGQ) was completed by 199 CRCs to determine which issues CRCs believe are most important to address. Six sexuality-related…

  19. Medicaid Certified School Match Program: Nursing Services. Technical Assistance Paper.

    ERIC Educational Resources Information Center

    Florida State Dept. of Education, Tallahassee. Bureau of Instructional Support and Community Services.

    This paper addresses issues related to Medicaid-reimbursable nursing services covered under the Florida Medicaid Certified School Match Program and the federal Medicare Catastrophic Coverage Act in coordination with the Individuals with Disabilities Education Act. Following a brief section providing background information, 23 questions and answers…

  20. 14 CFR 1217.103 - Authority to certify.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 5 2010-01-01 2010-01-01 false Authority to certify. 1217.103 Section 1217.103 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION DUTY-FREE ENTRY OF SPACE... certification to the Commissioner of Customs required for the duty-free entry of space articles pursuant...

  1. 20 CFR 410.563 - Liability of a certifying officer.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false Liability of a certifying officer. 410.563 Section 410.563 Employees' Benefits SOCIAL SECURITY ADMINISTRATION FEDERAL COAL MINE HEALTH AND SAFETY ACT OF 1969, TITLE IV-BLACK LUNG BENEFITS (1969- ) Payment of Benefits § 410.563 Liability of...

  2. Becoming a National Board Certified Teacher: One Teacher's Perspective

    ERIC Educational Resources Information Center

    Burns, John

    2007-01-01

    Reflecting on one's practice, whether it is a conversation with a single student, a lesson, or a unit plan, is the surest way for a teacher to improve. Going through the process of becoming a National Board Certified Teacher (NBCT) is a journey of reflective practice. The National Board of Professional Teaching Standards (NBPTS) is a nonprofit,…

  3. 14 CFR 1217.103 - Authority to certify.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 5 2011-01-01 2010-01-01 true Authority to certify. 1217.103 Section 1217... for certification should be sent to: Office of Procurement, Attn: HK/Director, Contract Management... United States pursuant to international agreements. Requests for certification should be sent to:...

  4. 20 CFR 410.563 - Liability of a certifying officer.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 20 Employees' Benefits 2 2011-04-01 2011-04-01 false Liability of a certifying officer. 410.563 Section 410.563 Employees' Benefits SOCIAL SECURITY ADMINISTRATION FEDERAL COAL MINE HEALTH AND SAFETY ACT OF 1969, TITLE IV-BLACK LUNG BENEFITS (1969- ) Payment of Benefits § 410.563 Liability of...

  5. The Effectiveness of National Board Certified Teachers: Policy Implications

    ERIC Educational Resources Information Center

    Okpala, Comfort O.; James, Ioney; Hopson, Linda

    2009-01-01

    In this mixed-method research study, data from public school personnel were used to determine the professional preparation of teachers through the National Board Certification process. The major goals of the study were to (a) analyze the perceptions of public school principals on the effectiveness of National Board certified teachers, (b) analyze…

  6. Barriers to Research Utilization by Certified Registered Nurse Anesthetists

    ERIC Educational Resources Information Center

    Palmer, Timothy J.

    2013-01-01

    At present, no documentation pertaining to the factors influencing utilization of research into clinical practice by Certified Registered Nurse Anesthetists (CRNAs) exists. An investigation was undertaken to determine perceptions of CRNAs regarding factors within the context of the work setting, which may serve to influence their utilization of…

  7. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Forms to be certified. 360.58 Section 360.58 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE FISCAL SERVICE REGULATIONS GOVERNING DEFINITIVE...

  8. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration. 70.203 Section 70.203 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures §...

  9. Integrating Graduate Coursework to Prepare Alternatively Certified Teachers

    ERIC Educational Resources Information Center

    Heineke, Amy J.; Preach, Deborah

    2013-01-01

    In this article, we describe our innovative work as teacher educators to integrate coursework for alternatively certified teachers. Rather than maintain boundaries among individual courses for new elementary teachers, explicit connections support first-year teachers professional learning and aid in the immediate application to classroom practice.…

  10. 77 FR 57641 - Tentative Decision That Certain Canadian-Certified

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-09-18

    ... do not comply with all applicable Federal motor vehicle safety standards (FMVSS), but that are certified by their original manufacturer as complying with all applicable Canadian motor vehicle safety... April 11, 2000 (65 FR 19477-78) or you may visit http://DocketInfo.dot.gov . Confidential...

  11. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... the costs of preparing any necessary Environmental Assessment (EA) or Environmental Impact Statement... information. In addition, OFP will have the authority to approve and modify any statement, analysis, and... 10 Energy 4 2011-01-01 2011-01-01 false Environmental requirements for certifying powerplants....

  12. 40 CFR 85.1407 - Notification of intent to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 19 2014-07-01 2014-07-01 false Notification of intent to certify. 85.1407 Section 85.1407 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Urban Bus Rebuild Requirements §...

  13. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  14. 20 CFR 403.155 - Does SSA certify records?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... authenticity of copies of records we disclose pursuant to 20 CFR parts 401 and 402, and this part. We will... certification are set forth in 20 CFR 402.165(e). ... 20 Employees' Benefits 2 2011-04-01 2011-04-01 false Does SSA certify records? 403.155 Section...

  15. 20 CFR 403.155 - Does SSA certify records?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... authenticity of copies of records we disclose pursuant to 20 CFR parts 401 and 402, and this part. We will... certification are set forth in 20 CFR 402.165(e). ... 20 Employees' Benefits 2 2013-04-01 2013-04-01 false Does SSA certify records? 403.155 Section...

  16. 19 CFR 115.7 - Designation of additional Certifying Authorities.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Designation of additional Certifying Authorities. 115.7 Section 115.7 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY CARGO CONTAINER AND ROAD VEHICLE CERTIFICATION PURSUANT TO INTERNATIONAL...

  17. 19 CFR 115.12 - Records maintained by Certifying Authority.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Records maintained by Certifying Authority. 115.12 Section 115.12 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY CARGO CONTAINER AND ROAD VEHICLE CERTIFICATION PURSUANT TO INTERNATIONAL...

  18. 19 CFR 115.9 - Certifying Authorities responsibilities-containers.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Certifying Authorities responsibilities-containers... requirements of part 1, Annex 7, TIR Convention, 1975, and Annex 4 of the Customs Convention on Containers... plate, as described in appendix 1 to part II, Annex 7 of the TIR Convention, 1975, and Annex 5 of...

  19. 19 CFR 115.9 - Certifying Authorities responsibilities-containers.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Certifying Authorities responsibilities-containers... requirements of part 1, Annex 7, TIR Convention, 1975, and Annex 4 of the Customs Convention on Containers... plate, as described in appendix 1 to part II, Annex 7 of the TIR Convention, 1975, and Annex 5 of...

  20. 19 CFR 115.9 - Certifying Authorities responsibilities-containers.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Certifying Authorities responsibilities-containers... requirements of part 1, Annex 7, TIR Convention, 1975, and Annex 4 of the Customs Convention on Containers... plate, as described in appendix 1 to part II, Annex 7 of the TIR Convention, 1975, and Annex 5 of...

  1. 19 CFR 115.9 - Certifying Authorities responsibilities-containers.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Certifying Authorities responsibilities-containers... requirements of part 1, Annex 7, TIR Convention, 1975, and Annex 4 of the Customs Convention on Containers... plate, as described in appendix 1 to part II, Annex 7 of the TIR Convention, 1975, and Annex 5 of...

  2. 40 CFR 94.11 - Requirements for rebuilding certified engines.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Requirements for rebuilding certified engines. 94.11 Section 94.11 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE COMPRESSION-IGNITION ENGINES General Provisions for Emission Regulations...

  3. Compatibility of OMRI certified surfactants with three entomopathogenic fungi

    Technology Transfer Automated Retrieval System (TEKTRAN)

    The Organic Materials Review Institute (OMRI) is a nonprofit organization providing an independent review of products intended for use in organic production systems to certify compliance with U.S. National organic standards. Since all adjuvants to be used in organic agriculture production are requir...

  4. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; maintenance and calibration. 90.203 Section 90.203 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF PNEUMOCONIOSIS Sampling Procedures §...

  5. 31 CFR 353.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Individuals authorized to certify. 353.55 Section 353.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING DEFINITIVE UNITED STATES SAVINGS BONDS, SERIES EE AND...

  6. 31 CFR 353.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Individuals authorized to certify. 353.55 Section 353.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING DEFINITIVE UNITED STATES SAVINGS BONDS, SERIES EE AND...

  7. 40 CFR 267.117 - How do I certify closure?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 26 2010-07-01 2010-07-01 false How do I certify closure? 267.117 Section 267.117 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) SOLID WASTES (CONTINUED) STANDARDS FOR OWNERS AND OPERATORS OF HAZARDOUS WASTE FACILITIES OPERATING UNDER A STANDARDIZED PERMIT Closure § 267.117 How do I...

  8. 77 FR 43535 - Grantee Codes for Certified Radiofrequency Equipment

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-07-25

    ...This document modifies the rules to remove the restriction that grantee codes must consist of only three characters. This action will permit the Commission to issue longer grantee codes, thus greatly increasing the supply of available codes and ensuring that it will continue to have new ones to assign to parties that wish to certify new...

  9. 7 CFR 205.665 - Noncompliance procedure for certifying agents.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Noncompliance procedure for certifying agents. 205.665 Section 205.665 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS...

  10. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Noncompliance procedure for certified operations. 205.662 Section 205.662 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT...

  11. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Investigation of certified operations. 205.661 Section 205.661 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL...

  12. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Investigation of certified operations. 205.661 Section 205.661 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL...

  13. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Noncompliance procedure for certified operations. 205.662 Section 205.662 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT...

  14. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false What has to be certified. 205.100 Section 205.100 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC...

  15. 7 CFR 205.665 - Noncompliance procedure for certifying agents.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Noncompliance procedure for certifying agents. 205.665 Section 205.665 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS...

  16. 7 CFR 205.103 - Recordkeeping by certified operations.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Recordkeeping by certified operations. 205.103 Section 205.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL...

  17. 78 FR 58567 - Criteria to Certify Coal Mine Rescue Teams

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-24

    ... From the Federal Register Online via the Government Publishing Office DEPARTMENT OF LABOR Mine Safety and Health Administration Criteria to Certify Coal Mine Rescue Teams AGENCY: Mine Safety and Health Administration, Labor. ACTION: Notice of availability; request for comments. SUMMARY: The...

  18. 78 FR 79010 - Criteria to Certify Coal Mine Rescue Teams

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-12-27

    ... training. MSHA published a notice in the Federal Register (78 FR 58567) announcing the availability of the... From the Federal Register Online via the Government Publishing Office DEPARTMENT OF LABOR Mine Safety and Health Administration Criteria to Certify Coal Mine Rescue Teams AGENCY: Mine Safety...

  19. 31 CFR 360.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Individuals authorized to certify. 360.55 Section 360.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... imprint of either the corporate seal of the institution or of the issuing or paying agent's stamp....

  20. Principal Certified Personnel: Do They Want the Job?

    ERIC Educational Resources Information Center

    Winter, Paul A.; Rinehart, James S.; Munoz, Marco A.

    America's public schools are facing a growing problem as the applicant pools for principal vacancies diminish. The purpose of this study was to assess principal certified personnel in a large school district to determine if they were interested in working in other capacities including their current jobs. A total of 251 persons were sent a mailed…

  1. Ambitwistor string theory in the operator formalism

    NASA Astrophysics Data System (ADS)

    Reid-Edwards, R. A.

    2016-06-01

    After a brief overview of the operator formalism for conventional string theory, an operator formalism for ambitwistor string theory is presented. It is shown how tree level supergravity scattering amplitudes are recovered in this formalism. More general applications of this formalism to loop amplitudes and the construction of an ambitwistor string field theory are briefly discussed.

  2. Scholastic Assessment Test (SAT) Results, 1997-98. Measuring Up: E&R Report No. 99.11.

    ERIC Educational Resources Information Center

    Fejoku, Caroline Gay

    The Scholastic Assessment Tests (SAT) are national examinations designed to assess a student's chances of success at the college level. There are two SAT examinations, the SAT I, a reasoning assessment of students' verbal and mathematics skills, and the SAT II, in which students are tested in specific subject areas. In Wake County (North…

  3. California and the SAT: A Reanalysis of University of California Admissions Data. Research & Occasional Paper Series: CSHE.8.04

    ERIC Educational Resources Information Center

    Zwick, Rebecca; Brown, Terran; Sklar, Jeffrey C.

    2004-01-01

    As part of the University of California's recent reconsideration of the role of the SAT in admissions, the UC Office of the President published an extensive report, "UC and the SAT" (2001), which examined the value of SAT I Reasoning Test scores, SAT II Subject Test scores, and high school grades in predicting the grade-point averages of UC…

  4. The Revised SAT Score and Its Potential Benefits for the Admission of Minority Students to Higher Education

    ERIC Educational Resources Information Center

    Santelices, Maria Veronica; Wilson, Mark

    2015-01-01

    This paper investigates the predictive validity of the Revised SAT (R-SAT) score, proposed by Freedle (2003) as an alternative to compensate minority students for the potential harm caused by the relationship between item difficulty and ethnic DIF observed in the SAT. The R-SAT score is the score minority students would have received if only the…

  5. SAT predicts GPA better for high ability subjects: Implications for Spearman's Law of Diminishing Returns.

    PubMed

    Coyle, Thomas; Snyder, Anissa; Pillow, David; Kochunov, Peter

    2011-04-01

    This research examined the predictive validity of the SAT (formerly, the Scholastic Aptitude Test) for high and low ability groups. SAT scores and college GPAs were obtained from the 1997 National Longitudinal Survey of Youth. Subjects were classified as high or low ability by g factor scores from the Armed Services Vocational Aptitude Battery. SAT correlations with GPA were higher for high than low ability subjects. SAT g loadings (i.e., SAT correlations with g) were equivalent for both groups. This is the first study to show that the predictive validity of the SAT varies for ability groups that differ in g. The results contradict a presumption, based on Spearman's Law of Diminishing Returns, that a test's predictive validity should be lower for high ability subjects. Further research is needed to identify factors that contribute to the predictive validity of the SAT for groups that differ in g. PMID:21562615

  6. A comparison of certified and noncertified pet foods.

    PubMed Central

    Brown, R G

    1997-01-01

    The market presents the buyer with a wide array of pet food choices. Marketing pet foods has changed in the last decade and today foods may be bought at a variety of outlets. The present study compares nutrient composition, digestibility, and effect on urine pH (cat foods only) of selected certified and noncertified pet foods from different outlets. The selected foods were considered analogous in terms of declared ingredients and macronutrient profiles. The analytical methods used were those of the Association of Official Analytical Chemists as described in the Pet Food Certification Protocol of the Canadian Veterinary Medical Association. The test foods were sampled 4 times from August 1994 to July 1995. Both certified and noncertified products met the nutritional requirements on a consistent basis, although 1 of the noncertified dog foods consistently failed to meet the zinc requirements. This same product also failed to meet the Canadian Veterinary Medical Association's standards for concentrations of protein, calcium, and phosphorus. One of the noncertified cat foods failed to meet the recommended calcium level. With the exception of fat digestion in 1 noncertified food, there were no statistically significant differences in major nutrient digestibility between certified and noncertified pet foods. There were some statistically significant differences in digestibility within both the certified and noncertified groups of foods. The practical significance of any of the statistical differences in digestibility is uncertain. Urine pH observed in cats fed noncertified test diets was variable, with some values greater than 7.0 as a maximum or 6.5 as an average. The general conclusion of this study was that the commonly available certified products were the nutritional equal of those foods that position themselves as "premium." PMID:9360790

  7. Secreted autotransporter toxin (Sat) triggers autophagy in epithelial cells that relies on cell detachment.

    PubMed

    Liévin-Le Moal, Vanessa; Comenge, Yannick; Ruby, Vincent; Amsellem, Raymonde; Nicolas, Valérie; Servin, Alain L

    2011-07-01

    The secreted autotransporter toxin, Sat, which belongs to the subfamily of serine protease autotransporters of Enterobacteriaceae, acts as a virulence factor in extraintestinal and intestinal pathogenic strains of Escherichia coli. We observed that HeLa cells exposed to the cell-free culture supernatant of recombinant strain AAEC185p(Sat-IH11128) producing the Sat toxin (CFCS(Sat) ), displayed dramatic disorganization of the F-actin cytoskeleton before loosening cell-to-cell junctions and detachment. Examination of the effect of Sat on GFP-microtubule-associated protein light chain 3 (LC3) HeLa cells revealed that CFCS(Sat) -induced autophagy follows CFCS(Sat) -induced F-actin cytoskeleton rearrangement. The induced autophagy shows an acceleration of the autophagy flux soon after Sat treatment, followed later by a blockade of the flux leading to the accumulation of large GFP-LC3-positive vacuoles in the cell cytoplasm. CFCS(Sat) did not induce cell detachment in autophagy-deficient mouse embryonic fibroblasts in contrast with wild-type mouse embryonic fibroblasts. The CFCS(Sat) -induced large GFP-LC3 dots do not display the characteristics of autophagolysosomes including expression of cathepsin D and Lamp-1 and 2 proteins, and Lysotracker Red- and DQ-BSA-positive labelling. We provide evidences that CFCS(Sat) -induced autophagy is not a cell response intended to get rid of the intracellular toxin. By a pharmacological blockers approach, we found that the blockade of Erk1/2 and p38 MAPKs, but not JNK, inhibited the CFCS(Sat) -induced autophagy and cell detachment whereas phosphatidylinositol-3 kinase blockers inhibiting canonical autophagy were inactive. When attached CFCS(Sat) -treated cells start to detach they showed caspase-independent cell death and rearrangements of the focal adhesion-associated vinculin and paxillin. Collectively, our results support that Sat triggers autophagy in epithelial cells that relies on its cell-detachment effect. PMID:21501364

  8. Improved Oceanographic Measurements with CryoSat SAR Altimetry

    NASA Astrophysics Data System (ADS)

    Cotton, David; Benveniste, Jérôme; Cipollini, Paolo; Andersen, Ole; Cancet, Mathilde; Ambrózio, Américo; Restano, Marco; Nilo Garcia, Pablo; Martin, Francisco

    2016-07-01

    The ESA CryoSat mission is the first space mission to carry a radar altimeter that can operate in Synthetic Aperture Radar "SAR" (or delay-Doppler) and interferometric SAR (SARin) modes. Studies on CryoSat data have analysed and confirmed the improved ocean measuring capability offered by SAR mode altimetry, through increased resolution and precision in sea surface height and wave height measurements, and have also added significantly to our understanding of the issues around the processing and interpretation of SAR altimeter echoes. We present work in four themes, building on work initiated in the CryoSat Plus for Oceans project (CP4O), each investigating different aspects of the opportunities offered by this new technology. The first two studies address the coastal zone, a critical region for providing a link between open-ocean and shelf sea measurements with those from coastal in-situ measurements, in particular tide gauges. Although much has been achieved in recent years through the Coastal Altimetry community, (http://www.coastalt.eu/community) there is a limit to the capabilities of pulse-limited altimetry, which often leaves an un-measured "white strip" right at the coastline. Firstly, a thorough analysis was made of the performance of "SAR" altimeter data (delay-Doppler processed) in the coastal zone. This quantified the performance, confirming the significant improvement over "conventional" pulse-limited altimetry. In the second study a processing scheme was developed with CryoSat SARin mode data to enable the retrieval of valid oceanographic measurements in coastal areas with complex topography. Thanks to further development of the algorithms, a new approach was achieved that can also be applied to SAR and conventional altimetry data (e.g., Sentinel-3, Jason series, Envisat). The third part of the project developed and evaluated improvements to the SAMOSA altimeter re-tracker that is implemented in the Sentinel-3 processing chain. The modifications to the

  9. Uncooled emissive infrared imagers for CubeSats

    NASA Astrophysics Data System (ADS)

    Puschell, Jeffery J.; Masini, Paolo

    2014-09-01

    Raytheon's fourth generation uncooled microbolometer array technology with digital output, High Definition (HD) 1920 × 1200 format and 12 μm cell size enables uncooled thermal infrared (TIR) multispectral imagers with the sensitivity and spatial sampling needed for a variety of Earth observation missions in LEO, GEO and HEO. A powerful combination of small detector cell size, fast optics and high sensitivity achieved without cryogenic cooling leads to instruments that are much smaller than current TIR systems, while still offering the capability to meet challenging measurement requirements for Earth observation missions. To consider how this technology could be implemented for Earth observation missions, we extend our previous studies with visible wavelength CubeSat imagers for environmental observations from LEO and examine whether small thermal infrared imagers based on fourth generation uncooled technology could be made small enough to fit onboard a 3U CubeSat and still meet challenging requirements for legacy missions. We found that moderate spatial resolution (~200 m) high sensitivity cloud and surface temperature observations meeting legacy MODIS/VIIRS requirements could be collected successfully with CubeSat-sized imagers but that multiple imagers are needed to cover the full swath for these missions. Higher spatial resolution land imagers are more challenging to fit into the CubeSat form factor, but it may be possible to do so for systems that require roughly 100 m spatial resolution. Regardless of whether it can fit into a CubeSat or not, uncooled land imagers meeting candidate TIR requirements can be implemented with a much smaller instrument than previous imagers. Even though this technology appears to be very promising, more work is needed to qualify this newly available uncooled infrared technology for use in space. If these new devices prove to be as space worthy as the first generation arrays that Raytheon qualified and built into the THEMIS imager

  10. Notoph gauge theory: Superfield formalism

    NASA Astrophysics Data System (ADS)

    Malik, R. P.

    2011-05-01

    We derive absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for the 4D free Abelian 2-form gauge theory by exploiting the superfield approach to BRST formalism. The antisymmetric tensor gauge field of the above theory was christened as the "notoph" (i.e. the opposite of "photon") gauge field by Ogievetsky and Palubarinov way back in 1966-67. We briefly outline the problems involved in obtaining the absolute anticonimutativity of the (anti-) BRST transformations and their resolution within the framework of geometrical superfield approach to BRST formalism. One of the highlights of our results is the emergence of a Curci-Ferrari type of restriction in the context of 4D Abelian 2-form (notoph) gauge theory which renders the nilpotent (anti-) BRST symmetries of the theory to be absolutely anticommutative in nature.

  11. Formal Analysis of Message Passing

    NASA Astrophysics Data System (ADS)

    Siegel, Stephen F.; Gopalakrishnan, Ganesh

    The message passing paradigm underlies many important families of programs - for instance programs in the area of high performance computing that support science and engineering research. Unfortunately, very few formal methods researchers are involved in developing formal analysis tools and techniques for message passing programs. This paper summarizes research being done in our groups in support of this area, specifically with respect to the Message Passing Interface. We emphasize the need for specialized varieties of many familiar notions such as deadlock detection, race analysis, symmetry analysis, partial order reduction, static analysis and symbolic reasoning support. Since these issues are harbingers of those being faced in multicore programming, the time is ripe to build a critical mass of researchers working in this area.

  12. Formal total synthesis of platencin.

    PubMed

    Varseev, Georgy N; Maier, Martin E

    2009-01-01

    The right bicycle: A concise formal synthesis of platencin was based on an efficient oxygen-mediated palladium-catalyzed cycloalkenylation of 1 to form a bicyclo[3.2.1]octane, and a deoxygenative rearrangement of tosylhydrazone 2 to construct the bicyclo[2.2.2]octane 3. The total yield of the core structure 4 of platencin was 17.5% for 13 steps from a commercially available compound. Ts = p-toluenesulfonyl, TBS = tert-butyldimethylsilyl, Piv = pivaloyl. PMID:19353600

  13. Formal Validation of Aerospace Software

    NASA Astrophysics Data System (ADS)

    Lesens, David; Moy, Yannick; Kanig, Johannes

    2013-08-01

    Any single error in critical software can have catastrophic consequences. Even though failures are usually not advertised, some software bugs have become famous, such as the error in the MIM-104 Patriot. For space systems, experience shows that software errors are a serious concern: more than half of all satellite failures from 2000 to 2003 involved software. To address this concern, this paper addresses the use of formal verification of software developed in Ada.

  14. Formalizing narratives using nested circumscription

    SciTech Connect

    Baral, C.; Gabaldon, A.; Provetti, A.

    1996-12-31

    The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have defined the specification language L which allows to express actual and hypothetical situations in a uniform setting. The L entailment relation can formalize several forms of reasoning about actions and change. In this paper we illustrate a translation of L theories into Nested Abnormality Theories, a novel form of circumscription. The proof of soundness and completeness of the translation is the main technical result of the paper, but attention is also devoted to the features of Nested Abnormality Theories to capture commonsense reasoning in general and to clarify which assumptions a logical formalization forces upon a domain. These results also help clarifying the relationship between L and other recent circumscriptive formalization for narratives, such as Miller and Shanahan`s.

  15. NASA SMD/STMD Joint Study on Science Measurements and Technology Capability Potential of SmallSats

    NASA Astrophysics Data System (ADS)

    Norton, C. D.; Seablom, M. S.; Petro, A. J.; Bonniksen, C. K.; Ruf, C. S.; Klumpar, D. M.; Van Sant, J. T.

    2015-12-01

    NASA's Science Mission Directorate (SMD) and Space Technology Directorate (STMD) initiated a joint study to explore strategic approaches to the development of platform technologies and new measurement approaches in Earth, Planetary, Heliophysics, and Astrophysics science enabled by small satellites (including CubeSat class systems). The agency has made investments though various solicitations within SMD and STMD, but as system capabilities continue to grow and as exploration concepts become more ambitious there was a need to formally asses the role Smallsats could play from technology maturation through Decadal Survey science in a coordinated fashion within the parameters of reliability, cost, design time and measurement requirement assessment among other topics. This talk will review the activities of the study team as well as its findings in the context of the benefits a small satellite program could contribute to multiple aspects of NASA's scientific and technology development objectives.

  16. Science Case for Planetary Exploration with Planetary CubeSats and SmallSats

    NASA Astrophysics Data System (ADS)

    Castillo-Rogez, Julie; Raymond, Carol; Jaumann, Ralf; Vane, Gregg; Baker, John

    2016-07-01

    Nano-spacecraft and especially CubeSats are emerging as viable low cost platforms for planetary exploration. Increasing miniaturization of instruments and processing performance enable smart and small packages capable of performing full investigations. While these platforms are limited in terms of payload and lifetime, their form factor and agility enable novel mission architectures and a refreshed relationship to risk. Leveraging a ride with a mothership to access far away destinations can significantly augment the mission science return at relatively low cost. Depending on resources, the mothership may carry several platforms and act as telecom relay for a distributed network or other forms of fractionated architectures. In Summer 2014 an international group of scientists, engineers, and technologists started a study to define investigations to be carried out by nano-spacecrafts. These applications flow down from key science priorities of interest across space agencies: understanding the origin and organization of the Solar system; characterization of planetary processes; assessment of the astrobiological significance of planetary bodies across the Solar system; and retirement of strategic knowledge gaps (SKGs) for Human exploration. This presentation will highlight applications that make the most of the novel architectures introduced by nano-spacecraft. Examples include the low cost reconnaissance of NEOs for science, planetary defense, resource assessment, and SKGs; in situ chemistry measurements (e.g., airless bodies and planetary atmospheres), geophysical network (e.g., magnetic field measurements), coordinated physical and chemical characterization of multiple icy satellites in a giant planet system; and scouting, i.e., risk assessment and site reconnaissance to prepare for close proximity observations of a mothership (e.g., prior to sampling). Acknowledgements: This study is sponsored by the International Academy of Astronautics (IAA). Part of this work is

  17. The Relationship between SAT Scores and Retention to the Second Year: Replication with 2009 SAT Validity Sample. Statistical Report 2011-3

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2012-01-01

    The College Board formed a research consortium with four-year colleges and universities to build a national higher education database with the primary goal of validating the revised SAT for use in college admission. A study by Mattern and Patterson (2009) examined the relationship between SAT scores and retention to the second year of college. The…

  18. The Relationship between SAT Scores and Retention to the Second Year: 2007 SAT Validity Sample. Statistical Report No. 2011-4

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2011-01-01

    This report presents the findings from a replication of the analyses from the report, "Is Performance on the SAT Related to College Retention?" (Mattern & Patterson, 2009). The tables presented herein are based on the 2007 sample and the findings are largely the same as those presented in the original report, and show SAT scores are…

  19. SAT Performance: Understanding the Contributions of Cognitive/Learning and Social/Personality Factors

    PubMed Central

    HANNON, BRENDA; MCNAUGHTON-CASSILL, MARY

    2011-01-01

    SUMMARY This study identifies a number of sources of individual differences in SAT performance by examining the simultaneous contributions of factors from two otherwise disparate research areas, namely cognition/learning and social/personality. Preliminary analysis revealed that just the cognitive/learning measures accounted for 37.8, 41.4 and 21.9% of the variance in SAT, V-SAT and Q-SAT performance, respectively while just the social/personality measures accounted for 21.4, 18.2 and 17.3% of the variance. When combined, cognitive/learning and social/personality factors accounted for even larger amounts of variance in performance; specifically 43.4, 44.6 and 28% for the SAT, V-SAT and Q-SAT, respectively. Finally, the results revealed that three measures consistently predicted performance on the SAT, V-SAT and Q-SAT; two measures were the learning/cognitive factors of working memory and integration of new text-based information with information from long-term memory and one measure was the social/personality factor, test anxiety. PMID:21804694

  20. SAT Performance: Understanding the Contributions of Cognitive/Learning and Social/Personality Factors.

    PubMed

    Hannon, Brenda; McNaughton-Cassill, Mary

    2011-07-01

    This study identifies a number of sources of individual differences in SAT performance by examining the simultaneous contributions of factors from two otherwise disparate research areas, namely cognition/learning and social/personality. Preliminary analysis revealed that just the cognitive/learning measures accounted for 37.8, 41.4 and 21.9% of the variance in SAT, V-SAT and Q-SAT performance, respectively while just the social/personality measures accounted for 21.4, 18.2 and 17.3% of the variance. When combined, cognitive/learning and social/personality factors accounted for even larger amounts of variance in performance; specifically 43.4, 44.6 and 28% for the SAT, V-SAT and Q-SAT, respectively. Finally, the results revealed that three measures consistently predicted performance on the SAT, V-SAT and Q-SAT; two measures were the learning/cognitive factors of working memory and integration of new text-based information with information from long-term memory and one measure was the social/personality factor, test anxiety. PMID:21804694

  1. CarbonSat: ESA's Earth Explorer 8 Candidate Mission

    NASA Astrophysics Data System (ADS)

    Meijer, Y. J.; Ingmann, P.; Löscher, A.

    2012-04-01

    The CarbonSat candidate mission is part of ESA's Earth Explorer Programme. In 2010, two candidate opportunity missions had been selected for feasibility and preliminary definition studies. The missions, called FLEX and CarbonSat, are now in competition to become ESA's eighth Earth Explorer, both addressing key climate and environmental change issues. In this presentation we will provide a mission overview of CarbonSat with a focus on science. CarbonSat's primary mission objective is the quantification and monitoring of CO2 and CH4 sources and sinks from the local to the regional scale for i) a better understanding of the processes that control carbon cycle dynamics and ii) an independent estimate of local greenhouse gas emissions (fossil fuel, geological CO2 and CH4, etc.) in the context of international treaties. A second priority objective is the monitoring/derivation of CO2 and CH4 fluxes on regional to global scale. These objectives will be achieved by a unique combination of frequent, high spatial resolution (2 x 2 km2) observations of XCO2 and XCH4 coupled to inverse modelling schemes. The required random error of a single measurement at ground-pixel resolution is of the order of between 1 and 3 ppm for XCO2 and between 9 and 17 ppb for XCH4. High spatial resolution is essential in order to maximize the probability for clear-sky observations and to identify flux hot spots. Ideally, CarbonSat shall have a wide swath allowing a 6-day global repeat cycle. The CarbonSat observations will enable CO2 emissions from coal-fired power plants, localized industrial complexes, cities, and other large emitters to be objectively assessed at a global scale. Similarly, the monitoring of natural gas pipelines and compressor station leakage will become feasible. The detection and quantification of the substantial geological greenhouse gas emission sources such as seeps, volcanoes and mud volcanoes will be achieved for the first time. CarbonSat's Greenhouse Gas instrument will

  2. CloudSat Reflectivity Data Visualization Inside Hurricanes

    NASA Technical Reports Server (NTRS)

    Suzuki, Shigeru; Wright, John R.; Falcon, Pedro C.

    2011-01-01

    Animations and other outreach products have been created and released to the public quickly after the CloudSat spacecraft flew over hurricanes. The automated script scans through the CloudSat quicklook data to find significant atmospheric moisture content. Once such a region is found, data from multiple sources is combined to produce the data products and the animations. KMZ products are quickly generated from the quicklook data for viewing in Google Earth and other tools. Animations are also generated to show the atmospheric moisture data in context with the storm cloud imagery. Global images from GOES satellites are shown to give context. The visualization provides better understanding of the interior of the hurricane storm clouds, which is difficult to observe directly. The automated process creates the finished animation in the High Definition (HD) video format for quick release to the media and public.

  3. CloudSat Image of Tropical Thunderstorms Over Africa

    NASA Technical Reports Server (NTRS)

    2006-01-01

    [figure removed for brevity, see original site] Figure 1

    CloudSat image of a horizontal cross-section of tropical clouds and thunderstorms over east Africa. The red colors are indicative of highly reflective particles such as water (rain) or ice crystals, which the blue indicates thinner clouds (such as cirrus). The flat green/blue lines across the bottom represent the ground signal. The vertical scale on the CloudS at Cloud Profiling Radar image is approximately 30 kilometers (19 miles). The brown line below the image indicates the relative elevation of the land surface. The inset image shows the CloudSat track relative to a Moderate Resolution Imaging Spectroradiometer (MODIS) visible image taken at nearly the same time.

  4. CubeSats to Explore Volatiles in Comets

    NASA Astrophysics Data System (ADS)

    Hewagama, T.; Aslam, S.; Châteauneuf, F.; Clark, P.; Folta, D.; Feaga, L.; Gorius, N.; Hurford, T.; Keidar, M.; Livengood, T.; Malphrus, B.; Mumma, M.; Nixon, C.; Villanueva, G.

    2015-10-01

    Close approach comets (<0.4 AU to Earth) are accessible to CubeSat and NanoSat missions that can return unique data not obtainable from ground-based telescopes. Primitive bodies such as comets are key to understanding Solar System formation. A low-risk, versatile, multispectral camera with integrated filters in a 6U spacecraft bus is capable of high spatial resolution mapping of the four primary volatile species CO2, H2O, CO, and organics. Simultaneous mmapping of these bands and two thermal channels will enable studying the dynamical activity of the nucleus. Assuming deployment from a launch platform above the Earth's gravity well, we find intercept trajectories using current propulsion systems.

  5. Rotary Percussive Sample Acquisition Tool (SAT): Hardware Development and Testing

    NASA Technical Reports Server (NTRS)

    Klein, Kerry; Badescu, Mircea; Haddad, Nicolas; Shiraishi, Lori; Walkemeyer, Phillip

    2012-01-01

    In support of a potential Mars Sample Return (MSR) mission an Integrated Mars Sample Acquisition and Handling (IMSAH) architecture has been proposed to provide a means for Rover-based end-to-end sample capture and caching. A key enabling feature of the architecture is the use of a low mass sample Acquisition Tool (SAT) that is capable of drilling and capturing rock cores directly within a sample tube in order to maintain sample integrity and prevent contamination across the sample chain. As such, this paper will describe the development and testing of a low mass rotary percussive SAT that has been shown to provide a means for core generation, fracture, and capture.

  6. Max 2-SAT with up to 108 qubits

    NASA Astrophysics Data System (ADS)

    Santra, Siddhartha; Quiroz, Gregory; Ver Steeg, Greg; Lidar, Daniel A.

    2014-04-01

    We experimentally study the performance of a programmable quantum annealing processor, the D-Wave One (DW1) with up to 108 qubits, on maximum SAT problem with 2 variables per clause (MAX 2-SAT) problems. We consider ensembles of random problems characterized by a fixed clause density, an external parameter which we tune through its critical value in our experiments. We demonstrate that the DW1 is sensitive to the critical value of the clause density. The DW1 results are verified and compared with akmaxsat, an exact, state-of-the-art algorithm. We study the relative performance of the two solvers and how they correlate in terms of problem hardness. We find that the DW1 performance scales more favorably with problem size and that problem hardness correlation is essentially non-existent. We discuss the relevance and limitations of such a comparison.

  7. UoSAT: A decade of experience pioneering microsatellites

    NASA Astrophysics Data System (ADS)

    Radbone, J. M.; Sweeting, M. N.

    1993-01-01

    Two satellites constructed as examples of low cost missions are examined and the technical and management techniques employed are described. Following first UoSAT missions, KITSAT-A is an experimental mission, S80/T a demonstration mission to evaluate the use of VHF frequencies for future low Earth orbit systems and CERISE, a modified microsatellite platform, will carry a classified payload. All these satellites are based on UoSAT-5 platform. Key technical and management issues for successful microsatellite missions are reviewed: simple interfaces, flexible design, control of requirements and modularity, quality and product assurance for the technical aspect, contract conditions, project length, efficient communications, integrated and co-located team, flexibility of organization and personnel for the management conditions.

  8. Soft X-Ray Polarimetry with a CubeSat

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    2016-07-01

    We describe an instrument capable of measuring the polarization of astrophysical sources in soft X-rays that can be accomplished at modest cost by exploiting CubeSats as novel vehicles for high energy astrophysics. The instrument would re-use technologies that will be demonstrated on the HaloSat cubesat that is currently under construction. Potential target include thermally-emitting isolated neutron stars and blazars. Measurement of the polarization of X-rays emitted from the surface of a highly magnetized neutron star provides a means to test a unique signature of strong-field quantum electrodynamics and probe the neutron star magnetic field and X-ray emission geometry. Polarization measurements of blazars should strongly constrain jet emission models.

  9. Microparticle impact detector experiment on MightySat I

    NASA Astrophysics Data System (ADS)

    Serna, Patrick J.; Liechty, Gary H.; Neslen, Craig L.; del Frate, Renzo; Draper, Edwin

    1997-10-01

    The purpose of this report is to present the engineering design of a spaceborne micro particle impact detector (MPID) experiment. This experiment is manifested on a Phillips Laboratory spacecraft called MightySat I scheduled for launch in July 1998. A follow-on report will present the resulting particle impact data. The objective of this experiment is to measure direction and time of impact of spaceborne micron size particles with time of impact resolution of 0.1 seconds. The primary element in this experiment consists of two metal- oxide-semiconductor (MOS) discharge capacitor detectors that discharge upon hypervelocity particle impact. The detectors were developed by Prof. J. J. Wortman from North Carolina State University. Each MOS particle detector is 3 in by 1-1/2 in and approximately 0.013 in thick. Each particle detector is bonded to a detector assembly that is in turn mechanically fastened to the external bottom plate of the MightySat I spacecraft. The detector assembly and associated electronics weigh less than 0.4 lb and have a total impact detection area of 3.7 in(superscript 2). Each particle impact causes an impact event record to be stored in the spacecraft control unit for later downlink. Each impact event record will store time of impact and output from two coarse sun sensors. Data from the coarse sun sensors is used to help determine attitude of the spacecraft. The Phillips Laboratory MightySat I spacecraft, developed largely by CTA Space Systems in McLean, Virginia, designed for ejection from the Space Shuttle is a 6-sided composite structure, 20.5 in (height) by 19.0 in (diameter), 150 lb., and spin stabilized with 5 degree attitude knowledge. The MightySat I spacecraft is scheduled for orbit injection using a standard hitchhiker ejection system from space shuttle flight STS-88. (Ref. 1)

  10. Onboard autonomy on the Three Corner Sat mission

    NASA Technical Reports Server (NTRS)

    Chien, S. A.; Sherwood, R.

    2002-01-01

    In 2003, the student-built three satellite constellation Three Corner Sat (3CS) Mission will demonstrate onboard autonomy including: science data validation and prioritization, mission re-planning, and robust execution. Future observations will be planned onboard based on the quality of aquired science, available memory and power, and anticipated downlinks. These capabilities will allow 3CS to aquire additional science data if resources are available and to return only the highest quality science data.

  11. Maker of SAT Aims New Test at 8th Graders

    ERIC Educational Resources Information Center

    Cech, Scott J.

    2008-01-01

    Officials at the New York City-based College Board last week rolled out their newest product: ReadiStep. No, it is not a new piece of exercise equipment or a whipped dessert topping--it is a test for 8th graders that some critics are calling a pre-PSAT, referring to the Preliminary SAT assessment taken by 9th and 10th graders and owned by the…

  12. A quantum differentiation of k-SAT instances

    NASA Astrophysics Data System (ADS)

    Tamir, B.; Ortiz, G.

    2010-07-01

    We present a quantum adiabatic algorithm to differentiate between k-SAT instances, those with no solutions and those that have many solutions. The time complexity of the algorithm is a function of the energy gap between the subspace of all 0-eigenvectors (ground states) and the first excited states manifold, and scales polynomially with the number of resources. The idea of gaps between subspaces suggests a new tool to analyze time complexity in adiabatic quantum machines.

  13. Quantum algorithm for SAT problem andquantum mutual entropy

    NASA Astrophysics Data System (ADS)

    Ohya, Masanori

    2005-02-01

    It is von Neumann who opened the window for today's information epoch. He definedquantum entropy including Shannon's information more than 20 years ahead of Shannon, and he explained what computation means mathematically. In this paper I discuss two problems studied recently by me and my coworkers. One of them concerns a quantum algorithm in a generalized sense solving the SAT problem (one of NP complete problems) and another concerns quantum mutual entropy properly describing quantum communication processes.

  14. Dellingr- A Path to Compelling Science with CubeSats

    NASA Astrophysics Data System (ADS)

    Johnson, M.; Bonalsky, T.; Chornay, D.; Clagett, C.; Cudmore, A.; Ericsson, A.; Hesh, S.; Jones, S.; Kepko, L.; Rodriguez, J.; Sittler, E.; Starin, S.; Santos, L.; Sheikh, S.; Uribe, P.; Zesta, E.

    2015-10-01

    Advancements in the capabilities of miniaturized systems are dramatically increasing interest in achieving science from CubeSats. The Dellingr project targets this interest. It will realize compelling science from a 6U spacecraft while developing human and spacecraft systems required to cost-efficiently deliver small satellites capable of reliably achieving mission objectives in divers environments—from low earth orbit to challenging radiation and thermal environments associated with lunar and planetary missions.

  15. NBL CRM 112-A: A new certified isotopic composition

    NASA Astrophysics Data System (ADS)

    Thomas, R. B.; Essex, R. M.; Mason, P.

    2007-12-01

    NBL CRM 112-A Uranium Metal Assay Standard is commonly used as a natural uranium isotopic reference material within the earth science mass spectrometry community. The metal is from the same parent material as NBS SRM 960, the uranyl nitrate solution, CRM 145, and the high-purity uranyl nitrate solution CRM 145-B. Because CRM 112-A has not yet been certified for isotopic composition, it has been assumed that this material has a natural 235U/238U (0.0072527), and the δ234U has been determined by measurement (e.g. -37.1‰; Cheng et al., 2000). These values have been widely used to calibrate the concentration of spikes and standards, and to correct measurements for instrument or mass bias. New, preliminary, isotopic measurements on CRM 145 and CRM 112-A performed at New Brunswick Laboratory suggest that these reference materials have a slightly lower 235U/238U and δ234U than have been commonly used. If this is the case, then data using the accepted values may be slightly biased. The significance of this bias will depend on the uncertainty of the measurement, how the CRM 112-A data is used to correct measurement data, the cited values that were used to correct the data, and the final certified values of the CRM. This fall, New Brunswick Laboratory is certifying the isotopic composition of the CRM 112-A metal using high precision thermal ionization mass spectrometry techniques. Upon completion of certification, the new CRM 112- A standard with certified isotopic ratios will provide the earth science community with a well characterized and traceable reference for calibrating and correcting their mass spectrometry measurement systems.

  16. Directory of certified insulation material. Sorted by type and manufacturer

    SciTech Connect

    Not Available

    1982-03-01

    Insulation materials that have been certified as complying with the regulations that became effective September 22, 1981 are identified in the directory. Six physical forms of insulation are covered: board; foil; foam and spray; blanket; loose fill; and water heater kits, duct, and pipe wrap. Information on the manufacturer and brand name; material, type, facings; primary use, usage exposure, vapor barrier; labeled product thickness, and labeled thermal performance is given. (MCW)

  17. 31 CFR 315.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Individuals authorized to certify. 315.55 Section 315.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING U.S. SAVINGS BONDS, SERIES A, B, C, D, E, F, G, H, J,...

  18. 31 CFR 315.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Individuals authorized to certify. 315.55 Section 315.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING U.S. SAVINGS BONDS, SERIES A, B, C, D, E, F, G, H, J,...

  19. 31 CFR 315.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Individuals authorized to certify. 315.55 Section 315.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING U.S. SAVINGS BONDS, SERIES A, B, C, D, E, F, G, H, J,...

  20. 31 CFR 315.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Individuals authorized to certify. 315.55 Section 315.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING U.S. SAVINGS BONDS, SERIES A, B, C, D, E, F, G, H, J,...

  1. The e-st@r CubeSat: Antennas system

    NASA Astrophysics Data System (ADS)

    Fanchini, G.; Gagliostro, D.

    2011-12-01

    In this paper the design of a deployable antenna system for CubeSats is proposed. Its manufacturing and test for the use on e-st@r CubeSat (developed at Politecnico di Torino by students' team of the Aerospace Engineering Courses) is then reported. The design procedure is based on analyzing the CubeSat standard and defining the physical and geometrical constraints, both for a general Cubesat and the particular case of e-st@r, multiple possible configurations are analyzed and compared to define the most suitable one. The use of Components Off-The-Shelf (COTS) materials is considered for the manufacturing of all parts of the system and utilized if acceptable. The lock system can be seen as one of the critical points of the system because it has to ensure that the antenna will not open during launch, but also that it opens when in orbit, so an optimization of already existing lock systems is pursued. We considered a two fault tolerant system to have an acceptable level of confidence. Briefly the manufacturing of all parts and the tests campaign of the assembled system is then proposed with some conclusive considerations on the environmental impact of the system.

  2. LAICE CubeSat mission for gravity wave studies

    NASA Astrophysics Data System (ADS)

    Westerhoff, John; Earle, Gregory; Bishop, Rebecca; Swenson, Gary R.; Vadas, Sharon; Clemmons, James; Davidson, Ryan; Fanelli, Lucy; Fish, Chad; Garg, Vidur; Ghosh, Alex; Jagannatha, Bindu B.; Kroeker, Erik; Marquis, Peter; Martin, Daniel; Noel, Stephen; Orr, Cameron; Robertson, Robert

    2015-10-01

    The Lower Atmosphere/Ionosphere Coupling Experiment (LAICE) CubeSat mission will focus on understanding the interaction of atmospheric gravity waves generated by weather systems in the lower atmosphere with the mesosphere, lower thermosphere, and ionosphere (MLTI). Specifically, LAICE will focus on the energy and momentum delivered by these waves and attempt to connect the wave sources and the wave effects in three widely different altitude ranges, substantially adding to our knowledge of critical coupling processes between disparate atmospheric regions. The LAICE mission consists of a 6U CubeSat with a four-instrument payload. The retarding potential analyzer (RPA) will provide in-situ ion density and temperature measurements. A four-channel photometer will measure density and temperature variations in the mesosphere through observations of O2 (0, 0) Atmospheric band and O2 Herzberg I band airglows. There are two pressure sensors that comprise the Space Pressure Suite (SPS): the Space Neutral Pressure Instrument (SNeuPI) and the LAICE Ionization gauge Neutral Atmosphere Sensor (LINAS). Both will provide neutral density measurements, but SNeuPI is a prototype sensor that will be validated by LINAS. This CubeSat mission, scheduled for launch in early 2016 from the International Space Station, provides a cost-effective approach to measuring low altitude in-situ parameters along with simultaneous imaging that is capable of addressing the fundamental questions of atmospheric gravity wave coupling in the MLTI region.

  3. MitoSatPlant: mitochondrial microsatellites database of viridiplantae.

    PubMed

    Kumar, Manjeet; Kapil, Aditi; Shanker, Asheesh

    2014-11-01

    Microsatellites also known as simple sequence repeats (SSRs) consist of 1-6 nucleotide long repeating units. The importance of mitochondrial SSRs (mtSSRs) in fields like population genetics, plant phylogenetics and genome mapping motivated us to develop MitoSatPlant, a repository of plant mtSSRs. It contains information for perfect, imperfect and compound SSRs mined from 92 mitochondrial genomes of green plants, available at NCBI (as of 1 Feb 2014). A total of 72,798 SSRs were found, of which PCR primers were designed for 72,495 SSRs. Among all sequences, tetranucleotide repeats (26,802) were found to be most abundant whereas hexanucleotide repeats (2751) were detected with least frequency. MitoSatPlant was developed using SQL server 2008 and can be accessed through a front end designed in ASP.Net. It is an easy to use, user-friendly database and will prove to be a useful resource for plant scientists. To the best of our knowledge MitoSatPlant is the only database available for plant mtSSRs and can be freely accessed at http://compubio.in/mitosatplant/. PMID:24561221

  4. iSat Surface Charging and Thruster Plume Interactions Analysis

    NASA Technical Reports Server (NTRS)

    Parker, L. Neergaard; Willis, E. M.; Minow, J. I.

    2016-01-01

    Characterizing the electromagnetic interaction of a satellite in low Earth, high inclination orbit with the space plasma environment and identifying viable charging mitigation strategies is a critical mission design task. High inclination orbits expose the vehicle to auroral charging environments that can potentially charge surfaces to kilovolt potentials and electric thruster propulsion systems will interact with the ambient plasma environment throughout the orbit. NASA is designing the Iodine Satellite (iSAT) cubesat mission to demonstrate operations of an iodine electric thruster system. The spacecraft will be deployed as a secondary payload from a launch vehicle which has not yet been identified so the program must plan for the worst case environments over a range of orbital inclinations. We will first present results from a NASA and Air Force Charging Analyzer Program (Nascap) -2k surface charging calculation used to evaluate the effects of auroral charging on the spacecraft and to provide the charging levels at other locations in orbit for a thruster plume interaction analysis for the iSAT mission. We will then discuss results from the thruster interactions analysis using the Electric Propulsion Interactions Code (EPIC) with inputs from Nascap-2k. The results of these analyses are being used by the iSAT program to better understand how their spacecraft will interact with the space plasma environment in the range of environments that could be encountered when the final mission orbit is selected.

  5. The natural satellites ephemerides facility MULTI-SAT

    NASA Astrophysics Data System (ADS)

    Emel'Yanov, N. V.; Arlot, J.-E.

    2008-08-01

    Context: There is a need in some research facilities for deriving ephemerides, controlling observations, verifying various models of motion, and calculating the coordinates in space of natural planetary satellites. Aims: The goal of our work is to elaborate the ephemerides of all natural satellites based upon all observations available to date and readily accessible for any user via the Internet. Methods: For all outer planetary satellites, original numerical models of motion are used that are based on all published observations. For other satellites, the theoretical models of the motion are taken from publications that are as recent as possible. Complete collection of the theories and models of motion is realized as a software for the ephemerides of natural satellites available on the web pages of the so-called server MULTI-SAT. Results: A new facility for producing ephemerides of all natural satellites of planets (except the Moon) has been created at IMCCE and SAI. Special features of the ephemerides are realized, such as predicting the phenomena and providing configurations useful for the observers. The server MULTI-SAT is accessible through the Internet. The URL addresses are http://www.imcce.fr/sat (English and French versions at IMCCE) and http://www.sai.msu.ru/neb/nss/index.htm (English, French, and Russian versions at SAI). This paper includes a complete review of the most precise theories of motion of all natural satellites that we used and an analysis of the precision of the proposed ephemerides.

  6. Generation of Minimum-Consistent DFA Using SAT Solver

    NASA Astrophysics Data System (ADS)

    Inui, Nobuo; Aizawa, Akiko

    The purpose of this study is to develop efficient methods for the minimum-consistent DFA (deterministic finite state automaton) problem. The graph-coloring based SAT (satisfiability) approach proposed by Heule is a state of the art method for this problem. It specially achieves high performance computing in dense problems such as in a popular benchmark problem where rich information about labels is included. In contrast, to solve sparse problems is a challenge for the minimum-consistent DFA problem. To solve sparse problems, we propose three approaches to the SAT formulation: a) the binary color representation, b) the dynamic symmetry breaking and c) the hyper-graph coloring constraint. We organized an experiment using the existing benchmark problems and sparse problems made from them. We observed that our symmetry breaking constraints made the speed up the running time of SAT solver. In addition with this, our other proposed methods were showing the possibility to improve the performance. Then we simulated the perfomance of our methods under the condition that we executed the several program set-ups in parallel. Compared with the previous research results, we finally could reduce the average relative time by 66.5% and the total relative time by 7.6% for sparse problems and by 79.7% and 38.5% for dense problems, respectively. These results showed that our proposed methods were effective for difficult problems.

  7. The FedSat Experience: An Australian Research Satellite Mission

    NASA Astrophysics Data System (ADS)

    Fraser, B. J.

    In December 2002 FedSat, Australia's first satellite mission in thirty years, was launched from the Tanegashima Space Centre on the H11A-F4 rocket as a secondary payload. FedSat carries a complement of four scientific and engineering payloads in a near-circular sun synchronous 10:30 LT polar orbit at an altitude 800 km and an inclination of 98.7. Scientific experiments include a triaxial fluxgate magnetometer with a frequency response up to 100 Hz and a GPS receiver to monitor total electron content (TEC) and provide a precise orbit determination. A star camera provides precise attitude information. Communications experiments include a Ka-band transponder and a UHF packet data service. A high performance computer payload is testing reconfigurable computing technology. This paper will outline the design and development of FedSat commencing in 1998, and the unique funding situation under which the satellite and some of the payloads were successfully fabricated tested and launched.

  8. 9 CFR 355.29 - Composition of certified products for dogs, cats, and other carnivora.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... dogs, cats, and other carnivora. 355.29 Section 355.29 Animals and Animal Products FOOD SAFETY AND... PRODUCTS INSPECTION AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFIED PRODUCTS FOR DOGS, CATS, AND OTHER... Composition of Certified Products § 355.29 Composition of certified products for dogs, cats, and...

  9. 9 CFR 355.29 - Composition of certified products for dogs, cats, and other carnivora.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... dogs, cats, and other carnivora. 355.29 Section 355.29 Animals and Animal Products FOOD SAFETY AND... PRODUCTS INSPECTION AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFIED PRODUCTS FOR DOGS, CATS, AND OTHER... Composition of Certified Products § 355.29 Composition of certified products for dogs, cats, and...

  10. 9 CFR 355.29 - Composition of certified products for dogs, cats, and other carnivora.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... dogs, cats, and other carnivora. 355.29 Section 355.29 Animals and Animal Products FOOD SAFETY AND... PRODUCTS INSPECTION AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFIED PRODUCTS FOR DOGS, CATS, AND OTHER... Composition of Certified Products § 355.29 Composition of certified products for dogs, cats, and...

  11. 9 CFR 355.29 - Composition of certified products for dogs, cats, and other carnivora.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... dogs, cats, and other carnivora. 355.29 Section 355.29 Animals and Animal Products FOOD SAFETY AND... PRODUCTS INSPECTION AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFIED PRODUCTS FOR DOGS, CATS, AND OTHER... Composition of Certified Products § 355.29 Composition of certified products for dogs, cats, and...

  12. 9 CFR 355.29 - Composition of certified products for dogs, cats, and other carnivora.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... dogs, cats, and other carnivora. 355.29 Section 355.29 Animals and Animal Products FOOD SAFETY AND... PRODUCTS INSPECTION AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFIED PRODUCTS FOR DOGS, CATS, AND OTHER... Composition of Certified Products § 355.29 Composition of certified products for dogs, cats, and...

  13. 7 CFR 457.145 - Potato crop insurance-certified seed endorsement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 6 2011-01-01 2011-01-01 false Potato crop insurance-certified seed endorsement. 457... INSURANCE CORPORATION, DEPARTMENT OF AGRICULTURE COMMON CROP INSURANCE REGULATIONS § 457.145 Potato crop insurance—certified seed endorsement. The Potato Crop Insurance Certified Seed Endorsement Provisions...

  14. 7 CFR 457.145 - Potato crop insurance-certified seed endorsement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 6 2013-01-01 2013-01-01 false Potato crop insurance-certified seed endorsement. 457... INSURANCE CORPORATION, DEPARTMENT OF AGRICULTURE COMMON CROP INSURANCE REGULATIONS § 457.145 Potato crop insurance—certified seed endorsement. The Potato Crop Insurance Certified Seed Endorsement Provisions...

  15. 7 CFR 457.145 - Potato crop insurance-certified seed endorsement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 6 2010-01-01 2010-01-01 false Potato crop insurance-certified seed endorsement. 457... INSURANCE CORPORATION, DEPARTMENT OF AGRICULTURE COMMON CROP INSURANCE REGULATIONS § 457.145 Potato crop insurance—certified seed endorsement. The Potato Crop Insurance Certified Seed Endorsement Provisions...

  16. 7 CFR 457.145 - Potato crop insurance-certified seed endorsement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 6 2014-01-01 2014-01-01 false Potato crop insurance-certified seed endorsement. 457... INSURANCE CORPORATION, DEPARTMENT OF AGRICULTURE COMMON CROP INSURANCE REGULATIONS § 457.145 Potato crop insurance—certified seed endorsement. The Potato Crop Insurance Certified Seed Endorsement Provisions...

  17. 7 CFR 457.145 - Potato crop insurance-certified seed endorsement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 6 2012-01-01 2012-01-01 false Potato crop insurance-certified seed endorsement. 457... INSURANCE CORPORATION, DEPARTMENT OF AGRICULTURE COMMON CROP INSURANCE REGULATIONS § 457.145 Potato crop insurance—certified seed endorsement. The Potato Crop Insurance Certified Seed Endorsement Provisions...

  18. 42 CFR 414.54 - Payment for certified nurse-midwives' services.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 3 2010-10-01 2010-10-01 false Payment for certified nurse-midwives' services. 414... Physicians and Other Practitioners § 414.54 Payment for certified nurse-midwives' services. For services...)(1)(K) of the Act for the payment of certified nurse-midwife services may not exceed 65 percent...

  19. 78 FR 65426 - Technical Report: Evaluation of the Certified-Advanced Air Bags

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-10-31

    ... SAFETY ADMINISTRATION Technical Report: Evaluation of the Certified-Advanced Air Bags AGENCY: National... reviewing and evaluating certified-advanced air bags. The report's title is: Evaluation of the Certified... Statistician, Evaluation Division, NVS-431, National Center for Statistics and Analysis, National...

  20. 7 CFR 201.74 - Labeling of all classes of certified seed.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Labeling of all classes of certified seed. 201.74... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.74 Labeling of all classes of certified seed....