Filters
total: 1539
filtered: 881
-
Catalog
Chosen catalog filters
Search results for: Petri nets
-
IPNES - Interpreted Petri Net for Embedded Systems
Publication -
Implementation of an example of Hierarchical Petri Net (HPN) in LAD language in TIA Portal
Publication -
On quasi-compact Markov nets
PublicationAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
Neural nets application in diagnostics of industrial robots
PublicationPrzedstawiono wyniki wstępnych badań nad możliwością zastosowania sztucznych sieci neuronowych w procesie diagnozowania stanu technicznego robotów przemysłowych z napędem elektrycznym. Omówiono proces projektowania sieci neuronowych, za pomocą których realizowano liniową predykcję zmian dokładności pozycjonowania jednokierunkowego robota IRB 6 powstających przy różnych obciążeniach i prędkościach manipulatora podczas pracy z celowo...
-
Multi-armed jets: A subset of the blooming jets
Publication -
Mechanical properties of mosquito nets in the context of hernia repair
PublicationThe paper deals with issue of applying mosquito nets as implants in hernia repair, which have already been used in resource-poor developing countries. Uniaxial tensile tests have been conducted on polyester mosquito meshes in two orthogonal directions. Non-linear elastic constitutive laws parameters have been identified to be applied in dense net material models. Mechanical performance of tested mosquito nets has been compared...
-
Building a Nest by an Automaton
PublicationA robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid $Z x Z$. Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the {\em field}, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its {\em span}. The robot...
-
Accidental wow evaluation based on sinusoidal modeling and neural nets prediction
PublicationReferat przedstawia opis algorytmu do określenia charakterystyki zniekształcenia kołysania dźwięku. Prezentowane podejście wykorzystuje sinusoidalną analizę dźwięku bazującą zarówno na amplitudowym jak i fazowym widmie sygnału fonicznego. Trajektorie poszczególnych składowych tonalnych, obrazujące zniekształcenie kołysania, określane są na podstawie analizy ich chwilowych amplitud, częstotliwości i faz. Dodatkowo referat przedstawia...
-
Cost Effectiveness of Open Repair of Abdominal Aortic Aneurysms with a Novel Peri-Operative Bundle
Publication -
Expression of pendrin and NIS iodide transporters in human breast tumor and peri-tumoral tissue
Publication -
The Spatial Structure of Suburban Zones in Selected Entrepreneurship Nets of the Tricity Metropolitan Area
PublicationThe chapter describes spatial structures and forms of Polish suburban zones shown on the example of two selected towns in the Trojmiasto Metropolitan Area (TMA). The description of the spatial characteristics in the urban sprawl, with focus on the entrepreneurships nests is illustrated by the choice of typological features, such as: form, land use, density. Suburbanisation is described to be global, however one can observe individual...
-
Global defensive sets in graphs
PublicationIn the paper we study a new problem of finding a minimum global defensive set in a graph which is a generalization of the global alliance problem. For a given graph G and a subset S of a vertex set of G, we define for every subset X of S the predicate SEC ( X ) = true if and only if | N [ X ] ∩ S | ≥ | N [ X ] \ S | holds, where N [ X ] is a closed neighbourhood of X in graph G. A set S is a defensive alliance if and only if for...
-
Super Dominating Sets in Graphs
PublicationIn this paper some results on the super domination number are obtained. We prove that if T is a tree with at least three vertices, then n2≤γsp(T)≤n−s, where s is the number of support vertices in T and we characterize the extremal trees.
-
Occurrence of Breast Cancer in the Population of Peri- and Postmenopausal Women in the Aspect of Environmental Exposure to Airborne Dust Pollution
Publication -
Developing sets of experience knowledge structure
PublicationW pracy omówiono zasady tworzenia opisu zwanego zbiorem doświadczeń tworzonego w celu reprezentacji wiedzy
-
Minimal double dominating sets in trees
PublicationWe provide an algorithm for listing all minimal double dominating sets of a tree of order $n$ in time $\mathcal{O}(1.3248^n)$. This implies that every tree has at most $1.3248^n$ minimal double dominating sets. We also show that this bound is tight.
-
Minimal 2-dominating sets in Trees
PublicationWe provide an algorithm for listing all minimal 2-dominating sets of a tree of order n in time O(1.3247^n). This leads to that every tree has at most 1.3247^n minimal 2-dominating sets. We also show that thisbound is tight.
-
Entrepreneurship nests in a polish edge city
PublicationThe last two decades in Poland have been a period of both a dynamic development of the small and medium-sized enterprise sector and a transformation of the city surrounding territories. This development began during the economy transformation after 1989. Population migration and movement of economic entities away from central cities resulted in development of territorial structures within some Polish suburban areas, defined as...
-
Reconfiguring Minimum Dominating Sets in Trees
PublicationWe provide tight bounds on the diameter of γ-graphs, which are reconfiguration graphs of the minimum dominating sets of a graph G. In particular, we prove that for any tree T of order n ≥ 3, the diameter of its γ-graph is at most n/2 in the single vertex replacement adjacency model, whereas in the slide adjacency model, it is at most 2(n − 1)/3. Our proof is constructive, leading to a simple linear-time algorithm for determining...
-
On proper (1,2)‐dominating sets in graphs
PublicationIn 2008, Hedetniemi et al. introduced the concept of (1,)-domination and obtained some interesting results for (1,2) -domination. Obviously every (1,1) -dominating set of a graph (known as 2-dominating set) is (1,2) -dominating; to distinguish these concepts, we define a proper (1,2) -dominating set of a graph as follows: a subset is a proper (1,2) -dominating set of a graph if is (1,2) -dominating and it is not a (1,1) -dominating...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublicationPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
Clothing sets with thermoregulation function for mine rescuers
Publication -
Cooling of electronic equipment by means of jets and microjets
PublicationW pracy przedstawiono rozwiązanie sprzężonej wymiany ciepła od uderzającej strugi cieczy oraz przewodzenia ciepła w łytce. Uzyskano proste zależności opisujące rozkład temperatur na płytce. Umożliwia to przeprowadzenie analizy wpływu różnych parametró na wymianę ciepła podczas chłodzenia urządzeń elektronicznych generujących ciepło.
-
Delivering bad news in the perspective of patient rights
Publication -
The dialectical method as a way of delivering bad news
Publication -
Acoustic verification on onomatopoeic sets in contrastive approach
Publication -
Acoustic verification on onomatopoeic sets in contrastive approach
Publication -
Rough Sets Applied to Mood of Music Recognition
PublicationWith the growth of accessible digital music libraries over the past decade, there is a need for research into automated systems for searching, organizing and recommending music. Mood of music is considered as one of the most intuitive criteria for listeners, thus this work is focused on the emotional content of music and its automatic recognition. The research study presented in this work contains an attempt to music emotion recognition...
-
A remark on singular sets of vector bundle morphisms
PublicationIf characteristic classes for two vector bundles over the same base space do not coincide, then the bundles are not isomorphic. We give under rather common assumptions a lower bound on the topological dimension of the set of all points in the base over which a morphism between such bundles is not bijective. Moreover, we show that this set is topologically non-trivial.
-
Trees having many minimal dominating sets
PublicationWe provide an algorithm for listing all minimal dominating sets of a tree of order n in time O(1.4656^n). This leads to that every tree has at most 1.4656^n minimal dominating sets. We also give an infinite family of trees of odd and even order for which the number of minimal dominating sets exceeds 1.4167^n, thus exceeding 2^{n/2}. This establishes a lower bound on the running time of an algorithm for listing all minimal dominating...
-
Analyzing sets of phylogenetic trees using metrics
PublicationThe reconstruction of evolutionary trees is one of the primary objectives in phylogenetics. Such a tree represents historical evolutionary relationships between different species or organisms. Tree comparisons are used for multiple purposes, from unveiling the history of species to deciphering evolutionary associations among organisms and geographical areas. In this paper, we describe a general method for comparing phylogenetictrees...
-
Social Convergence in Nordic NUTS-3 Regions
PublicationGeographical proximity, common historical roots and collaboration within the Nordic Council make the Nordic countries, often wrongly treated as monoliths. However, in reality, Nordic regions differ in terms of broadly defined social and economic development. Issues concerning the standard of living are one of the priorities of the Helsinki Treaty signed by Nordic countries. The main goal of this paper is to analyze the existence...
-
Generalized Dold sequences on partially-ordered sets
PublicationDold sequences constitute an important class of integer sequences that play an important role in combinatorics, number theory, topology and dynamical systems. We generalize the notion of Dold sequence for the case of partially ordered sets and describe their properties. In particular we give two alternative descriptions of generalized Dold sequences: by some class of elementary sequences as well as by different...
-
Structural stability of invariant sets of vibro-impact systems
Publication -
Delivering bad news by physicians – Polish reality check
Publication -
Neta-sieć kooperacji i konkurencyjności północnej Europy.
PublicationPrzedstawiono strategiczne opcje polityki rozwojowej korytarza NETA (NorthEuropean Trade Axis Project). Porównano działanie regionalne w polskiej części NETA z działaniami innych regionów europejskich.
-
Evolutionary Sets of Safe Ship Trajectories: Evaluation of Individuals
PublicationThe paper presents a description of the evaluation phase of the Evolutionary Sets of Safe Ship Trajectories method. In general, the Evolutionary Sets of Safe Ship Trajectories method combines some of the assumptions of game theory with evolutionary programming and finds an optimal set of cooperating trajectories of all ships involved in an encounter situation. While developing a new version of this method, the au-thors decided...
-
COLREGS compliance in Evolutionary Sets of Cooperating Ship Trajectories
PublicationIn general, Evolutionary Sets of Cooperating Ship Trajectories combine some of the assumptions of game theory with evolutionary programming and aim to find optimal set of cooperating trajectoriesof all ships involved in an encounter situation. In a two-ship encounter situation the method enables the operator of an on-board collision-avoidance system to predict the most probable behaviour of atarget and to plan the own manoeuvres...
-
Evolutionary Sets of Safe Ship Trajectories: development of the method
PublicationThe Evolutionary Sets of Safe Ship Trajectories is a method solving ship encounter situations. The method combines evolutionary approach to planning ship trajectory with some of the assumption of game theory. For given positions and motion parameters the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The version presented here is an updated one and its authors have tested extensively...
-
Evolutionary Sets of Safe Ship Trajectories: simulation results
PublicationThe Evolutionary Sets of Safe Ship Trajectories is a method solving multi-ship encounter situations. For given positions and motion parameters the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The paper briefly presents foundations of the method and focuses on simulation results for selected test cases based on the Baltic Basin. The computer simulations cover both open waters and restricted...
-
Evolutionary Sets of Cooperating Ship Trajectories: COLREGS Compliance
PublicationThe paper presents a newly designed improvement to the method of solving multi-ship encounter situations. In general, the method combines some of the assumptions of game theory with evolutionary programming and aims to find optimal set of cooperating trajectories of all ships involved in an encounter situation. The improvement presented here is a new way of modelling some of the COLREGS rules. Due to this change, the method is...
-
Customized crossover in evolutionary sets of safe ship trajectories
PublicationThe paper presents selected aspects of evolutionary sets of safe ship trajectories-a method which applies evolutionary algorithms and some of the assumptions of game theory to solving ship encounter situations. For given positions and motion parameters of the ships, the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The method works in real time and the solutions must be returned within...
-
Evolutionary Sets of Safe Ship Trajectories: Evaluation of Individuals
PublicationThe paper presents a description of the evaluation phase of the Evolutionary Sets of Safe Ship Trajectories method. In general, the Evolutionary Sets of Safe Ship Trajectories method combines some of the assumptions of game theory with evolutionary programming and finds an optimal set of cooperating trajectories of all ships involved in an encounter situation. While developing a new version of this method, the authors decided to...
-
Superconductivity on a Bi Square Net in LiBi
PublicationWe present the crystallographic analysis, superconducting characterization and theoretical modeling of LiBi, that contains the lightest and the heaviest nonradioactive metal. The compound crystallizes in a tetragonal (CuAu-type) crystal structure with Bi square nets separated by Li planes (parameters a = 3.3636(1)Å and c = 4.2459(2) Å, c/a = 1.26). Superconducting state was studied in detail by magnetic susceptibility and heat...
-
Polish Version of the Neighbourhood Environment Walkability Scale (NEWS-Poland)
Publication -
Reproducibility of Finding Enriched Gene Sets in Biological Data Analysis
Publication -
Research on wave structures containing sets of metallized cylindrical objects
PublicationCel pracy obejmował opracowanie modelu matematycznego opartego na bezpośredniej interpretacji fizycznej rozpraszania fali elektromagnetycznej w zamkniętych i otwartych systemach zawierających różne konfiguracje złożonych obiektów cylindrycznych. Kolejnym celem było zastosowanie otrzymanego modelu do badania problemów otwartych i zamkniętych, oraz zaproponowanie przykładów ich aplikacji. Tezą pracy było stwierdzenie, że istnieje...
-
Delivering bad news: patient's perspective and opinions
Publication -
Automatic Singing Voice Recognition EmployingNeural Networks and Rough Sets
PublicationCelem badań jest automatyczne rozpoznawanie głosów śpiewaczych w kategorii rodzaju i jakości technicznej śpiewu. W artykule opisano stworzoną bazę danych głosów, która zawiera próbki głosu śpiewaków profesjonalnych i amatorskich. W dalszej części opisano parametry zdefiniowane w oparciu o zjawiska biomechaniczne w narządzie głosu podczas śpiewania. W oparciu o stworzone macierze parametrów wytrenowano i porównano automatyczne klasyfikatory...
-
Computer animation system based on rough sets and fuzzy logic
PublicationA fuzzy logic inference system was created, based on the analysis of animated motion features. The objective of the system is to facilitate the creation of high quality animation by analyzing personalized styles contained in numerous animations. Sequences portraying a virtual character acting with a differentiating personalized style (natural or exaggerated) and various levels of fluidity were prepared and subjectively evaluated....