Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 238 for “"CSP"”.
-
Symbolic semantics for CSP
Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized transition semantics of CSP, which we call HCSP, that merges the …
-
Global review of CSP technologies
This global review of concentrating solar power (CSP) technologies is based mainly on an assessment of available international literature, up to 31 October 2011. It includes a review of major CSP projects currently operating or under development at this time; the respective CSP technologies …
-
Comportamiento del CSP desviado tras tratamiento interceptivo
El canino superior permanente (CSP) es el diente que más tiempo emplea en hacer erupción. Este proceso concluye aproximadamente hacia los 12 o 13 años. En ocasiones se puede producir una desviación de este proceso eruptivo normal del canino, lo cual es fácilmente objetivable en una …
-
High-Level CSP Model Compiler for FPGAs
… following communicating sequential processes (CSP) model of computation. CSP model of computation introduces a good handshaking mechanism between different components in the design that makes designs less prone to timing violations during implementation and bottlenecks while in actual operation.
-
Das Cysteine-String-Protein in Drosophila melanogaster: Molekulare und funktionelle Analyse verschiedener CSP-Mutanten; Ein Modell zur räumlich und zeitlich kontrollierten CSP-Expression
… Das konservierte Cysteine String Protein (CSP), das gebunden an synaptische und andere sekretorische Vesikel vorliegt, konnte in den vergangenen Jahren als Teil in diesen Prozess eingeordnet werden. Die Frage nach der genauen Funktion von CSP während der Exozytose ist allerdings weiterhin …
-
Control oriented concentrating solar power (CSP) plant model and its applications
… in concentrating solar thermal power plants (CSP) undergo over 10,000 start-ups and shutdowns, and over 25,000 rapid rate of change in temperature on receivers due to cloud transients resulting in performance degradation and material fatigue in their expected lifetime of over 30 years. The …
-
Busca meta-heurística para resolução de CSP em teste de software
… Os problemas de satisfação de restrição (CSP) são compostos por um conjunto de conjunções de variáveis, caracterizando uma restrição. Valores são associados às variáveis, os quais devem satisfazer a restrição, caso contrário, são considerados inválidos. Problemas de resolução de restrição …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… into communicating sequential processes (CSP) to provide means for generating test cases. We prove that our test generation strategy is sound with respect to our timed input-output conformance relation based on CSP: csptio. Besides CSP, we explore the generation of other target notations …
-
Exploring the relationships between Corporate Social Performance (CSP) and institutional shareholding for JSE-listed companies
… a company's Corporate Social Performance (CSP) and its institutional shareholding has been studied in a number of developed economies, this study fills a gap in the literature by investigating this link for JSE listed companies. Using Bloomberg's ESG and individual environmental, social, …
-
Geophysical and industrial requirements of large scale rollout of concentrating solar power (CSP) in South Africa
… to a large emphasis on Concentrated Solar Power (CSP). It does this by assessing the local geographical conditions and what are the land, water and radiation requirements of CSP followed by an investigation into the transmission grid requirements. Recommendations are drawn up of possible grid …
-
Dynamic modeling and control strategies for a micro-CSP plant with thermal storage powered by the Organic Rankine cycle
… generation. Based on an existing micro-CSP (concentrating solar power) plant, the dynamic model is implemented in the Modelica modeling language. Detailed steady-state component models, which are implemented in EES and validated to data where available, form the basis for the dynamic …
-
Design and analysis of a natural draft direct dry cooling system for a supercritical carbon dioxide power cycle for CSP application
Natural draft direct dry cooling systems (NDDDCSs) offer a modern alternative to conventional dry cooling systems such as mechanical draft direct air coolers or natural draft indirect dry cooling systems. This technology combines the benefits of both, promising reduced auxiliary power consumption, …
-
Public housing, Private priorities: The invisible dynamics in low-income housing allocation in urban Peru, the case of CSP-Techo Propio
… the component Construcción en Sitio Propio (CSP), which fully subsidizes the construction of 35 m2-houses in family-owned lots. Given the limited information and studies available on this subprogram, we were keen to understand how CSP is currently being implemented and, especially, how …
-
New technology for thermal desorption feeding with concentrating solar power (csp) system [Nuove tecnologie per il desorbimento termico alimentato con solare a concentrazione]
In questa tesi di dottorato vengono riportate le attività di ricerca incentrate sulla valutazione del Desorbimento Termico (DT) come tecnologia di bonifica di suoli e sedimenti contaminati, con particolare attenzione all'integrazione di fonti energetiche rinnovabili nel processo. Indagini di …
-
Isolated, Absent Cavum Septum Pellucidum: A Single Center’S Outcomes and Review of The Literature
<p>An absent cavum septum pellucidum (CSP) has traditionally been associated with a wide range of neuroanatomical anomalies. With recent advancements in prenatal imaging, however, an absent CSP that occurs in isolation of other anomalies is becoming a more frequent finding. Yet knowledge of …
-
A probabilistic production simulation approach for systems with integrated concentrated solar plants with thermal energy storage
… technologies. The concentrated solar plant (CSP) technology has emerged as a promising approach to harness solar energy, with several implementations under way around the world. Unlike PV and wind resources, a CSP allows the deployment of the thermal energy storage (TES), which provides the …
-
Using Friedman to understand the relationship between market competition and corporate social performance
The Corporate Social Performance (CSP) literature focuses on the relationship between financial performance and social performance of firms. Although the literature recognizes a positive relationship between these two ideas, it is not clear what role competition plays, since there is confusion in …
-
Corporate Social Performance as a Determinant of Firm Financial Distress: Insights from the Johannesburg Stock Exchange
… study examines how Corporate Social Performance (CSP) levels affect the likelihood of firm financial distress in an emerging market context across economic cycles. The significance of this research lies in addressing the gaps in existing literature, which predominantly focuses on mature markets …
Page 1 of 12