Wyniki wyszukiwania - Biblioteka Nauki

1

Identifying the dwell time change within the operated vehicle view

100%

Poliak M. , Medviď P. , Blaho P.

|

2018

|

tom Vol. 82, nr 4

99--116

EN

In public transport, especially in bus services, the number of passengers decreases, largely because individual car transport are able to provide a higher quality passenger transport. Passengers choose the mode of transport based on the shortest travel time. This is why the share of individual car transport is growing, especially in suburban bus transport, but also in urban transport in smaller towns. Given that the travel time is more important for a traveler compared to the cost of transport, the aim of this contribution is to verify the hypothesis that shorter stopping times are needed for vehicles with a smaller capacity. When verifying the hypothesis, the authors will also address the issue of the impact of the number of vehicle doors and total capacity on the total travel time of the passenger.

2

Cykl „Untitled Film Stills” – fotograficzny indeks kobiecych (stereo)typów Cindy Sherman

84%

Wotlińska A.

|

nr 2

165-179

EN

This article discusses female stereo(types) functioning in culture and social awareness. It analyses Cindy Sherman’s series of photographs, highlighting film as one of its sources. Hollywood productions did not only create but also consolidated several female images whose network of beliefs, views, and fantasies about women continues until today. Exploring the female types generated by cinema, the artist changes her outfits-costumes, hairstyles, make-up, and set design not only to present the multitude of the types but also to encourage self-reflection. Another important aspect of the article is identity. Using Untitled Film Stills to provide context, the author of the text analyses the complexity and amalgamation of female identity based as much on women’s own choices as on what seems personal but is in fact effected by visual culture. This leads the author to the discussion of stereotypes embedded in our awareness through which we are able to recognise what the photographs communicate. The same stereotypes also format our perception of reality, distorting and inhibiting our processes of learning and reflection. The point of both Sherman’s series and this article is to expose these stereotypes and activate our defence mechanisms to negate them.

3

Gonty drewniane

84%

Policińska-Serwa A.

|

2021

|

tom nr 6

28--30

4

Analiza nośności wybranych typów tafli szklanych na podstawie badań laboratoryjnych oraz uproszczonych metod obliczeniowych

67%

Modzelewska E. , Cwyl M.

Przegląd Budowlany

|

2019

|

tom R. 90, nr 5

25--31

PL

Tematem artykułu jest analiza wybranych typów tafli szklanych poddanych dodatkowej obróbce krawędzi. Przedstawiono parametry, rodzaje i proces produkcji szkła budowlanego oraz możliwe rodzaje obróbki jego krawędzi. Pokazano przebieg badań w maszynie wytrzymałościowej na próbkach poddanych czteropunktowemu zginaniu zgodnie z normą PN-EN 1288-3 w celu określenia siły niszczącej tafle. Otrzymane wyniki badań laboratoryjnych porównano z parametrami nośności badanych płyt szklanych otrzymanymi z obliczeń przeprowadzonych za pomocą analizy numerycznej MES oraz z uproszczonych metod projektowych.

EN

The subject of the article is the analysis of selected types of glass sheets subjected to additional edge processing. In the article presented parameters, types and the process of glass production with possible types of glass edges. The work was presented tests in a testing machine on samples subjected to four-point bending in accordance with the PN-EN 1288-3. The study is shown in order to determine the destructive force of the sheet. The obtained results of laboratory tests were compared with the load capacity parameters of the glass plates tested obtained from the calculations carried out with the help of numerical MES analysis and simplified design methods.

5

Próba określenia modelu projektowego metody projektowania domu jutra

67%

Huebner J.

Środowisko Mieszkaniowe

|

2013

|

tom nr 11

170--174

PL

Próba określenia i wyodrębnienia danych, na podstawie których można sformułować koncepcję przyszłości. Określenie takich kategorii pojęć pozwoli na sformowanie metody projektowej, której użycie będzie ułatwiało projektowanie domu jutra. Dom jutra jest umiejscowiony w szerokim kontekście historycznym, co pozwala na połączenie dziedzictwa kulturowego z przyszłością. Takie postępowanie chroni przed pułapką futuryzmu. Kontekst wartości w rozważaniach teoretycznych na tematy tak podstawowe jak dom, jest jądrem aksjologicznym. Wokół tak rozumianego punktu odniesienia będą toczyły się spory, tak długo jak będą istniały domy.

EN

An attempt to define and isolate data for formulating a concept of the future. Defining such categories of notions will make it possible to form an effective method of designing tomorrow’s house. Tomorrow’s house is located in a broad historical context which facilitates a combination of the cultural heritage with the past. Such conduct protects us against the trap of futurism. The context of values in theoretical ruminations on such essential themes as the house is the axiological core. Around such a point of reference, disputes will proceed as long as houses exist.

