Filters
total: 692
filtered: 522
Search results for: SEMI–DEFINITE PROGRAMMING
-
Equitable and semi-equitable coloring of cubic graphs and its application in batch scheduling
Publication -
Web-based GIS technologies dedicated for presenting semi-dynamic geospatial data
PublicationSieciowe technologie prezentacji danych przestrzennych przeżywają aktualnie rozkwit spowodowany między innymi spadającymi cenami sprzętu komputerowego. Wynikający z tego wzrost wydajności domowych i biurowych stacji roboczych pozwala na praktyczne zastosowanie czasochłonnych algorytmów wizualizacji i przetwarzania skomplikowanych danych rastrowych i wektorowych. Niniejszy artykuł omawia wybrane technologie sieciowej prezentacji...
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublicationMinimalne automaty skończone są często wybierane do przedstawiania słowników morfologicznych języka naturalnego. Wśród ich zalet znajdują się duża szybkość rozpoznawania i małe wymagania pamięciowe. Tłumaczenie opisów morfologicznych opartych o klasy kontynuacji na minimalne, cykliczne automaty skończone jest tradycyjnie dokonywane w kilku fazach, zawierających tworzenie automatu niedeterministycznego z przejściami etykietowanymi...
-
Adaptive dynamic control allocation for dynamic positioning of marine vessel based on backstepping method and sequential quadratic programming
PublicationIt is generally assumed in dynamic positioning of over-actuated marine vessels that the control effectiveness matrix (input matrix) is known and constant, or, in case of fault information, it is estimated by the fault detection and diagnosis system. The purpose of the study is to develop the adaptive dynamic positioning control system for an over-actuated marine vessel in the presence of uncertainties and with emphasis on limited...
-
An attempt to identify volatile and semi-volatile organic compounds present in the Odra river waters.
PublicationCelem pracy była identyfikacja związków z grup lotnych i średniolotnych związkó organicznych. W badaniach wykorzystano technikę Pt-TD-GC-MS. Komputerowa analiza widm masowych wykazała obecność wielu związków organicznych pochodxenia naturalnego i antropogenicznego. W powłokach wód pobranych w okolicy Brzegu Dolnego oznaczono stężenia związków chloroorganicznych na poziomie pojedynczych prób. Nieco wyższe spektrum związków chloroorganicznych,...
-
An assessment of wastewater pollution, treatment efficiency and management in a semi-arid urban area of Pakistan
Publication -
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Limiting distribution of the three-state semi-Markov model of technical state transitions of ship power plant machines and its applicability in operational decision-making.
PublicationThe article presents the three-state semi-Markov model of the process {W(t): t 0} of state transitions of a ship power plant machine, with the following interpretation of these states: s1 – state of full serviceability, s2 – state of partial serviceability, and s3 – state of unserviceability. These states are precisely defined for the ship main engine (ME). A hypothesis is proposed which explains the possibility of application...
-
A semi-empirical method for calculation of heat transfer coefficient in flow boiling for conventional tubes and minichannels
PublicationW pracy przedstawiono zagadnienia któe należy uwzględnić podczas modelowania wymiany ciepła z wrzeniem w przepływie w kanałach o małej średnicy. Uzyskano dobrą zgodność z wynikami badań eksperymentalnych.
-
Determination of Equivalent Axle Load Factors on the Basis of Fatigue Criteria for Flexible and Semi-Rigid Pavements
PublicationArtykuł przedstawia analizę współczynników równoważności obciążenia osi na podstawie kryteriów zmęczeniowych stosowanych w mechanistyczno-empirycznych metodach projektowania nawierzchni. Określono wzory służące do obliczania współczynnika w oparciu o szereg kryteriów zmęczeniowych. Podano wartości liczbowe współczynników.
-
A semi-empirical method for calculation of heat transfer coefficient in flow boiling for conventional tubes and minichannels
PublicationW pracy przedstawiono zagadnienia które należy uwzględnić podczas modelowania wymiany ciepła z wrzeniem w przepływie w kanałach o małej średnicy. Uzyskano dobrą zgodność z wynikami badań eksperymentalnych.
-
Seasonal changes in organotin compounds in water and sediment samples from the semi-closed Port of Gdynia
PublicationThe effect of seasonal changes on the distribution of organotin compounds (OTC) in the sediments and seawaterfrom the docks of the Port of Gdynia was investigated. Sediment and seawater samples were collectedfrom four industrial docks in February (winter) and June (summer) in 2009. The samples were analyzed forbutyltin, phenyltin, octyltin, and tricyclohexyltin (total of 9 OTC derivatives). The fine fraction (b0.063 mm)accumulated...
-
New semi-causal and noncausal techniques for detection of impulsive disturbances in multivariate signals with audio applications
PublicationThis paper deals with the problem of localization of impulsive disturbances in nonstationary multivariate signals. Both unidirectional and bidirectional (noncausal) detection schemes are proposed. It is shown that the strengthened pulse detection rule, which combines analysis of one-step-ahead signal prediction errors with critical evaluation of leave-one-out signal interpolation errors, allows one to noticeably improve detection results...
-
The influence of different glycerine purities on chemical recycling process of polyurethane waste and resulting semi‐products
PublicationChemical recycling is the most favourable recycling method due to the possibility of polyol recovery. This work is dedicatedto the utilisation of crude glycerine and polyurethane waste. It aims at determining the impact of the use of glycerine fromthe production of biodiesel with various degrees of purity as a cleavage agent on the decomposition process of polyurethanefoam. The influence of glycerine purit y on the chemical structure...
-
Volume optimization of high-speed surface-mounted permanent magnet synchronous motor based on sequential quadratic programming technique and analytical solution
Publication -
Biostability of Tap Water—A Qualitative Analysis of Health Risk in the Example of Groundwater Treatment (Semi-Technical Scale)
Publication -
What are the true volumes of SEGA tumors? Reliability of planimetric and popular semi-automated image segmentation methods
Publication -
An evaluation and explanation of (in)efficiency in higher education institutions in Europe and the U.S. with the application of two-stage semi-parametric DEA
PublicationThis study uses data envelopment analysis (DEA) to evaluate the relative efficiency of 500 higher education institutions (HEIs) in ten European countries and the U.S. for the period between 2000 and 2010. Efficiency scores are determined using different input-output sets (inputs: total revenue, academic staff, administration staff, total number of students; outputs: total number of publications, number of scientific articles, graduates)...
-
Physical aspect of application and usefulness of semi-Markovian processes for modelling the processes occurring in operational phase of technical objects.
PublicationW artykule zasygnalizowano przydatność teorii procesów semimarkowskich do tworzenia modeli procesów rzeczywistych, zachodzących w fazie eksploatacji różnych obiektów technicznych. Przydatność tej teorii została wykazana w wyniku przedstawienia: specyfiki procesów semimarkowskich oraz fizykalnych aspektów stosowania procesów semimarkowskich jako modeli procesów zachodzących w fazie eksploatacji wspomnianych obiektów. Specyfika została...
-
The Effectiveness of Semi-Automated and Fully Automatic Segmentation for Inferior Alveolar Canal Localization on CBCT Scans: A Systematic Review
Publication -
A semi-empirical method for calculation of flow boiling heat transfer coefficients for conventional channels and small diameter tubes
PublicationW pracy przedstawiono rozważania na temat modelowania dwufazowego przepływu wrzącego w kanałach konwencjonalnych i w kanałach o małej średnicy. Przedstawiono modyfikację korelacji zaproponowanej wcześniej przez J. Mikielewicza na podstawie nowych danych eksperymentalnych, uzyskanych dla kanałów o małej średnicy. Bank danych obejmował ponad 460 punktów pomiarowych dla czynników R141b, R134a, R113, R123, R12, R11 i wody. Uzyskano...
-
Improved semi-empirical method for determination of heat transfer coefficient in flow boiling in conventional and small diameter tubes
PublicationPraca dotyczy przedstawienia poprawionego modelu umożliwiającego wyznaczanie współczynnika przejmowania ciepła w kanałach o małych średnicach jaj i tych tradycyjnych. Model zweryfikowano na 6 czynnikach chłodnuiczych uzyskując bardzo zadowalającą zgodność.
-
Semi-continuous production of the anticancer drug taxol by Aspergillus fumigatus and Alternaria tenuissima immobilized in calcium alginate beads
Publication -
An evaluation and explanation of (in)efficiency in higher education institutions in Europe and the U.S. with the application of two-stage semi-parametric DEA
PublicationIn this study the technical efficiency of number of public European and American HEIs is assessed over a decade. Efficiency scores are determined using nonparametric DEA with different input-output sets and considering different frontiers: global frontier (all HEIs pooled together), regional frontier (Europe and the U.S. having their own frontiers) and country-specific ones. The external factors affecting the degree of HEI inefficiency...
-
A concept of software extension of 3D low-PRF radar systems to 4D semi-medium-PRF radar systems
PublicationWe present a concept of software modification of three-dimensional (3D) radar systems, designed to work in the low pulse repetition frequency mode, that equips them with the ability to estimate the radial velocity and to properly measure the range of targets that are detected outside the radar’s instrumented range. Despite the fact that the proposed modifications are designed so as to require only minor changes in software, they...
-
Investigating the drinking and surface water quality and associated health risks in a semi-arid multi-industrial metropolis (Faisalabad), Pakistan
Publication -
Comparison of the Antioxidant Properties of Green Macroalgae from Diverse European Water Habitats by Use of Several Semi-Quantitative Assays
Publication -
Energy-Aware High-Performance Computing: Survey of State-of-the-Art Tools, Techniques, and Environments
PublicationThe paper presents state of the art of energy-aware high-performance computing (HPC), in particular identification and classification of approaches by system and device types, optimization metrics, and energy/power control methods. System types include single device, clusters, grids, and clouds while considered device types include CPUs, GPUs, multiprocessor, and hybrid systems. Optimization goals include various combinations of...
-
Badania właściwości akustycznych komór semi-bezechowychprzyczep do badania hałasu opon: Tiresonic MK2, Tiresonic MK3 oraz Slipsonic
PublicationPrzyczepy badawcze: Tiresonic MK2, Tiresonic MK3 oraz SlipSonic służą do badania hałasu opon do samochodów osobowych i dostawczych. Wszystkie przyczepy wyposażone są w komory semo-bezechowe, osłaniające koła z badanymi oponami. omówiono konstrukcję poszczególnych komór. Przedstawiono eksperyment badawczy, którego celem było wyznaczenie własności akustycznych tych komór. Podano i omówiono wyniki tych badań.
-
Enhancing seismic performance of steel buildings having semi-rigid connection with infill masonry walls considering soil type effects
PublicationUnpreventable constructional defects are the main issues in the case of steel Moment-Resisting Frames (MRFs) that mostly occur in the rigidities of beam-to-column connections. The present article aims to investigate the effects of different rigidities of structures and to propose Infill Masonry Walls (IMWs) as retrofitting strategy for the steel damaged buildings. A fault or failure to meet a certain consideration of the soil type...
-
Pharmacological Classification and Activity Evaluation of Furan and Thiophene Amide Derivatives Applying Semi-Empirical ab initio Molecular Modeling Methods
Publication -
Activity Evaluation and Selection of Some Classes of Antibiotics with the use of Semi-Empirical Quantum Mechanics and Quantitative Structure- Activity Relationships Approach
Publication -
Phosphorus removal by application of natural and semi-natural materials for possible recovery according to assumptions of circular economy and closed circuit of P
PublicationIn the last fewyears the idea of circular economy has become essential. Thus, designing methods of nutrients removal should be based on usingmaterials that make it possible to recover those nutrients. Recently,methods applied in wastewater treatment plants cannot provide optimal results; moreover, the application of commercial coagulants like ferric chloride and polyaluminumchloride can cause difficulties in potential recovery...
-
Validation study on a new semi-empirical method for the prediction of added resistance in waves of arbitrary heading in analyzing ship speed trial results
Publication -
4-Node combined shell element with semi-EAS-ANS strain interpolationsin 6-parameter shell theories with drilling degrees of freedom
PublicationW pracy sformułowano 4-węzłowy powłokowy element skończony klasy C0, w ramach nieliniowej 6-parametrowej teorii powłok. W celu uniknięcia zjawiska blokady (locking effect) wykorzystano technikę EAS do niesymetrycznych odkształceń membranowych i ANS do odkształceń poprzecznych.Przedstawiono przykłady potwierdzające poprawność sformułowania.
-
Validation study on a new semi-empirical method for the prediction of added resistance in waves of arbitrary heading in analyzing ship speed trial results
PublicationThis paper describes an open and extensive validation study carried out by the Specialist Committee on Ships in Operation at Sea (SOS) of the International Towing Tank Conference (ITTC) on the newly developed SHOPERA-NTUA-NTU-MARIC (SNNM) wave-added resistance prediction method. The SNNM method aims at a simple, fast and transparent determination of the added resistance in regular waves of arbitrary encounter directions, even when...
-
Studies of the mechanism of metal metal dusting of 10CrMo9-10 steel after 10 years of operation in trhe semi-regenerative catalytic reformer
PublicationThe study showed that metal dusting mechanism of 10CrMo9-10 steel operated in industrial environment differs from models developed in laboratories. Significant differences lie in the fact that the models developed in laboratories only assume the formation of metastable carbide M3C, while studies have shown that the formation of M3C carbides is associated with the transformation of primary carbides and in the next stage is preceded...
-
Device-independent quantum key distribution based on measurement inputs
PublicationWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
The semi-Markov model of energy state changes of the main marine internal combustion engine and method for evaluating its operation during ships voyage
PublicationPrzedstawiono metodę oceny działania tłokowych silników spalinowych napędu głównego statków morskich, nazywanych silnikami głównymi, działających w różnych warunkach ich eksploatacji. Metoda ta umożliwia obliczenie wartości działania w wyniku zastosowania teorii procesów semimarkowskich i statystyki matematycznej. Znamienne jest to, że działanie wspomnianych silników spalinowych zostało przyrównane do wielkości fizycznej, którą...
-
Assessing agri-environmental schemes for semi-natural grasslands during a 5-year period: can we see positive effects for vascular plants and pollinators?
Publication -
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Robustness of quantum-randomness expansion protocols in the presence of noise
PublicationIn this paper we investigate properties of several randomness generation protocols in the device independent framework. Using Bell-type inequalities it is possible to certify that the numbers generated by an untrusted device are indeed random. We present a selection of certificates which guarantee two bits of randomness for each run of the experiment in the noiseless case and require the parties to share a maximally entangled state....
-
Determination of probabilities defining safety of a sea-going ship during performance of a transportation task in stormy weather conditions
PublicationThe paper presents the possibility of applying the theory of semi-Markov processes to determine the limiting distribution for the process of changes of technical states being reliability states of the systems of sea-going ships significantly affecting safety of such ships, which include main engine, propeller and steering gear. The distribution concerns the probabilities of occurrence of the said states defined for a long time...
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublicationW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...
-
Easy formation of acyl-Meldrum's acid anhydride
PublicationAcyl Meldrum's acid are usually a good source of ketenes upon definite thermal composition. However we treated acyl-Meldrum's acid with the Lewis acid and we observed formation of 5[[(2,2-dimethyl-4,6-dioxo-1,3-dioxan 5 ylidene)(acyl/arylamino)mathoxy](acyl/arylamino)methylene]-2,2dimethyl-1,3-dioxane-4,6 dione which means acyl-Meldrum's acid anhydride. The chemical properities of acyl-Meldrum's acid anhydride were explored.
-
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublicationThe paper deals with parallelization of computing similarity measures between large vectors. Such computations are important components within many applications and consequently are of high importance. Rather than focusing on optimization of the algorithm itself, assuming specific measures, the paper assumes a general scheme for finding similarity measures for all pairs of vectors and investigates optimizations for scalability...
-
Introducing a Computational Method to Retrofit Damaged Buildings under Seismic Mainshock-Aftershock Sequence
PublicationRetrofitting damaged buildings is a challenge for engineers, since commercial software does not have the ability to consider the local damages and deformed shape of a building resulting from the mainshock record of an earthquake before applying the aftershock record. In this research, a computational method for retrofitting of damaged buildings under seismic mainshock-aftershock sequences is proposed, and proposed computational...
-
Zastosowanie programowania parametrycznego w planowaniu operacji obróbki elementów o powtarzalnej geometrii
PublicationPorównywano zastosowania dostępnych technik programowania obróbki numerycznej przedmiotów o powtarzających się elementach konstrukcji. Analizowano możliwości stosowania programowania parametrycznego w trybie programowania zorientowanego warsztatowo oraz pracy w środowisku systemu klasy CAM. Zwrócono uwagę na przejrzystość tworzonego programu w aspekcie możliwości jego edycji i korekty składni, formy zapisu programu w pamięci obrabiarki...
-
Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility
PublicationAspect-oriented programming (AOP) emerged as a paradigm to modularize the concerns that lead to interwoven code if implemented using traditional programming techniques. Unfortunately, the new constructs introduced by aspect-oriented (AO) languages result in both: (1) obstacles in modular reasoning, and (2) high coupling between aspects and the augmented modules. There have been numerous attempts to tackle these issues, but none...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...