Dissertations / Theses on the topic 'Certification'
To see the other types of publications on this topic, follow the link: Certification.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Certification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Sievert, Marilyn Kay. "In-house certification CNC training and certification /." Online version, 1999. http://www.uwstout.edu/lib/thesis/1999/1999sievertm.pdf.
Full text
2
Blackwelder, Reid B. "Maintenance of Certification." Digital Commons @ East Tennessee State University, 2005. https://dc.etsu.edu/etsu-works/6914.
Full text
3
Helsing, Linda. "Certification of sustainable charcoal : Implementing a certification process for Vi Agroforestry farmers." Thesis, Uppsala universitet, Kulturgeografiska institutionen, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-167772.
Full text
4
Romero, Brandon Clark. "Reviewing Alternative Teacher Certification." Thesis, The University of Arizona, 2011. http://hdl.handle.net/10150/144949.
Full text
5
Murray, Susan Marie. "Certification and a certification program for arborists and tree workers in the Pacific Northwest." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/27601.
Full textAbstract:
Certification is a means by which a professional agency or association gives recognition to an individual who has achieved a certain level of competence. Certification is often voluntary and indicates reserved title. Licensure, on the other hand, is legislated and indicates exclusive right to practice. There are both benefits and disadvantages to certification within the occupations and professions. Certification should be based on competency Professional associations have a strong role to play in both certification am mandated continuing professional education.
A certification program for Arborists and Tree Workers in the Pacific Northwest introduces the International Society of Arboriculture, the professional association. In addition, the reasons for the program, its objectives, development, requirements, administration, publicity and its evaluation are presented.Land and Food Systems, Faculty of
Graduate
6
Ocasio, Ralph, and Regina Bublitz. "Defense Acquisition Workforce Improvement Act (DAWIA) certification: a comparative analysis of certification versus qualification." Thesis, Monterey, California: Naval Postgraduate School, 2013. http://hdl.handle.net/10945/37688.
Full textAbstract:
Approved for public release; distribution is unlimitedThis project reflects extensive research on the Defense Acquisition Workforce Improvement Act (DAWIA) certification process. Project participants analyzed the processes currently employed by the Department of Defense (DOD) for civilian Army acquisition Program Managers and compared these processes to other Services in relation to execution of the DAWIA certification process. Additionally, this project provides a comparative analysis of DAWIA compared to current DOD qualification initiatives. The intent of the project is to identify and provide recommendations for best of breed practices for maintaining a proficient workforce while preserving the integrity of the Army civilian Program Manager profession. While identification and recommendations for best of breed practices have been stated, the availability of qualification initiatives is either limited or emerging. As such, the researchers have identified future areas for further study. DAWIA addresses career path requirements in title 10, United States Code 1723 by stating that the Secretary of Defense acting through the Under Secretary of Defense for Acquisition, Technology and Logistics, shall establish requirements for the completion of course work and related on-the-job training and demonstration of qualifications in the critical acquisition-related duties and tasks of the career path. Workforce demographics are changing. The intent of the project is to examine current credentialing processes in place to maintain a proficient workforce and preserve the integrity of the profession. Prior research regarding the effectiveness of DAWIA exists. This project will leverage this available body of knowledge and will compare it to existing processes to identify more efficient mechanisms/certifications for qualifying civilian Army acquisition Program Managers..
7
Baccari, Flavio. "Certification of many-body systems." Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/666981.
Full textAbstract:
Quantum physics is arguably both the most successful and the most counterintuitive
physical theory of all times. Its extremely accurate predictions on the behaviour of microscopic particles have led to unprecedented technological advances in various fields and yet, many quantum phenomena defy our classical intuition.
Starting from the 1980’s, however, a paradigm shift has gradually taken hold in the scientific community, consisting in studying quantum phenomena not as inexplicable conundrums but as useful resources. This shift marked the birth of the field of quantum information science, which has since then explored the advantages that quantum theory can bring to the way we process and transfer information.
In this thesis, we introduce scalable certification tools that apply to various operational properties of many-body quantum systems. In the first three cases we consider, we base our certification protocols on the detection of nonlocal correlations. These kinds of non-classical correlations that can displayed by quantum states allow one to assess relevant properties in a device-independent manner, that is, without assuming anything about the specific functioning of the device producing the state of interest or the implemented measurements.
In the first scenario we present an efficient method to detect multipartite entanglement in a device-independent way. We do so by introducing a numerical test for nonlocal correlations that involves computational and experimental resources that scale polynomially with the system number of particles. We show the range of applicability of the method by using it to detect entanglement in various families of multipartite systems. In multipartite systems, however, it is often more informative to provide quantitative statements. We address this problem in the second scenario by introducing scalable methods to quantify the nonlocality depth of a multipartite systems, that is, the number of particles sharing nonlocal
correlations among each other. We show how to do that by making use of the knowledge of two-body correlations only and we apply the resulting techniques to experimental data from a system of a few hundreds of atoms. In the third scenario, we move to consider self-testing, which is the most informative certification method based on nonlocality. Indeed, in a self-testing task, one is interested in characterising the state of the system and the measurement performed on it, by simply looking at the resulting correlations. We introduce the first scalable self-testing method based on Bell inequalities and apply it to graph states, a well-known family of multipartite quantum states. Moreover, we show that the certification
achieved with our method is robust against experimental imperfections. Lastly, we address the problem of certifying the result of quantum optimizers. They are quantum devices designed to estimate the groundstate energy of classical spin systems. We provide a way to efficiently compute a convergent series of upper and lower bounds to the minimum of interest, which at each step allows one to certify the output of any quantum optimizer.La física cuántica es posiblemente la teoría física más exitosa y la más contraintuitiva jamás desarollada. A pesar de que sus predicciones extremadamente precisas sobre el comportamiento de las partículas microscópicas han llevado a avances tecnológicos sin precedentes en varios campos, muchos fenómenos cuánticos desafían nuestra intuición basada en una concepción clásica de la física. Sin embargo, a partir de la década de 1980 tuvo lugar un cambio de paradigma en la comunidad científica, que se orientó en estudiar los fenómenos cuánticos no como enigmas inexplicables, sino como recursos útiles. Este cambio marcó el nacimiento del campo de la ciencia de la información cuántica, que desde entonces ha explorado las ventajas que la teoría cuántica puede aportar a la forma en que procesamos y transferimos la información. Hoy en día es un hecho bien establecido que la codificación de información en partículas cuánticas puede llevar, por ejemplo, a procesos de cálculo más eficientes, así como a comunicaciones extremadamente seguras. Además, debido a sus aplicaciones prácticas a la vida cotidiana, la ciencia de la información cuántica ha atraído un gran interés político y económico. Recientemente se han lanzado varias iniciativas con el propósito de cerrar la brecha entre la ciencia básica y la industria en este campo, tanto a nivel nacional como internacional. Al mismo tiempo, cada vez más empresas están incrementando sus esfuerzos para producir dispositivos cuánticos a nivel comercial. No hay duda de que hemos entrado en la era de la primera generación de dispositivos cuánticos, en la cual los sistemas cuánticos controlables compuestos de decenas o cientos de partículas son cada vez más accesibles. En tal escenario, el certificar que estos dispositivos exhiben sus atractivas propiedades cuánticas constituye un problema fundamental. Es importante destacar que, para que los métodos de certificación deseados sean aplicables en situaciones reales, éstos deben ser escalables con el tamaño del sistema. En otras palabras, tienen que basarse en requerimientos computacionales y experimentales que crezcan, a lo sumo,polinomialmente con el número de partículas en el sistema de interés. En esta tesis, introducimos herramientas de certificación escalables que se aplican a varias propiedades operativas de sistemas cuánticos de muchos cuerpos. En los primeros tres casos que consideramos, basamos nuestros protocolos de certificación en la detección de correlaciones no locales. Estos tipos de correlaciones no clásicas, que únicamente pueden ser producidas por sistemas cuánticos, permiten evaluar propiedades relevantes de forma independiente del dispositivo, es decir, sin realizar hipótesis acerca del funcionamiento específico del dispositivo que produce el estado de interés o las mediciones implementadas. En el primer escenario, presentamos un método eficiente para detectar entrelazamiento en sistemas multipartitos de forma independiente del dispositivo. Lo hacemos mediante la introducción de una prueba numérica para las correlaciones no locales que involucra recursos computacionales y experimentales que escalan polinomialmente con el número de partículas del sistema. Mostramos el rango de aplicabilidad de dicho método usándolo para detectar entrelazamiento en varias familias de sistemas multipartitos. Sin embargo, al tratar con sistemas de muchos cuerpos a menudo es más informativo proporcionar informaciones cuantitativas. Abordamos este problema en el segundo escenario mediante la introducción de métodos escalables para cuantificar la profundidad no local (non-locality depth) de un sistema multipartito, es decir, la cantidad de partículas que comparten correlaciones no locales entre sí. Mostramos cómo realizar dicha cuantificación a partir del conocimiento únicamente de los correladores de dos cuerpos, y aplicamos las técnicas resultantes a los datos experimentales de un sistema de unos pocos cientos de átomos. En el tercer escenario, pasamos a considerar el caso de self-testing, que es el método de certificación más informativo basado en la no localidad. De hecho, en una tarea de self-testing, el objetivo es caracterizar el estado del sistema y las mediciones realizadas en él, simplemente observando las correlaciones resultantes. Introducimos el primer método de self-testing escalable basado en las desigualdades de Bell y lo aplicamos a estados de grafo, una familia muy conocida de estados cuánticos multipartitos. Además, demostramos que la certificación lograda con nuestro método es robusta a imperfecciones experimentales. Por último, consideramos el problema de certificar el resultado de optimizadores cuánticos. Estos son dispositivos cuánticos diseñados para estimar la energía del estado fundamental de sistemas de espines clásicos. Desarollamos un método eficiente para calcular una serie convergente de límites superiores e inferiores al mínimo de interés, que en cada paso permite certificar el resultado de cualquier optimizador cuántico
8
Marshall, Neleffra. "A CASE STUDY: ALTERNATIVE CERTIFICATION." Doctoral diss., University of Central Florida, 2006. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2300.
Full textAbstract:
This study was a heuristic, descriptive case study of the Alternative Certification Program in 4 central Florida counties. The purpose of this study was to: (a) identify the awareness of the existence of the reported alternative certification components implemented by 4 counties in Florida, and identify any additional components; (b) determine the importance of the targeted teaching criteria needed for successful teaching as identified in the literature to the ACP teacher, principal and coordinator; (c) determine the advantages/disadvantages of the program as viewed by the ACP participants, principals, and coordinators; (d) identify how many of the 4 counties kept data on participants entering and leaving the program; (e) determine how many participants exited the ACP before completion; and (f) identify if a particular subject area had a higher percentage of ACP teachers. The study was based on data gathered using the Alternative Certification Program Survey, a survey created by the researcher. The population for this study was 4 public school districts in central Florida. The completed surveys yielded a usable return rate of 41% (N= 258). The researcher conducted the data analysis. Descriptive statistics were used to analyze the data. Results were presented as a whole, as well as disaggregated and presented by county. Analysis of the data revealed: (a) that the awareness of the ACP components varied between counties and respondent groups of teacher participants, principals, and coordinators; (b) the teachers and principals did not agree on rating the importance of the teaching criteria needed for an ACP teacher to be successful, and the coordinators rated all the criteria equally; (c) the perceptions of advantages of the ACP differed between the teacher participants, principals, and coordinators; (d) the perceptions of disadvantages of the ACP differed between the teacher participants, principals, and coordinators; (e) three of the counties kept entrance and exit data on the ACP; (f) one county had <1% non-completion rate for ACP participants; and (g) highest number of ACP participants were entering into the subject areas of math and science. Conclusions, recommendations for future research, and recommendations for alternative certification in central Florida were made. One recommendation for further research was for a study to be replicated with ACP teachers hired for another school year, and repeated in future years, to gather information concerning awareness of the existence of the ACP components, importance of teaching criteria needed for successful teaching, and advantages/disadvantages of the program as perceived by the teacher participants, principals, and coordinators. Another recommendation for future research was to replicate and conduct this study in other Florida counties in order to compare results with those of this study concerning the Alternative Certification Program.Ed.D.
Department of Educational Research, Technology and Leadership
Education
Educational Leadership
9
Capuzzi, Angelo Michael. "Strategic planning for LEED certification." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/59160.
Full textAbstract:
Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management; and, (S.M.)--Massachusetts Institute of Technology, Engineering Systems Division; in conjunction with the Leaders for Global Operations Program at MIT, 2010.Cataloged from PDF version of thesis.
Includes bibliographical references (p. 49-51).
Intel Corporation has recently implemented a "green building" policy, which states that Intel will design all new facilities to achieve a minimum LEED-Silver certification. LEED (Leadership in Energy and Environmental Design) is a voluntary, consensus-driven rating system used to distinguish high performance, sustainable buildings. Buildings earn "points" in different environmental categories, and the total number of points achieved determines the certification level (Certified, Silver, Gold, or Platinum). While LEED certification has been successfully applied to many residential and commercial buildings, and occasionally to manufacturing facilities, it has not been applied to many wafer manufacturing facilities (fabs), which house the manufacturing and production of Intel's microprocessors. Wafer fabs have much higher energy and water consumption levels than typical buildings due to their strictly controlled temperature, humidity, and particulate requirements, making LEED certification more challenging for a fab than for a typical building. The objective of this study was to develop a planning strategy case study for Intel to achieve LEEDSilver certification for the construction of a hypothetical new wafer fab. The case study identified the main barriers to achieve LEED certification, including cost, risk, process, acceptance and alignment barriers, and outlined means to overcome them. The LEED criteria were then analyzed to determine the costs, benefits, and risks of pursuing each individual credit. The resulting "portfolio planning" model was then used to optimize a portfolio of credits for Intel to pursue. The final results indicated that for the optimized scenario, LEED-Silver certification could be achieved for a positive NPV of over $130,000. Significant cost savings were achieved through the avoidance of the credits related to energy efficiency and on-site renewable energy generation, credits that pose a significant risk to Intel due to the high energy consumption of a fab. Finally, process improvement recommendations were made for the planning, design, and construction of a LEED certified fab.
Angelo Michael Capuzzi.
S.M.
M.B.A.
10
Riccardo, Michele. "Calculation and tests for Shark CS-LSA type certification and preliminary design for CS-VLA certification." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Find full textAbstract:
The purpose of this work was to calculate and to test different aircraft components according to the CS-LSA (Light Sport Aircraft) airworthiness for Shark s.r.o. Shark was designed to fit into European ultralight category and it was approved according to the UL-2 Czech Republic requirement of Light Aircraft Association and LTF-UL German requirement for “Sport Flying Vehicles”. In the design phase were considered also the ASTM standards for Light Sport Aircraft (LSA) valid in USA and accepted by European regulation CS-LSA. The maximum take-off weight will be increased from 472.5 kg up to 600 kg. Most of the tests needed for proof and approval were performed for calculated load according to ASTM standards, but some only up to limited load corresponding to maximum take-off weight equal to 472.5 kg. The goal of the project was to go through the Shark s.r.o documents and to check the compliancy with CS-LSA regulation. The center of gravity position was calculated starting from the prototype and new flight envelope was designed for calculation of the limit load afterwards. New tests were realized on the flaps, fixing points of the ballistic rescue system and on the landing gear. The tests were performed in Shark aero facility in Senica (Slovakia) under the supervision of Eng. Vladimír Pekár. The data collected during multiple tests were used for preliminary design of Mako - new aerobatic aircraft for pilot training.
11
Khaloui, Judy M. "The status of alternative teacher certification and a descriptive analysis of alternative certification programs and participants." Diss., Virginia Tech, 1991. http://hdl.handle.net/10919/39765.
Full textAbstract:
The purpose of this study was to report the status of alternative teacher certification in each of the 50 states and the District of Columbia and to provide a descriptive analysis of alternative certification programs and participants.
Descriptive survey research was used in this study. state Offices of Teacher Education and Certification in each of the 50 states and the District of Columbia were contacted and surveyed to obtain the data.
It was determined that 30 states had enacted alternative certification provisions and were implementing alternative certification programs. Eleven additional states and the District of Columbia were found to be considering or having proposed provisions for alternative certification. The majority of alternative certification programs in operation were established during the 1980s, and over 50% of the states implementing alternative certification programs cited a shortage of teachers as a rationale for the programs' establishment.
An analysis of the characteristics of alternative certification programs revealed that all programs required a bachelor's degree for admission into the program. Formal instruction often required some type of prescribed coursework, and field experience in the majority of programs allowed participants to assume full time teaching responsibilities prior to completing the program. The length of alternative certification programs ranged from 1 to 5 years.
Data on alternative certification program participants were limited. From the demographic data obtained, it was determined that most participants were Caucasian and were female. Based upon data received from ten states, it was further determined that 3,249 participants had achieved regular certification after completing an alternative certification program.
The provider of an alternative certification program was identified as either a local school district, an institution of higher education, a state education agency, or a collaboration of these entities. No differences were found in the programs' characteristics or the gender and the ethnicity of the participants, based on the provider.Ed. D.
12
Supic, Ivan. "Device-independent certification of quantum resources." Doctoral thesis, Universitat Politècnica de Catalunya, 2018. http://hdl.handle.net/10803/663208.
Full textAbstract:
The last two decades have been a very fruitful period for the fundamental research related to quantum information theory. Today we have a fairly good understanding of how intrinsically quantum properties affect various computational and cryptographic tasks. Practical implementations are advancing as well. Devices performing quantum key distribution or quantum random number generation are already commercially available. As time goes more resources are being invested in building a device which would demonstrate and exploit quantum computational supremacy. In the context of the impending second quantum revolution it is of crucial importance to build new certification tools, improve the existing ones and understand their limits. When assessing the non-classicality of a given device it is essential to estimate which assumptions about the device are not jeopardizing the certification procedure. Device-independent scenario does not make any assumptions about the inner functioning of devices, but usually only assumes the correctness of quantum theory. It gained a lot of attention because it manages to certify the quantum character of certain devices while giving to potential adversaries all power allowed by the laws of physics. Device-independent certification of various quantum resources is the main subject of the thesis.In the first part of the thesis we focus on self-testing, one of the simplest device-independent protocols. It aims to recover quantum states solely from the observed measurement correlations. It has a fundamental importance for the device-independent paradigm because it shows which quantum states can leave a device-independent 'imprint'. Practically, it bears a significance as a possible first step in more complex protocols such as blind quantum computing, randomness generation or quantum key distribution. In this thesis we present several new self-testing results. Firstly, we provide a proof that chained Bell inequalities can be used to robustly self-test maximally entangled pair of qubits and an arbitrary number of real measurements. As a side result we also present a protocol for randomness generation based on the maximal violation of a chained Bell inequality. Secondly, we provide new self-testing protocols for several classes of multipartite quantum states: Dicke states, graph states and all states of arbitrary finite dimension admitting the Schmidt decomposition. Finally, we extend self-testing to the semi-device-independent scenario and explore its properties.In the second part we move to the certification of several quantum resources and protocols. While the device-independent scenario offers the utmost security, it has a few undesirable properties. Firstly, it is very difficult to implement. In some cases, depending on the scenario, stronger assumptions about the functioning of the devices can be made. Secondly, the scenario relies on the observation of nonlocal measurement correlations, which makes some classes of entangled states useless for device-independent protocols. We address the first difficulty by presenting quantification of entanglement and randomness in quantum networks in the measurement-device-independent scenario, in which parties are assumed to have characterized preparation devices. In this scenario all entangled states can be detected. To address the second issue, we merge measurement-device-independent entanglement detection with self-testing and present the first protocol for a completely device-independent detection of all entangled states. The protocol involves placing an entangled state to be detected in a quantum network. Finally, we identify quantum state teleportation as a representative of one-sided measurement-device-independent protocols, which helps us to propose a new benchmark for certifying the non-classicality of teleportation. By using this new benchmark we show that all entangled states can lead to a teleportation protocol that cannot be simulated classicallyLes dues darreres dècades han significat un període molt fructífer per a la investigació bàsica en relació a la teoria quàntica de la informació. Avui en dia tenim un grau de comprensió raonable sobre l'efecte que les propietats quàntiques tenen sobre diverses tasques computacionals i criptogràfiques. Paral·lelament, també es produeixen avenços en les implementacions pràctiques: Varis dispositius que realitzen distribució quàntica de claus o generació quàntica de nombres aleatoris són ja una realitat i estan disponibles comercialment. Mentrestant, més recursos s'estan invertint en construir un dispositiu que pugui provar i explotar l'anomenada superioritat quàntica. En el context d'aquesta imminent segona revolució quàntica, la importància de construir noves eines de certificació i millorar les existents és crucial. En el procés d'avaluar la no-classicalitat d'un dispositiu donat, és essencial poder estimar quines hipòtesis no comprometen el procés de certificació. L'escenari independent del dispositiu no fa cap hipòtesi sobre el funcionament intern dels dispositius, tan sols pren com a punt de partida que la teoria quàntica és correcta. Aquest escenari aconsegueix certificar el caràcter quàntic de certs dispositius, fins i tot en el supòsit que adversaris potencials tenen a la seva disposició tot el poder que les lleis de la física permeten. El tema principal d'aquesta tesi és la certificació de diversos recursos quàntics de manera independent del dispositiu. En la primera part de la tesi ens centrem en l'autoavaluació, un dels protocols independents del dispositiu més senzills. El seu objectiu és recuperar els estats quàntics que s'usen, només a partir de les correlacions observades al mesurar. Té una importància fonamental en el paradigma independent del dispositiu ja que mostra quins estats quàntics deixen una 'empremta'. En aquesta tesi presentem varis resultats referents a l'autoavaluació. Primerament, demostrem que les desigualtats de Bell encadenades poden ser usades per auto-avaluar parelles de qubits màximament entrellaçats de manera robusta, així com estats de Dicke, estats de grafs i estats de dimensió finita arbitrària que admetin la descomposició de Schmidt. Finalment, estenem l'autoavaluació a l'escenari semi-independent del dispositiu i n'explorem les seves propietats. En la segona part de la tesi anem a la certificació de varis recursos quàntics i protocols. Mentre que l'escenari independent del dispositiu ofereix seguretat en grau màxim, té algunes propietats que hom voldria evitar. És difícil d'implementar: En alguns casos es poden plantejar hipòtesis més fortes sobre el funcionament dels dispositius.En segon lloc, l'escenari es basa en l'observació de correlacions no locals, cosa que inutilitza certes classes d'estats entrellaçats per a protocols independents del dispositiu. Abordem el primer repte presentant una quantificació de l'entrellaçament i l'aleatorietat en xarxes quàntiques en l'escenari de mesurament independent del dispositiu, on se suposa que totes les parts tenen els seus aparells de preparació caracteritzats. En aquest cas, es poden detectar tots els estats entrellaçats. Quant al segon problema, combinem l'escenari de la mesurament independent del dispositiu amb l'autoavaluació i presentem el primer protocol per a una detecció de tots els estats entrellaçats de manera independent del dispositiu. El protocol implica la col·locació d'un estat entrellaçat per ser detectat en una xarxa quàntica. Finalment, identifiquem la teleportació d'estats quàntics com un representant dels protocols unilaterals de mesurament independent del dispositiu, el qual ens ajuda a proposar un nou punt de referència per certificar la no-classicalitat de la teleportació. Partint d'aquest punt de referència, demostrem que tots els estats entrellaçats indueixen un experiment de teleportació que no pot ser simulat de manera clàssica.
13
Gantt, Anita Masha. "Teachers as professionals national board certification /." [Pensacola, Fla.] : University of West Florida, 2006. http://purl.fcla.edu/fcla/etd/WFE0000037.
Full text
14
Shi, Xiaomu. "Certification of an Instruction Set Simulator." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.
Full textAbstract:
Cette thèse expose nos travaux de certification d'une partie d'un programme C/C++ nommé SimSoC (Simulation of System on Chip), qui simule le comportement d'archi- tectures basées sur des processeurs tels que ARM, PowerPC, MIPS ou SH4. Un simulateur de System on Chip peut être utilisé pour developper le logiciel d'un système embarqué spécifique, afin de raccourcir les phases des développement et de test, en particulier quand la vitesse de simulation est réaliste (environ 100 millions d'instructions par seconde par cœur dans le cas de SimSoC). Les réductions de temps et de coût de développement obtenues se traduisent par des cycles de conception interactifs et rapides, en évitant la lourdeur d'un système de développement matériel. SimSoC est un logiciel complexe, comprenant environ 60 000 de C++, intégrant des parties écrites en SystemC et des optimisations non triviales pour atteindre une grande vitesse de simulation. La partie de SimSoC dédiée au processeur ARM, l'un des plus répandus dans le domaine des SoC, transcrit les informations contenues dans un manuel épais de plus de 1000 pages. Les erreurs sont inévitables à ce niveau de complexité, et certaines sont passées au travers des tests intensifs effectués sur la version précédente de SimSoC pour l'ARMv5, qui réussissait tout de même à simuler l'amorçage complet de linux. Un problème critique se pose alors : le simulateur simule-t-il effectivement le matériel réel ? Pour apporter des éléments de réponse positifs à cette question, notre travail vise à prouver la correction d'une partie significative de SimSoC, de sorte à augmenter la confiance de l'utilisateur en ce similateur notamment pour des systèmes critiques. Nous avons concentré nos efforts sur un composant particulièrement sensible de SimSoC : le simulateur du jeu d'instructions de l'ARMv6, faisant partie de la version actuelle de SimSoC. Les approches basées sur une sémantique axiomatique (logique de Hoare par exemple) sont les plus répandues en preuve de programmes impératifs. Cependant, nous avons préféré essayer une approche moins classique mais plus directe, basée sur la sémantique opérationnelle de C : cela était rendu possible en théorie depuis la formalisation en Coq d'une telle sémantique au sein du projet CompCert et mettait à notre disposition toute la puissance de Coq pour gérer la complexitité de la spécification. À notre connaissance, au delà de la certification d'un simulateur, il s'agit de la première expérience de preuve de correction de programmes C à cette échelle basée sur la sémantique opérationnelle. Nous définissons une représentation du jeu d'instruction ARM et de ses modes d'adressage formalisée en Coq, grâce à un générateur automatique prenant en entrée le pseudo-code des instructions issu du manuel de référence ARM. Nous générons égale- ment l'arbre syntaxique abstrait CompCert du code C simulant les mêmes instructions au sein de Simlight, une version allégée de SimSoC. À partir de ces deux représentations Coq, nous pouvons énoncer et démontrer la correction de Simlight, en nous appuyant sur la sémantique opérationnelle définie dans CompCert. Cette méthodologie a été appliquée à au moins une instruction de chaque catégorie du jeu d'instruction de l'ARM. Au passage, nous avons amélioré la technologie disponible en Coq pour effectuer des inversions, une forme de raisonnement utilisée intensivement dans ce type de situation.
15
Chan, Ho-pang, and 陳浩鵬. "Sustainable seafood certification in Hong Kong." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2011. http://hub.hku.hk/bib/B46733991.
Full text
16
Clarke, Matthew T. "Federal Acquisition Network implementation and certification." Thesis, Monterey, California. Naval Postgraduate School, 1995. http://hdl.handle.net/10945/31419.
Full textAbstract:
The Federal Acquisition Streamlining Act (FASA) of 1994 requires that the Administration of the Office of Federal Procurement Policy establish a program for the development and implementation of a Federal Acquisition Network (FACNET). The FACNET, an electronic procurement system, is required to be universally available throughout the Government and provide interoperability among its users which includes the Department of Defense. The FASA incentivizes contracting activities by conditioning the use of new simplified acquisition procedures ($100,000 threshold) on an activity's ability to implement and certify their FACNET capability. Many Army contracting activities already have some form of electronic procurement capability and incorporate its application into their daily procurement activities. However, while the Office of Federal Procurement Policy (OFPP) developed an initial standard for FACNET certification, the actual ability of agencies to achieve the standard remains nebulous. There are many barriers to the full use and certification of the FACNET. This is due in part to lack of detail in the FASA and the Federal Acquisition Regulation (FAR), which has yet to incorporate the FASA amendments. The objective of this research is to identify those inconsistencies in FACNET implementation and certification (if they exist) and to examine possible courses of action that may provide solutions or clarifications to the implementation process.
17
Karlsson, Niklas, and Marcus Källbrink. "Environmental certification of commercial real estate." Thesis, KTH, Fastigheter och byggande, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-191508.
Full textAbstract:
Over the last ten years there has been a significant increase in environmental certification of buildings in the world. More and more people are getting aware of the fact that buildings use a lot of energy and affect the wellbeing of the community and our planet. The research has the last 15 years therefore produced several studies investigating different options available to decrease buildings environmental impact. Through the following report a summary is done reviewing the many opinions in the field. The goal with this Bachelor of Science thesis is thus to investigate the issue “Why should property owners and tenants choose environmentally certified buildings? What are the benefits and drawbacks for respective part?” To answer this question an extensive literature review over available materials in this field were made, both internationally and in Sweden. A closer investigation was then conducted through interviews for the market in Sweden to fill in gaps in information. The interviewed parties were all active within the field and had different perspectives representing both property owners and tenants. In our results can we see several benefits for property owners in possessing environmentally certified buildings. Some of the more significant of these benefits are potentially higher rental levels, market values, lower vacancies and energy savings resulting in better net operating income. Add thereto a competitive advantage against other property owners and a decreased risk of being deselected by tenants. Motivating why the tenant should be located in certified real estate is not as simple though, which in Sweden might be because of the high standards in many buildings and that it is hard to directly connect several of the benefits to the certification. Though, generally seen because of that the demand still is high should reasons as better indoor climate, increased productivity and quality assurance be strong arguments to choose environmental certified buildings. Furthermore could the disagreement in the business be solved with more transparency about the cost situation and clearer conformity between the different environmental certification systems.De senaste tio åren har det kunnat observeras en markant ökning av antalet miljöcertifierade byggnader runt om i världen. Fler och fler blir medvetna om att byggnader använder mycket energi och påverkar hur både människor och vår planet mår. Forskningen har de senaste 15 åren därför producerat många studier som utreder flertalet av de alternativ som finns för att sänka byggnaders miljöpåverkan. Genom följande rapport görs en sammanställning av en del av det brus och åsikter som finns om ämnet. Tanken med kandidatarbetet är således att utreda frågeställningen ”Varför ska fastighetsägare och hyresgäster välja miljöcertifierade fastigheter? Vad finns det för fördelar och nackdelar för respektive part?”. För att kunna svara på denna fråga genomfördes en utförlig litteraturstudie av tillgängligt material inom området, både internationellt och i Sverige. En närmare undersökning har sedan gjorts med hjälp av intervjuer för att komplettera och fylla ut bilden av miljöcertifieringssystem i Sverige. De intervjuade tillhör intressenter som är verksamma från olika perspektiv för fastighetsägare eller hyresgäster. Vi kan i resultaten se att det finns flera fördelar för fastighetsägare i att äga miljöcertifierade fastigheter. Några av de tydligare av dessa är bättre driftnetto på grund av energibesparing, potentiellt högre hyresnivåer och marknadsvärden samt lägre vakans. Lägg därtill ett konkurrensmedel mot andra fastighetsägare och minskad risk för att bli bortvald av hyresgäster. Ur hyresgästperspektiv är det svårare att motivera varför de ska vara lokaliserade till miljöcertifierade fastigheter, vilket i Sverige i många fall beror på att byggnader redan har hög standard samt att det är svårare att knyta fördelar just till själva miljöcertifieringen. Men generellt sett i och med att efterfrågan ändå är stor borde anledningar som bättre inomhusklimat, ökad produktivitet och kvalitetssäkring vara kraftiga argument för att välja miljöcertifierat. Vidare skulle oenigheten i branschen kunna lösas med mer transparens i kostnadsfrågan och en tydligare överensstämmelse mellan de olika miljöcertifieringssystemen.
18
Grochocki, Jeannie. "National Board Certification and Cognitive Coaching." Thesis, Northern Arizona University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10751373.
Full textAbstract:
The National Board Certification is a process for educators who desire to pursue a deeper level of professional development and enhance their teaching practice. This certification process coupled with cognitive coaching involved high levels of reflective practices and deepened self-efficacy evident in this study. This study determined that with the use of cognitive coaching an educator self-efficacy would increase depending on what stage they were on in the process. The researcher provided three groups of participants (National Board Certified Teachers, Candidates in the process of National Board Certification and Did Not Achieve) an opportunity to elaborate on their experience moving through the process using a cognitive coach.
An analysis of qualitative and quantitative data revealed that the three groups differed in self-efficacy in favor of the National Board Certified Teacher (NBC) group and that on several aspects of cognitive coaching, the NBC group scored higher than the other groups. As well, each group showed support for the coaching process through certification and revealed that with this coaching they were able to achieve a deeper reflective state of mind.
19
Flores, Alvaro. "Brazilian Leather Certification of Sustainability - 32." Verein für Gerberei-Chemie und -Technik e. V, 2019. https://slub.qucosa.de/id/qucosa%3A34141.
Full textAbstract:
Content:
Sustainability and transparency of the leather industry are increasingly important factors for the sector’s clients as well as final consumers, looking for quality products that are also sustainable in all tiers of the production process. In this sense, certification and labelling processes are tools that grant visibility to the positive practices of manufacturers and their suppliers.
In Brazil, through an unprecedented tanneries initiative conducted by the Centre for the Brazilian Tanning Industry (CICB), a certification for the leather production process was created. The Brazilian Leather
Certification of Sustainability (CSCB) counts on the participation of the various links in the production chain.
Using the concept of the sustainability tripod, CSCB considers the results of tanneries in economic, environmental and social aspects. A sustainable tannery develops its activities with positive economic
results, seeking to reduce inherent environmental impact of its activities, providing better working conditions to employees and respecting the surrounding community. Since the starting point of its creation
(2012), CSCB has reached many results concerning process’ improvements in the industry, quitting wastage and getting efficiency in indicators. As the CSCB practices are inside more than 20 tanneries all
over Brazil (some of them amongst the biggest in the country, covering a big part of the Brazilian leather production, which is one the hugest in the world) these findings are extremely important and must be shared with whole industry.
The certification process is based on implementation and compliance with principles, criteria, and indicators established by standards developed by the Brazilian Association of Technical Standards (ABNT)
and audited by certification institutes accredited by The National Metrology, Quality, and Technology Institute (Inmetro), signatory to the mutual recognition agreement within the framework of the
International Accreditation Forum (IAF) and the International Laboratory Accreditation Cooperation (ILAC). These agreements guarantee the international validation and recognition of CSCB.
Tanneries are certified according to how well they meet the standards, being granted an identification seal for sustainable processes, guaranteeing the transparency of Brazilian leather suppliers.
Take-Away:
Sustainability as a tool for efficiency in the leather industry
Results on the last years of work of the Brazilian Leather Certification of Sustainability (CSCB)
Sustainability indicators on Brazilian tannery work
20
Schmid, Michael Sebastian. "Model-based certification of automated vehicles." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/127083.
Full textAbstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, May, 2020Cataloged from the official PDF of thesis.
Includes bibliographical references (pages 121-131).
Automated vehicles (AVs) have long been predicted to disrupt the transportation industry any moment. Although numerous companies have shared that optimism and supported development, it now seems that the challenges of building automated vehicles are becoming apparent and are pushing the vision far into the future. While manufacturers are making technological progress there are concerns about the safety of AVs. For AVs new types of accidents such as accidents due to unsafe software behavior and interactions between vehicle hardware, software, and humans must be considered in addition to what has been done for the safety of conventional vehicles. Many stakeholders in the AV industry are looking for ways to ensure and demonstrate the safety of AV designs. For one, regulators are responsible for assessing safety and granting certification based on whether a minimum level of confidence in safety was achieved.
Similarly, manufacturers need to be able to argue for the safety of their AV design in order to receive certification and convince customers. Finally, suppliers such as software/hardware providers, AV app developers, etc., also depend on a way to demonstrate the safety of their product and convince Original Equipment Manufacturers (OEMs). Hence, safety is an important problem for the progress of the AV industry that calls for a solution. This thesis presents a potential solution by suggesting a model-based certification. First, currently existing problems with AV safety and the currently taken approaches to address AV safety are identified. Then, an alternative model-based safety approach that addresses the identified problems is demonstrated and a conceptual architecture model and safety requirements are derived. Finally, it is shown how the model-based safety approach may be implemented through certification.
The application to safety-related problems such as regulation and the insurance of AVs is outlined and an organizational structure and processes for model-based certification are derived.
by Michael Sebastian Schmid.
S.M.
S.M. Massachusetts Institute of Technology, Department of Aeronautics and Astronautics
21
Neitzel, Amber Rae. "Death Certification of ‘‘Suicide by Cop’’." Thesis, The University of Arizona, 2013. http://hdl.handle.net/10150/281777.
Full textAbstract:
A Thesis submitted to The University of Arizona College of Medicine - Phoenix in partial fulfillment of the requirements for the Degree of Doctor of Medicine.Death certification of ‘‘suicide by cop’’ is controversial among some medical examiners and coroners. We present five such deaths that were certified as suicides and discuss the medico-legal issues involved with these certifications. To certify such a death as a suicide, certain criteria should be met. Suicide by cop is a circumstance that involves competing intentional acts that may result in dichotomous determinations of the manner of death. Despite the absence of direct self-infliction, there is overwhelming evidence that these five individuals intended to end their own lives. Their use of an unusual method to accomplish this goal may inappropriately result in a reflexive certification of homicide. All of the decedents possessed weapons or a facsimile of a weapon. We present five instances of suicide by cop and contend that these types of deaths are best certified as suicides. KEYWORDS: forensic science, forensic pathology, suicide, police, gunshot wounds, manner of death
22
Bai, Wei. "Automated certification of online auction services." Thesis, University of Liverpool, 2016. http://livrepository.liverpool.ac.uk/3003726/.
Full textAbstract:
Auction mechanisms are viewed as an efficient approach for resource allocation and different types of auctions have been designed to allocate spectrum, determine positions for advertisements on web pages, and sell products on the Internet, among others. Online auctions can be implemented as an intermediary for both sellers and buyers in agent-mediated e-commerce systems. This raises two concerns. Firstly, the automation of online auction trading requires buyer agents to understand the auction protocol and have the ability to communicate with the seller agents (i.e., the auctioneer). Secondly, buyer agents need to automatically check desirable properties that are central to their decision making. To address both concerns, we have proposed a certification framework to enable software agents automatically verify some desirable properties of a specific auction through a formally designed communication protocol, and then make decisions according to the result of the communication. Furthermore, we have extended the communication mechanism to the area of Semantic Web Service composition and have explored the verification of combinatorial auction mechanisms. To demonstrate our approach, we have modelled online auctions as web services and have applied the technique of Semantic Web Service to represent auction protocols. Then we rely on computer-aided verification techniques to construct and check formal proofs of desirable properties for specific auctions. Finally, dialogue games are proposed to enable decision making and service compositions for software agents.
23
Khayati, Amine. "Bank Certification Effect on CEO Compensation." OpenSIUC, 2010. https://opensiuc.lib.siu.edu/dissertations/174.
Full textAbstract:
Contrary to other forms of outside financing, the announcement of a bank loan agreement prompts a positive and significant market return. Throughout the literature, bank loans are deemed special and unique due to multiple benefits accruing to bank borrowers. The short-term positive market reaction is however inconsistent with the long-term underperformance of borrowing firms (Billet et al., 2006). We find that unlike shareholders, CEOs gain from the bank loan relation over the long-term. Specifically, we find that bank loan agreement elicits a significant increase in total compensation through an increase in non-performance based compensation components such as salary, bonus and other compensation. We also notice a smaller proportion of pay-at-risk. Additional results indicate that bank loan agreement significantly reduces the probability of CEO turnover in the subsequent year, and no change in the probability of CEO turnover in the three years following the loan. Generally, the results suggest that subsequent to a major bank loan, CEOs seem to gain enough influence to shield their compensation from the firm's underperformance and to secure employment. In particular, this evidence supports the "uniqueness" of bank loan relations.
24
Kokic, Damir, and Marcus Brando Pedersen-Slaatten. "Customer Perceptions of Organic Certification Standards." Thesis, Internationella Handelshögskolan, Högskolan i Jönköping, IHH, Företagsekonomi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-44279.
Full textAbstract:
Along with the organic food market development, two directions within the industry has appeared, the traditional organic farming and the biodynamic organic farming. The thesis aimed to derive at which organic certification of organic food in the Swedish food market is most appropriate to the organic movement, based on customer perceptions of Swedish University students. The thesis looked at KRAV, a certifier of traditional organic farming, and Demeter, a certifier of biodynamic organic farming. A quantitative method was used to gain a deeper understanding of the consumer perceptions of organic certification standards and the comparison of KRAV and Demeter, and which certification consumers preferred. A survey was distributed in order to find out the consumer perceptions. The findings of the thesis were split into two parts, each answering one research question. The first part showed that people adhered to the standards of Demeter, with average means skewed towards their side of the scale. The second part identified five hypotheses to be tested against each other, and found customer confusion to be the main impacting factor of consumer perceptions of organic food standards.
25
Jones, Steven C. "Assessing the Need for Evaluator Certification." DigitalCommons@USU, 2001. https://digitalcommons.usu.edu/etd/6163.
Full textAbstract:
Professional certification is arguably a means of validating a practitioner's competency within their trade. Certification can also be beneficial for enhancing a profession's prestige, improving academic programs, and helping to define the profession in question. However, certification can be considered not feasible, effective, or perhaps even necessary. Due to the likelihood of these conflicting viewpoints, it is essential for any profession to determine the support level from its members prior to implementing a certification process.
This thesis presents the results from a 1998 survey for the American Evaluation Association, whereby their members responded to items regarding the need, effectiveness, feasibility of enacting a certification system for professional evaluators. Respondents were mixed in their attitudes. A slight majority indicated a certification system could be feasible. However, more respondents were unconfident than confident that certification can be effective or is even necessary; additionally, many were undecided on these issues.
26
Park, Sherry. "Stakeholders' Perception of Alternative Certification Program." ScholarWorks, 2015. https://scholarworks.waldenu.edu/dissertations/893.
Full textAbstract:
The diminution of Alternative Certification Program (ACP) teachers contributes to the teacher shortage and complicates the challenges of hard-to-staff schools. Some ethnic minority, economically challenged districts have experienced a growing attrition rate of teachers prepared by ACPs, resulting in a scarcity of qualified teachers. The purpose of this study was to examine the experiences of stakeholders, including teachers currently in the program, teachers who left the program before completion, and program administrators, in order to understand the ACP program. A conceptual framework was based upon theorists Feistritzer and Klagholz, the originators of the ACP movement. Ten participants were selected for this qualitative case study using purposeful sampling, and data were collected through open ended interviews focused on training, challenges, support, and improvements. The hand analysis method was used to generate codes and subsequent themes. The themes developed from the interview questions and that provided some insight into stakeholders' perceptions included the influences of a positive school environment, the detriments of lack of support and preparation, and the apparent need for program restructuring. An ACP training manual based on study findings was designed to address the immanent training and support needs of ACP teachers. The manual may be implemented to train and retain ACP teachers in the district of study. Positive change implications of this study and of this manual may include more relevant professional development and a more structured ACP.
27
Church, W. Mark. "Benefits of Student Certification: A Study of Automotive Service Managers." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/26249.
Full textAbstract:
Virginia and other states recognize the need for a technically trained workforce and have implemented directives that promote student credentialing. Certifications and other forms of credentialing are used to prove that the recipient has met a predetermined level of competence or mastery of a skill or subject. This study looks specifically at the automotive industry's Automotive Service Excellence (ASE) certification. The primary research question is: Is there a perceived benefit of ASE certification? In addition, two subset questions are explored. The first subset question is (1) Does the ASE certification provide benefits to the employers? And second, (2) do the employers see a benefit of ASE certification to the technicians as compared to those without credentials? This study attempts to answer these questions by polling Virginia automobile service managers regarding their perceptions of the benefits of ASE certification.
A sample of 130 dealership service managers was selected at random from the 2006 Virginia Automobile Dealer Association (VADA) Membership Directory. The VADA has 602 franchised dealerships within the Commonwealth of Virginia. A corresponding sample of 130 independent service managers was selected by matching the zip codes of chosen dealerships with an internet phone directory search. The dealership service manager group had four surveys returned as undeliverable or the dealership was out of business. This leaves them with 126 potential participants. The independent service manager group had seven surveys returned as undeliverable or the service center was no longer in business. This leaves them with 123 potential participants. One hundred seventy-eight surveys were returned giving a 71% overall return rate.
Automotive technicians are employed at either dealerships or independent service centers. It is hypothesized that the perceptions of ASE certification benefits by the two groups are significantly different from each other. A t test was conducted regarding the difference between the unweighted composite mean scores of dealership service managers and independent service managers regarding both benefits to the employers and again regarding benefits to the technicians. The tests support the hypothesis that there was a significant difference between the perceptions of the two groups.
The study concludes that these groups perceive there are moderate benefits to the employer and moderate benefits to the technician; however, the dealership and independent service managers differ in their level of agreement in both categories. Dealership service managers agreed more than independent service managers that there were benefits.Ph. D.
28
Biggs, Robert C. "Missile defense certification examination of the U.S. Navy Aegis warship and U.S. Army patriot crew certification process." Thesis, Monterey, California. Naval Postgraduate School, 2008. http://hdl.handle.net/10945/3879.
Full textAbstract:
Approved for public release; distribution is unlimitedThe process employed by Naval Surface Forces to capture information during warfare certification is enabled by a computer-based feedback mechanism. The Surface Force Type Commander employs two information management system models in the form of Training and Operational Readiness Information Service (TORIS) and Training Figure of Merit (TFOM) to report progress, capture data, compare trends, and achieve training and certification process efficiency. These systems have advantages that can be recognized and capitalized upon by other elements within the Ballistic Missile Defense community. This thesis examines how two Ballistic Missile Defense elements Naval Aegis units and Army Patriot units leverage technology to capture data as part of the certification timeline and the degree of alignment between the certification processes of the elements. It is recommended that an initiative be undertaken to record and retain data associated with certification events down to a granular (unit) level. It is further recommended that the Patriot community in particular consider an information technology solution for the issue of unit-level readiness management.
29
Roeschmann, Juan. "Is Environmental Certification Associated with Price Premiums? The Case of Costa Rica Hotel and Community Certification Programs." Thesis, The George Washington University, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3718231.
Full textAbstract:
The research examines how firms’ price premiums are affected by performance in facility and community level environmental certification programs. Relying on a propensity score matching approach aimed at correcting for self-selection bias, I analyze two major voluntary environmental certification programs in Costa Rica: the Blue Flag Program, which provides certification for coastal communities, and the Certification for Sustainable Tourism (CST) program, which certifies beyond-compliance environmental performance by individual hotels. To do this, I use panel data for the entire population of hotels and beach communities in Costa Rica between 2001-2008 (n=3,500 hotel-year observations). The majority of studies of voluntary certification programs tend to analyze individual programs and their associated effect on participant firm facilities, leaving aside the environmental performance of the community where participant firm operate. This research seeks to quantify the combined price premium effects of two voluntary environmental certification programs: one focused on firm facilities and another focused on communities.
Findings of the study suggest: (1) a lack of a significant price premium for firms showing low certified facility-level environmental performance even when they are located in communities receiving collective environmental certification (in the form of the Blue Flag). (2) Significant price premiums for firms showing superior certified facility-level environmental performance. And (3), most interestingly, community level environmental certification only increases the magnitude of the price premiums for firms showing the highest individual facility-level environmental performance. That is, to gain the greatest price premiums from a certified “green” reputation, it is necessary for firm to be located in host community receiving collective environmental certification and to also show the highest levels of certified facility-level environmental performance.
30
Biggs, Robert C. JOINT AUTHOR. "Missile defense certification examination of the U.S. Navy Aegis warship and U.S. Army patriot crew certification process /." Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/theses/2008/Sept/08Sep%5FNAME.pdf.
Full textAbstract:
Thesis (M.S. in )--Naval Postgraduate School, September 2008.Thesis Advisor(s): last name, first name ; "September 2008." Joint authors: Description based on title screen as viewed on ... Includes bibliographical references (p. ). Also available in print.
31
RIDOLPHI, REBHUHN SOPHIE. "Certification de la qualite des medicaments ; etude de deux approches : le systeme oms et la certification iso." Strasbourg 1, 1995. http://www.theses.fr/1995STR15075.
Full text
32
Humphries, Shoana S. "Forest certification for community-based forest enterprises in Brazil's western Amazon local stakeholders' perceptions of negative and positive aspects of certification and how to improve the certification process /." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0012320.
Full text
33
Davis, Buddy L. "A Simulation Study for a Computerized Approach to Teacher Certification Information." Thesis, North Texas State University, 1985. https://digital.library.unt.edu/ark:/67531/metadc331662/.
Full textAbstract:
The concern that prompted this study is the inadequacy of the present system of handling teacher certification information, especially as it involves the movement of information between Texas' teacher-certifying universities, local school districts, and the Texas Education Agency. Since it was found that no computerized certification system presently exists in any state, the primary purpose of this study was to develop a model for a computerized teacher certification information system; a secondary purpose was to determine the major factors involved in regard to the feasibility of such a model. The model is written from an education administration viewpoint and is limited to in-state elementary and secondary teacher certification, 1972 certification standards, and existing computer capabilities.
34
Ambrose, Matthew H. "Past performance in supplier certification program : a study of current certification and incentive practices in certified supplier programs." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1997. http://handle.dtic.mil/100.2/ADA333461.
Full textAbstract:
Thesis (M.S. in Management) Naval Postgraduate School, June 1997.Thesis advisors, Mark W. Stone, Walter E. Owen. AD-A333 461. Includes bibliographical references (p. 69-71). Also available online.
35
Asensi, Conejero Emilio, and Renars Kaulins. "Motivations and Barriers of Using Emerging Technology in Eco-label Certification for Sustainability, from the certification companies’ perspective." Thesis, Malmö universitet, Fakulteten för kultur och samhälle (KS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-22554.
Full textAbstract:
The demand for organic sustainable products has been growing exponentially in the past years, pressuring the industry to showcase the sustainable origin and conditions of their products to their consumers. Companies use certifications and eco-labels to show the sustainability behind their products, but the standards behind these certifications can be hard to understand as certification companies are struggling to communicate them to the end consumers. Emerging technologies such as QR codes, IoT and blockchain provide new options for increasing traceability and transparency in the certification industry, but these technologies are not widely adopted. This thesis investigates the current practices in certification companies by performing semi-structured interviews with different actors in the certification industry, to understand what are the motivations and barriers that companies see in the adoption of new technologies for transparency and traceability. Once motivations and barriers have been identified, the authors frame them into a motivational model and propose organisational strategies for these companies in order to overcome the barriers and produce change towards technology adoption, traceability and transparency improvement, and sustainability advocacy.Industry practitioners can use these technologies to increase the trust in their brands and to ensure the sustainability of their supply chains. Further, new emerging technologies can be seen as a tool to assess the companies’ strategic and tactical decisions to comply with their CSR policy, decisions that can eventually lead to an organisational change providing companies with a more sustainable perspective of their operations.
36
Etheredge, David K. "Alternative Certification Teaching Programs in Texas: A Historical Analysis." Thesis, University of North Texas, 2015. https://digital.library.unt.edu/ark:/67531/metadc799511/.
Full textAbstract:
Before 1984, nearly 975 of teachers entered the teaching profession after graduating from a traditional university-based program. However, beginning in the mid-1980s, alternative routes leading to teacher certification began to emerge in the United States. As of 2010, nearly one-third of all new teachers graduated from an alternative preparation program. As alternative certification (AC) routes approach 30 years since establishment, programs continue to evolve and increase in enrollment. This study focused on the changes that have come about in the maturation of alternative certification programs in Texas since legislation was passed in 1985. The purpose of the study was to delineate the evolution of AC programs using a historical approach, the study used both primary and secondary resources as research tools and employed the use of eight interviews and the literature review for the collection of data. The prediction of future teacher shortages, the need for diversity in the profession the political view to privatize education, and economic recessions were all motivating factors for establishing alternative teacher programs. In the beginning, graduation from AC programs were perceived as not authentic teachers and not as prepared for teaching as graduates from traditional programs. AC programs have become a legitimate and viable option for educator preparation programs as they offer greater flexibility, staff/instructor diversity, and multiple approaches to instruction. This data suggests that AC programs in Texas have emerged as a real and sustainable option to traditional certification programs leading to certification and licensure.
37
Nusbaum, Charles M. "Principals' Perceptions of the Effectiveness of Alternatively Certified and Traditionally Certified Teachers In Hampton Roads Virginia." Diss., Virginia Tech, 2002. http://hdl.handle.net/10919/30009.
Full textAbstract:
The purpose of this study was to evaluate the effectiveness of alternative certification instruction in a public education environment. In addition, the study compared traditional certification instruction to alternative certification instruction on the basis of educational quality. Due to increasing teacher shortages across the country, the search for an alternative route of certification has generated ideological debates revolving around the supply and demand of potential teachers, educational quality, and the potential of alternative means of teacher procurement.
There are myriad arguments in support of and against alternative certification programs. This study evaluated the perceived effectiveness of alternatively certified teachers in a public education environment by comparing principal's perceptions of traditional certification instruction to alternative certification instruction existent with their region, on the basis of educational quality.
Survey research was used to determine perceptions which Hampton Roads principals who have, or who have had, responsibility for supervision of alternatively and traditionally certified personnel. It focused on 40 statements comparing traditionally certified teachers and alternatively certified teachers. It included such factors as pedagogical content knowledge, classroom management and instruction, behavior management, attitude, life experience, professionalism, professional development and evaluation. A series of 40 independent t-tests and a factor analysis were accomplished utilizing the data derived from these surveys.
Results of this study indicated that the perceptions among Hampton Roads principals differ significantly regarding the effectiveness of alternatively certified teachers from those of previous research. Demographic data found these perceptions exist with principals of all school levels and are not related to the principal's years of experience, formal education or student enrollment. Ninety five percent of the 40 comparative statements favor those teachers achieving certification through traditional certification programs. Areas that reflected particularly substantial differences were content knowledge, instructional planning, and classroom discipline.
Recommendations for practice include but are not limited to standardized supervision of alternative certification programs, quality screening of applicants, quality mentor programs, standardized and subsidized student teaching, competency testing, formalized state and district assessment and quality recruitment.Ed. D.
38
Flynn, Kimberly C. Grassco Colleen E. Boorom Eric W. "Paperless Contract Folder's (PCF) DoD 5015.2 certification." Monterey, Calif. : Naval Postgraduate School, 2010. http://edocs.nps.edu/npspubs/scholarly/JAP/2010/Jun/10Jun%5FFlynn%5FJAP.pdf.
Full textAbstract:
"Submitted in partial fulfillment of the requirements for the degree of Master of Contract Management from the Naval Postgraduate School, June 2010."Advisor(s): Doelling, Michael C. ; Brinkley, Douglas E. "June 2010." "Joint applied project"--Cover. Joint authors: .Grasso, Colleen E. ; Boorom, Eric W. Description based on title screen as viewed on July 14, 2010. Author(s) subject terms: Paperless Contract Folder's (PCF) DoD 5015.2 certification Includes bibliographical references (p. 97). Also available in print.
39
Al-Zahofi, Waseem I. "Information technology feasibility of certification in Wisconsin /." Menomonie, WI : University of Wisconsin--Stout, 2005. http://www.uwstout.edu/lib/thesis/2005/2005al-zahofiw.pdf.
Full text
40
Dutta, Abhishek. "Design and certification of industrial predictive controllers." Thesis, University of Cambridge, 2014. https://www.repository.cam.ac.uk/handle/1810/246154.
Full textAbstract:
Three decades have passed since milestone publications by several industrial and academic researchers spawned a flurry of research and commercial, industrial activities on model predictive control (MPC). The improvement in efficiency of the on-line optimization part of MPC led to its adoption in mechanical and mechatronic systems from process control and petrochemical applications. However, the massive strides made by the academic community in guaranteeing stability through state-space MPC have not always been directly applicable in an industrial setting. This thesis is concerned with design and a posteriori certification of feasibility/stability of input-output MPC controllers for industrial applications without terminal conditions (i.e. terminal penalty, terminal constraint, terminal control). MPC controllers which differ in their modelling and prediction method are categorized into three major groups, and a general equivalence between these forms is established. Then an overview on robust set invariance is given as it plays a fundamental role in our analysis of the constrained control systems. These tools are used to give new tuning guidelines as well as a posteriori tests for guaranteeing feasibility of the suboptimal or optimal predictive control law without terminal conditions, which is fundamental towards stability of the closed loop. Next, penalty adaptation is used as a systematic procedure to derive asymptotic stability without any terminal conditions and without using set invariance or Lyapunov arguments. This analysis however is restricted to repetitive systems with input constraints. Then, predictive control without terminal conditions is considered for nonlinear and distributed systems. The invariance tools are extended to switching nonlinear systems, a proof of convergence is given for the iterative nonlinear MPC (NMPC), and a guarantee on overall cost decrease is developed for distributed NMPC, all without terminal conditions. Reference generation and parameter adaptation are shown to be effective mechanisms for NMPC and distributed NMPC (DNMPC) under changing environmental conditions. This is demonstrated on two benchmark test-cases i.e. the wet-clutch and hydrostatic drivetrain, respectively. Terminal conditions in essence are difficult to compute, may compromise performance and are not used in the industry. The main contribution of the thesis is a systematic development and analysis of MPC without terminal conditions for linear, nonlinear and distributed systems.
41
Josif, Dina. "Cognitive assessment of certification examination in endocrinology." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61300.
Full textAbstract:
The study focuses on the cognitive assessment of certification examination in medicine. The purpose was to investigate the relationship between the structure of the examination questions and the examinees' written responses. The responses from three groups of residents with undergraduate degrees from McGill (3), Toronto (2) and Manitoba (2) medical schools were used. A sample of one basic science and two clinical question in Endocrinology were selected. The responses were analyzed using cognitive methods which provided a qualitative assessment of subjects' knowledge structures relative to task.The results showed that the responses did not always correspond to task requirements. There was a general tendency to focus on specific details that the subjects understood at the expense of the global aspect of the question. There was a greater variation in performance within groups than between groups. The results also suggest that undergraduate education may have less influence on the performance in certification examination than residency training. The importance of developing examination questions with high construct and criterion validity is discussed.
42
Flynn, Kimberly C., Eric W. Boorom, and Colleen E. Grasso. "Paperless Contract Folder's (PCF) DoD 5015.2 certification." Monterey, California. Naval Postgraduate School, 2010. http://hdl.handle.net/10945/10522.
Full textAbstract:
Joint Applied ProjectThe objective of this project is to conduct an analysis of the CECOM Contracting Center's Paperless Contracting Folder program in regards to maintaining its DoD 5015.2 certification. The desired outcomes will be the creation of a File Plan and User Guide to assist with DoD 5015.2 certification.
43
Everson, Matthew D. "Training system device certification and qualification process." Thesis, Monterey, California. Naval Postgraduate School, 2013. http://hdl.handle.net/10945/37624.
Full textAbstract:
Approved for public release; distribution is unlimitedTraining system devices are frequently used for aviation training to prepare students to fly aircraft. The use of training systems can be used to reduce the number of flight hours required for pilots and aircrew. The aviation training system device must be designed properly to ensure that necessary learning objectives are met. Certification is the last step in the test and evaluation process during the validation phase, within the systems engineering process, that ensures the system works as it was intended, and meets the users need. Training System certification ensures the user that the training device can be used to properly meet certain learning objectives prior to flying. This thesis analyzes existing training system device certification processes and provides recommendations to the United States Navy, Naval Air Warfare Center Training Systems Division, for improvements.
44
Oyeniya, Atinuke Adebisi. "Certification challenges for emerging technologies in aviation." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118532.
Full textAbstract:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and Management Program, 2018.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 70-72).
Over the last decade the aerospace industry has seen a shift in traditional architectures of an aircraft. The desire for aircraft to be lighter, more efficient, quieter, faster, and cheaper has driven trends across the industry. These trends look for ways to accomplish what many other industries such as automotive have done which is a complete transformation of the "normal." The shift has created an advanced architecture for aircraft and therefore requires a new view on certification. The traditional approach for certification is pretty straightforward since majority of aircraft have been the same over several years with minor changes in sub level aircraft systems. Aircraft manufacturers in combination with suppliers develop concepts for new or improved aircraft, requirements are outlined and implemented based on aviation authority regulations, and eventually the aircraft receives a certificate declaring the safety of the aircraft design and production. In fairness, the traditional standard approach to aircraft certification has worked. Aircraft are safer than ever and data shows a sharp decline in aviation accidents over the years. However, with changes in technology what use to be the "normal" architecture is changing significantly and the desire for the industry to be more agile both play a role in the need to view certification slightly different. The main objective of certification has been, is, and will always be safety. This thesis proposes a framework on how to approach certification of new technologies. Perhaps the two most important elements in the framework are the proposal of a threshold utilizing the technology infusion effort equation to gage the significance of a change in architecture and the proactive safety analysis utilizing a new kind of technique called STPA. The framework is developed based on an in-depth outline of the traditional certification process and a review of the historical development of safety regulations. Two parts of the proposed framework are then applied and analyzed based on the more electric aircraft concept.
by Atinuke Adebisi Oyeniya.
S.M. in Engineering and Management
45
O'Sullivan, Tony, and Harold Book. "Tape Certification Today and in The Future." International Foundation for Telemetering, 1988. http://hdl.handle.net/10150/615052.
Full textAbstract:
International Telemetering Conference Proceedings / October 17-20, 1988 / Riviera Hotel, Las Vegas, NevadaThe advent of high density digital recording has required the development of sophisticated tape certification equipment which allows the user to test tape for dropouts at his actual system bit packing density and to clean and program wind tapes with the same equipment. By using two sets of reproduce heads with dual threshold and duration controls tapes can be graded as to their suitability for use with HDDR systems or far less exacting analog applications.
46
Ekici, Burak. "Certification de programmes avec des effets calculatoires." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM070/document.
Full textAbstract:
Dans cette thèse, nous visons à formaliser les effets calculatoires. En effet, les langages de programmation les plus utilisés impliquent différentes sortes d'effets de bord: changement d'état, exceptions, entrées / sorties, non-déterminisme, etc. Ils peuvent apporter facilité et flexibilité dans le processus de codage. Cependant, le problème est de prendre en compte les effets lorsque l'on veut prouver des propriétés de programmes. La principale difficulté dans ce genre de preuve de programmes est le décalage entre la syntaxe des opérations avec effets de bord et leur interprétation. Typiquement, un fragment de programme avec des arguments de type X qui retourne une valeur de type Y n'est pas interprété comme une fonction de X vers Y , à cause des effets.L'approche algébrique la plus connue pour ce problème permet une interprétation des programmes, y compris ceux comportant des effets, en utilisant des monades : l'interprétation est une fonction de X vers T (Y ) où T est une monade. Cette approche a été étendue aux théories de Lawvere et aux "gestionnaires algébriques" (algebraic handlers). Une autre approche, appelée logique décorée, fournit une sémantique équationnelle pour ces programmes. Nous spécialisons l'approche de la logique décorée pour les effets liés à l'état de la mémoire et à la gestion des exceptions en définissant la logique décorée pour les états (L_st) et la logique décorée pour les exceptions (L_exc), respectivement. Elles nous permettent de prouver des propriétés de programmes impliquant de tels effets. Ensuite, nous formalisons ces logiques en Coq et certifions les preuves associées. Ces logiques sont construites de manière à être correctes. En outre, nous introduisons une notion de complétude syntaxique relative d'une théorie dans une logique donnée par rapport à une sous-logique. Nous montrons que la théorie décorée pour les états globaux ainsi que deux théories décorées pour les exceptions sont relativement complets relativement à leur sous-logique pure. Non seulement nous pouvons utiliser le système développé pour prouver des programmes comportant des effets, mais également nous utilisons cette formalisation pour certifier les résultats de complétude obtenusIn this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts of effects: state change, exceptions, input/output, non-determinism, etc. They may bring ease and flexibility to the coding process. However, the problem is to take into account the effects when proving the properties of programs. The major difficulty in such kind of reasoning is the mismatch between the syntax of operations with effects and their interpretation. Typically, a piece of program with arguments in X that returns a value in Y is not interpreted as a function from X to Y , due to the effects. The best-known algebraic approach to the problem interprets programs including effects with the use of monads: the interpretation is a function from X to T(Y) where T is a monad. This approach has been extendedto Lawvere theories and algebraic handlers. Another approach called, the decorated logic, provides a sort of equational semantics for reasoning about programs with effects. We specialize the approach of decorated logic to the state and the exceptions effects by defining the decorated logic for states (L_st) and the decorated logic for exceptions (L_exc), respectively. This enables us to prove properties of programs involving such effects. Then, we formalize these logics in Coq and certify the related proofs. These logics are built so as to be sound. In addition, we introduce a relative notion of syntactic completeness of a theory in a given logic with respect to a sublogic. We prove that the decorated theory for the global states as well as two decorated theories for exceptions are syntactically complete relatively to their pure sublogics. These proofs are certified in Coq as applications of ourgeneric frameworks
47
Yuce, Martin. "Sustainability Evaluation of Green Building Certification Systems." FIU Digital Commons, 2012. http://digitalcommons.fiu.edu/etd/769.
Full textAbstract:
The attention on green building is driven by the desire to reduce a building’s running cost over its entire life cycle. However, with the use of sustainable technologies and more environmentally friendly products in the building sector, the construction industry contributes significantly to sustainable actions of our society. Different certification systems have entered the market with the aim to measure a building’s sustainability. However, each system uses its own set of criteria for the purpose of rating.
The primary goal of this study is to identify a comprehensive set of criteria for the measurement of building sustainability, and therefore to facilitate the comparison of existing rating methods. The collection and analysis of the criteria, identified through a comprehensive literature review, has led to the establishment of two additional categories besides the 3 pillars of sustainability. The comparative analyses presented in this thesis reveal strengths and weaknesses of the chosen green building certification systems - LEED, BREEAM, and DGNB.
48
Glondu, Stéphane. "Vers une certification de l'extraction de coq." Paris 7, 2012. http://www.theses.fr/2012PA077089.
Full textAbstract:
L'assistant de preuve Coq permet de s'assurer mécaniquement de la correction de chaque étape de raisonnement dans une preuve. Ce système peut également servir au développement de programmes certifiés. En effet, Coq utilise en interne un langage typé dérivé du lambda-calcul, le calcul des constructions inductives (CIC). Ce langage est directement utilisable pour programmer, et un mécanisme, l'extraction, permet de traduire les programmes CIC vers des langages à plus large audience tels qu'OCaml, Haskell ou Scheme. L'extraction n'est pas un simple changement de syntaxe: CIC dispose d'un système de types très riche, mais en contrepartie, des entités purement logiques peuvent apparaître dans les programmes et impacter leurs performances. L'extraction se charge également d'effacer ces parties logiques. Dans cette thèse, nous nous attaquons à la certification de l'extraction elle-même. Nous avons prouvé sa correction dans le cadre d'une formalisation entière de Coq en Coq. Cette formalisation ne correspond pas exactement au CIC implanté dans Coq, mais nous avons tout de même réalisé notre étude avec l'implantation concrète de Coq en tête. Nous proposons également une nouvelle méthode de certification des programmes extraits, dans le cadre concret du système Coq existantThe Coq proof assistant mechanically checks the consistency of the logical reasoning in a proof. It can also be used to develop certified programs. Indeed, Coq uses intemally a typed language derived from lambda-calculus, the calculus of inductive constructions (CIC). This language can be directl; used by a programmer, and a procedure, extraction, allows one to translate CIC programs into more widely used languages such as OCaml, Haskell or Scheme. Extraction is not a mere syntax change: the type System of CIC is very rich, but purely logical entities can appear inside programs, impacting their performance. Extraction erases these logical artefacts as well. In this thesis, we tackle certification of the extraction itself. We have proved its correction in the context of a full formalization of Coq in Coq. Even though this formalization is not exactly Coq, we worked on it with the concrete implementation of Coq in mind. We also propose a new way to certify extracted programs, in the concrete setting of the existing Coq System
49
Thomas, Angela Falter. "The Professional Implications of National Board Certification." The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1254757886.
Full text
50
Zanella, Béguelin Santiago José. "Formal certification of game-based cryptographic proofs." Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes), 2010. http://pastel.archives-ouvertes.fr/pastel-00584350.
Full textAbstract:
Les séquences de jeux sont une méthodologie établie pour structurer les preuves cryptographiques. De telles preuves peuvent être formalisées rigoureusement en regardant les jeux comme des programmes probabilistes et en utilisant des méthodes de vérification de programmes. Cette thèse décrit CertiCrypt, un outil permettant la construction et vérification automatique de preuves basées sur les jeux. CertiCrypt est implémenté dans l'assistant à la preuve Coq, et repose sur de nombreux domaines, en particulier les probabilités, la complexité, l'algèbre, et la sémantique des langages de programmation. CertiCrypt fournit des outils certifiés pour raisonner sur l'équivalence de programmes probabilistes, en particulier une logique de Hoare relationnelle, une théorie équationnelle pour l'équivalence observationnelle, une bibliothèque de transformations de programme, et des techniques propres aux preuves cryptographiques, permettant de raisonner sur les évènements. Nous validons l'outil en formalisant les preuves de sécurité de plusieurs exemples emblématiques, notamment le schéma de chiffrement OAEP et le schéma de signature FDHThe game-based approach is a popular methodology for structuring cryptographic proofs as sequences of games. Game-based proofs can be rigorously formalized by taking a code-centric view of games as probabilistic programs and relying on programming language techniques to justify proof steps. In this dissertation we present CertiCrypt, a framework that enables the machine-checked construction and verification of game-based cryptographic proofs. CertiCrypt is built upon the general-purpose proof assistant Coq, from which it inherits the ability to provide independently verifiable evidence that proofs are correct, and draws on many areas, including probability and complexity theory, algebra, and semantics of programming languages. The framework provides certified tools to reason about the equivalence of probabilistic programs, including a relational Hoare logic, a theory of observational equivalence, verified program transformations, and ad-hoc programming language techniques of particular interest in cryptographic proofs, such as reasoning about failure events. We validate our framework through the formalization of several significant case studies, including proofs of security of the Optimal Asymmetric Encryption Padding scheme against adaptive chosen-ciphertext attacks, and of existential unforgeability of Full-Domain Hash signatures