6

The context analysis and the process of its formation

67%

Zavuschak I.

ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes

|

2017

|

tom Vol. 6, No 2

67--72

EN

The development of the global economy and increased competition requires organizations to find new ways to enhance their competitive advantage. The most important and powerful source of important benefits organizations now have the knowledge and study of the subject – knowledge management processes. The efficiency of knowledge management depends on how these processes are interrelated infrastructure and processes of the organization to support the achievement of its objectives. To understand these relationships and present, not a simple list of elements and processes of the organization. Thus, we can conclude that requires an integrated structure in which all integrated dynamic coherent whole.

7

Types and Type Checking in Stack-Based Query Languages

67%

Hryniów R. , Lentner M. , Stencel K. , Subieta K.

|

tom Nr 984

1-60

EN

In this report we propose a new approach to types and static type checking in object-oriented database query and programming languages. In contrast to typical approaches to types which involve very advanced mathematical concepts we present a type system from the practitioners' point of view. We argue that many features of current object-oriented query/programming languages, such as ellipses, automatic coercions and irregularities in data structures, cause that very formal type systems are irrelevant to practical situations. We treat types as some syntactic qualifiers (tokens or some structures of tokens) attached to objects, procedures, modules and other data/program entities. Such syntactic qualifiers we call signatures. We avoid the simpleminded notion that a type has some internal semantics e.g. as a set of values. In our assumptions a type inference system is based on predefined decision tables involving signatures and producing type checking decisions, which can be the following: (1) type error, (2) new signature, (3) dereference, coercion and/or delegation of a type check to run-time. A type inference decision table is to be developed for every query/programming operator. Type inferences are implied by the stack-based approach (SBA) to object-oriented query/programming languages. Static type checking is just a compile time simulation of the run-time computation. Thus the type checker is based on data structures that statically model run-time structures and processes, that is: (1) metabase (internal representation of a database schema, a counterpart of an object store), (2) static environment stack (a counterpart of run-time environment stack), (3) static result stack (a counterpart of run-time result stack) and (4) type inference decision tables (a counterpart of run-time computations). Then, we present the static type check procedure which is driven by the metabase, the static stacks and the type inference decision tables. To discover several type errors in one run we show how to correct some type errors during the type check. Finally we present our prototype implementation showing that our approach is feasible and efficient with moderate implementation effort.

PL

W raporcie proponujemy nowe podejście do typów i statycznej kontroli typologicznej w obiektowych językach zapytań/programowania. W przeciwieństwie do podejść wykorzystujących zaawansowane koncepcje matematyczne prezentujemy tu pozycję praktyków. Wiele cech obecnych języków zapytań/programowania, takich jak elipsy, automatyczne koercje oraz nieregularności struktur danych, powodują, że bardzo formalne systemy typologiczne nie odpowiadają praktyce. Proponujemy typy jako syntaktyczne kwalifikatory (znaki lub struktury znaków) przypisane do obiektów, procedur oraz innych bytów programistycznych. Takie kwalifikatory nazwaliśmy sygnaturami. Unikamy popularnego punktu widzenia, w którym typ posiada wewnętrzną semantykę, np. w postaci zbioru wartości. System wnioskowania o typie jest oparty na tabelach decyzyjnych działających na sygnaturach i generujących decyzje w zakresie kontroli typologicznej, które mogą być następujące: (1) błąd typologiczny, (2) nowa sygnatura, (3) dereferencja, koercja i/lub oddelegowanie kontroli typu do czasu wykonania. Tablice decyzyjne powinny być sporządzone dla każdego operatora występującego w zapytaniach/programach. Wnioskowanie o typie jest implikowane przez podejście stosowe (SBA) do obiektowych języków zapytań/programowania. Statyczna kontrola typologiczna symuluje podczas kompilacji tę sytuację, która zajdzie podczas czasu wykonania. Stąd kontroler typów jest oparty na strukturach danych, które statycznie modelują struktury i procesy czasu wykonania, tj.: (1) metabaza (wewnętrzna reprezentacja schematu, odpowiednik składu obiektów), (2) statyczny stos środowiskowy (odpowiednik stosu środowiskowego), (3) statyczny stos rezultatów (odpowiednik stosu rezultatów), (4) tablice decyzyjne wnioskowania o typie (odpowiednik operatorów). Następnie prezentujemy procedurę statycznej kontroli typów, której działanie jest oparte na metabazie, statycznych stosach i tabelach decyzyjnych. Aby wykryć wiele błędów typologicznych w jednym przebiegu pokazujemy, jak należy skorygować pewne błędy typologiczne podczas kontroli typologicznej. Na końcu prezentujemy prototypową implementację pokazującą, że nasze podejście jest osiągalne i efektywne przy umiarkowanym wysiłku implementacyjnym.