Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Planeamento de uma estrada utilizando CCS Candy - Caso de estudo

O tema desta dissertação foi escolhido tendo em consideração a crescente necessidade de planeamento de empreitadas de construção de estradas, sendo um dos objetivos desta dissertação o de oferecer uma visão global do processo de planeamento da construção de uma estrada, focado apenas no fator tempo, recorrendo a ferramentas informáticas e utilizando um caso de estudo de uma estrada real e já construída. Inicialmente, faz-se uma breve descrição dos métodos de planeamento mais aplicados em planeamentos de projetos, bem como dos softwares a utilizar neste trabalho. De seguida, descreve-se o caso de estudo, indicando as suas características principais. Partindo-se deste caso real, com base no estudo do Projeto de Execução, determinam-se as atividades, as suas relações e dependências, definem-se equipas e frentes de trabalho e determinam-se os respetivos rendimentos. Após a obtenção dos rendimentos de todas as atividades, elabora-se o planeamento da estrada, focado apenas no fator tempo, recorrendo ao diagrama de Gantt e ao diagrama espaço-tempo, utilizando para isso softwares de referência no mercado, o Microsoft Project e o CCS Candy. Por fim, são apresentadas algumas das principais diferenças entre as duas ferramentas informáticas aplicadas, as conclusões gerais, assim como uma proposta de desenvolvimento futuro.

An Optimised Illustrative Investment Model Of The Economics Of Integrated Returns From CCS Deployment In The UK/UKCS

NORTH SEA STUDY OCCASIONAL PAPER No. 118

Els cócs : Una senya d'identitat a la Terra Alta

He organitzat aquest escrit de la manera següent: començo amb una visió general de l'entorn social i econòmic de la comarca, faig esment de breus aspectes lingüístics dels mots, continuo amb un breu repàs de la literatura culinària, principalment a Catalunya, i amb una breu visió històrica, continuo amb el món del pa i de la pastisseria i acabo amb la visió més lúdica dels cócs: el moment de consumir-los. Finalment entro en l'exposició de les receptes més genuïnes dels cócs terraltins, mirant que quedi tot ben clar, gràcies a la informació desinteressada de les persones a qui he consultat, i les comparo amb altres de semblants que trobem en antics manuscrits medievals. Per acabar, mostro quines conclusions podem extreure sobre els cócs i els dolços de la Terra Alta, vinculades bàsicament amb el seu origen i la seva continuïtat fins als nostres dies.

Power Consumption in Carbon Capture and Storage Systems (CCS) and Possibilities to Reduce Power Consumption with Variable Speed Drives

The aim of this master´s thesis is to study which processes increase the auxiliary power consumption in carbon capture and storage processes and if it is possible to reduce the auxiliary power consumption with variable speed drives. Also the cost of carbon capture and storage is studied. Data about auxiliary power consumption in carbon capture is gathered from various studies and estimates made by various research centres. Based on these studies a view is presented how the power auxiliary power consumption is divided between different processes in carbon capture processes. In a literary study, the operation of three basic carbon capture systems is described. Also different methods to transport carbon dioxide and carbon dioxide storage options are described in this section. At the end of the thesis processes that consume most of the auxiliary power are defined and possibilities to reduce the auxiliary power consumption are evaluated. Cost of carbon capture, transport and storage are also evaluated at this point and in the case that the carbon capture and storage systems are fully deployed. According to the results, it can be estimated what are the processes are where variable speed drives can be used and what kind of cost and power consumption reduction could be achieved. Results also show how large a project carbon capture and storage is if it is fully deployed.

Correlação entre o California Mastitis Test (CMT) e a Contagem de Células Somáticas (CCS) do leite de búfalas Murrah

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A abordagem CCS na formação de professores para uma escola inclusiva

Pós-graduação em Educação - FCT

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Implementazione di Semantiche Operazionali per MULTI-CCS

implementazione e dimostrazione di semantiche per il nuovo linguaggio di modellazione concorrente ¨Multi-CCS¨

Caratterizzazione sperimentale dell'ossido di stronzio per l'assorbimento del diossido di carbonio da correnti gassose ad alta temperatura e considerazioni sulla sua applicazione industriale in processi CCS

