Wyniki wyszukiwania - BazTech

1

Zmiany liniowe autoklawizowanego betonu komórkowego poddawanego cyklicznemu nawilżaniu i suszeniu

Jerman M., Medved I., Černý R.

Cement Wapno Beton

|

2015

|

R. 20/82, nr 3

139--149

PL

Określono wartości liniowego współczynnika ekspansji αw w funkcji zawartości wilgoci w dla trzech powszechnie produkowanych rodzajów autoklawizowanego betonu komórkowego (ABK). Badania przeprowadzono w zakresie od nasycenia porów kapilarnych materiału wodą do stanu suchego materiału, w dwóch następujących po sobie cyklach nawilżania i suszenia. Jako najbardziej właściwą do opisu matematycznego badanej eksperymentalnie zależności zaproponowano funkcję hiperboliczną αw(w) = A/w2; funkcja ta może być zastosowana w symulacjach komputerowych zjawisk higromechanicznych. Podstawowa ocena właściwości higromechanicznych badanych autoklawizowanych betonów komórkowych powszechnie stosowanych w budownictwie wykazuje, że obecne standardy nie są zbyt pomocne dla projektantów, ponieważ traktują zmiany długości elementów betonowych pod wpływem wilgoci w sposób bardzo uproszczony. Zaproponowano więc wprowadzenie pojęcia „charakterystycznego odkształcenia wilgotnościowego”, jako różnicy długości elementu w typowych stanach o skrajnych wilgotnościach. Pojęcie to umożliwia oszacowanie maksymalnej wartości naprężenia rozciągającego. W przypadku gdy przeprowadzona ocena prowadzi do niekorzystnych wyników, autorzy proponują szczegółową higromechaniczną analizę zastosowanych w danej konstrukcji typowych elementów z autoklawizowanego betonu komórkowego, w oparciu o przedstawione w pracy metody symulacji komputerowej.

EN

The linear hygric expansion coefficient, aw, of three commonly used autoclaved aerated concretes (AAC) is determined as a function of moisture content by volume, w, in the range from capillary water saturation to dry state in two consecutive wetting-drying cycles. A hyperbolic function aw(w) = A/W2- is proposed as the most suitable mathematical representation of the experimental data, for an application in the hygro-mechanical computer simulation tools. A basic assessment of the supposed hygro-mechanical performance of the investigated AAC in common building structures shows that the current standards do not provide much help to the designers because they treat the moisture-induced length changes of AAC in a rather simplistic way. Therefore, a characteristic hygric strain defined by the length change between two typical hygric equilibrium states is proposed instead, for obtaining a basic estimate of the maximum tensile stress. In the case such estimate leads to unfavorable results, a detailed hygro-mechanical analysis of at least the typical AAC elements in the real building using appropriate computer simulation tools is recommended.

2

Model diofantyczny problemu harmonogramowania cyklicznego

Bocewicz G., Muszyński W., Banaszak Z.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2010

|

z. 175, t. 1

295-309

PL

Diofantyczny charakter, często występujących w praktyce dnia codziennego, problemów harmonogramowania cyklicznego, charakter implikujący ich nierozstrzygalność oznacza, że nie każde oczekiwane zachowanie systemu procesów cyklicznych jest osiągalne przy danych ograniczeniach zadanych na jego strukturę. W przedstawionym kontekście, celem pracy jest dyskusja wpływu diofantycznego charakteru rozwiązywanych problemów harmonogramowania na właściwości oprogramowania systemów wspomagania decyzji w zadaniach zarządzania logistycznego. Rozważane związki łączące strukturę i zachowanie rozważanej klasy systemów procesów cyklicznych obejmują pytania związane z: oczekiwaną jakością zachowania systemu przy zadanych ograniczeniach wnoszonych przez jego strukturę oraz wyznaczaniem parametrów jego struktury gwarantujących określone zachowanie.

EN

Cyclic scheduling problems arise in different application domains such as manufacturing, servicing, timetabling, and so on. Because of an integer nature of data and decision variables some of them belong to a class of so called Diophantine problems. In general, that kind of problems is unsolvable. In that context it seems to be quite obvious the decision support systems software has to express the Diophantine character of problems considered. So, a programmer involved in dedicated decision support software packages development has to remember that the system's structure determines however do not constraint its behavior. In other words, the system's structure do not allows encompassing the all behaviors assumed.

3

Warunki kompozycji systemów współbieżnych procesów cyklicznych

Majdzik P., Banaszak Z.

Zeszyty Naukowe. Automatyka / Politechnika Śląska

|

2006

|

z. 143

91-98

PL

Przedmiotem rozważań są Systemy Współbieżnych Procesów Cyklicznych (SWPC), w których procesy współpracują w trybie wzajemnego wykluczania. Prezentowana metoda kompozycji elementów zbioru SWPC gwarantuje zachowanie, w nowopowstającym systemie należącym do klasy SWPC, określonych własności, np.: cykliczności systemu, niezmiennego cyklu jego podsystemów składowych, itp. Przedstawiono warunki wystarczające dla istnienia tego typu operacji kompozycji. Zaproponowana operacja umożliwia budowę struktur algebraicznych wykorzystywanych w procesie syntezy systemów klasy SWPC zorientowanych na zarządzanie przepływem danych w sieciach komputerowych.

EN

In the paper a class of systems composed of a set of cyclic concurrent processes (SCCPs) synchronized due to a mutual exclusion protocol is considered. Its contribution is to presented conditions sufficient for coupling elements from the class of SCCPs. A newly obtained system treated as result of such two systems composition also belongs to SCCPs. Moreover, periods of component processes are preserved. The composition introduced provides an algebraic framework allowing to design decision support systems aimed at computer network management.

4

The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes

Polak M., Majdzik P., Banaszak Z., Wójcik R.

Fundamenta Informaticae

|

2004

|

Vol. 60, nr 1-4

269--289

EN

This paper is addressing an issue of distributed systems designing aimed at automated prototyping of Cyclic Concurrent Processes Systems. In such systems concurrent processes compete for access to shared system resources. In order to ensure that a system is deadlock and starvation-free, certain conditions must be satisfied. In this paper, these conditions guarantee that for a given pair (an initial state, a set of dispatching rules) the system - belonging to a specific class - has a steady cyclic state. However, system designers are interested in values of performance indices, such as a rate of resources or processes utilization or the period of the system cycle. Nowadays, the values of performance indices are provided mainly as a result of a simulation process, which requires much more processor power than in case of an analytical method. Thus, in this paper the authors focus on providing a procedure that enables building analytical models of Cyclic Concurrent Processes Systems belonging to a system class considered in the paper. To reach this aim the max-plus algebra formalism is employed. Both the conditions ensuring a cyclic process flow and steps of the procedure are the basis of a software tool, which can be used by designers to prototype systems of desired values of the performance indices. Thanks to the computer program the designers receive a useful tool that helps to validate and allocate distributed control procedures, even in a complex system, which is a composition of simpler systems. The procedure together with the software tool is the main outcome of this paper.