Wyniki wyszukiwania - BazTech

1

Wpływ kryzysu globalizacji na rynek węgla aktywnego w Europie

Zieliński Bartosz

Przemysł Chemiczny

|

2021

|

T. 100, nr 10

891--892

2

A Non-Deterministic Multiset Query Language

Zieliński Bartosz

Fundamenta Informaticae

|

2021

|

Vol. 184, nr 2

141--180

EN

We develop a multiset query and update language executable in a term rewriting system. Its most remarkable feature, besides non-standard approach to quantification and introduction of fresh values, is non-determinism — a query result is not uniquely determined by the database. We argue that this feature is very useful, e.g., in modelling user choices during simulation or reachability analysis of a data-centric business process — the intended application of our work. Query evaluation is implemented by converting the query into a terminating term rewriting system and normalizing the initial term which encapsulates the current database. A normal form encapsulates a query result. We prove that our language can express any relational algebra query. Finally, we present a simple business process specification framework (and an example specification). Both syntax and semantics of our query language is implemented in Maude

3

The Carbon Footprint Methodology in CFOOD Project

Stawska Zofia, Milczarski Piotr, Zieliński Bartosz, Hłobaż Artur, Maślanka Paweł, Kosiński Piotr

International Journal of Electronics and Telecommunications

|

2020

|

Vol. 66, No. 4

781--786

EN

In the paper, the research on the process of optimizing the carbon footprint to obtain the low-carbon products is presented. The optimization process and limits were analyzed based on the CFOOD project co-financed by the Polish Research and Development Agency. In the article, the carbon footprint (CF) testing methods with particular emphasis on product life cycle assessment (LCA) are discussed. The main problem is that the energy received from the energy-meters per the production stage is not directly represented in the raw data set obtained from the factory because many production line machines are connected to a single measurement point. In the paper, we show that in some energy-demanding production stages connected with cooling processes the energy used for the same stage and similar production can differ even 25-40%. That is why the energy optimization in the production can be very demanding.

4

Odnawianie zdolności skrawnej ostrzy technicznych stosowanych w przemyśle spożywczym

Kapłonek Wojciech, Nadolny Krzysztof, Zieliński Bartosz

Stal, Metale & Nowe Technologie

|

2019

|

nr 3-4

32--38

PL

We współczesnym przemyśle spożywczym, a szczególnie w branżach związanych z przetwórstwem rybnym, istnieje szereg problemów wynikających z intensywnego zużywania się powierzchni ostrzy technicznych służących do rozdzielania surowca rybnego. W pracy zaproponowano sposób odnawiania zdolności skrawnej powierzchni tnących ostrzy technicznych o niewielkiej sztywności stosowanych w procesie odskórzania ryb płaskich.

EN

In the modern food industry, especially in its branches related to fish processing, there are a number of problems resulting from the intensive wear of the surface of cutting blades used for the separation of fish raw material. The paper proposes a method for restoring the cutting ability of the cutting edges of low stiffness industrial cutting blades used in the skinning of flat fishes. The idea is based on the precise grinding of the cutting blades surface using a specially designed prototype 5-axis CNC grinding machine and the verification of this process based on the analysis of the cutting edge angles values as well as selected surface roughness parameters obtained during the measurements of regenerated blades by the use of stylus profilometer.

5

A Query Language Based on Term Matching and Rewriting

Zieliński Bartosz

Fundamenta Informaticae

|

2019

|

Vol. 169, nr 3

237--274

EN

Recent years have seen the emergence of a data-centric approach to business process modelling as an attractive alternative to the dominant task-centric one. This new paradigm requires new tools for effective specification, simulation and validation of data-centric models. In particular, such tools must include support for expressive query and database update languages. Rewriting logic was proposed (and successfully used) as a generic framework for the specification of dynamic systems. However, though relational and other data models can be easily simulated, rewriting systems lack the direct support for first-order queries. In this paper we describe a novel condition and query language (at least as expressive as relational algebra), implemented in the term rewriting language Maude, together with a simple framework for relational transition system specification and simulation. The language is designed to be easy to implement on the top of a conditional rewriting system. Its most interesting feature is that it avoids all problems with variable binding. It works with models founded both on sets and multisets, and the language has linear-like facilities to refer to multiplicities of facts (in the case of multiset-founded models). As an example of the use of our language and simulation framework we reproduce some specifications of business processes from the literature. We also compare several methods for choosing the next action and its input during simulation.