Del granulato di ossido di stronzio (anche nella formula carbonato) è stato testato come nuovo possibile materiale di utilizzo per la cattura ad alta temperatura di diossido di carbonio da effluenti gassosi di scarto. Sono stati condotti diversi esperimenti con strumentazioni già preposte, quali test termogravimetrici, microscopia elettronica (SEM) e Xray (XRD). Mentre per la sperimentazione in quantità più rilevanti di materiale è stato costruito un impianto a letto fisso ex novo. Le prove TG hanno evidenziato una capacità media di sorbente parti a circa il 5% in massa di ossido, a temperature tra i 1100°C e i 1200°C, in situazione di regime (dopo numerosi cicli di carb/calc), con una buona conservazione nel tempo delle proprietà adsorbitive, mentre per le prove a letto fisso, si è registrato un calo di valori variabile tra il 3 e il 4%, con un netto miglioramento nel caso di calcinazione in vapore surriscaldato fino al 5%. Il trattamento in vapore ha sortito l’importante effetto di calcinazione del diossido di carbonio dal sorbente, quindi facilmente separabile dal flusso in uscita, misurato tramite cattura in una soluzione di idrossido di bario. Importanti fenomeni di sintering e densificazione hanno portato ad occludere completamente la camera di reazione sviluppando notevoli sovrappressioni interne. Tali fenomeni sono stati approfonditi tramite analisi SEM e XRD. Si è constatato un aumento notevole della grandezza dei granuli in caso di trattamento in vapore con la formazione di legami stabili e con conservazione della porosità. Nel caso di trattamento senza vapore surriscaldato i granuli hanno sinterizzato tramite formazione di legami, ma sempre con conservazione della macroporosità. Il lavoro di tesi è stato inquadrato nel contesto tecnologico al riguardo le tecniche CCS esistenti ed in progetto, con un attento studio bibliografico riguardo lo stato dell’arte, impianti esistenti, costi, metodi di cattura usati, metodologie di trasporto dei gas, metodologie di stoccaggio esistenti e in progetto. Si sono considerati alcuni aspetti economici per sviluppare un modello previsionale di spesa per una possibile applicazione di cattura per un impianto di produzione energetica. Con la progettazione e dimensionamento di un sistema integrato di adsorbimento tramite l’accoppiamento di 2 reattori dedicati ai cicli di carbonatazione e calcinazione del materiale sorbente. Infine si sono considerati gli aspetti salienti dello stoccaggio del diossido di carbonio in reservoir tramite le tecniche di EOR e EGR (Enhanced Oil/Gas Recovery) utilizzando la stessa CO2 come fluido spiazzante degli idrocarburi in posto. Concludendo il lavoro di tesi e di sperimentazione ha contribuito in modo tangibile allo scopo prefissato, andando a caratterizzare un nuovo materiale per la cattura di diossido di carbonio da effluenti gassosi ad alta temperatura, ed andando a verificare un’importante fenomeno rigenerativo non previsto delle capacità sorbitive dei materiali sottoposti a test.

The effect of figures in CCS communication

Illustrations are an essential part of most CCS communication materials. This article looks at the role of illustrations in communication and education in general, and in CCS communication in particular. First, literature on multimedia learning is reviewed and general guidelines for designing graphical displays deduced. This is followed by a discussion of relevant mental models and their possible implementa- tion in pictorial form. The authors then report on an interview study in which illustrations with various implementations of CCS mental models are compared. No major differences were found regarding under- standing of CCS between the different illustrations. Graphical displays alone are not powerful enough to implicitly correct typical misconceptions about CCS. Such misconceptions should be stated explicitly, along with their correction.

Gas monitoring methodology and application to CCS projects as defined by atmospheric and remote sensing survey in the natural analogue of Campo de Calatrava

CO2 capture and storage (CCS) projects are presently developed to reduce the emission of anthropogenic CO2 into the atmosphere. CCS technologies are expected to account for the 20% of the CO2 reduction by 2050. Geophysical, ground deformation and geochemical monitoring have been carried out to detect potential leakage, and, in the event that this occurs, identify and quantify it. This monitoring needs to be developed prior, during and after the injection stage. For a correct interpretation and quantification of the leakage, it is essential to establish a pre-injection characterization (baseline) of the area affected by the CO2 storage at reservoir level as well as at shallow depth, surface and atmosphere, via soil gas measurements. Therefore, the methodological approach is important because it can affect the spatial and temporal variability of this flux and even jeopardize the total value of CO2 in a given area. In this sense, measurements of CO2 flux were done using portable infrared analyzers (i.e., accumulation chambers) adapted to monitoring the geological storage of CO2, and other measurements of trace gases, e.g. radon isotopes and remote sensing imagery were tested in the natural analogue of Campo de Calatrava (Ciudad Real, Spain) with the aim to apply in CO2 leakage detection; thus, observing a high correlation between CO2 and radon (r=0,858) and detecting some vegetation indices that may be successfully applied for the leakage detection.

Atmospheric and remote sensing surveys evaluated at the natural analogue "Campo de Calatrava" and its relation with isotopic Radon activity and CO2 flux as strategy for CCS projects

C0 capture and storage (CCS) projects are presently developed to reduce the emission of anthropogenic co2 into the atmosphere. CCS technologies are expected to account for the 20% of the C0 reduction by 2050.The results of this paper are referred to the OXYCFB300 Compostilla Project (European Energy Program for Recover). Since the detection and control of potential leakage from storage formation is mandatory in a project of capture and geological storage of C02 (CCS), geophysical , ground deformation and geochemical monitoring have been carried out to detect potentialleakage, and, in the event that this occurs, identify and quantify it. This monitoring needs to be developed prior, during and after the injection stage. For a correct interpretation and quantification of the leakage, it is essential to establish a pre-injection characterization (baseline)of the area affected by the C02 storage at reservoir level as well as at shallow depth, surface and atmosphere, via soil gas measurements.