Wszystkie pola: program verification

Skocz do pozycji: 1.

Tytuł:: Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Autorzy:: De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2017
Słowa kluczowe:: Constraint Handling Rules
CHR
constraint logic programming
CLP
program transformation
program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Development of the Module for Real-Time Verification of NC Machining Program
Autorzy:: Milojevic, Z.
Navalusic, S.
Zeljkovic, M.
Data publikacji:: 2007
Słowa kluczowe:: 3-axis milling
dexel structure
NC machining program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Nets with Tokens which Carry Data
Autorzy:: Lazić, R.
Newcomb, T.
Ouaknine, J.
Roscoe, A.W.
Worrell, J.
Data publikacji:: 2008
Słowa kluczowe:: Petri net
infinite-state systems
program verification
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Walidacja programu PLC z wykorzystaniem wirtualnego modelu urządzenia w programie Delmia automation
Autorzy:: Słota, A.
Borowy, S.
Data publikacji:: 2013
Słowa kluczowe:: weryfikacja programu
sterownik PLC
walidacja
Delmia
program verification
PLC controller
validation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki
Autorzy:: Józwik, J.
Włodarczyk, M.
Ścierka, T.
Data publikacji:: 2010
Słowa kluczowe:: sterownik
obrabiarka CNC
symulacja
system NX
weryfikacja programu
skrawanie
controller
CNC machine tool
NX system
simulation
program verification
cutting; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki
Virtual controller vnc of vertical CNC machine center FA-580A
Autorzy:: Józwik, J.
Włodarczyk, M.
Ścierka, T.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterownik
obrabiarka CNC
symulacja
system NX
weryfikacja programu
skrawanie
controller
CNC machine tool
NX system
simulation
program verification
cutting; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis
Autorzy:: Esche, Marko
Salwiczek, Felix
Grasso Toro, Federico
Data publikacji:: 2019
Słowa kluczowe:: software
formal specification
IEC standards
ISO standards
probability
program verification
risk management
security of data
software standards
oprogramowanie
formalna specyfikacja
normy IEC
normy ISO
prawdopodobieństwo
weryfikacja programu
zarządzanie ryzykiem
bezpieczeństwo danych
standardy oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A program for the independent verification of brachytherapy planning system calculations
Data publikacji:: 2010
Tematy:: Radioterapia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Wady i zalety programu do odbioru leśnych map numerycznych
Autorzy:: Napierała, H.
Data publikacji:: 2004
Słowa kluczowe:: leśne mapy numeryczne
standard
kontrola
digital forest maps
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: American Foreign Supplier Verification Program (FSVP) —Requirements, Benefits or Burdens for Indian Food Companies, and Difficulties in the Implementation®
Autorzy:: Nair, Surya S.
Czarnecka-Skubina, Ewa
Jakubowska-Gawlik, Katarzyna
Trafiałek, Joanna
Data publikacji:: 2022
Słowa kluczowe:: India
FSVP
food safety
importer
Indie
bezpieczeństwo żywności; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Verification of FEM program solutions of stability and torsion problems for I shape steel members
Autorzy:: Gosowski, B.
Współwytwórcy:: Politechnika Wrocławska
Niżniowski, P.
Data publikacji:: 2008
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Modelowanie spływu ścieków opadowych ze zlewni miejskiej przy wykorzystaniu programu SWMM. Cz.II. Weryfikacja modelu
Autorzy:: Zawilski, M.
Sakson, G.
Data publikacji:: 2011
Słowa kluczowe:: ścieki
modelowanie
zlewnia miejska
program SWMM
urban drainage area
sewage
SWMM program
modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej
Autorzy:: Twardoch, K.
Data publikacji:: 2014
Słowa kluczowe:: przekładnia zębata stożkowa
model dynamiczny
weryfikacja
walidacja
symulacja numeryczna
symulacja komputerowa
MATLAB
bevel gear
dynamic model
verification
validation
numerical simulation
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej
Discrete dynamic model of bevel gear - verification the program source code for numerical simulation
Autorzy:: Twardoch, K.
Data publikacji:: 2014
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: przekładnia zębata stożkowa
model dynamiczny
weryfikacja
walidacja
symulacja numeryczna
symulacja komputerowa
MATLAB
bevel gear
dynamic model
verification
validation
numerical simulation
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: American Foreign Supplier Verification Program (FSVP) —Requirements, Benefits or Burdens for Indian Food Companies, and Difficulties in the Implementation®
Amerykański Program Weryfikacji Dostawców Zagranicznych (FSVP) —wymagania, korzyści lub obciążenia dla indyjskich firm spożywczych oraz trudności we wdrożeniu
Autorzy:: Nair, Surya S.
Czarnecka-Skubina, Ewa
Jakubowska-Gawlik, Katarzyna
Trafiałek, Joanna
Data publikacji:: 2022
Wydawca:: Wyższa Szkoła Menedżerska w Warszawie
Tematy:: India
FSVP
food safety
importer
Indie
bezpieczeństwo żywności; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Verification of FEM program solutions of stability and torsion problems for I shape steel members
Autorzy:: Gosowski, B.
Niżniowski, P.
Data publikacji:: 2008
Słowa kluczowe:: metoda elementów skończonych
stateczność
skręcanie
wyboczenie
element stalowy
element dwuteowy
thin-walled cross-section
column
compression
bending
flexural-torsional buckling
beam
non-uniform torsion
modelling
FEM
finite element method
stability
torsion
I shape member
steel member
buckling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Telewizja Polska czasu wielkiego kryzysu. Organizacja i zarządzanie TVP podczas stanu wojennego
Polish Television at the time of the great crisis. Organization and management of TVP during martial law
Autorzy:: Jaworski, Karol
Słowa kluczowe:: Martial law, Polish Television, Radio committee, verification, program, organization, management, opinions, Maciej Szczepański, propaganda, media, Dziennik Telewizyjny, militarization, Władysław Loranc, Wojciech Jaruzelski
Stan wojenny, Telewizja Polska, Radiokomitet, weryfikacja, program, organizacja, zarządzanie, opinie, Maciej Szczepański, propaganda, media, Dziennik Telewizyjny, militaryzacja, Władysław Loranc, Wojciech Jaruzelski; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Slicing Timed Systems
Autorzy:: Janowska, A.
Janowski, P.
Data publikacji:: 2004
Słowa kluczowe:: static analysis
program slicing
system verification
timed systems
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Weryfikacja technologii środowiskowych
Autorzy:: Kościerzyński, S.
Data publikacji:: 2014
Słowa kluczowe:: Program Weryfikacji Technologii Środowiskowych
ETV
environmental technology verification
weryfikacja technologii
Świadectwo Weryfikacji ETV; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Controlling Polyvariance for Specialization-based Verification
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Improving Reachability Analysis of Infinite State Systems by Specialization
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2012
Słowa kluczowe:: reachability analysis
automatic verification
program transformation
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Development of the module for verification of NC machining program
Autorzy:: Milojević, Zoran
Współwytwórcy:: Zeljković, Milan
Navalušić, Slobodan
Data publikacji:: 2005
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Development of the module for real-time verification of NC machining program
Autorzy:: Milojević, Zoran
Współwytwórcy:: Zeljković, Milan
Navalušić, Slobodan
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: The statistical models for interpreting the results of parcels area verification in integrated administration and control system IACS
Autorzy:: Wolski, B.
Toś, C.
Data publikacji:: 2018
Słowa kluczowe:: IACS system
verification of parcel area
robust statistics
program IACS
weryfikacja powierzchni działek
statystyka odpornościowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Oprogramowanie wspomagające weryfikację programów współbieżnych w systemie Satori.
A tool facilitating verification of multithreaded programs in Satori system.
Autorzy:: Wróbel, Marek
Słowa kluczowe:: Lock-free, sytuacja wyścigu, program wielowątkowy.
Lock-free, race condition, multithreaded program; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: The statistical models for interpreting the results of parcels area verification in integrated administration and control system IACS
Statystyczne modele interpretacji wyników weryfikacji powierzchni działek w programie IACS
Autorzy:: Wolski, B.
Toś, C.
Data publikacji:: 2018
Wydawca:: Politechnika Świętokrzyska w Kielcach. Wydawnictwo PŚw
Tematy:: IACS system
verification of parcel area
robust statistics
program IACS
weryfikacja powierzchni działek
statystyka odpornościowa; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Symulacyjna weryfikacja programu obróbki
Verification through the simulation of the machining program
Autorzy:: Morek, R.
Data publikacji:: 2012
Wydawca:: Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:: obróbka wirtualna
symulacja
CAM
CAE
optymalizacja
stabilność
virtual machining
simulation
computer-aided manufacturing*
optimization
stability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Badania weryfikacyjne wybranych podzespołów tokarek karuzelowych
Autorzy:: Lehrich, K.
Kosmol, J.
Data publikacji:: 2011
Słowa kluczowe:: tokarka karuzelowa
badania symulacyjne
metoda elementów skończonych
MES
program ANSYS
vertical lathe
simulation analysis
finite element method
FEM
ANSYS program; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: CNC part program simulation using solid modelling techniques
Autorzy:: Vosniakos, G.
Kollios, D.
Data publikacji:: 2002
Słowa kluczowe:: komputerowe sterowanie numeryczne
modelowanie pełne
symulacja
weryfikacja CNC
AutoLISP
CNC verification
Computer Numeric Control
G-codes
simulation
solid modelling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Weryfikacja programu służącego do obliczania przydomowych oczyszczalni ścieków
Autorzy:: Biedugnis, S.
Smolarkiewicz, M.
Zieliński, S.
Data publikacji:: 2006
Słowa kluczowe:: przydomowa oczyszczalnia ścieków
program komputerowy
CAD
komputerowe wspomaganie projektowania
oczyszczanie ścieków; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Weryfikacja programu służącego do obliczania przydomowych oczyszczalni ścieków
Verification of computer application for calculation of household sewage treatment plants
Autorzy:: Biedugnis, S.
Smolarkiewicz, M.
Zieliński, S.
Data publikacji:: 2006
Wydawca:: Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:: przydomowa oczyszczalnia ścieków
program komputerowy
CAD
komputerowe wspomaganie projektowania
oczyszczanie ścieków; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Projektowanie sprężyny śrubowej naciskowej w Inventorze: weryfikacja modułu obliczeniowego generatora
Design of helical compression spring in Inventor: verification of generators calculation module
Autorzy:: Maciejczyk, A.
Data publikacji:: 2017
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: sprężyna śrubowa
program Inventor
projektowanie komputerowe
helical spring
Inventor programme
computer-aided design; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Projektowanie sprężyny śrubowej naciskowej w Inventorze: weryfikacja modułu obliczeniowego generatora
Autorzy:: Maciejczyk, A.
Data publikacji:: 2017
Słowa kluczowe:: sprężyna śrubowa
program Inventor
projektowanie komputerowe
helical spring
Inventor programme
computer-aided design; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Badania zderzeń bocznych samochodów w ruchu do weryfikacji eksperymentalnej metod obliczeniowych stosowanych podczas rekonstrukcji tego rodzaju wypadków drogowych
Autorzy:: Gidlewski, M.
Data publikacji:: 2011
Słowa kluczowe:: testy zderzeniowe samochodów w ruchu
zderzenie boczne pojazdów
rekonstrukcja wypadków drogowych
metoda obliczeń
program komputerowy
weryfikacja eksperymentalna
wypadek drogowy
investigation on side impact collisions
traffic conditions
side collision
reconstruction of accidents
computational methods
software
experimental verification
road accident; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Weryfikacja wyników obliczeń symulacyjnych otrzymanych przy pomocy modułu akustycznego programu ESP-r
Autorzy:: Jabłoński, M.
Data publikacji:: 2006
Słowa kluczowe:: akustyka pomieszczenia
parametry akustyczne
program ESP-r
acoustical parameters
programme ESP-r
room acoustic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Weryfikacja modelu obliczeniowego stanu konstrukcji nawierzchni drogowej bazującego na sprężystych warstwach skończonych wykorzystanego w programie MWS Pavement Design
Verification of the pavement construction calculation model based on elastic finite layers used in the MWS Pavement Design program
Autorzy:: Szczepankiewicz, P.
Data publikacji:: 2018
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:: programy obliczeniowe
odkształcenia
warstwa sprężysta
trwałość zmęczeniowa konstrukcji drogi
calculation program
strains
elastic layers
road pavement fatigue life; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Konstrukcja wału z wykorzystaniem generatora programu Inventor : weryfikacja modułu obliczeniowego
Shaft design using the Inventor generator : verification of the calculation module
Autorzy:: Maciejczyk, M.
Data publikacji:: 2018
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: program Inventor
generator
czop wału
wał napędowy
symulacja komputerowa
Inventor programme
shaft neck
drive shaft
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Konstrukcja wału z wykorzystaniem generatora programu Inventor : weryfikacja modułu obliczeniowego
Autorzy:: Maciejczyk, M.
Data publikacji:: 2018
Słowa kluczowe:: program Inventor
generator
czop wału
wał napędowy
symulacja komputerowa
Inventor programme
shaft neck
drive shaft
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Testy v jazyce HTML pro ověřování znalostí studentů v prostředí Moodle
HTML Tests for Knowledge Verification in Moodle Environment
Autorzy:: RUDOLF LADISLAV
Data publikacji:: 2019
Tematy:: zdrojový kód
příkaz
vyhodnocení
struktura programu
prostředí Moodle
skriptovací jazy
test
source code
command
evaluation
program structure
Moodle environment
scripting language; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Testy v jazyce HTML pro ověřování znalostí studentů v prostředí Moodle
HTML Tests for Knowledge Verification in Moodle Environment
Autorzy:: RUDOLF, LADISLAV
Data publikacji:: 2019
Wydawca:: Uniwersytet Rzeszowski
Tematy:: zdrojový kód
příkaz
vyhodnocení
struktura programu
prostředí Moodle
skriptovací jazy
test
source code
command
evaluation
program structure
Moodle environment
scripting language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Weryfikacja modelu obliczeniowego stanu konstrukcji nawierzchni drogowej bazującego na sprężystych warstwach skończonych wykorzystanego w programie MWS Pavement Design
Autorzy:: Szczepankiewicz, P.
Data publikacji:: 2018
Słowa kluczowe:: programy obliczeniowe
odkształcenia
warstwa sprężysta
trwałość zmęczeniowa konstrukcji drogi
calculation program
strains
elastic layers
road pavement fatigue life; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Doświadczalna weryfikacja możliwości komputerowego przewidywania diagramów CTPc z wykorzystaniem programu JMatPro
Autorzy:: Zalecki, W.
Kuziak, R.
Łapczyński, Z.
Molenda, R.
Pidvysots'kyy, V.
Data publikacji:: 2006
Słowa kluczowe:: diagram CTPc
komputer
prognozowanie
program JMatPro
CCT diagram
JmatPro software
computer
prediction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Symulacyjna weryfikacja programu obróbki
Autorzy:: Morek, R.
Data publikacji:: 2012
Słowa kluczowe:: obróbka wirtualna
symulacja
CAM
CAE
optymalizacja
stabilność
virtual machining
simulation
computer-aided manufacturing*
optimization
stability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Application that demonstrates the operation of network devices written in Java
Program demonstrujący działanie urządzeń sieciowych napisany w języku Java
Autorzy:: Marondel, Mariusz
Słowa kluczowe:: sieć, aplikacja, urządzenie, koncentrator, przełącznik, ruter, zapora, symulacja, weryfikacja, nauka
network, application, device, hub, switch, router, firewall, simulation, verification, learning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Weryfikacja efektywności sterowania podsystemem transportowym zbudowanym z automatycznie sterowanych pojazdów w programie symulacyjnym Arena
Autorzy:: Zając, J.
Małopolski, W.
Data publikacji:: 2012
Słowa kluczowe:: podsystem transportowy
sterowanie
symulacja
transportation control subsystem
control
simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Zagadnienie niewawodności belek stalowych poddanych zginaniu
Autorzy:: Krauze, I.
Kamiński, M.
Data publikacji:: 2010
Słowa kluczowe:: belka stalowa
metoda elementów skończonych
współczynnik niezawodności
belka dwuteowa
program Maple
zginanie
steel beam
finite element method
reliability factor
flanged beam
programme MAPLE
bending
I-beam; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Statystyczna weryfikacja niezawodności przewodów napowietrznych linii elektroenergetycznych
Autorzy:: Biedrzycka, D.
Kamiński, M.
Data publikacji:: 2010
Słowa kluczowe:: przewody napowietrzne
napowietrzne przewody linii energetycznych
program MAXIMA
metoda symulacji Monte Carlo
overhead conductors
overhead power line conductors
programme MAXIMA
method of Monte-Carlo simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Jakościowa oraz ilościowa weryfikacja własnego algorytmu liczącego zapotrzebowanie mocy w modelu CFD dla procesu mieszania
Autorzy:: Staszak, M.
Wesołowski, P.
Alejski, K.
Data publikacji:: 2010
Słowa kluczowe:: mieszanie
model CFD
moc mieszania
turbina Rushtona
program ANSYS
mixing CFD model
mixing power consumption
Rushton turbine
ANSYS software; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Jakościowa oraz ilościowa weryfikacja własnego algorytmu liczącego zapotrzebowanie mocy w modelu CFD dla procesu mieszania
Quantitative and qualitative verification of the own algorithm for mixing power computation using CFD method
Autorzy:: Staszak, M.
Wesołowski, P.
Alejski, K.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: mieszanie
model CFD
moc mieszania
turbina Rushtona
program ANSYS
mixing CFD model
mixing power consumption
Rushton turbine
ANSYS software; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Analityczna weryfikacja wybranego układu geometrycznego toru zaprojektowanego z wykorzystaniem profesjonalnego programu CAD
Autorzy:: Koc, W.
Chrostowski, P.
Palikowska, K.
Szwaczkiewicz, K.
Data publikacji:: 2015
Słowa kluczowe:: układ geometryczny toru
projektowanie
wspomaganie komputerowe
track geometrical layout
designing
computer-aided design; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego
Verification of correctness of BIM data transfer for FEM computation using example of service-office facility
Autorzy:: Pabian, Katarzyna
Wosatko, Adam
Data publikacji:: 2020
Wydawca:: Polski Związek Inżynierów i Techników Budownictwa
Tematy:: building information modelling
FEM
finite element method
service-office object
transfer danych
poprawność
program inżynierski
REVIT
TEKLA
BIM
modelowanie informacji o budynku
MES
metoda elementów skończonych
obiekt usługowo-biurowy
data transfer
correctness
software for engineers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego
Autorzy:: Pabian, Katarzyna
Wosatko, Adam
Data publikacji:: 2020
Słowa kluczowe:: transfer danych
poprawność
program inżynierski
REVIT
TEKLA
BIM
modelowanie informacji o budynku
MES
metoda elementów skończonych
obiekt usługowo-biurowy
data transfer
correctness
software for engineers
building information modelling
FEM
finite element method
service-office object; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Zasady weryfikacji i efekty wymierzania korekt finansowych beneficjentom w związku z udzielaniem zamówień publicznych w ramach Regionalnego Programu Operacyjnego Województwa Podlaskiego 2014-2020 = Rules of verification and the effects of application of financial corrections to beneficiaries in connection with the public procurement procedures under the Regional Operational Programme for Podlaskie Voivodship 2014-2020
Współwytwórcy:: Instytut Nauk Leśnych (Politechnika Białostocka)
Snarski, Sławomir Jerzy Autor
Martyniuk, Marek Autor
Wydział Prawa (Uniwersytet w Białymstoku)
Data publikacji:: 2021
Tematy:: Postępowanie administracyjne
Polska
Regionalny Program Operacyjny Województwa Podlaskiego
Zamówienia publiczne
Korekta finansowa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Weryfikacja procedur programu VentZroby w oparciu o numeryczną mechanikę płynów
Autorzy:: Dziurzyński, W.
Krawczyk, J.
Pałka, T.
Data publikacji:: 2010
Słowa kluczowe:: wentylacja kopalń
sieci wentylacyjne
migracja w zrobach
metoda objętości skończonej
trójwymiarowy opis
mine ventilation
ventilation systems
gas migration in goaf
finite volume method
3D description; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Osadnictwo kultury ceramiki wstęgowej rytej na terenie Pojezierza Kujawskiego w świetle weryfikacyjnych badań powierzchniowych wykonanych w ramach programu „Źródła archeologiczne w rejonie Parku Kulturowego Wietrzychowice”
Settlement of Linear Band Pottery culture in the area of the Kuyavian Lakeland in the light of field-walking survey realized within the framework of the program “Archaeological sources in the region of the Wietrzychowice Culture Park”
Autorzy:: Papiernik, Piotr
Dominik Kacper, Płaza
Wicha, Joanna
Data publikacji:: 2017
Wydawca:: Łódzkie Towarzystwo Naukowe
Tematy:: weryfikacyjne badania powierzchniowe
kultura ceramiki wstęgowej rytej
Pojezierze Kujawskie
Wietrzychowice
verification field surveys
Linear Pottery culture
Kuy avian Lakeland; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Osadnictwo kultury ceramiki wstęgowej rytej na terenie Pojezierza Kujawskiego w świetle weryfikacyjnych badań powierzchniowych wykonanych w ramach programu „Źródła archeologiczne w rejonie Parku Kulturowego Wietrzychowice”
Settlement of Linear Band Pottery culture in the area of the Kuyavian Lakeland in the light of field-walking survey realized within the framework of the program “Archaeological sources in the region of the Wietrzychowice Culture Park”
Autorzy:: Papiernik Piotr
Dominik Kacper Płaza
Wicha Joanna
Data publikacji:: 2017
Tematy:: weryfikacyjne badania powierzchniowe
kultura ceramiki wstęgowej rytej
Pojezierze Kujawskie
Wietrzychowice
verification field surveys
Linear Pottery culture
Kuy avian Lakeland; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "program verification" wg kryterium: Wszystkie pola