Wyniki wyszukiwania - BazTech

1

Achieving Positive Net Energy While Maximizing Use of Existing Assets: The Ejby Mølle WWTP Story

Leth M., Nielsen P. H., Sandino J., Whitlock D., Johnson T., Jensen T., Nielsen M.

Gaz, Woda i Technika Sanitarna

|

2014

|

Nr 4

122--127

PL

Na podstawie analizy historycznych danych operacyjnych i korzystając z zaawansowanych narzędzi do symulacji bilansu masy i energii, przy założeniu współpracy w identyfikacji i ocenie rozwiazań alternatywnych (współpraca na płaszczyźnie oczyszczalnia - VCS Denmark - dop. tłumacza), określono szereg wariantów optymalizowania bilansu energetycznego (ang. EOO- energy optimization options) w biologicznej oczyszczalni ścieków z usuwaniem biogenów Ejby Molle (385.000 RLM), zlokalizowanej w Odense w Danii. Wdrożenie przez personel obiektu niektórych z zalecanych EOO (głównie tych, wymagających jedynie zmian w strategii realizacji dotychczasowych procesów jednostkowych) w istotny sposób umożliwiło osiągnięcie przez oczyszczalnię samowystarczalności energetycznej. Udoskonalenie funkcjonowania obiektu poprzez zastosowanie bocznych linii technologicznych i poprawienie efektywności wykorzystania tlenu w bioreaktorach, umożliwi osiągnięcie przez oczyszczalnię dodatniego bilansu energetycznego.

EN

A series of energy optimization options (EOOs) were identified for the Ejby Molle WWTP through the analysis of historical operational data, the use of an advanced mass/energy balance simulation tool, and the adoption of a collaborative workshop-based approach in identifying and evaluating alternatives. This biological nutrient removal facility is located in Odense, Denmark, and has a treatment capacity suitable for 385.000 population equivalents. Implementation by plant staff of some of the recommended EOOs (primarily those only requiring modifications in operational strategies of existing unit processes) has succeeded in making this plant essentially energy self-sufficient. Implementation of facility improvement related to providing side stream treatment and improving oxygen transfer efficiencies in its bioreactors will be able to take the plant into a positive net energy condition.

2

Mt. Suhora Survey - Searching for Pulsating M Dwarfs in Kepler Public Dataset

Baran A. S., Fox-Machado L., Lykke J., Nielsen M., Telting J. H.

Acta Astronomica

|

2011

|

Vol. 61, No. 4

325--343

EN

We present our analysis of Kepler short cadence public data to search for stellar pulsations in M dwarfs. Theoretical calculations predict that these stars may suffer from a fundamental radial mode driven by the nuclear ε mechanism. First results published thus far show no significant signal around the expected frequency of 36 c/d down to 1 ppt (parts per thousand). In this paper we include new results obtained from a sample of 86 stars, although a real number of M dwarfs after spectral classification turned out to be small. Unluckily, we have not detected any significant signal typically down to 1-10 ppm (parts per million) in M dwarfs and since the sample of these stars consists of 6 objects only, we cannot make any strong conclusion if the ε mechanism drives perturbation in radius to propagate to a detectable amplitude at the surface. As a by-product of our work we provide a spectral classification of 86 Kepler objects, along with their variability and thus far unknown artifacts residing in Kepler photometry.

3

Bisimulation and open maps for timed transition systems

Nielsen M., Hune T.

Fundamenta Informaticae

|

1999

|

Vol. 38, Nr 1,2

61-77

EN

Formal models for real-time systems have been studied intensively over the past decade. Much of the theory of untimed systems have been lifted to real-time settings. One example is the notion of bisimulation applied to timed transition systems, which is studied here within the general categorical framework of open maps. We define a category of timed transition systems, and show how to characterize standard timed bisimulation in terms of spans of open maps with a natural choice of a path category. This allows us to apply general results from the theory of open maps, e.g. the existence of canonical models and characteristic logics. Also, we obtain here an alternative proof of decidability of bisimulation for finite transition sys-tems, and illustrate the use of open maps in finite presentations of bisimulations.