Filters
total: 387
filtered: 350
Search results for: semi-definite%20programming
-
Semi-definite programming and quantum information
PublicationThis paper presents a comprehensive exploration of semi-definite programming (SDP) techniques within the context of quantum information. It examines the mathematical foundations of convex optimization, duality, and SDP formulations, providing a solid theoretical framework for addressing optimization challenges in quantum systems. By leveraging these tools, researchers and practitioners can characterize classical and quantum correlations,...
-
Applications of semi-definite optimization in quantum information protocols
PublicationThis work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information sci- ence. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter...
-
Connections between Mutually Unbiased Bases and Quantum Random Access Codes
PublicationWe present a new quantum communication complexity protocol, the promise--Quantum Random Access Code, which allows us to introduce a new measure of unbiasedness for bases of Hilbert spaces. The proposed measure possesses a clear operational meaning and can be used to investigate whether a specific number of mutually unbiased bases exist in a given dimension by employing Semi--Definite Programming techniques.
-
Properties of dimension witnesses and their semidefinite programming relaxations
PublicationIn this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublicationOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
Hybrid no-signaling-quantum correlations
PublicationFundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term HNSQ in the...
-
Four-node semi-EAS element in six-field nonlineartheory of shells
PublicationW pracy sformułowano 4-węzłowy powłokowy element skończony dla konstrukcji powłokowych. Element opracowano w ramach nieliniowej 6-parametrowej teorii powłok z niesymetrycznymi miarami odkształceń membranowych. Kinematyka powłoki jest opisana przez dwa pola: translacji i obrotów, przy czym wszystkie trzy parametry obrotu traktowane są jako niezależne. W wyniku tego sformułowany element nadaje się do analizy struktur powłokowych...
-
Algebraic periods and minimal number of periodic points for smooth self-maps of 1-connected 4-manifolds with definite intersection forms
PublicationLet M be a closed 1-connected smooth 4-manifolds, and let r be a non-negative integer. We study the problem of finding minimal number of r-periodic points in the smooth homotopy class of a given map f: M-->M. This task is related to determining a topological invariant D^4_r[f], defined in Graff and Jezierski (Forum Math 21(3):491–509, 2009), expressed in terms of Lefschetz numbers of iterations and local fixed point indices of...
-
Relationship between semi- and fully-device-independent protocols
PublicationWe study the relation between semi and fully device independent protocols. As a tool, we use the correspondence between Bell inequalities and dimension witnesses. We present a method for converting the former into the latter and vice versa. This relation provides us with interesting results for both scenarios. First, we find new random number generation protocols with higher bit rates for both the semi and fully device independent...
-
TEORIA DECYZYJNYCH PROCESÓW SEMI-MARKOWA I JEJ ZASTOSOWANIE W PROJEKTOWANIU I EKSPLOATACJI OKRĘTOWYCH SILNIKÓW GŁÓWNYCH I INNYCH URZĄDZEŃ SIŁOWNI OKRĘTOWYCH
PublicationW referacie zaprezentowano znaczenie teorii procesów semi-Markowa w naukach technicznych, zwłaszcza w teorii niezawodności urządzeń technicznych, teorii bezpieczeństwa ich działania oraz statystycznej teorii podejmowania decyzji eksploatacyjnych. W referacie wyeksponowano także przydatność teorii procesów semi-Markowa w teorii i praktyce eksploatacji wspomnianych urządzeń technicznych na przykładzie tak istotnych urządzeń w transporcie...
-
New polish catalogue of typical flexible and semi-rigid pavements
PublicationThe paper covers the following topics important for the development of the new Polish Catalogue of typical flexible and semi-rigid pavements: reasons for preparing the new issue of the Catalogue of typical flexible and semi-rigid pavements, items introduced in the new issue, organise the terminology related to pavements, design traffic calculations and new equivalent axle load factors,...
-
Sharp bounds for the complexity of semi-equitable coloring of cubic and subcubic graphs
PublicationIn this paper we consider the complexity of semi-equitable k-coloring of the vertices of a cubic or subcubic graph. We show that, given n-vertex subcubic graph G, a semi-equitable k-coloring of G is NP-hard if s >= 7n/20 and polynomially solvable if s <= 7n/21, where s is the size of maximum color class of the coloring.
-
Tight bounds on the complexity of semi-equitable coloring of cubic and subcubic graphs
PublicationWe consider the complexity of semi-equitable k-coloring, k>3, of the vertices of a cubic or subcubic graph G. In particular, we show that, given a n-vertex subcubic graph G, it is NP-complete to obtain a semi-equitable k-coloring of G whose non-equitable color class is of size s if s>n/3, and it is polynomially solvable if s, n/3.
-
Equitable and semi-equitable coloring of cubic graphs and its application in batch scheduling
PublicationIn the paper we consider the problems of equitable and semi-equitable coloring of vertices of cubic graphs. We show that in contrast to the equitable coloring, which is easy, the problem of semi-equitable coloring is NP- complete within a broad spectrum of graph parameters. This affects the complexity of batch scheduling of unit-length jobs with cubic incompatibility graph on three uniform processors to minimize...
-
Bio-based semi-aromatic polyesters for coating applications
PublicationLinear and branched bio-based semi-aromatic (co)polyesters were evaluated as resins for solvent-basedand powder coatings. Dimethyl-2,5-furandicarboxylate (DMF), 2,3-butanediol and various multifunc-tional comonomers were used to synthesize amorphous hydroxyl-end-capped (co)polyesters. The resinswere cross-linked using the -caprolactam blocked trimer of isophorone diisocyanate. Both the solvent-based and powder coatings proved to...
-
Structural design and sensitivity analysis of semi-rigid pavement of a motorway
PublicationThis paper presents application of mechanistic-empirical methods in design of semi-rigid pavement for a section of a motorway in Poland. The stage construction was assumed. Three fatigue criteria were applied in the design. For asphalt fatigue cracking and subgrade soil the criteria from the Asphalt Institute (USA) were applied. For fatigue cracking of cement stabilized bases the Dempsey (USA) and De Beer (South Africa) criteria...
-
Application of semi-Markov processes for evaluation of diesel engines reliability with regards to diagnostics
PublicationThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determination of their reliability, as a result of the conducted statistical empirical studies. Interpretation of technical states provided for this sort of engines refers to ship main engines, i.e. engines employed in propulsion systems of sea-going ships. The considerations recognize diesel engine as a diagnosed system (SDN), of...
-
Structural Design and Sensitivity Analysis of Semi-Rigid Pavement of a Motorway
PublicationThis paper presents application of mechanistic-empirical methods in design of semi-rigid pavement for a section of a motorway in Poland. The stage construction was assumed. Three fatigue criteria were applied in the design. For asphalt fatigue cracking and subgrade soil the criteria from the Asphalt Institute (1981) were applied. For fatigue cracking of cement stabilized bases the Dempsey (1984) and De Beer (1992) criteria were...
-
USEFULNESS OF SEMI-MARKOV PROCESSES AS MODELS OF THE OPERATION PROCESSES FOR MARINE MAIN ENGINES AND OTHER MACHINES OF SHIP POWER PLANTS
PublicationThe paper describes the properties of semi-Markov processes and the opportunities and benefits from their use as models of the operation processes for marine combustion engines and other machines of ship power plants. The emphasis is put on the importance of the theory of semi-Markov processes for development of the theory of marine combustion engines and other machines of ship power plants, as well as for development of the operational...
-
Experimentally feasible semi-device-independent certification of four-outcome positive-operator-valued measurements
PublicationRecently the quantum information science community devoted a lot of attention to the theoretical and practical aspects of generalized measurements, the formalism of all possible quantum operations leading to acquisition of classical information. On the other hand, due to imperfections present in quantum devices, and limited thrust to them, a trend of formulating quantum information tasks in a semi-device-independent manner emerged....
-
Ocena przydatności stosowania komory semi-bezechowej w przyczepie badawczej SLIPSONIC służącej do pomiarów hałasu opon.
PublicationOmówiono sposoby pomiaru odbić dźwięku oraz izolacyjności komory semi-bezechowej zastosowanej w przyczepie SLIPSONIC. Przedstawiono wyniki badań wykazujących jednoznacznie konieczność stosowania komór semi-bezechowych w przyczepach do badania hałasu opon.
-
Application of the theory of semi-markov processes to the development of a reliability model of an automotiv vrhicle = Zastosowanie teorii procesów semi-Markowa do opracowania modelu niezawodnościowego samochodu
PublicationW artykule przedstawiono możliwość zastosowania teorii procesów semi-Markowa (semimarkowskich) do opisu niezawodności samochodu, na przykładzie samochodu osobowego. W rozważaniach uwzględniony został samochód, w którym wyróżniono takie węzły konstrukcyjne (zespoły funkcjonalne) jak: silnik z układami zasilania czynnikami energetycznymi (paliwem, olejem smarowym i cieczą chłodzącą), sprzęgło, skrzynia biegów, wał napędowy, most...
-
Increased Certification of Semi-device Independent Random Numbers using Many Inputs and More Postprocessing
PublicationQuantum communication with systems of dimension larger than two provides advantages in information processing tasks. Examples include higher rates of key distribution and random number generation. The main disadvantage of using such multi-dimensional quantum systems is the increased complexity of the experimental setup. Here, we analyze a not-so-obvious problem: the relation between randomness certification and computational requirements...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublicationNowadays, using smart connections can improve the performance of buildings with some recentering features that are from the superelastic behavior of Shape Memory Alloys (SMAs). It seems that there is different rigidity between the designed connection and the real one in Steel Moment-Resisting Frames (SMRFs), which can be considered as a problematic issue due to the importance of connections in seismic performance assessment. This...
-
Synthesis and characterisation of polyurethane elastomers with semi-products obtained from polyurethane recycling
PublicationIn this work polyurethane elastomers were synthesised by using different mixtures of a petrochemical and glycerolysate polyols and 4,4-diphenylmethane diisocyanate (MDI). Glycerolysate polyol was produced from polyurethane foam decomposition using crude glycerine as a decomposition agent. The structure and thermal properties of obtained semi-product were similar to the polyol used in the synthesis of original foam. Glycerolysate...
-
Assesment of operation of ship main diesel engine using the theory of semi-markovian and markov processes.
PublicationTo precisely determine the task it is necessary to specify also its duration time, apart from conditions in which it will be realized. When considering propulsion engine, i.e. the main element of ship propulsion system, especially important becomes not only the problem which amount of energy could be at one's disposal but also within which time interval it could be delivered. Therefore apart from applying the commonly used reliability...
-
Testing and sampling devices for monitoring volatile and semi-volatile organic compounds in indoor air
PublicationAdults spend most of their time in enclosed spaces (e.g., apartment, office and public buildings). According to research conducted by scientists, air quality indoors is much worse than the ambient air quality outdoors. Hazardous chemicals found in air indoors can adversely affect the functioning of the human body and cause many respiratory and circulatory diseases. Harmful chemical compounds (mainly volatile organic compounds and...
-
Ecology and Conservation of Steppes and Semi-Natural Grasslands
Publication -
Semi-Markov Approach to the Shipping Safety Modelling
Publication -
Investigations of transverse stability of semi-displacement ships
PublicationPrzedstawiono wyniki eksperymentalnych badań modelowych poprzecznej stateczności jednostek półślizgowych, których celem było określenie wpływu prędkości oraz parametrów kształtu kadłuba na stateczność poprzeczną. Na podstawie wyników badań opracowano algorytmy, uwzględniające zmiany ramienia prostującego w funkcji prędkości, kąta przechyłu i parametrów geometrycznych kadłuba które mogą być wykorzystane do oceny stateczności poprzecznej...
-
Application Isssues of the Semi-Markov Reliability Model
PublicationPredicting the reliability of marine internal combustion engines, for instance, is of particular importance, as it makes it possible to predict their future reliability states based on the information on the past states. Correct reliability prediction is a complex process which consists in processing empirical results obtained from operating practice, complemented by analytical considerations. The process of technical state changes...
-
A semi-empirical model for flow boiling heat transfer with account of the reduced pressure effect
PublicationIn the present study the attention was focused on the influence of reduced pressure on the predictions of heat transfer during flow boiling at the extensive range of pressures. The results of calculations were to test the sensitivity of the in-house flow boiling model with respect to the selection of the appropriate two-phase flow multiplier, which is one of the distinctive elements of that model. For this purpose a few two-phase...
-
COMPARATIVE ANALYSIS OF RESULTS OF APPLICATION OF MARKOV AND SEMI-MARKOV PROCESSES TO RELIABILITY MODELS OF MULTI-STATE TECHNICAL OBJECTS
PublicationDuring rational operation of technical objects and systems various operational decisions are made and decision-making process itself should be consisted in selecting that considered most favourable out of all possible to be taken. Choice of such decision is possible after taking into account many different information items but it never be completely correct without accounting for data and indices dealing with reliability. In...
-
The time of the first transition of the semi-Markov process in the evaluation of diesel engine operation
PublicationW referacie przedstawiono rozwinięcie prezentowanej w literaturze metody ilościowej oceny działania na przykładzie okrętowego silnika głównego z zapłonem samoczynnym. Według tej interpretacji, działanie silnika może zostać przedstawione jako wielkość fizyczna. W tym aspekcie, na przykładzie okrętowego silnika napędu głównego dokonano oceny przydatności tej wielkości do opisu własności niezawodnościowych silnika. Precyzyjne określenie...
-
Semi-transparent ordered TiO2 nanostructures prepared by anodization of titanium thin films deposited onto the FTO substrate
PublicationIn a significant amount of cases, the highly ordered TiO2nanotube arrays grow through anodic oxidationof a titanium metal plate immersed in electrolyte containing fluoride ions. However, for some practicalapplications, e.g. solar cells or electrochromic windows, the semi-transparent TiO2formed directly onthe transparent, conductive substrate is very much desired. This work shows that high-quality Ti coatingcould be formed at room...
-
A model of fuel combustion process in the marine reciprocating engine work space taking into account load and wear of crankshaft-piston assembly and the theory of semi-Markov processes
PublicationThe ar ticle analyses the operation of reciprocal internal combu stion engines, with mar ine engines u sed a s an example. The analysis takes into account types of energy conversion in the work spaces (cylinders) of these engines, loads of their crankshaft-piston assemblies, and types of fuel combustion which can take place in these spaces during engine operation. It is highlighted that the analysed time-dependent loads of marine...
-
Morphology and local chain structure of polyamide 6 modified in the solid state with a semi-aromatic nylon salt
PublicationStructural and conformational differences between the polyamide 6 (PA6) homopolymer and two copolymers of PA6 modified in the solid state with 20 and 30 wt% of the semi-aromatic nylon salt of 1,5-diamino-2-methylpentane (Dytek A) and isophthalic acid (IPA) in the feed were investigated. Room temperature wide-angle X-ray diffraction (WAXD) analysis together with 13C{1H} cross-polarization/magic-angle spinning solid-state (CP/MAS)...
-
Semi-Markov model of diesel engines' operating process.
PublicationNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublicationPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
Semi-incremental addition of strings to a cyclic finite automaton
PublicationMaszyny o skończonej liczbie stanów są szeroko stosowane jako słowniki w przetwarzaniu języka naturalnego. Odznaczają się szybkim czasem przetwarzania i małymi wymaganiami pamięciowymi. Przedstawiamy nowy algorytm dodawania nowych słów do języka cyklicznego automatu skończonego. Algorytm jest rozszerzeniem na automaty cykliczne półprzyrostowego algorytmu Watsona dla automatów acyklicznych. Przekształcenie jest dokonane w duchu...
-
Semi complex navigation with an active optical gesture sensor
PublicationThis paper presents the methods of diversified touchless interactions between a user and a mobile platform utilizing the optical gesture sensor. The sensor uses 8 photodiodes to measure the reflected light in the active mode (using embedded LEDs) or it measures shadows caused by fingers in the passive mode. Several algorithms were implemented: automatic mode switching, adaptive illumination level compensation, resolution improvements...
-
Semi-adaptive feedback active control of MRI noise
PublicationA feedback controller is proposed for cancellation of magnetic resonance imaging (MRI) noise. The design of the controller takes into account specific features of the MRI noise signal. Simulation results show that a considerable rejection rate of the MRI noise can be obtained.
-
Determination of rectification corrections for semi gantry crane rail axes in the local 3D coordinate system
PublicationElectronic tacheometers are currently the standard instruments used in geodetic work, including also geodetic engineering measurements. The main advantage connected with this equipment is among others high accuracy of the measurement and thus high accuracy of the final determinations represented for example by the points’ coordinates. One of many applications of the tacheometers is the measurement of crane rail axes. This measurement...
-
Bandwidth-Controllable Third-Order Band Pass Filter Using Substrate Integrated Full- and Semi-Circular Cavities
PublicationThe article presents a novel circular substrate integrated waveguide (SIW) bandpass filter (BPF) with controllable bandwidth. The proposed BPF is configured using two microstrip feedlines, semi- circular SIW cavities, capacitive slots, and inductive vias. The circular cavity is bisected into two halves, with the two copies thereof being cascaded. Two bisected and cascaded structures obtained this way are subsequently connected...
-
Necessity for and possibility of application of the theory of semi-markov processes to determine reliability of diagnising systems
PublicationW opracowaniu uzasadniono konieczność określenia niezawodności systemów diagnozujących (SDG) do sformułowania diagnozy o stanie dowolnego urządzenia technicznego jako systemu diagnozowanego (SDN). Wykazano, że znajomość niezawodności SDG umożliwia określenie wiarygodności diagnozy. Przyjęto, że wiarygodność diagnozy może być określona jako właściwość diagnozy określająca stopień rozpoznania przez system diagnozujący (SDG) rzeczywistego...
-
Enhancing Seismic Performance of Semi-rigid Connection Using Shape Memory Alloy Bolts Considering Nonlinear Soil–Structure Interaction
PublicationSteel Moment-Resisting Frames (SMRFs) have their lateral resistance for their rigid connections, while real conditions have shown that the rigidity of a connection depends on the bolts and the end-plate thickness, which may not provide the assumed rigidity in design process. In this research, the main goal is to enhance the semi-rigid connections using shape memory alloy (SMA) bolts and explore their effects on the seismic limit-state...
-
The influence of phosphorus fractions in bottom sediments on phosphate removal in semi-natural systems as the 3rd stage of biological wastewater treatment
PublicationThe research was carried out in two semi-natural systems (the polishing ponds in Swarzewo and the free water surface constructed wetland in Zarnowiec) in Poland. They were built as the 3rd stage of a conventional mechanical–biological wastewater treatment plant. These systems were built to improve the quality of the effluent of treated wastewater. In the polishing ponds and FWS wetland system, suspended solids, organic matter as...
-
Study on effective front region thickness of PCM in thermal energy storage using a novel semi-theoretical model
PublicationThermal energy storage in mobile applications, particularly battery of electric vehicles, is currently gaining a lot of importance. In this paper, a semi-theoretical time-dependent mathematical model of the phase change in a double shell thermal energy storage module has been developed where the inner tube is a heat exchange surface. An effective front region thickness for the melting and solidification process has been studied....
-
Ammonia amendment promotes high rate lactate production and recovery from semi-continuous food waste fermentation
PublicationIn this study, a reliable approach using ammonia nitrogen was proposed to increase lactate production during semi-continuous food waste (FW) fermentation under mesophilic conditions. Both free ammonia nitrogen (FAN) and ammonium ion (NH4+-N) were present in mesophilic reactors, with a wide FAN/NH4+-N ratio variation due to the intermittent pH control. The investigation of responsible mechanisms revealed that the increased production...
-
Modelling of saturated, subcooled and post-dryout flow boiling with the energy dissipation based semi-empirical model
PublicationA comprehensive semi-empirical model for saturated, subcooled and post dryout heat transfer is presented based on considerations of energy dissipation in the flow. The fundamental hypothesis in the model is the fact that heat transfer during flow boiling can be treated as a sum of two contributions constituting the total energy dissipation in the flow, namely the energy dissipation due to the shearing flow without the bubbles and...