Filtry
wszystkich: 2794
wybranych: 2049
-
Katalog
- Publikacje 2049 wyników po odfiltrowaniu
- Czasopisma 106 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Osoby 36 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Kursy Online 23 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 558 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ARGUMENT PATTERN
-
Argument strategies and patterns of the Trust-IT framework
PublikacjaArtykuł dotyczy metodologicznego i narzędziowego środowiska Trust-IT wspierającego budowę dowodów zaufania (ang. trust case), a w szczególności strategii tworzenia dowodu zaufania. Strategia uzależniona jest od właściwości systemu (lub innego rozważanego obiektu), która podlega analizie w ramach dowodu zaufania. W artykule zaprezentowano dwie strategie: oparta na ryzyku i oparta na standardach oraz omówiono kilka często stosowanych...
-
Cohousing. Dziesięć argumentów ''za'' = Cohousing. Ten arguments ''pro''
PublikacjaCohousing to jedna z koncepcji wspólnotowego kształtowania środowiska mieszkaniowego, praktykowana z powodzeniem od kilkudziesięciu lat w Danii, a z czasem i w wielu innych krajach Europy Zachodniej i Ameryki. Z architektonicznego punktu widzenia oznacza przede wszystkim partycypację przyszłych użytkowników w projektowaniu. Wydaje się, że i w Polsce idea ta może i powinna zyskać swoich zwolenników. A jest ku temu wiele powodów....
-
Extending GQM by argument structures
PublikacjaEffective metrics definition methods are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). We briefly introduce general ideas of GQM...
-
Extending GQM by Argument Structures
PublikacjaEffective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). The general ideas of GQM and GAM are...
-
Support for argument structures review and assessment
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Using argument structures to create a measurement plan
PublikacjaWhile planning an experiment the same question always arises: What are the goals of the experiment and which measurements are needed to demonstrate that the goals have been achieved? Deciding about the extent of raw data to be collected, the metrics to be constructed on those data and the interpretation of the metrics with respect to the assumed goals is by no means a trivial task. In this paper we show how a well known Gal-Question-Metrics...
-
Supporting Assurance by Evidence-based Argument Services
PublikacjaStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
Differential equations with delayed arguments
PublikacjaPraca dotyczy problemów brzegowych dla równań różniczkowych z opóźnionymi argumentami. Podane zostały warunki dostateczne na istnienie jednego rozwiązania bądź rozwiązań ekstremalnych. Dyskusja dotyczy również nierówności różniczkowych. Przykłady ilustrują otrzymane wyniki.
-
Integrating Confidence And Assurance Arguments
PublikacjaTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
Fractional problems with advanced arguments
PublikacjaThis paper concerns boundary fractional differential problems with advanced arguments. We investigate the existence of initial value problems when the initial point is given at the end point of an interval. Nonhomogeneous linear fractional differential equations are also studied. The existence of solutions for fractional differential equations with advanced arguments and with boundary value problems has been investigated by using...
-
On dynamic equations with deviating arguments
PublikacjaPraca dotyczy istnienia rozwiązań równań dynamicznych z odchylonymi argumentami. Podane zostały warunki dostateczne na istnienie rozwiązania. Dwa przykłady ilustrują otrzymane wyniki.
-
The Eastern Battery in Świnoujście, Poland - history and architecture of a Prussian coastal fort from the 19th century
PublikacjaThe article describes the history, architecture and development of the Eastern Battery (also known as the Gerhard Fort) – one of three remaining coastal forts in Świnoujście (former Swinemünde) located in northern Poland, by the Baltic Sea. The research is mostly based on historical cartographic material and architectural plans verified during field studies. This data served to create a digital model – one of the results of the...
-
On integro-differential equations with delayed arguments
PublikacjaPraca dotyczy problemów różniczkowo-całkowych z warunkami początkowymi oraz brzegowymi typu okresowego. Podano warunki na istnienie i jednoznaczność rozwiązania. Badania dotyczyły również nierówności różniczkowo-całkowych z argumentami typu opóżnionego. Podano przykłady, które mogą mieć zastosowanie w problemach inżynierskich.
-
Ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i przybliżonych rozwiązań dla problemów brzegowych z opóźnionymi oraz wyprzedzonymi argumentami. Dyskutowano też pewne nierówności różniczkowe powyższego typu.
-
An approach to evaluation of arguments in trust cases
PublikacjaTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
Fractional differential equations with deviating arguments
PublikacjaDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
Spatial pattern of ASG-EUPOS sites
PublikacjaThe article presents the spatial pattern analysis of the ASG-EUPOS permanent GNSS stations in Poland. Using different methods and tools (nearest neighbour, Riplay’s K-function, morphology of Thiessen polygons) we proved that the station distribution model changes within scales. At short distances up to 65 km, which are typical lengths in the network, stations are irregularly dispersed. Increasing this distance to 130 km and over...
-
Gaze pattern lock for elders and disabled
Publikacja...
-
Boundary problems for differential equations with advanced arguments
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowych z wyprzedzonymi argumentami. Przedstawione są warunki dostateczne istnienia quasirozwiązań i rozwiązań rozważanych zagadnień.
-
Second-order differential equations with deviating arguments
PublikacjaPodane zostały warunki dostateczne na istnienie kwazi-rozwiązań oraz na istnienie jedynego rozwiązania dla równań różniczkowych rzędu drugiego z warunkami brzegowymi i odchylonymi argumentami. Otrzymane wyniki zilustrowano przykładami i wykresami.
-
Using evidence based arguments to support trust
PublikacjaWprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
The effect of mechanical coupling on the beam pattern of a multielementarray
PublikacjaW artykule opisano nową metodę redukcji listków bocznych hydroakustycznej anteny wieloelementowej. Wykorzystano tu efekt ważenia amplitud sygnałów odbieranych przez poszczególne elementy poprzez kontrolowane ich mechaniczne sprzężenie. Opisane zostały wyniki badań kilku modeli anten zbudowanych z pięciu elementów. Wyniki badań zostały zweryfikowane obliczeniami symulacyjnymi. Stwierdzono, zarówno na drodze eksperymentalnej jak...
-
The Housing Pattern and Entrepreneurship in Polish Suburban Landscape
PublikacjaAbstract. Housing stimulates the development of SMEs (small and medium enterprises) in the suburbs. The multidisciplinary research in fields of urban planning and economics, carried out by the Authors, confirms this trend. The purpose of this paper is to present the multidisciplinary results of the research on the determinants of SME localization in the suburban areas of Gdansk, Gdynia and Sopot (the Metropolitan Area Gdansk–Gdynia-Sopot...
-
Temporal pattern of wildlife-train collisions in Poland
Publikacja -
Numerical solution of boundary value problems with deviated arguments
PublikacjaZastosowano metodę różnicową, aby wyznaczyć przybliżone rozwiązanie problemubrzegowego z odchylonymi argumentami. Pokazano, że metoda różnicowa, przyodpowiednich warunkach, jest zbieżna do rozwiązania i podano oszacowaniabłędów.
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Representing and appraising Toulmin model arguments in trust cases
PublikacjaThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Challenges in providing support for management of evidence-based arguments
PublikacjaThe paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...
-
Pressure distribution and beam pattern of the parametric acoustic arrays.
PublikacjaPrzedstawiono model matematyczny i wyniki badań teoretycznych zjawiska oddziaływań fal dla źródeł parametrycznych. Model matematyczny zbudowano w oparciu o równanie KZK. Do rozwiązania zagadnienia zastosowano metodę różnic skończonych. Badano zmiany ciśnienia fal wybranych częstotliwości w obrębie wiązki akustycznej oraz charakterystyki kierunkowe dla kołowych źródeł parametrycznych generujących fale różnych częstotliwości.
-
Versatile pattern recognition system based on Fisher criterion
PublikacjaZaprezentowano system rozpoznawania obrazów w postaci bitmap. Zaimplementowany algorytm ekstrakcji cech jest uniwersalny i może być używany do różnych obrazów. Cały system bazuje na kryterium Fishera.
-
Scoreboard Architectural Pattern and Integration of Emotion Recognition Results
PublikacjaThis paper proposes a new design pattern, named Scoreboard , dedicated for applications solving complex, multi-stage, non-deterministic problems. The pattern provides a computational framework for the design and implementation of systems that integrate a large number of diverse specialized modules that may vary in accuracy, solution level, and modality. The Scoreboard is an extension of Blackboard design pattern and comes under...
-
Pattern matching localization in ZigBee wireless sensor networks.
PublikacjaLokalizacja typu Pattern matching w sieciach sensorów bezprzewodowych ZigBee.Prezentacja metod implementacji algorytmów lokalizacji. Praktyczne zastosowanie i testowanie lokalizacji sieci ZigBee.
-
Cellular neural network application to moire pattern filtering
Publikacja -
Safe-Guarded Agent Design Pattern for Mechatronic Systems
Publikacja -
Multiclass AdaBoost Classifier Parameter Adaptation for Pattern Recognition
PublikacjaThe article presents the problem of parameter value selection of the multiclass ``one against all'' approach of an AdaBoost algorithm in tasks of object recognition based on two-dimensional graphical images. AdaBoost classifier with Haar features is still used in mobile devices due to the processing speed in contrast to other methods like deep learning or SVM but its main drawback is the need to assembly the results of binary...
-
A Framework for Training and Testing of Complex Pattern Recognition Systems
PublikacjaW pracy przedstawiono szkielet aplikacji stworzony po to, by uprościć konstruowanie systemów rozpoznawania obrazów oraz zapewnić środowisko testowe umożliwiające ocenę algorytmów przy użyciu dużych zestawów danych. Jasno zdefiniowana architektura wraz z wieloma gotowymi do użycia modułami pozwala skoncentrować się na implementacji najważniejszych algorytmów. Szkielet wspiera tworzenie modułów, który mogą być wielokrotnie używane,...
-
Ordinal pattern statistics for the assessment of heart rate variability
PublikacjaThe recognition of all main features of a healthy heart rhythm (the so-called sinus rhythm) is still one of the biggest challenges in contemporary cardiology. Recently the interesting physiological phenomenon of heart rate asymmetry has been observed. This phenomenon is related to unbalanced contributions of heart rate decelerations and accelerations to heart rate variability. In this paper we apply methods based on the concept...
-
Ontology of the Design Pattern Language for Smart Cities Systems
PublikacjaThe paper presents the definition of the design pattern language of Smart Cities in the form of an ontology. Since the implementation of a Smart City system is difficult, expensive and closely linked with the problems concerning a given city, the knowledge acquired during a single implementation is extremely valuable. The language we defined supports the management of such knowledge as it allows for the expression of a solution...
-
Sectors in Poland - Patterns of Concentration
PublikacjaThe main aim of the paper presented below, is to analysefrom theoretical point of view market concentration as economicproblem. The authors come out of defining market concentration, theypresent basic concentration measures, and characterize sectors onPoland on that ground. In the empirical part, the authors haveanalysed patterns of concentration of 35 sectors in Poland in timeperiod 1997-2006. We draw on recently made available...
-
Analysis of human behavioral patterns
PublikacjaWidespread usage of Internet and mobile devices entailed growing requirements concerning security which in turn brought about development of biometric methods. However, a specially designed biometric system may infer more about users than just verifying their identity. Proper analysis of users’ characteristics may also tell much about their skills, preferences, feelings. This chapter presents biometric methods applied in several...
-
Towards Safety Case Integration with Hazard Analysis for Medical Devices
PublikacjaSafety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublikacjaAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
First-order impulsive ordinary differential equations with advanced arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań dla równań różniczkowych z impulsami i nieliniowymi warunkami brzegowymi. Są to równania z argumentami wyprzedzonymi. Podano warunki dostateczne na istnienie rozwiązań. W pracy są również dyskutowane nierówności różniczkowe z impulsami. Podano też przykłady ilustrujące otrzymane wyniki.
-
Boundary value problems for ordinary differential equations with deviated arguments
PublikacjaDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
Monotone method to Volterra and Fredholm integral equations with deviating arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań równań całkowych typu Volterry i Fredholma z odchylonymi argumentami. Podano warunki dostateczne na istnienie rozwiązań w odpowiedniej klasie. Pewne nierówności całkowe typu opóźnionego są również przedmiotem badań.
-
Loading pattern effects on fatigue resistance of slide bearing lining
PublikacjaPrzedstawiono relacje pomiędzy przebiegami obciążeń dynamicznych a stanem naprężeń w warstwie nośnej łożysk ślizgowych. Porównano przebiegi naprężeń dla maszyny badawczej MWO (z wirującym wektorem obciążenia) do naprężeń charakterystycznych dla maszyny SMOK (z jednokierunkowym zmiennym wektorem obciążenia).
-
Local Texture Pattern Selection for Efficient Face Recognition and Tracking
PublikacjaThis paper describes the research aimed at finding the optimal configuration of the face recognition algorithm based on local texture descriptors (binary and ternary patterns). Since the identification module was supposed to be a part of the face tracking system developed for interactive wearable computer, proper feature selection, allowing for real-time operation, became particularly important. Our experiments showed that it is...
-
Immobilization pattern of morphologically different microorganisms on bacterial cellulose membranes
Publikacja -
Influence of realistic antenna radiation pattern on rf fingerprinting accuracy
Publikacja -
Non-dipping pattern of hypertension and obstructive sleep apnea syndrome
Publikacja -
OBTAINING FLUID FLOW PATTERN FOR TURBINE STAGE WITH NEURAL MODEL.
PublikacjaIn the paper possibility of applying neural model to obtaining patterns of proper operation for fluid flow in turbine stage for fluid-flow diagnostics is discussed. Main differences between Computational Fluid Dynamics (CFD) solvers and neural model is given, also limitations and advantages of both are considered. Time of calculations of both methods was given, also possibilities of shortening that time with preserving the accuracy...
-
Mining Knowledge of Respiratory Rate Quantification and Abnormal Pattern Prediction
PublikacjaThe described application of granular computing is motivated because cardiovascular disease (CVD) remains a major killer globally. There is increasing evidence that abnormal respiratory patterns might contribute to the development and progression of CVD. Consequently, a method that would support a physician in respiratory pattern evaluation should be developed. Group decision-making, tri-way reasoning, and rough set–based analysis...
-
Evaluation of respiration rate and pattern using a portable thermal camera
PublikacjaThe goal of this paper was to analyze the accuracy of the proposed method for the evaluation of respiration rate and respiration rhythm patterns (e.g. inspiration slope) using the portable and mobile thermal camera module that could be a part of smart glasses. Parameters were analyzed for 12 volunteers in two experiments, when subjects speak and do not speak. The pressure, chest belt was used as a reference measurement method....
-
Discrete simulations of shear zone pattern in earth pressure problems
PublikacjaW artykule przedstawiono wyniki dyskretnych symulacji naporu piasku na ściankę szczelną. Obliczenia wykonano stosując metodę elementów dyskretnych z kulami uwzględnieniem momentów kontaktu. Wyniki symulacji numerycznych porównano z wynikami doświadczalnymi.
-
Risk Identification Patterns for Software Projects.
PublikacjaArtykuł prezentuje metodę identyfikacji ryzyka w projektach informatycznych z użyciem wzorców ryzyka odnoszących się do modelu procesu projektowego. W artykule zdefiniowano meta-model dla modelowania procesów ukierunkowany na analizę ryzyka oraz proste i złożone wzorce ryzyka wywiedzione z tego meta-modelu, jak również pokazano przykładowe użycie wzorców do opisu czynników ryzyka odnoszących się do modelu RUP. Metodę poddano walidacji...
-
Patterns of Ethical Behaviour and Decision Making.
PublikacjaW pracy przedstawiono propozycję wykorzystania wzorców programowych do opracowania wzorców etycznych, mających na celu wspomaganie prowadzącego projekt informatyczny w podejmowaniu decyzji. Ideę zilustrowano dwoma przykładami.
-
Automatic retrieval of musical rhythmic patterns.
PublikacjaObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Quality of Test Specification by Application of Patterns
PublikacjaEmbedded system and software testing requires sophisticated methods, which are nowadays frequently supported by application of test patterns. This eases the test development process and contributes to the reusability and maintainability of the test specification. However, it does not guarantee the proper level of quality and test coverage in d ifferent dimensions of the test specification. In this paper the quality of the test...
-
Test Design Patterns for Embedded Systems,
PublikacjaTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Explainable machine learning for diffraction patterns
PublikacjaSerial crystallography experiments at X-ray free-electron laser facilities produce massive amounts of data but only a fraction of these data are useful for downstream analysis. Thus, it is essential to differentiate between acceptable and unacceptable data, generally known as ‘hit’ and ‘miss’, respectively. Image classification methods from artificial intelligence, or more specifically convolutional neural networks (CNNs), classify...
-
Seasonal Patterns and Trends in Dermatoses in Poland
PublikacjaThe amount of data available online is constantly increasing, including search behavior and tracking trends in domains such as Google. Analyzing the data helps to predict patient needs and epidemiological events more accurately. Our study aimed to identify dermatology-related terms that occur seasonally and any search anomalies during the SARS-CoV-2 pandemic. Methods: The data were gathered using Google Trends, with 69 entries...
-
The Role of Analysis Patterns in Systems Analysis
PublikacjaWzorce analizy są techniką, która ma wspomagać analizę systemów.W referacie zaprezentowano analizę cech charakterystycznych wzorców analizy oraz przegląd zagadnień związanych z zastosowaniem ich w procesie wytwarzania oprogramowania. Następnie przedstawiono metodę analizy systemów z zastosowaniem wzorców analizy oraz studium przypadku analizy z wykorzystaniem wzorców analizy dla systemu wspomagającego małą przychodnię lekarską.
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublikacjaThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
Existence of solutions of boundary value problems for differential equations with delayed arguments.
PublikacjaPodane zostały warunki dostateczne na istnienie i jednoznaczność rozwiązań problemów brzegowych dla równań różniczkowych z odchylonymi argumentami.Problem istnienia ekstremalnych rozwiązań również był przedmiotem badań. Podano konstrukcję monotonicznych iteracji i pokazano, że iteracje te są zbieżne do szukanego rozwiązania. Praca zawiera przykłady które ilustrują ogólną teorię.
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublikacjaPraca dotyczy równań i nierówności dynamicznych z wyprzedzonym argumentami. Przedmiotem badań były problemy istnienia rozwiązań równań dynamicznych. Sformułowano warunki dostatczne na istnienie jedynego rozwiązania w odpowiednim obszarze ograniczonym przez górne i dolne rozwiązanie.
-
Existence of solutions for second order impulsive differential equations with deviating arguments
PublikacjaPraca dotyczy równań różniczkowych z impulsami i odchylonymi argumentami. Badano problem istnienia rozwiązań stosując metodę iteracji monotonicznych opartą na dolnych i górnych rozwiązaniach. Praca uogólnia szereg znanych wyników.
-
Quasi-solutions for generalized second order differential equations with deviating arguments
PublikacjaThis paper deal with boundary value problems for generalized second order differential equations with deviating arguments. Existence of quasi-solutions and solutions are proved by monotone iterative method. Examples with numerical results are added.
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublikacjaThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
Process arrival pattern aware algorithms for acceleration of scatter and gather operations
PublikacjaImbalanced process arrival patterns (PAPs) are ubiquitous in many parallel and distributed systems, especially in HPC ones. The collective operations, e.g. in MPI, are designed for equal process arrival times (PATs), and are not optimized for deviations in their appearance. We propose eight new PAP-aware algorithms for the scatter and gather operations. They are binomial or linear tree adaptations introducing additional process...
-
Enhanced-Performance Circularly Polarized MIMO Antenna with Polarization/Pattern Diversity
PublikacjaDesign of a compact wideband circularly polarized (CP) multiple-input multiple-output (MIMO) antenna with polarization diversity is proposed and characterized for off-body communication. The antenna is based on a simple coplanar waveguide (CPW)-fed monopole extension of the microstrip line. The orthogonal field components required by CP are induced using a simply modified right/left side ground plane. In particular, a stub extending...
-
Object serialization and remote exception pattern for distributed C++/MPI application
PublikacjaMPI is commonly used standard in development of scientific applications. It focuses on interlanguage operability and is not very well object oriented. The paper proposes a general pattern enabling design of distributed and object oriented applications. It also presents its sample implementations and performance tests.
-
Heavy stable charged particles search by novel pattern comparator processor
Publikacja -
Battery Technologies in Electric Vehicles: Improvements in Electric Battery Packs
PublikacjaRestrictions on fossil fuels and related environmental pollution issues motivate many organizations and countries to set their focus on electric vehicles (EVs) rather than conventional internal combustion engine vehicles [1], [2]. EVs require an energy storage system to store converted electric power in another form of energy and then reconvert the stored energy to electric power whenever it is required. The energy stored can be...
-
Endoscopic Video Classification with the Consideration of Temporal Patterns
PublikacjaThe article describes a novel approach to automatic recognition and classification of diseases in endoscopic videos. Current directions of research in this field are discussed. Most presented methods focus on processing single frames and do not take into consideration the temporal relationship between continuous classifications. Existing approaches that consider the temporal structure of an incoming frame sequence are focused on...
-
The architecture of distributed systems driven by autonomic patterns
Publikacja -
MEMORYSCAPES OF EASTERN POLAND
PublikacjaThe text investigates new phenomena emerging in the field of social memory and commemoration in contemporary Poland. On the basis of field analyses, case studies and theoretical, transdisciplinary approaches, the paper discusses the issue of contemporary memoryscapes in eastern Poland (Bialystok and Lublin). These emerging forms of remembrance are the result of the sophisticated interplay between different actors involved in the...
-
Positive solutions to second order four-point impulsive problems with deviating arguments
PublikacjaStosując tw. Leggetta-Williamsa, podano warunki dostateczne na istnienie dodatnich rozwiązań dla czteropunktowych problemów brzegowych dla równań różniczkowych rzędu drugiego z odchylonymi argumentami. Dyskutowane były problemy gdy argument odchylony był typu opóźnionego lub wyprzedzonego.
-
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublikacjaIn this paper, we give some new results for multiplicity of positive (nonnegative) solutions for third-order differential equations with derivative dependence, deviating arguments and Stieltjes integral boundary conditions. We discuss our problem with advanced argument α and arbitrary β ∈ C([0,1],[0,1]), see problem (2). It means that argument β can change the character on [0,1], so β can be delayed in some set J ⊂ [0,1] and advanced...
-
A Simple-Topology Compact Broadband Circularly Polarized Antenna With Unidirectional Radiation Pattern
PublikacjaIn this letter, a geometrically simple, reflector-backed single-point-fed circularly polarized (CP) antenna with unidirectional radiation pattern is presented. The structure comprises a simple coplanar waveguide (CPW) feeding circuit with an open slot etched on one side of the coplanar ground. The enhanced CP bandwidth is obtained by combining the loop mode, the slot mode, and the asymmetrical configuration of the coplanar ground...
-
A Compact Circularly Polarized Antenna With Directional Pattern for Wearable Off-Body Communications
PublikacjaThis letter presents a geometrically simple and compact circularly polarized (CP) antenna with unidirectional radiation characteristics for off-body communications. The proposed antenna is based on a microstrip line monopole extension from a coplanar waveguide (CPW) and a protruded stub from one side of the coplanar ground plane along the length of the monopole. The orthogonal components of equal amplitudes required for circular...
-
Effects of loading pattern and lubricant pressure influence on bearing alloy fatigue characteristics
PublikacjaOpisano wyniki testów zmęczeniowych przeprowadzonych dla stopu łożyskowego AlSn (11,3 Cu 1,2) osadzonego na taśmie stalowej. Doświadczalnie określono wartości obciążeń niszczących dla różnych warunków obciążenia: dla obciążeń zginających wahadłowych, dla obciążeń zginających wahadłowych przy równoczesnym działaniu słabego lub zmiennego ciśnienia w komorze olejowej.
-
Experimental study of flow pattern and heat transfer during steam drying of wood
PublikacjaBadania wysokotemperaturowego suszenia drewna zostały zainspirowane koniecznością instensyfikacji wymiany ciepła i masy na potrzeby przemysłu drzewnego, a w szczególności meblarskiego, w zakresie doskonalenia metod suszenia drewna, modelowania intensyfikacji wymiany ciepła i masy w elementach suszonych, opracowania ekologicznych i energooszczędnych systemów suszarniczych, ochrony środowiska związanej z racjonalnym zużyciem energii,...
-
Application of Syntactic Pattern Recognition Approach in Design and Optimisation of Group Machining Systems
Publikacja -
Application of Syntactic Pattern Recognition Approach in Design and Optimisation of Group Machining Systems
PublikacjaRozwinięto koncepcję budowy zoptymalizowanych struktur systemów wytwarzania grupowego spektrum części z wykorzystaniem modelu analizy syntaktycznej sekwencji operacji ich procesów technologicznych. Określono formułę metryki odległościowej opisu stopnia zróżnicowania marszrut indywidualnych procesów oraz testowano jej skuteczność w aspekcie eksploracji wielowymiarowych danych i klasteryzacji obiektów wg cech wymagań technologicznych....
-
Upward convergence patterns in chosen environmental-related SDGs
PublikacjaSustainable development is a challenge facing humanity. EU countries not only strive to reach their specific objectives, but they also work collaboratively towards shared goals. There is a need to balance synergies and compromises to address these objectives effectively. When discussing countries' development and people's well-being, one often focuses on socio-economic development. However, it is crucial not to overlook the environmental...
-
Workflow patterns applicable to virtual knowledge-based organizations
PublikacjaWorkflow is a term specifying how to automate a business process, in whole or part during which documents, information or tasks are passed from one participant to another for action, according to a set of procedural rules. Workflow is therefore directly applicable in virtual knowledge-based organizations, where information is exchanged via electronic documents. In the literature, is presented a complete list of workflow control-flow...
-
The Efficiency of Polish Stock Market: Ordinal Patterns Approach
PublikacjaZunino et al. analyzed the problem of discrimination of developed and emergent markets by the use of ordinal patterns methods: number of forbidden patterns and ordinal pattern probability distribution as a basis for entropy and statistical measure of complexity. In this paper we apply the same methodology for the analysis of Polish stock market (index WIG). The results indicate that Polish market belongs neither to developed, nor...
-
Internationalization patterns of Polish family high-tech firms
PublikacjaThe objective of the article is to explore internationalisation patterns of family high-tech firms, especially their internationalisation motives, intensity, speed, and entry modes. The empirical part adopts a quantitative approach. The results of the survey are presented on the sample of 263 high-tech production firms from Poland, including 101 family firms. The survey was conducted in all 16 Polish regions. The calculations from...
-
Spike patterns and chaos in a map-based neuron model
PublikacjaThe work studies the well-known map-based model of neuronal dynamics introduced in 2007 by Courbage, Nekorkin and Vdovin, important due to various medical applications. We also review and extend some of the existing results concerning β-transformations and (expanding) Lorenz mappings. Then we apply them for deducing important properties of spike-trains generated by the CNV model and explain their implications for neuron behaviour....
-
Composition Patterns of Contemporary Polish Residential Building Facades
PublikacjaThis study aims to define the types of composition patterns of contemporary Polish multi-family building facades. The authors define the compositional patterns to determine their frequency. Analyses carried out on the basis of photos and visualizations of 113 examples of architecture from Poland identified groups of common features of facades. Statistical analyses of these features resulted in six types of compositions. Clear differences...
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublikacjaPraca dotyczy problemów brzegowych dla równań różniczkowo-całkowych pierwszego rzędu z argumentami wyprzedzonymi. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają rozwiązania minimalne i maksymalne w odpowiadającym obszarze ograniczonym przez rozwiązania górne i dolne. W celu uzyskania wyników zastosowano nową metodę opartą na twierdzeniu Heikkila-Lakshmikantham'a. Wyniki zilustrowano na przykładzie.
-
Boundary value problems for first-order impulsive ordinary differential equations with delay arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań dla pierwszego rzędu równań różniczkowych typu opóźnionego z impulsami. Podano warunki dostateczne na istnienie ekstremalnych kwazi-rozwiązań. Podano też warunki przy których powyższe zagadnienie ma jedyne rozwiązanie. Praca zawiera też przykład ilustrujący otrzymane wyniki teoretyczne.
-
Boundary value problems for differential equations with deviated arguments which depend on the unknown solution
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowo funkcyjnych pierwszego rzędu z odchylonym argumentem zależnym od nieznanego rozwiązania. Sformułowane są warunki dostateczne isnienia quasirozwiązań i rozwiązań takich zagadnień.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublikacjaBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublikacjaPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Physical and numerical modelling of flow pattern and combustion process in pulverized fuel fired boiler.
PublikacjaW pracy przedstawiono źródła powstawania toksycznych związków podczas procesu spalania, metody ich redukcji. Do tego zadania wykorzystano eksperymentalne modelowanie fizyczne i uzupełniono je modelowaniem numerycznym. Obie metody, techniki modelowania miały na celu optymalizację procesu spalania.Wyniki obliczeń numerycznych porównano z pomiarami.