Search
Search results for: FUNCTIONAL SAFETY
-
Edible black ant Smith (Carebara vidua) as human food – A systematic review
PublicationMeeting food security is one of the major global challenges to ensure sufficient supply of food for current and future generations, considering increasing population growth and climate change issues. Consequently, the consumption of edible insects as an alternative food source has recently gained global attention for combating global food insecurity. The present review aims to provide information on the recent progress in consumption...
-
Art and Healthcare - Healing Potential of Artistic Interventions in Medical Settings
PublicationThe stereotype of a machine for healing seems to be well rooted in common thinking and social perception of hospital buildings. The technological aspect of healthcare architecture has been influenced for several years by three major factors. The first is linked to the necessity of providing safety and security in the environment of elevated epidemiological risk. The second concerns the need for incorporating advanced technology...
-
Li nucleation on the graphite anode under potential control in Li-ion batteries
PublicationApplication of Li-ion batteries in electric vehicles requires improved safety, increased lifetime and high charging rates. One of the most commonly used intercalation anode material for Li-ion batteries, graphite, is vulnerable to Li nucleation, a side reaction which competes with the intercalation process and leads to loss of reversible capacity of the battery, ageing and short-circuits. In this study, we deploy a combined grand...
-
Interference between Land and Sea Logistics Systems. Multifunctional Building System Design Towards Autonomous Integrated Transport Infrastructure
PublicationThe research is focused on developing design theory towards efficient multifunctional facilities for logistics supply chains in the contemporary urban city structures. The development of modern systems based on autonomous transport creates new conditions for their management and generates an emerging need to define dedicated functional service structures. An important element of consideration also taken into account is the scenario...
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublicationThe Cauchy problem for nonlinear parabolic differential-functional equations is considered. Under natural generalized Lipschitz-type conditions with weights, the existence and uniqueness of unbounded solutions is obtained in three main cases: (i) the functional dependence u(·); (ii) the functional dependence u(·) and ∂xu(·); (iii) the functional dependence u(·)and the pointwise dependence ∂xu(t,x).
-
Parabolic Equations with Functional Dependence
PublicationWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence and prove theorems on the existence of solutions to parabolic differential-functional equations.
-
Analytical tools for functional assessment of architectural layouts
PublicationFunctional layout of the building, understood as a layout or set of the facility rooms (or groups of rooms) with a system of internal communication, creates an environment and a place of mutual relations between the occupants of the object. Achieving optimal (from the occupants’ point of view) spatial arrangement is possible through activities that often go beyond the stage of architectural design. Adopted in the architectural...
-
Government in the metaverse: Requirements and suitability for providing digital public services
PublicationDigital government comprises all means to enable governments to interact with their constituents digitally. The metaverse provides a virtual reality environment where various activities can be carried out without physically visiting the places of interest, including the public authorities. Yet, how governments can use the metaverse is unknown. This paper aims to extend the understanding of the metaverse architecture requirements...
-
Existence of solutions with an exponential growth for nonlinear differential-functional parabolic equations
PublicationWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence.We prove Schauder-type existence results for unbounded solutions. We also prove existence of maximal solutions for a wide class of differential functional equations.
-
Diagnostyka eksploatacyjna okrętowych silników spalinowych - tłokowych i turbinowych
PublicationW monografii przedstawiono wybrane zagadnienia diagnostyki technicznej silników spalinowych dużej mocy, zarówno tłokowych, jak i turbinowych, ukierunkowane na eksploatację okrętowych (i nie tylko) systemów energetycznych, w których występują tego typu silniki. W początkowej części opracowania zaproponowano koncepcję systemowego ujęcia diagnostyki eksploatacyjnej silników okrętowych w aspekcie obowiązujących standardów światowych...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Difference functional inequalities and applications.
PublicationThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Properties of an innovative multi-functional finish for the improvement of indoor air quality
PublicationDue to lifestyle changes, people spend most of their time indoors at present; thus, Indoor Air Quality (IAQ) is a matter of utmost importance. Multi-functional and innovative finishes can help to passively improve the IAQ, benefitting the health and comfort of occupants. For this study, reference and pre-mixed commercial mortars are compared to a new multi-functional hydraulic lime mortar for indoor finishes, in which conventional...
-
Two‐functional μBIST for Testing and Self‐Diagnosis of Analog Circuits in Electronic Embedded Systems
PublicationThe paper concerns the testing of analog circuits and blocks in mixed‐signal Electronic Embedded Systems (EESs), using the Built‐in Self‐Test (BIST) technique. An integrated, two‐functional, embedded microtester (μBIST) based on reuse of signal blocks already present in an EES, such as microprocessors, memories, ADCs, DACs, is presented. The novelty of the μBIST solution is its extended functionality. It can perform 2 testing functions:...
-
Changes in Functional and Spatial Layouts of Polish Single-Family Houses
PublicationArticle presents the evolution of functional and spatial layouts of single-family houses in Poland, with particular emphasis on the functions of a contemporary house. Singlefamily housing constitutes a significant part of the construction market in Poland. The way of forming functions in single-family buildings in the historical cycle has characteristic features resulting from the culture of the society in a given period. The functional...
-
Variational Method of Finding Streamlines in Ring Cascades for Creeping Flows
PublicationThis paper presents a new, analytical method of finding streamlinesfor creeping flows inside a ring cascade which is composed of an infinite number of infinitely thin blades. An analytical solution has been obtained through minimisation of a dissipation functional by means of variational calculus method. The necessary condition for optimum of a functional gives the Stokes equation if some additional assumptions are introduced....
-
New patterns in the position of CEE countries in global value chains: functional specialisation approach
PublicationResearch background: High servitisation of manufacturing makes it impossible to separate services from manufactured goods properly, which implies difficulties in the assessment of the position of the country on the smile curve, i.e. in the proper assignment of products or services to one of the industrial process steps: pre-production, pure fabrication or post-production services. Therefore, we propose to use the business functions...
-
On Dynamic Boundary Conditions Within the Linear Steigmann-Ogden Model of Surface Elasticity and Strain Gradient Elasticity
PublicationWithin the strain gradient elasticity we discuss the dynamic boundary conditions taking into account surface stresses described by the Steigmann–Ogden model. The variational approach is applied with the use of the least action functional. The functional is represented as a sum of surface and volume integrals. The surface strain and kinetic energy densities are introduced. The Toupin–Mindlin formulation of the strain gradient elasticity...
-
Automatic Discovery of IaaS Cloud Workload Types
PublicationThe paper presents an approach to automatic discovery of workloads types. We perform functional characteristics of the workloads executed in our cloud environment, that have been used to create model of the computations. To categorize the resources utilization we used K-means algorithm, that allow us automatically select six types of computations. We perform analysis of the discovered types against to typical computational benchmarks,...
-
New Approach to Arc Fitting for Railway Track Realignment
PublicationThis article presents a new method of arc fitting for railway track realignment. The theoretical foundations are presented, along with a detailed algorithm of the iterative computational process. This method is based on solving a set of linearized pseudo-observation equations. The formulas of the functional model of the fitting problem were derived, and a special form of objective function is proposed. An iterative method for optimization...
-
Matrix Strengthening the Identification of Observations with Split Functional Models in the Squared Msplit(q) Estimation Process
PublicationThis article addresses the issue of raising the level of identification of observations with either single or more split functional models in the squared Msplit(q) estimation process. The theoretical part of the study presents the theoretical grounds for the classical method for estimating parameters in a split functional model and proposes a modification of the computational algorithm to increase the quality of the determinations...
-
Prebiotics and probiotics in food
PublicationNowadays, food is not only used to satisfy hunger and is a source of nutrients, but is also considered a factor that directly affects human health. Consumers are looking for high-quality products that contain bioactive ingredients that affect the proper functioning of the body and good mood. Functional foods, which must exhibit health benefits when consumed as part of a balanced diet, are becoming increasingly popular among health-conscious...
-
Ligand-Modified Boron-Doped Diamond Surface: DFT Insights into the Electronic Properties of Biofunctionalization
PublicationWith the increasing power of computation systems, theoretical calculations provide a means for quick determination of material properties, laying out a research plan, and lowering material development costs. One of the most common is Density Functional Theory (DFT), which allows us to simulate the structure of chemical molecules or crystals and their interaction. In developing a new generation of biosensors, understanding the nature...
-
Weighted difference schemes for systems of quasilinear first order partial functional differential equations
PublicationThe paper deals with initial boundary value problems of the Dirichlet type for system of quasilinear functional differential equations. We investigate weighted difference methods for these problems. A complete convergence analysis of the considered difference methods is given. Nonlinear estimates of the Perron type with respect to functional variables for given functions are assumed. The proof of the stability of difference problems...
-
A solution of the integrated µBIST for functional and diagnostic testing in mixed-signal electronic embedded systems
PublicationMain problem of the paper is testing of analog circuits and blocks in mixed-signal electronic embedded systems (EESs), using the built-in self-test (BIST) technique. The integrated mBIST based on reusing signal blocks already present in an EES, such as processors, memories, ADCs, is presented. The novelty of the solution is the extended functionality of the mBIST. It can perform 2 testing functions: functional testing and fault...
-
Categorization of Cloud Workload Types with Clustering
PublicationThe paper presents a new classification schema of IaaS cloud workloads types, based on the functional characteristics. We show the results of an experiment of automatic categorization performed with different benchmarks that represent particular workload types. Monitoring of resource utilization allowed us to construct workload models that can be processed with machine learning algorithms. The direct connection between the functional...
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Explicit and implicit difefrence methods for quasilinear first order partial functional differential equations.
PublicationInitial boundary value problems of the Dirichlet type for quasilinear functional differential equations are considered. Explicit difference schemes of the Euler type and implicit difference methods are investigated. Suffcient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that assumptions on the regularity of given functions are the same for both classes...
-
Minimum drag shape bodies moving in inviscid fluid - revisited
PublicationThis paper presents the classic approach to minimum drag shape body problem, moving at hypersonic speeds, leading to famous power law shapes with value of the exponent of 3/4. Two- and three-dimensional cases are considered. Furthermore, an exact pseudo solution is given and its uselessness is discussed. Two new solutions are introduced, namely an approximate solution due to form of the functional and solution by means of optimisation...
-
Quantum corrections to phi^4 model solutions and applications to Heisenberg chain dynamics
PublicationThe Heisenberg spin chain is considered in φ^4 model approximation. Quantum corrections to classical solutions of the one-dimensional φ^4 model within the correspondent physics are evaluated with account of rest d−1 dimensions of a d-dimensional theory. A quantization of the model is considered in terms of spacetime functional integral. The generalized zeta-function formalism is used to renormalize and evaluate the functional integral...
-
Quantum corrections to 4 model solutions and applications to Heisenberg chain dynamics
PublicationThe Heisenberg spin chain is considered in φ^4 model approximation. Quantum corrections to classical solutions of the one-dimensional φ^4 model within the correspondent physics are valuated with account of rest d − 1 dimensions of a d-dimensional theory. A quantization of the model is considered in terms of space- time functional integral. The generalized zeta-function formalism is used to renormalize and evaluate the functional...
-
Effects of laser pulse duration in two-photon vision threshold measurements
PublicationPulsed near-infrared (NIR) light sources can be successfully applied for both imaging and functional testing of the human eye, as published recently1. These two groups of applications have different requirements. For imaging applications, the most preferable is invisible scanning beam while efficiently visible stimulating beam is preferable for functional testing applications. The functional testing of human eye using NIR laser...
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
The impact of training and neurotrophins on functional recovery after spinal cord transection: cellular and molecular mechanisms contributing to motor improvement
PublicationBeneficial effects of locomotor training on the functional recovery after complete transection of the spinal cord indicate that in chronic spinal animals spontaneous recovery processes are enhanced and shaped by the training. The mechanisms of that use-dependent improvement are still not fully understood. This review tackles three aspects of this issue: (1) neurochemical attributes of functional improvement...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublicationThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublicationThe European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...
-
The Realization of NGN Architecture for ASON/GMPLS Network
PublicationFor the last decades huge efforts of telecommunication,Internet and media organizations have been focusingon creating standards and implementing one common networkdelivering multimedia services - Next Generation Network.One of the technologies which are very likely to beused in NGN transport layer is ASON/GMPLS optical network.The implementation of ASON/GMPLS technology usingopen source software and its results are the subject...
-
Calculating the Partition Coefficients of Organic Solvents in Octanol/Water and Octanol/Air
PublicationPartition coefficients define how a solute is distributed between two immiscible phases at equilibrium. The experimental estimation of partition coefficients in a complex system can be an expensive, difficult, and time-consuming process. Here a computational strategy to predict the distributions of a set of solutes in two relevant phase equilibria is presented. The octanol/water and octanol/air partition coefficients are predicted...
-
Public spaces connecting cities. Green and Blue Infrastructures potential.
PublicationA city fragmentation causes a lot of negative effects in urban environment such as: disconnecting the environmental, functional and compositional relations, a loss of urban compactness, chaotic development, visual chaos, a domination of technical landscape, reduction of security. This is why one of main challenges for urban planners is to connect the fragmented structures by creating friendly, attractive and safe public space....
-
Theoretical Assessment of Excited State Gradients and Resonance Raman Intensities for the Azobenzene Molecule
PublicationThe ground state geometries and vibrational frequencies as well as the excitation energies and excited state gradients of the S 1(nπ*) and S 2(ππ * ) states of trans - and cis -azobenzene are investigated by several DFT methods, namely B3LYP, PBE, M06-2X, CAM-B3LYP, and ω B97X. Excited state properties and in particular gradients are also assessed using the wave function based methods EOM-CCSD and RASPT2/RASSCF. Comparison with...
-
Spatial Evolution of the European Container Ports’ System in Perspective of the Location Theory
PublicationThe maritime container terminal is nowadays a spatially incoherent object. From the functional point of view it ends, where their most external components are located. The process of location splitting of container terminals is a new phase of their discrete growth. The external container facilities are being built to improve effectivness of the logistic chain in the hinterland. The new components of container terminals have very...
-
Tailoring Defects in B, N-Codoped Carbon Nanowalls for Direct Electrochemical Oxidation of Glyphosate and its Metabolites
PublicationTailoring the defects in graphene and its related carbon allotropes has great potential to exploit their enhanced electrochemical properties for energy applications, environmental remediation, and sensing. Vertical graphene, also known as carbon nanowalls (CNWs), exhibits a large surface area, enhanced charge transfer capability, and high defect density, making it suitable for a wide range of emerging applications. However, precise...
-
Polyurethanes
PublicationThe chapter content is devoted to Polyurethanes and consists of the following items: general characteristics of polyurethanes, raw materials used in the synthesis of crosslinked polyurethanes, synthesis and crosslinking reactions of polyurethanes, morphology of liniear and branched PU, manufacturing methods and functional properties.
-
Determination of Hydroxy Groups in the Modified Epoxy Oligomers Using IR-Spectroscopy
PublicationThe use of IR-spectroscopy has been proposed to determine the content of hydroxy groups in the modified functional oligomers based on bisphenol A diglycidyl ether. Apart from hydroxy groups the investigated oligomers contain epoxy or peroxy, carboxy or acrylic groups.
-
Identification of Unstable Reference Points and Estimation of Displacements Using Squared Msplit Estimation
PublicationThe article presents a new version of the method for estimating parameters in a split functional model, which enables the determination of displacements of geodetic network points with constrained datum. The main aim of the study is to present theoretical foundations of Msplit CD estimation and its basic properties and possible applications. Particular attention was paid to the efficacy of the method in the context of geodetic...
-
A spectroscopic study of the cis/trans-isomers of penta-2,4-dienoic acid attached to gold nanoclusters
PublicationIn this theoretical work, we present a spectroscopic analysis of the cis/trans-isomers of a molecular switch, penta-2,4-dienoic acid, attached to gold clusters of different size (1, 2 and 20 gold atoms). We have simulated 4 different spectroscopic techniques: Infrared spectroscopy, normal Raman scattering, absorption spectra and resonance Raman scattering. We discuss how the position and the conformation of the molecule determine...
-
Modelling of the High Speed Multi-Pole Synchronous Generator for Application in More Electric Aircraft Power Systems
PublicationIn this paper different models of the synchronous generator are presented. The simulation results compared with the measurements are shown. Certain physical phenomena are included in described models for the porpoise of adequate analysis of the more electric aircraft power system. For different modelling levels, such as functional level or behavioural level, different physical phenomena have been included. Simulation results for...
-
On the generalized model of shell structures with functional cross-sections
PublicationIn the present study, a single general formulation has been presented for the analysis of various shell-shaped structures. The proposed model is comprehensive and a variety of theories can be used based on it. The cross-section of the shell structure can be arbitrarily analyzed with the presented equations. In other words, various types of shell structures, including cylindrical, conical, spherical, elliptical, hyperbolic, parabolic,...
-
Combined effect of nitrogen-doped functional groups and porosity of porous carbons on electrochemical performance of supercapacitors
PublicationIn this work, nitrogen-doped porous carbons obtained from chitosan, gelatine, and green algae were investigated in their role as supercapacitor electrodes. The effects of three factors on electrochemical performance have been studied— of the specific surface area, functional groups, and a porous structure. Varying nitrogen contents (from 5.46 to 10.08 wt.%) and specific surface areas (from 532 to 1095 m2g−1) were obtained by modifying...