Filtry
wszystkich: 21692
wybranych: 1431
-
Katalog
- Publikacje 1431 wyników po odfiltrowaniu
- Czasopisma 18 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Osoby 26 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 15 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 20183 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: automated code generation
-
Seaport equipment and facilities. An offer for today, an investment for the future
PublikacjaIn order to meet customers' requirements and to adapt to the changing market, producers of port equipment try to provide more and more automated solutions containing future-oriented options.
-
Fluid–solid interaction on a thin platelet with high-velocity flow: vibration modelling and experiment
PublikacjaThe paper concerns the nonlinear behaviour of a thin platelet that is streamlined in an aerodynamic tunnel. The air velocity in the aerodynamic tunnel was at 858.9 km/h or 0.7 Ma (Ma—Mach number is a dimensionless quantity in fluid dynamics representing the ratio of flow velocity past a boundary to the local speed of sound). This experiment was numerically simulated using FSI (fluid–solid interaction) tools, namely the coupling...
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublikacjaThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
Runtime Visualization of Application Progress and Monitoring of a GPU-enabled Parallel Environment
PublikacjaThe paper presents design, implementation and real life uses of a visualization subsystem for a distributed framework for parallelization of workflow-based computations among clusters with nodes that feature both CPUs and GPUs. Firstly, the proposed system presents a graphical view of the infrastructure with clusters, nodes and compute devices along with parameters and runtime graphs of load, memory available, fan speeds etc. Secondly,...
-
Software Tools to Measure the Duplication of Information
PublikacjaData stored in average computer system usually is not unique, portions of stored data are duplicated. When duplicated data are stored in separate files containing source code of computer program of student homework, a possibility of cheating should be seriously considered. This paper presents software tools built, in order to detect re-use of pieces of code in supplied text files. Three aspects of information atching are considered:...
-
Utilisation of waste heat from the power plant by use of the ORC aided with bleed steam and extra source of heat
PublikacjaUtilization of waste heat recovered from the exhaust gases of the power generation unit by means of ORC (organic Rankine cycles) installation is considered. The waste heat is available in the form of a stream of hot water having temperature of 90 stC in the amount of 200 MWt. To increase evaporation temperaturę of ORC working fluid the heat of steam from the extraction points from the low-pressure part of steam turbine is used....
-
Influence of the air phase on water flow in dikes
PublikacjaNumerical models are often used to describe flow and deformation processes occurring in dikes during flood events. Modeling of such phenomena is a challenging task, due to the complexity of the system, consisting of three material phases: soil skeleton, pore water and pore air. Additional difficulties are transient loading caused by variable in time water levels, heterogeneity of the soil or air...
-
Ribosomal intergenic spacer analysis as a tool for monitoring methanogenic archaea changes in an anaerobic digester
PublikacjaThe applicability of a newly-designed PCR primer pair in examination of methanogenic Archaea in a digester treating plant biomass was evaluated by Ribosmal Intergenic Spacer Analysis (RISA). To find a suitable approach, three variants of RISA were tested: (1) standard, polyacrylamide gel-based, (2) automated, utilized capillary electrophoresis (GA-ARISA), and (3) automated microfluidics-based (MF-ARISA). All three techniques yielded...
-
Application of a catalytic combustion sensor (Pellistor) for the monitoring of the explosiveness of a hydrogen-air mixture in the upper explosive limit range
PublikacjaA new technique is presented for continuous measurements of hydrogen contamination by air in the upper explosive limit range. It is based on the application of a catalytic combustion sensor placed in a cell through which the tested sample passes. The air content is the function of the quantity of formed heat during catalytic combustion of hydrogen inside the sensor. There is the possibility of using the method in industrial installations...
-
Sampling of atmospheric precipitation and deposits for analysis of atmospheric pollution
PublikacjaPrzedstawiono przegląd technik i przyrządów pomiarowych stosowanych w celu pobierania próbek mokrej i mgielnej depozycji (mgła, woda z chmur, szron, szadź, rosa). Przedstawiono również informacje literaturowe na temat oznaczania związków nieorganicznych i organicznych w próbkach opadów i osadów atmosferycznych z zastosowaniem odpowiednich technik pomiarowych.
-
Badanie jakości transmisji w interfejsie radiowym MC-CDMA
PublikacjaTechnika MC-CDMA (ang. Multi-Carrier Code Division Multiple Access) powstała z połączenia dwóch wcześniej stosowanych technik dostępu radiowego: CDMA (ang. Code Division Multiple Access) i OFDM (ang. Orthogonal Frequency-Division Multiplexing) i posiada zalety obu tych technologii. W referacie przedstawiona została budowa nadajnika i odbiornika dla tego interfejsu radiowego oraz wyniki badań symulacyjnych jakości transmisji w tym...
-
YADE - An extensible framework for the interactive simulation of multiscale, multiphase, and multiphysics particulate systems
PublikacjaThis contribution presents the key elements of YADE, an extensible open-source framework for dynamic simulations. During the past 19 years, YADE has evolved from "Yet Another Dynamic Engine"' to a versatile multiscale and multiphysics solver, counting a large, active, and growing community of users and developers. The computationally intense parts of the source code are written in C++, using flexible object models that allow for...
-
Optimization of parallel implementation of UNRES package for coarse‐grained simulations to treat large proteins
PublikacjaWe report major algorithmic improvements of the UNRES package for physics-based coarse-grained simulations of proteins. These include (i) introduction of interaction lists to optimize computations, (ii) transforming the inertia matrix to a pentadiagonal form to reduce computing and memory requirements, (iii) removing explicit angles and dihedral angles from energy expressions and recoding the most time-consuming energy/force terms...
-
On the size of identifying codes in triangle-free graphs
PublikacjaIn an undirected graph G, a subset C⊆V(G) such that C is a dominating set of G, and each vertex in V(G) is dominated by a distinct subset of vertices from C, is called an identifying code of G. The concept of identifying codes was introduced by Karpovsky, Chakrabarty and Levitin in 1998. For a given identifiable graph G, let gammaID(G) be the minimum cardinality of an identifying code in G. In this paper, we show that for any connected...
-
Arc-length Algorithm Efficiency in the Analysis of Thermally Loaded Multilayered Shells
PublikacjaThis paper concerns the efficiency study of the arc-length algorithm in the geometrically non-linear analysis of thermally loaded multilayered shells. The thermal loading is considered as the one-way thermo-mechanical coupling effect. Two implementations of the arc-length method are examined: the path-following technique available in NX-Nastran and the RiksWempner-Ramm algorithm adopted in the authors’ computer code SHLTH. It is...
-
Theoretical study of the energetics of the reactions of triplet dioxygen with hydroquinone, semiquinone, and their protonated forms: relation to the mechanism of superoxide generation in the respiratory chain = Badanie teoretyczne energii z energii reakcji dioksygenu potrójnego z wodorem, półkiną i ich formami protony: relacja z mechanizmem wytwarzania supertlenku w łańcuchu oddechowym
PublikacjaW pracy prezentujemy wyniki obliczeń kwantowych ab initio i półempirycznych energetyki reakcji redukcji jednoelektronowej tlenu trypletowego. Zaproponowaliśmy cztery możliwe mechanizmy redukcji i przeprowadziliśmy obliczenia kwantowe. Z obliczeń wynika, że najprawdopodobniejszy mechanizm reakcji wiedzie poprzez przeniesienie elektronu z anionu hydrochinonu po deprotonacji lub też z rodnika semichinonowego na tlen cząsteczkowy,...
-
Large-scale multimedia content delivery over optical networks for interactive TV services
Publikacja -
The ICTBioMed NCIP Hub: Cancer research in a science gateway consortium
Publikacja -
An optimized system for sensor ontology meta-matching using swarm intelligent algorithm
PublikacjaIt is beneficial to annotate sensor data with distinct sensor ontologies in order to facilitate interoperability among different sensor systems. However, for this interoperability to be possible, comparable sensor ontologies are required since it is essential to make meaningful links between relevant sensor data. Swarm Intelligent Algorithms (SIAs), namely the Beetle Swarm Optimisation Algorithm (BSO), present a possible answer...
-
Increased Certification of Semi-device Independent Random Numbers using Many Inputs and More Postprocessing
PublikacjaQuantum 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...
-
Introducing a Computational Method to Retrofit Damaged Buildings under Seismic Mainshock-Aftershock Sequence
PublikacjaRetrofitting 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...
-
Visually validated semi-automatic high-frequency oscillation detection aides the delineation of epileptogenic regions during intra-operative electrocorticography
PublikacjaOBJECTIVE: To test the utility of a novel semi-automated method for detecting, validating, and quantifying high-frequency oscillations (HFOs): ripples (80-200 Hz) and fast ripples (200-600 Hz) in intra-operative electrocorticography (ECoG) recordings. METHODS: Sixteen adult patients with temporal lobe epilepsy (TLE) had intra-operative ECoG recordings at the time of resection. The computer-annotated ECoG recordings were visually...
-
Buckling of frame braced by linear elastic springs
PublikacjaIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
Assessment of codes recommendations for the evaluation of the seismic gap of buildings founded on different soil types
PublikacjaSeveral equations have been proposed in the literature to evaluate the seismic gap preventing earthquake-induced structural pounding, such as the ones based on the absolute sum of the peak displacements (ABS), the square root of the sum of the squares (SRSS), the double difference method (DDC), Australian code and the approach proposed by Naderpour et al. The aim of this paper is to investigate the accuracy of these equations taking...
-
Music Information Retrieval in Music Repositories
PublikacjaThis chapter reviews the key concepts associated with automated Music Information Retrieval (MIR). First, current research trends and system solutions in terms of music retrieval and music recommendation are discussed. Next, experiments performed on a constructed music database are presented. A proposal for music retrieval and annotation aided by gaze tracking is also discussed.
-
Air trapping problem during infiltration on the large areas
PublikacjaThe process of flow modeling in unsaturated porous medium is often found in many fields of sciences: geology, fluid mechanics, thermodynamics, microbiology or chemistry. Problem is relatively complicated due to complexity of the system which contains three phases: water, air and soil skeleton. The flow of water in such a medium can be described using two-phase (2PH) flow formulation, which accounts the inflow of air and water phases,...
-
Non-Wave Variations in Temperature Caused by Sound in a Chemically Reacting Gas
PublikacjaA weakly nonlinear generation of non-acoustic modes in the field of sound in a gas is considered. An exotericchemical reaction of A->B type, which takes place in a gas, may be reversible or not. Two types of sound areconsidered, low-frequency and high-frequency as compared with the characteristic time of a chemical reaction.For both these cases, the governing equations of non-acoustic modes are derived and conclusions of the efficiencyof...
-
Business processes implementation using agent systems
PublikacjaThis paper will show that some complex and repetitive actions performed in a company can be modelled for the sake of optimization and automaton. It is achieved by connecting business processes management and agent paradigms. Moreover it shows that organization structure can be mapped to distributed multi agent system. Finally it states that interorganization communication can be automated on the same basis as intra-organization...
-
THE INFLUENCE OF QUESTION SET ON STUDENT QUIZ RESULTS
PublikacjaThe advent of e-Learning tools allowing for automated online test grading will probably increase the frequency of using tests in technical education. The same tools may provide for measures of test question quality. By purposely crafting question sets, test grading may serve different goals. The paper contains examples and test study with score histograms.
-
Using Continuous Integration Techniques in Open Source Projects – An Exploratory Study
PublikacjaFor a growing number of software projects, continuous integration (CI) techniques are becoming an essential part of the process. However, the maturity of their adoption in open source projects varies. In this paper, we present an empirical study on GitHub repositories to explore the use of continuous integration techniques in open source projects. Following the Goal-Question-Metric (GQM) approach, 3 research questions and 7 metrics...
-
A Novel Iterative Decoding for Iterated Codes Using Classical and Convolutional Neural Networks
PublikacjaForward error correction is crucial for communication, enabling error rate or required SNR reduction. Longer codes improve correction ratio. Iterated codes offer a solution for constructing long codeswith a simple coder and decoder. However, a basic iterative code decoder cannot fully exploit the code’s potential, as some error patterns within its correction capacity remain uncorrected.We propose two neural network-assisted decoders:...
-
Structural response of existing spatial truss roof construction based on Cosserat rod theory
PublikacjaPaper presents the application of the Cosserat rod theory and newly developed associated finite elements code as the tools that support in the expert-designing engineering practice. Mechanical principles of the 3D spatially curved rods, dynamics (statics) laws, principle of virtual work are discussed. Corresponding FEM approach with interpolation and accumulation techniques of state variables are shown that enable the formulation...
-
Hybridization of valuation procedures as a medicine supporting the real estate market and sustainable land use development during the covid-19 pandemic and afterwards
PublikacjaCurrently we are facing the pandemic situation that occur all over the world. Regardless the country or even the region, the negative consequences that are expected could be very big and the level of crisis is not predictable. This situation is the challenge for the real estate market as well. Due to this fact, the authors believe that there is the time when deep transformation of approaches, procedures and awareness related to...
-
Parametrized Local Reduced-Order Models With Compressed Projection Basis for Fast Parameter-Dependent Finite-Element Analysis
PublikacjaThis paper proposes an automated parametric local model-order reduction scheme for the expedited design of microwave devices using the full-wave finite-element method (FEM). The approach proposed here results in parameterized reduced-order models (ROMs) that account for the geometry and material variation in the selected subregion of the structure. In each subregion, a parameter-dependent projection basis is generated by concatenating...
-
Substrate-integrated waveguide (SIW) filter design using space mapping
PublikacjaIn this paper, we present a fast technique for an automated design of microwave filters in substrate integrated wave (SIW) technology. The proposed methodology combines the space mapping technique with a cost function defined using the location of complex zeros and poles of filter’s transfer and reflection function and uses a rectangular waveguide as a surrogate model. The effectiveness of the proposed technique is presented with...
-
Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration
PublikacjaThis paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and...
-
KONCEPCJA WSPÓŁPRACY SYSTEMU STRUMIENIOWEJ TRANSMISJI DANYCH CZASU RZECZYWISTEGO STRADAR Z EUROPEJSKIM SYSTEMEM EUROSUR
PublikacjaPrzedstawiono koncepcję współpracy systemów STRADAR i EUROSUR, w celu wymiany informacji związanych z ochroną granic UE. Opisano cechy zrealizowanego demonstratora STRADAR i zasady komunikacji oraz bezpieczeństwa wymiany informacji w systemie EUROSUR. Opisano warianty wymiany infor-macji pomiędzy systemami STRADAR i EUROSUR, od najprostszych, możliwych do zastosowania w obecnej wersji STRADAR, do zautomatyzowanych, wymagających...
-
Towards an experience based collective computational intelligence for manufacturing
PublikacjaKnowledge based support can play a vital role not only in the new fast emerging information and communication technology based industry, but also in traditional manufacturing. In this regard, several domain specific research endeavors have taken place in the past with limited success. Thus, there is a need to develop a flexible domain independent mechanism to capture, store, reuse, and share manufacturing knowledge. Consequently,...
-
Comparison of classical Winter's bracing requirements of compressedtruss chord with stability analysis of 3D truss-model
PublikacjaMost code requirements concerning bracing are based on principles developed by Winter. The present research is devoted tostudy a lateral buckling of truss with linear elastic side supports. The classical Winter's model of truss chord in the case ofout of the truss plane buckling is compared with nonlinear analysis of 3D truss model. Full bracing condition, that permitsthe truss chord to support load level corresponding to an unbraced...
-
Stan graniczny nośności dźwigara żelbetowego mostu na zginanie według norm PN-EN 1992-2 oraz PN-S-10042:1991
PublikacjaPraca włącza się w bogaty w ostatnich latach w krajowym piśmiennictwie nurt porównań dwóch generacji norm projektowania mostów z betonu: polskiej - wycofanej, aczkolwiek powszechnie stosowanej oraz europejskiej – wciąż jeszcze wdrażanej do praktyki projektowej. Nowością w stosunku do dotychczasowych publikacji polskich jest szersze ujęcie różnic pomiędzy obydwiema generacjami norm. Poza rozpatrywanymi przez wielu autorów różnicami...
-
Przykłady zastosowania zestawu uruchomieniowego TMS320C6711 DSK z procesorem sygnałowym do realizacji stanowisk laboratoryjnych w laboratorium procesorów sygnałowych. Zastosowanie Komputerów w Nauce i Technice. Gdańsk 2003. XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono dwa stanowiska laboratoryjne wykorzystujące zestawy ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711. Jedno z nich realizuje analizator widma a drugie demonstruje algorytmy kodowania sygnałów podczas ich transmisji. Oba przygotowane stanowiska opracowano przy wykorzystaniu środowiska Code Composer Studio.
-
The vortex flow caused by sound in a bubbly liquid
PublikacjaGeneration of vorticity in the field of intense sound in a bubbly liquid in the free half-space is considered. The reasons for generation of vorticity are nonlinearity, diffraction, and dispersion. Acoustic streaming differs from that in a Newtonian fluid. Under some conditions, the vortex flow changes its direction. Conclusions concern streaming induced by a harmonic or an impulse Gaussian beam.
-
Moment resistance of I-section end-plate roof girder splices; a case study
PublikacjaThis article deals with the problem of determining the resistance of end-plate connections. A nonlinear FEM model of the joint was constructed in order to predict its carrying capacity. A standard code procedure was done as well. The analyses have been done to assess atypical end-plate joints designed and constructed as a part of roof structures.
-
Towards Digital Anti-Corruption Typology for Public Service Delivery
PublikacjaDigital anti-corruption refers to a family of digital technology tools that are used to fight corruption. Many such tools have not performed well in practice due to their non-alignment with forms of corruption they are supposed to fight against and persistence of corruption-enabling conditions. The aim of this paper is to contribute to filling this gap by offering a typology of digital anti-corruption in public service delivery...
-
EVALUATION OF 3D MODEL OF REBAR FOR QUANTITATIVE PARAMETERS
PublikacjaThe construction industry practices and processes are evolving constantly, and with the emergence of Industry 4.0, the use of technologies is expanding. Construction progress monitoring is an essential project lifecycle process; project success and timely completion are linked with effective progress monitoring operations and adopted tools. In the domain of automated construction progress monitoring, 3D modeling techniques have...
-
Przebicie w połączeniach typu płyta-słup – przegląd poszczególnych rodzajów zbrojenia oraz metod wymiarowania w świetle wybranych norm projektowych
PublikacjaW referacie przedstawiono podstawowe informacje związane z przebiciem w połączeniu typu płyta-słup, opisano sposoby zbrojenia z uwagi na przebicie, a także przybliżono metody wymiarowania na przebicie według normy europejskiej (EC2), normy amerykańskiej (ACI) oraz fib Model Code 2010.
-
Influence of mesh density on 2D viscous flutter in a turbomachinery cascade
PublikacjaIn this study numerical simulations of 2D viscous flutter were performed and compared with available experimental results for various mesh densities and flow parameters. Calculations were carried out for the bending oscillations of an Eleventh Standard Configuration cascade. ANSYS CFX code was used for the SST, SA and k-ω turbulence model calculations.
-
Traffic Modeling in IMS-based NGN Networks
PublikacjaIn the modern world the need for accurate and quickly delivered information is becoming more and more essential. In order to fulfill these requirements, next generation telecommunication networks should be fast introduced and correctly dimensioned. For this reason proper traffic models must be identified, which is the subject of this paper. In the paper standardization of IMS (IP Multimedia Subsystem) concept and IMS-based NGN...
-
Acceleration of the discrete Green's function computations
PublikacjaResults of the acceleration of the 3-D discrete Green's function (DGF) computations on the multicore processor are presented. The code was developed in the multiple precision arithmetic with use of the OpenMP parallel programming interface. As a result, the speedup factor of three orders of magnitude compared to the previous implementation was obtained thus applicability of the DGF in FDTD simulations was significantly improved.
-
Numerical methods for the assessment of bridge safety barriers
PublikacjaThe paper presents a numerical study of the bus crash test for bridge safety barriers. The analysis is conducted with the use of explicit code LS-DYNA. The problem of hourglass effect in shell elements is discussed. The simulations of bus impact against the barrier show that the analyzed barrier withstands the impact forces and restrains the bus trajectory to the bridge road.