Wyszukiwarka
Filtry
wszystkich: 4311
-
Katalog
- Publikacje 3238 wyników po odfiltrowaniu
- Czasopisma 397 wyników po odfiltrowaniu
- Konferencje 61 wyników po odfiltrowaniu
- Osoby 74 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Kursy Online 91 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 443 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: CRITICAL POINT THEORY
-
Agile Development of Critical Software - Can It be Justified?
PublikacjaThe paper introduces the problem of application of agile practices in critical software development projects. It summarizes the present state of research and identifies the need for having a ready-to-use model of being agile while still meeting the required assurance levels which could be particularly useful for small and medium sized safety-critical software companies. Then the objective and scope of a research aiming at delivering...
-
Model of heat transfer in the stagnation point of rapidly evaporating microjet
PublikacjaThe paper presents investigation into the single water microjet surface cooling producing evaporating film. Reported tests were conducted under steady state conditions. Experiments were conducted using the nozzle size of 70 and 100 mikrometer respectively. In the course of investigations obtained were experimental relations between heat flux and wall superheating. It was proved that the phenomenon is similar to that of pool boiling...
-
Some accelerationist remarks on Marcuse’s drives theory and his dialectics of civilization
PublikacjaMarcuse’s theory of civilization offers a promising Freud-Marx synthesis. His approach, best articulated in Eros and Civilization, aims at a thorough reformulation of the Freudian drive doctrine to render it more historical and concatenate it to the problem of structural violence and the institutionalized (and internalized) mechanism of repression. I claim that the said reformulation provides a cornerstone for Marcuse’s highly...
-
Applying agiile practices to the development of safety-critical software
PublikacjaDevelopment of safety critical software is subjected to numerous restrictions and recommendations. To meet these requirements classical software development models (e.g. V-model) are usually applied. Agile methodologies, although rapidly increasing their popularity, were generally regarded as unsuitable for such projects. However, they offer potential benefits which provide a strong incentive to incorporate them into safety-critical...
-
Fixed point indices of iterates of a low-dimensional diffeomorphism at a fixed point which is an isolated invariant set
PublikacjaLet f be an R^n-diffeomorphism, where n = 2, 3, for which {0} is an isolated invariant set. We determine all possible forms of the sequences of fixed point indices of iterates of f at 0, {ind(f n, 0)}_n, confirming in R3 the conjecture of Ruiz del Portal and Salazar (J Differ Equ 249, 989–1013, 2010).
-
Security Evaluation of IT Systems Underlying Critical Networked Infrastructures
PublikacjaCritical infrastructures have become highly dependent on information and communication technology (ICT). The drawback of this situation is that the consequences of disturbances of the underlying ICT networks may be serious as cascading effects can occur. This raises a high demand for security assurance, with a high importance assigned to security evaluations. In this paper we present an experiment-centric approach for the characterisation...
-
Architektura a dekonstrukcja. Przypadek Petera Eisenmana i Bernarda Tschumiego
PublikacjaArchitecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than...
-
Point cloud in archaeological and historical survey
PublikacjaIn the last decade the potential of using the point clouds in archaeological research has been noted. Therefore, a number of guidelines concerning aspects of data acquisition (resolution and format) were developed. They also included the way of searching the imaged area to identify archaeological and historical cultural heritage sites. The purpose of this research was to analyze the point cloud for selected woodland survey. Forest...
-
Approach to evaluation of time to the critical degradation of ship pipelines
PublikacjaIn the article an approach to the problem of estimating time to the critical degradation of ship pipelines is considered. Such an assessment would consist of six stages. The fundamental idea is to include to the estimation of time to failure of pipelines such elements like: materials that the pipelines are made, destructive physical phenomena taking place in them and applied means of protection. The result of that evaluation should...
-
Postquarter-Point Case of Ship’s Side-Berthing and Its Influence on Marine Fender Pitch
PublikacjaThis paper presents a critical analysis of some selected codes and practical recommendations used as basic rules in the design procedures of modern marine fender systems. The first part of the discussion pertains to the existing equations used in calculating the eccentricity coefficient in the ship’s kinetic energy equation and the maximum allowable fender pitch (spacing) in a set of fenders installed along a quay wall. A new approach...
-
Agents in Simulation of Cyberattacks to Evaluate Security of Critical Infrastructures
PublikacjaIn the last years critical infrastructures have become highly dependent on the information technologies and exposed to cyberattacks. Because the effects of the attacks can be detrimental, it is crucial to comprehensively asses the security of the infrastructures' information systems. This chapter describes MAlSim - the simulator of malicious software based on software agents, developed for the needs of a testbed for critical infrastructures...
-
Multisensor System for the Protection of Critical Infrastructure of Seaport
PublikacjaThere are many separated infrastructural objects within a harbor area that may be considered “critical”, such as gas and oil terminals or anchored naval vessels. Those objects require special protection, including security systems capable of monitoring both surface and underwater areas, because an intrusion into the protected area may be attempted using small surface vehicles (boats, kayaks, rafts, floating devices with weapons...
-
Module structure in Conley theory with some applications
PublikacjaA multiplicative structure in the cohomological versjon of Conley index is described . In the case of equivariant flows we apply the normalization procedure known from equivariant degree theory and we propose a new continuation invariant. The theory is then applied to obtain a mountain pass type theorem. Another application is a result on multiple bifurcations for some elliptic PDE.
-
Scattering Theory Summer School 2022
Kursy OnlineSummer school on Scattering Theory at Gdańsk University of Technology. 1 - 19 August online 22 - 26 August online or in Gdańsk (you choose) Participation is for free! Attractive fellowships! More info and registration: https://ftims.pg.edu.pl/en/science-app/summer-schools-2022/scattering-theory
-
Assessing historical church tower asymmetry using point cloud spatial expansion
PublikacjaChurch towers are key cultural heritage. In theory, towers are vertical, while facade elements are symmetrically positioned around the tower axis. However, during service of a structure, building and lifetime conditions cause deviations, with associated risks. Laser scanning point clouds can be used to assess the structural state but a universal approach was missing. The proposed algorithm first estimates the tower inclination,...
-
Comparison of developed gaze point estimation methods
PublikacjaThis paper presents the software part of an inexpensive hands-free eye tracking system. The system works using infrared illumination like most of the available eye trackers. Two methods allowing estimation the gaze point on computer screen are compared. Research on effectiveness of these methods is discussed and the better one is indicated.
-
Structure of the Resource Theory of Quantum Coherence
PublikacjaQuantum coherence is an essential feature of quantum mechanics which is responsible for the departure between the classical and quantum world. The recently established resource theory of quantum coherence studies possible quantum technological applications of quantum coherence, and limitations that arise if one is lacking the ability to establish superpositions. An important open problem in this context is a simple characterization...
-
Ab initio and density functional theory calculations of proton affinities for volatile organic compounds
PublikacjaThe Hatree-Fock method with 6-311G** split-valence molecular orbitals basis sets and the density function theory-B3LYP have been applied to geometrical optimizations and calculations of total electronic, zero point vibrational energies and proton affinities at 298 K for volatile organic compounds. Calculated values of proton affinities are compared with experimental data.
-
Saint-Venant torsion based on strain gradient theory
PublikacjaIn this study, the Saint-Venant torsion problem based on strain gradient theory is developed. A total form of Mindlin's strain gradient theory is used to acquire a general Saint-Venant torsion problem of micro-bars formulation. A new Finite Element formulation based on strain gradient elasticity theory is presented to solve the Saint-Venant torsion problem of micro-bars. Moreover, the problem is solved for both micro and macro...
-
Point to point control of fractional differential linear control systems
Publikacja -
Analysis of elementary cellular automata using the theory of conflict
PublikacjaThe paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.
-
Knowledge Management Critical Success Factors and the Innovativeness of KIBS Companies
PublikacjaThe purpose of this paper is to examine the influence of two critical success factors for knowledge management (i.e. leadership and support by the management, motivational practices) on the innovativeness of knowledge-intensive business service (KIBS) companies in the SMEs sector. A sample of 400 companies (KIBS SMEs) located in the Pomeranian District in Poland was selected. The questionnaire was designed to measure knowledge...
-
Analytical Buckling of FG Nanobeams on The Basis of A New One Variable First-Order Shear Deformation Beam Theory
PublikacjaIn this work, buckling analysis of functionally graded (FG) nanobeams based on a new refined beam theory has been analyzed. The beam is modeled as an elastic beam subjected to unidirectional compressive loads. To achieve this aim, the new obtained beam theory has only one variable which leads to one equation similar to the Euler beam theory and also is free of any shear correction factor. The equilibrium equation has been...
-
Towards Resource Theory of Coherence in Distributed Scenarios
PublikacjaThe search for a simple description of fundamental physical processes is an important part of quantum theory. One example for such an abstraction can be found in the distance lab paradigm: if two separated parties are connected via a classical channel, it is notoriously difficult to characterize all possible operations these parties can perform. This class of operations is widely known as local operations and classical communication....
-
Electromagnetic-based derivation of fractional-order circuit theory
PublikacjaIn this paper, foundations of the fractional-order circuit theory are revisited. Although many papers have been devoted to fractional-order modelling of electrical circuits, there are relatively few foundations for such an approach. Therefore, we derive fractional-order lumped-element equations for capacitors, inductors and resistors, as well as Kirchhoff’s voltage and current laws using quasi-static approximations of fractional-order...
-
FIXED POINT THEOR-RO
Czasopisma -
Analiza porównawcza metod zwiększania nośności i sztywności stalowych, doczołowych węzłów śrubowych.
PublikacjaInnowacyjna, w porównaniu z dotychczas stosowanym sposobem, metoda obliczania nośności stalowych węzłów została wdrożona wraz z normami europejskimi. Pozwala ona dokładniej odwzo-rować rzeczywistą pracę poszczególnych części węzła, gdyż wynik obliczeń uzależniony jest od znacznie większej liczby zmiennych. Dzięki postępowi technologicznemu w zakresie metalurgii oraz badaniom naukowym obecnie możliwe jest wzmacnianie połączeń...
-
The effect of a belt position in the spindle driving system on critical rotational speeds
PublikacjaThe aim of this paper was to examine how the belt pulley position affects critical rotational speeds of the modernized spindle of the sliding table saw Fx3. Methodology of determination of critical rotational speeds of the spindle in a function of the spindle design features and its driving system is presented. Spindles in these kind of machine tools are mainly driven with V-belts, and the pulleys on the spindles might be positioned:...
-
Lefschetz periodic point free self-maps of compact manifolds
PublikacjaLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds,
-
Rapid multi-objective antenna design using point-by-point Pareto set identification and local surrogate models
PublikacjaAntenna design is inherently a multicriterial problem.Determination of the best possible tradeoffs between conflicting objectives (a so-called Pareto front), such as reflection response, gain, and antenna size, is indispensable from the designer’s point of view, yet challenging when high-fidelity electromagnetic (EM) simulations are utilized for performance evaluation. Here, a novel and computationally...
-
On the effective properties of foams in the framework of the couple stress theory
PublikacjaIn the framework of the couple stress theory, we discuss the effective elastic properties of a metal open-cell foam. In this theory, we have the couple stress tensor, but the microrotations are fully described by displacements. To this end, we performed calculations for a representative volume element which give the matrices of elastic moduli relating stress and stress tensors with strain and microcurvature tensors.
-
KOALA Graph Theory Internet Service
PublikacjaKOALA has been created with the idea of C++ library templates, implementing a broad set of procedures in the fields of algorithmic graph theory and network problems in discreate optimization. During the C2NIWA project, a library has been greatly ectended, the code refactored and enclosed with the internet service available in the public repository of thr project. Today it contains interconnected educational materials in the form...
-
Lefschetz periodic point free self-maps of compact manifolds
PublikacjaLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds, Topology Appl. 158 (16) (2011) 2165-2169].
-
A non-linear direct peridynamics plate theory
PublikacjaIn this paper a direct non-local peridynamics theory for thin plates is developed. Peridynamic points are assumed to behave like rigid bodies with independent translation and finite rotation degrees of freedom. The non-local mechanical interaction between points is characterized by force and moment vectors. The balance equations including the linear momentum, the angular momentum and the energy are presented. Peridynamic deformation...
-
Fixed point indices of iterated smooth maps in arbitrary dimension
PublikacjaWe give a complete description of possible sequences ofindices of iterations of f at an isolated fixed point, answering inaffirmative the Chow, Mallet-Paret and Yorke conjecture posed in[S.N. Chow, J. Mallet-Parret, J.A. Yorke, A periodic point index whichis a bifurcation invariant, in: Geometric Dynamics, Rio de Janeiro,1981, in: Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983,pp. 109-131].
-
N-point estimators of the Instantaneous Complex Frequency
PublikacjaIn this paper estimators of the instantaneous complex frequency (ICF) are presented and discussed. The differential approach for the estimation of the ICF is used, therefore the estimators are based on maximally flat N-point FIR filters: differential and delay. The investigation of the filter performance includes static characteristics of ICF estimation and the error of the ICF estimation in the discrete frequency domain.W pracy...
-
Critical Case Stochastic Phylogenetic Tree Model via the Laplace Transform
PublikacjaBirth–and–death models are now a common mathematical tool to describe branching patterns observed in real–world phylogenetic trees. Liggett and Schinazi (2009) is one such example. The authors propose a simple birth–and–death model that is compatible with phylogenetic trees of both influenza and HIV, depending on the birth rate parameter. An interesting special case of this model is the critical case where the birth rate equals the...
-
Analytical Buckling of FG Nanobeams on The Basis of A New One Variable First-Order Shear Deformation Beam Theory
PublikacjaIn this work, buckling analysis of functionally graded (FG) nanobeams based on a new refined beam theory has been analyzed. The beam is modeled as an elastic beam subjected to unidirectional compressive loads. To achieve this aim, the new obtained beam theory has only one variable which lead to one equation similar to Euler beam theory and also is free of any shear correction factor. The...
-
An Optimal Power Point Tracking Algorithm in a Solar PV Generation System
PublikacjaThe non-linearity in I-V characteristics of a PV panel requires to be operated at knee point to extract maximum power. In order to operate the panel at optimal point, maximum power point tracking (MPPT) algorithm is employed in the control structure. The main objective of MPP tracking is to keep the operation at knee point of I-V characteristics under varying condition of temperature and solar insolation. Under non uniform solar...
-
A Finer Point on Vision
PublikacjaAs an IES Member, I look forward to each issue of LD+A and read them with great interest as they are often very informative. To my surprise, the Research article (May 2019, p. 76) has an error which should be corrected.
-
Sensitivity analysis of critical forces of trusses with side bracing
PublikacjaThe present research is devoted to the study of out-of-plane buckling of trusses with elastic side bracing. Inthis paper, a sensitivity analysis of critical buckling loads of a truss due to bracing stiffness is carried out. A method based on the sensitivity analysis for the determination of the threshold bracing stiffness conditionfor full bracing of a truss is proposed. The influence lines of the unit change of the bracing stiffness...
-
Theory of systems & cybernetics as a bridge between theory and practice. .
PublikacjaW pracy przedstawiono sposoby posługiwania się Teorią Systemów i Cybernetyką celem identyfikacji efektu synergii między nauką i działalnością praktyczną.
-
Reconstruction Methods for 3D Underwater Objects Using Point Cloud Data
PublikacjaExisting methods for visualizing underwater objects in three dimensions are usually based on displaying the imaged objects either as unorganised point sets or in the form of edges connecting the points in a trivial way. To allow the researcher to recognise more details and characteristic features of an investigated object, the visualization quality may be improved by transforming the unordered point clouds into higher order structures....
-
COMPARATIVE ANALYSIS OF POINT CLOUDS OBTAINED BY TLS AND PHOTOGRAMMETRY
PublikacjaTechnical progress in the field of 3D modelling resulted in increasing use of such technics to create a virtual 3D models of objects. Three-dimensional spatial models are used in a wide range of applications such as inventorisation of architectural-construction, an inventorisation of archaeological sites, medicine and wide-known engineering. Spatial models are created based on the point clouds acquired with laser scanners or photogrammetry....
-
St. Adalberd church 3D point model
Dane BadawczeResearch data show the church of St. Adalbert in Gdansk, Poland. Two layers are presented in the .zip file: one represents the laser scanning result, the second represents the point cloud from 36 photogrammetry images from the UAV system. The aligned point clouds formed the basis to create the high-resolution 3D model. Reference data are laser scanning...
-
Modeling the Influence of Salts on the Critical Micelle Concentration of Ionic Surfactants
PublikacjaWe show for the first time that a phenomenological, augmented volume-based thermodynamics (aVBT) model is capable to predict the critical micelle concentrations of ionic surfactants, including ionic liquids, with added salts. The model also adjusts for the type of salt added by including its molecular volume, which might form a connection to the Hofmeister effect. The other physico-chemically relevant quantities included in the...
-
Evaluating Security and Resilience of Critical Networked Infrastructures after Stuxnet
PublikacjaThe chapter presents the current configuration of the simulation environment for the evaluations of the security and resilience of critical networked infrastructures, which enables simulations of Stuxnet-like attacks. The configuration includes new features added to the MAlSim - Mobile Agent Malware Simulator after the advent of Stuxnet in reference to the experiments aiming at the security evaluation of a power plant which we...
-
Approach to security assessment of critical infrastructures' information systems
PublikacjaThis study presents an approach to the security assessment of the information systems of critical infrastructures. The approach is based on the faithful reconstruction of the evaluated information system in a computer security laboratory followed by simulations of possible threats against the system. The evidence collected during the experiments, stored and organised using a proprietary system InSAW, may later be used for the creation...
-
On constitutive relations in the resultatnt non-linear theory of shells
PublikacjaThe authors summarize their current research in the field of constitutive modelling in the framework of non-linear 6-parameter shell theory. In particular the description of isotropic, multilayered composite and functionally graded shells is presented.
-
Modeling BIM Objects From Point Clouds. Examples
PublikacjaThe article presents several ways to obtain BIM (Building Information Modeling) models from point clouds using standard commands in Revit 2018. In Revit geometric forms are possible to obtain in project, family or conceptual environments. Efficient modeling requires knowledge of methods of creating families and components in these environments and ways to combine them. Modeling methods with system and loadable families are presented,...