Wyniki wyszukiwania - BazTech

1

Ochrona przed słońcem

Schmidt K.

Świat Szkła

|

2007

|

nr 1 [104]

38-40

PL

Techniki osłonowe spełniają dwie podstawowe funkcje: dekoracyjną i osłonową. O ile jeszcze w latach siedemdziesiątych podstawową była funkcja dekoracyjna o tyle ostatnie 20 lat przyniosło zdecydowaną dominację funkcji osłonowej (głównie ochrony przeciwsłonecznej). Należy podkreślić wagę planowania ochrony przeciwsłonecznej już w projekcie architektonicznym, gdyż efektywna ochrona przed słońcem realizowana po zakończeniu procesu inwestycji budowlanej kosztuje często kilkakrotnie drożej niż mogłaby kosztować gdyby architekt lub deweloper przemyślał ją na etapie projektowania budynku.

2

Modelling of non-linear long water waves on a sloping beach

Schmidt K.

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2006

|

Vol. 54, nr 4

381-389

EN

The paper deals with a non-linear problem of long water waves approaching a sloping beach. In order to describe the phenomenon we apply the Lagrange's system of material variables. With these variables it is much easier to solve boundary conditions, especially conditions on a shoreline. The formulation is based on the fundamental assumption for long waves propagating in shallow water of constant depth that vertical material lines of fluid particles remain vertical during entire motion of the fluid. The analysis is confined to one - dimensional case of unsteady water motion within a 'triangular' body of fluid. The partial differential equations of fluid motion, obtained by means of a variational pro-cedure, are then substituted by a system of equations resulting from a perturbation scheme with the second order expansion with respect to a small parameter. In this way the original problem bas been reduced to a system of linear partial differential equations with variable coefficients. The latter equations are, in turn, substituted by a system of dif-ference equations, which arf then integrated in a discrete time space by means of the Wilson-B method. The procedure developed in this paper may be a convenient tool in analysing non-breaking waves propagating in coastal zones of seas. Moreover, the model can also deliver useful results for cases when breaking of waves near a shoreline may be expected.

3

Distributed Verification with LoLA

Schmidt K.

Fundamenta Informaticae

|

2003

|

Vol. 54, nr 2,3

253-262

EN

We report work in progress on a distributed version of explicit state space generation in the Petri net verification tool LoLA. We propose a data structure where all available memory of all involved workstations can be fully exploited, and load balancing actions are possible at any time while the verification is running. It is even possible to extend the set of involved workstations while a verification is running.

4

Dynamically stable milling tools with integrated cut splitting

Emmer T., Schmidt K., Batt S., Streubel A.

Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika

|

2002

|

z. 58 [193]

73-80

EN

The principle of the cut-splitting can guarantee an effective cutting even under the difficult conditions of stability. To divide the chip in two or more pieces, the geometric relations of the cutting area of every chip are changed. This change is caused by the cutting forces and therefore by the dynamic behaviors of the whole process. The advancement of the principle of cut-splitting obviously increases the dynamic behavior. In particular, under unstable conditions of machine processing in practice, these new milling tools outclass the ordinary milling heads because of their fewer vibrations and noise.

5

Narrowing Petri Net State Spaces Using the State Equation

Schmidt K.

Fundamenta Informaticae

|

2001

|

Vol. 47, nr 3,4

325-335

EN

Given a (possibly partially defined) state, all count vectors of transition sequences reaching that state are solutions to a corresponding Petri net state equation. We propose a search strategy where sequences corresponding to a minimal solution of the state equation are explored first. Then step by step the search space is relaxed to arbitrary count vectors. This heuristics relies on the observation that in many (though provably not in all) cases, minimal solutions of the state equation can be realized as a firing sequence. If no target state is reachable, either the state equation does not have solutions, or our search method would yield the full state space. We study the impact of the state equation on reachability, present an algorithm that exploits information from the state equation and discuss its application in stateless search as well as its combination with stubborn set reduction.

6

Stubborn sets for model checking the EF/AG fragment of CTL

Schmidt K.

Fundamenta Informaticae

|

2000

|

Vol. 43, Nr 1-4

331-341

EN

The general stubborn set approach to CTL model checking has the drawback that one either finds a stubborn set with only one enabled transition or one has to expand all enabled transitions. This restriction does not apply in our approach to a fragment of CTL. Furthermore, our reduction does not depend on the invisibility of transitions in a stubborn set.