Filtry
wszystkich: 5036
wybranych: 3319
-
Katalog
- Publikacje 3319 wyników po odfiltrowaniu
- Czasopisma 25 wyników po odfiltrowaniu
- Konferencje 8 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 106 wyników po odfiltrowaniu
- Wynalazki 54 wyników po odfiltrowaniu
- Projekty 25 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 409 wyników po odfiltrowaniu
- Wydarzenia 44 wyników po odfiltrowaniu
- Dane Badawcze 1040 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: UML-S
-
Powder metallurgy of the porous Ti-13Nb-13Zr alloy of different powder grain size
PublikacjaThe objective of the present project was to determine the effects of powder granulation (fraction of grain size) for the Ti-13Nb-13Zr alloy, produced by powder metallurgy, on its porosity, grain cohesion, compressive strength, and Young`s modulus. Two powder fractions, 45–105 µm, and 106–250 µm were applied. The 50 mass pct of NH4HCO3 was added as a space holder. The specimens were in compaction stage uniaxially pressed at pressure...
-
Investigation of Thermoplastic Polyurethanes Synthesized via Two Different Prepolymers
PublikacjaThe man aim of this work was to investigate the effect of the molecular weight of polyols, mixture of prepolymers, and [NCO]/[OH] molar ratio used during the prepolymer chain extending step on the chemical structure, thermomechanical and mechanical properties, and thermal stability of thermoplastic poly(ether-urethane)s In this work thermoplastic poly(ether-urethane)s were synthesized by using polyols with a various molecular weight,...
-
Load-settlement characteristics of piles working in a group
PublikacjaLoad-settlement characteristic (Q-s) of an axially loaded pile can be empirically determined from a static pile load test or on the basis of calculations using, e.g. transfer functions or numerical methods (FEM). The transfer functions method usually rely on empirical data, i.e. the function parameters are determined on the basis of numerous pile test results. Thus this method takes into account pile installation technology and...
-
Molecular Umbrella as A Nanocarrier for Antifungals
PublikacjaA molecular umbrella composed of two O‐sulfated cholic acid residues was applied for the construction of conjugates with cispentacin, containing a “trimethyl lock” (TML) or o‐dithiobenzylcarbamoyl moiety as a cleavable linker. Three out of five conjugates demonstrated antifungal in vitro activity against C. albicans and C. glabrata but not against C. krusei, with MIC90 values in the 0.22–0.99 mM range and were not hemolytic. Antifungal...
-
On the dervative of the Legendre function of the first kind with respect to its degree [Corrigendum]
PublikacjaSkorygowano błąd matematyczny w pracy: R. Szmytkowski, On the derivative of the Legendre function of the first kind with respect to its degree, J. Phys. A: Math. Gen. Vol. 39(2006) s. 15147-15172 [744014]
-
Concentrations and loads of DOC, phenols and aldehydes in a proglacial arctic river in relation to hydro-meteorological conditions. A case study from the southern margin of the Bellsund Fjord – SW Spitsbergen
PublikacjaClimate warming accelerates the melting and thawing of cryosphere components. Therefore, it favours the release of contaminants stored in High-Arctic glaciers for many years. The rate of land-based glacier retreat is of particular importance for the hydrological regime of glacial rivers, but also for the chemical composition of their waters. In this study, we examined 84 surface water samples collected during a period of 42 days...
-
Reliability and types of diagnosis in the process of diesel engine operation
PublikacjaThe article presents complexity of the problem concerning development of diagnosis with defined reliability by a diagnosing system (SDG) on technical condition of marine combustion engines, especially main engines. It was shown that development of the final diagnosis, the so-called initial operation diagnosis, on the operational usability (fDG on PEx) of a main engine in particular, is not possible without prior development of...
-
A methodology of visual modeling language evaluation
PublikacjaMetody oceny jakości metod modelowania są istotnym elementem inżynierii języków modelowania wizualnego. W referacie zaproponowano metodę oceny języków modelowania wizualnego na podstawie wymiarów poznawczych. Zaprezentowano metodologiczną dyskusję zastosowania nauk psychologicznych do oceny metod modelowania, metodologię CD-VML, powiązaną z nią metodę CD-VML-UC do oceny przypadków użycia oraz weryfikację metodologii.
-
''Computing with words'' concept applied to musical instrument recognition. W: [CD-ROM] International Symposium of Musical Acoustics. ISMA MEXICO CITY. Mexico City, 9-13 December 2002. Mexico City: Escuela Nacional de Musica UNAM**2002, 8 s. 3 rys. 3 tab. bibliogr. 25 poz. Automatyczne rozpoznawanie klas instrumentów muzycznych w oparciu o wyraże- nia opisujące barwę dźwięku.
PublikacjaW referacie przedstawiono nowy sposób automatycznego przetwarzania danychmuzycznych w oparciu o paradygmat zaproponowany przez L. Zadeha. Pozwala tona automatyczne rozpoznawanie klas instrumentów muzycznych wykorzystując o-pis słowny barwy dźwięku. Przedstawiono system realizujący automatyczną kla-syfikację instrumentów muzycznych oparty o metodę zbiorów przybliżonych ilogikę rozmytą.
-
Rozdział 2.2.1. Strukturalizacja przyrodnicza obszaru województwa pomors-kiego. W: [Praca zbiorowa] Materiały do monografii przyrodniczej regionu gdańskiego. Gdańsk: Marpress**2002 s. 18-31, 1 rys. Tom 8 Diagnoza stanu i koncepcja ochrony środowiska przyrodniczo-kulturowe- go w województwie pomorskim. Diagnosis of natural-cultural environment´scondition and the idea of its protection in Pomeranian Voivodship. Red. A.Kostarczyk, M. Przewoźniak.
Publikacja...
-
Rozdział 2.1. Metoda zintegrowanej waloryzacji środowiska przyrodniczo-kul-turowego. W: [Praca zbiorowa] Materiały do monografii przyrodniczej regionu gdańskiego. Gdańsk: Marpress**2002 s. 16-18.Tom 8 Diagnoza stanu i koncepcja ochrony środowiska przyrodniczo-kulturowe- go w województwie pomorskim. Diagnosis of natural-cultural environment´scondition and the idea of its protection in Pomeranian Voivodship. Red. A.Kostarczyk, M. Przewoźniak.
Publikacja...
-
Collective filter evaluation of an FSD filter-based resampling algorithm. [online] W: Online Symposium for Electronics Engineers. Techonline Bedford, Massachusetts, USA. [Dostęp: 15 stycznia**2002]. Dostępny w World Wide Web: http://www.techonline.com/community/ed_resource/feature_article/14917/[6 s. 5 rys.] Badanie algorytmu zmiany szybkości próbkowania realizowanego w oparciu o filtry FSD za pośrednictwem analizy filtru zbiorczego.
PublikacjaW pracy przedstawiono koncepcję filtru zbiorczego dla potrzeb oceny jakościalgorytmu zmiany szybkości próbkowania realizowanego w oparciu o filtry u-łamkowo-opóźniające (FSD). W przypadku takiego algorytmu przepróbkowania dowyznaczania każdej próbki wyjściowej potrzebny jest filtr FSD o innm opóź-nieniu ułamkowym. Z kolei jakość takiego filtru zależy właśnie od jego opóź-nienia, co stwarza problemy w ocenie jakości samego...
-
Strategy, effectiveness and quality of non-profit organisations as exempli-fied by Polish higher Education Institutions. VATT Governement Inst. Econ. Res. C**2002 [nr] 290 s. 189-202, 7 rys. bibliogr. 20 poz. Discussion papers. Workshopon Studies for Nordthern. Kalastajatorrpa,30-31 May 2002. Strategia, efektywność i jakość organizacji non-profit na przykładzie pol- skich wyższych uczelni.
PublikacjaW pracy wskazano, że do oceny jakości i efektywności organizacji niedochodo-wych zasadne jest wykorzystanie metod stosowanych w biznesie. W szczególno-ści zaproponowano zastosowanie metody balanced scorecard, benchmarkingu dooceny efektywności i jakości funkcjonowania instytucji szkolnictwa wyższego.Wskazano na możliwość wykorzystaniania analizy SWOT do opracowania strategiiuczelni.
-
Empirically adjusted and consistent set of EHT valence orbital parametersfor all elements of the periodic table. Modelling Simul. Mater. Sci. Eng. [online]. 2004 vol. 12 [dostęp..] s. 21-32, 3 rys. 3 tab. bibliogr. 35 poz. Dostępny w Internecie stacks.iop.org/MSMSE/12/21.ISSN 0965-0393 Jednorodny skorygowany empirycznie zbiór parametrów EHT dla orbitali walen- cyjnych pierwiastków.
PublikacjaModel atomu HFS został zmodyfikowany poprzez przypisanie każdemu z atomówindywidualnego parametru ŕ. Wartości ŕ dobrano w oparciu o pierwszy poten-cjał jonizacji atomu. Parametry EHT wyznaczono w oparciu o tak zmodyfikowa-ny model HFS.
-
Problemy gospodarki przestrzennej. W: [Praca zbiorowa] Materiały do mono- grafii przyrodniczej regionu gdańskiego. Gdańsk: Marpress**2003 s. 200-216. Tom 9 Zaborski Park Krajobrazowy. Problemy trójochrony i współistnienia z Parkiem Narodowym ''Bory Tucholskie''. Zaborski Landscape Park. Problems of Landscape Park. Problems of the triprotection and coexistence with the ''Bo- ory Tucholskie'' National Park. Praca zbiorowa pod redakcją M. Przewoźniaka.
PublikacjaArtykuł zawiera omówienie takich zagadnien jak: struktura społeczno-gospo- darcza Parku, identyfikacja problemów gospodarki przestrzennej, strategicz- ne planistyczne i programowe uwarunkowania zagospodarowania przestrzennego. Na tej podstawie przeprowadzono rejonizację funkcjonalno-przestrzenną Parku i określono zasady jego zagospodarowania.
-
Zagadnienia sozologiczne. W: [Praca zbiorowa] Materiały do monografii przy- rodniczej regionu gdańskiego. Gdańsk: Marpress**2003, s. 182-199, 12 tab. Tom 9 Zaborski Park Krajobrazowy. Problemy trójochrony i współistnienia z Parkiem Narodowym ''Bory Tucholskie''. Zaborski Landscape Park. Problems of Landscape Park. Problems of the triprotection and coexistence with the''Bory Tucholskie'' National Park. Praca zbiorowa pod redakcją M. Przewożniaka.
PublikacjaArtykuł zawiera omówienie wszystkich istotnych problemów sozologicznych wys-tępujących w Zaborskim Parku Krajobrazowym, jak zanieczyszczenie powietrzaatmosferycznego, warunki akustyczne, zanieczyszczenie wód, przekształceniaobiegu wody i litosfery, gospodarka odpadami stałymi. Całość podsumowujesyntetyczna ocena stanu środowiska.
-
Związki biogenne w osadach ściekowych - zagrożenie dla wód powierzchniowych- badania modelowe. W: I Kongres Inżynierii Środowiska. Materiały. Pod red. M. R. Dudzińskiej, A. Pawlowskiego. Lublin: Komit. Inż. Środow. PAN**2002 s. 533-543, 8 rys. 3 tab. bibliogr. 6 poz. Monografie Komitetu Inżynierii Środowiska Polskiej Akademii Nauk vol. 11.Opublikowano w 2003 r.
PublikacjaGospodarka osadowa w Polsce była przez wiele lat była problemem marginalnym. Obecnie zgodnie z ustawą o odpadach osady ściekowe zostały zakwalifikowane do odpadów. Jako odpady powinny zatem być poddane odzyskowi - poprzez stosowanie - lub unieszkodliwianiu - realizowanemu np. na drodze ich termicznego przekształcania. Warunki, jakie muszą być spełnione przy stosowaniu osadów ściekowych zostały określone w rozporządzeniu Ministra...
-
Predictive current controller with simplified load model operating for allfrequencies. Vestnik Nacionalnogo tehniceskogo universiteta ''Harkovskij po- litehniceskij institut'' Problemy avtomatizirowannogo elektroprivoda. Teo- ri i praktika.**2002 vyp. 12 t. 2 s. 355-357, 6 rys. bibliogr. 4 poz. Seri ''Elektrotehnika, elektronika i elektroprivod''. Predykcyjny regulator prądu z uproszczonym modelem obciążenia pracujący wszerokim zakresie częstotliwości.
PublikacjaZaprezentowano nowy rodzaj regulatora predykcyjnego prądu, umożliwiającydziałanie w szerokim zakresie częstotliwości. Rozpatrzono aspekty praktycznepraktyczne realizacji algorytmu sterowania.
-
Hydrogen-bonded one-dimensional networks in 1:1 complexes of N,N`-bis(2-pi-rydyl)aryldiamines with anilic acid. Acta Cryst. Sect. C Crystal Struct.Commun.**2002 vol. 58 s. o735-o738, 4 rys. 4 tab. bibliogr. 15 poz. Jednowymiarowe sieci krystaliczne tworzone w wyniku oddziaływań wodorowych pomiędzy N,N`-bis(2-pirydylo)aryloaminami a kwasem anilowym.
PublikacjaOtrzymano związki kompleksowe kwasu anilowego z N,N`-bis(2-pirydylo)-1,4-diaminobenzenem oraz N,N`-bis(2-pirydylo)-4,4`-diaminobifenylem o stechiometrii1:1, a następnie przeprowadzono analizę rentgenograficzną monokryształów. Wobu przypadkach cząsteczki, wchodzące w skład kompleksu są powiązane ze sobąkonwencjonalnymi oddziaływaniami wodorowymi. Tym samym tworzy się jednowy-miarowa sieć krystaliczna z dziewięcioczłonowym pierścieniowym...
-
2,2,6,6-Tetramethylpiperidinium pentachlorobenzenethiolate
PublikacjaMetodą rentgenowskiej analizy strukturalnej wyznaczono strukturę krystaliczną i cząsteczkową tytułowego związku. Charakterystycznym motywem struktury determinowanej przez wiązania wodorowe N-H...S, jest izolowany dimer (silanotiol-amina)2.
-
Thermal decomposition of [Cd{SSi(OBut)3}(S2CNC4H8)]2 to CdS “micro-noodles”
PublikacjaThis work presents studies on thermal degradation of novel heteroleptic complex possessing mixed S-donor ligands, [Cd{SSi(OBut)3}(S2CNC4H8)]2 using TGA, DSC, TGA-IR, SEM and XRD methods.
-
Architektura współczesnych świątyń chrześcijańskich versus sztuka czy architektura wnętrz - studium dwóch przykładów.
PublikacjaArtykuł przedstawia porównanie dwóch kościołow w zakresie obrzadku, architektury, aranżacji wnętrz w aspekcie sacrum, ''swietości i możliwości definiowanie sztuki przez duże S. podkreśla rolę i odczucia odbiorcy.
-
Palao de las Artes.
PublikacjaOmówiono najnowszą realizację S. Calatravy Paleo de las Artes", stanowiącą wraz z trzema innymi obiektami przykład rewitalizacji terenów dawnego koryta rzeki Turia w centrum Walencji w Hiszpanii.
-
An Approach to Trust Case Development
PublikacjaIn the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ...
-
Supramolecular structures of bis-thionooxalamic acid esters derived from (±)-cyclohexane-1,2-diamine and (±)-1,2-diphenylethylenediamine
PublikacjaZsyntezowano dwa racemiczne estry kwasu bis(tiooksamowego) i zbadano ich sposób upakowania w sieci krystalicznej. Analiza rentgenograficzna monokryształów badanych związków wykazała, że organizują się one w jednowymiarowe struktury, które tworzone są przez molekuły o przeciwnej chiralności, połączone za pomocą trójcentrowych wiązań wodorowych C=S...NH...O=C. Powstające agregaty są dodatkowo stabilizowane przez słabe oddziaływania...
-
Opracowanie opinii technicznej w zakresie występowania iniektu wewnątrz wskazanych przez Zleceniodawcę kanałów kablowych mostu MA-09 w ciągu drogi S7
PublikacjaCelem opracowania jest ocena występowania iniektu wewnątrz wskazanych przez Zleceniodawcę kanałów kablowych mostu MA-09 realizowanego w ramach zadania „Budowa drogi S-7 Gdańsk (A-1) – Elbląg (S-22) odc. Koszwały (DK nr 7, W. Koszwały) - Elbląg (z węzłem Kazimierzowo) z podziałem na 2 części. Zadanie 1: Koszwały – Nowy Dwór Gdański“. Zakres opracowania obejmuje: • zapoznanie się z dokumentacją techniczną obiektu, • wizję lokalną, •...
-
NUMERICAL SIMULATIONS OF GAP FLOW ABOVE ROTATING DISK
PublikacjaA rotating disk can be considered a basic configuration for the investigati ons of the impact of various conditions on the flow through the clearance between the s hrouded turbine blade and the casing. Numerical calculations using Fine/Turbo Numeca were conducted to examine the influence of the rotational velocity and the pressure differ ence across the disk on the flow conditions, especially the mass flow through the clearance....
-
Rapid Assays for Specific Detection of Fungi of Scopulariopsis and Microascus Genera and Scopulariopsis brevicaulis Species
PublikacjaPurpose Fungi of Scopulariopsis and Microascus genera cause a wide range of infections, with S. brevicaulis being the most prevalent aetiological agent of mould onychomycosis. Proper identification of these pathogens requires sporulating culture, which considerably delays the diagnosis. So far, sequencing of rDNA regions of clinical isolates has produced ambiguous results due to the lack of reference sequences in publicly available...
-
User experience evaluation study on the quality of 1K, 2K, and 4K H.265/HEVC video content
PublikacjaNowadays, most content creators focus on distributing rich media at the highest possible resolution. Currently, the majority of sold consoles, media players, computer hardware, as well as displays and TVs are advertised as 4K-compatible. The same trend is observed in the case of popular online streaming services and terrestrial TV broadcasts. Generally speaking, it is assumed that higher bitrates provide higher subjective judgements....
-
Photocatalytic properties of Nafion membranes containing graphene oxide/titania nanocomposites
Publikacja -
Selektywne chłodzenie mózgu noworodka po niedotlenieniu okołoporodowym. Cześć 3. Hybrydowy system selektywnego chłodzenia mózgu noworodka
PublikacjaZapoczątkowane brakiem tlenu procesy biochemiczne mają zgubne skutki dla układu nerwowego, w szczególności rozwijającego się. Hipotermia, czyli stan oziębienia poniżej pewnych wartości temperatur, spowalnia znacznie lub całkowicie wyhamowuje poszczególne reakcje, i to leży u podstaw jej własności neuroprotekcyjnych. Powyższe twierdzenie poparte licznymi faktami naukowymi leży u podstaw koncepcji selektywnego chłodzenia mózgu i...
-
Isolation of Bacteriocin-producing Staphylococcus spp. Strains from Human Skin Wounds, Soft Tissue Infections and Bovine Mastitis
PublikacjaA collection of 206 Staphylococcus spp. isolates was investigated for their ability to produce compounds exhibiting antistaphylococcal activity. This group included Staphylococcus aureus, Staphylococcus epidermidis, Staphylococcus xylosus strains recovered from bovine mastitis (n = 158) and human skin wounds and soft tissues infections (n = 48). Production of substances with antimicrobial activity was observed in six strains. Five...
-
A novel concept of enhanced direct-contact condensation of vapour- inert gas mixture in a spray ejector condenser
PublikacjaAn analytical model of direct steam condensation (DCC) in the novel idea of spray ejector condenser (SEC) in the presence of inert gas has been developed. It is based on continuity, momentum and energy equations for the steam-carbon dioxide mixture and direct contact condensation mechanisms due to heat transfer and concentration. Crucial in the process of DCC is atomisation of the motive fluid in the ejector. The effect of atomised...
-
The role of the combined nitrogen-sulfur-carbon cycles for efficient performance of anammox-based systems
PublikacjaThe combined anammox/mixotrophic denitrification process was conducted in two granular sequencing batch reactors (SBRs) during a 200-day operation. Both reactors were fed with synthetic medium, but SBR2 was enriched with additional sulfate (SO4 2 ) which influenced sulfate reduction ammonium oxidation (SRAO) and heterotrophic reduction of SO4 2 by sulfate reducing bacteria. It was hypothesized that the addition of SO4 2 could...
-
Nanostructure characterization of (SmS)1.19TaS2 by means of STM/STS
PublikacjaW publikacji przedstawiono badania za pomocą techniki STM i STS powierzchni kryształów warstwowego związki typu misfit(SmS)1.19TaS2. Badania pozwalają sądzić, że powierzchniową warstwą jest warstwa Sm-S.
-
A solution of non-linear differential problem with application to selected geotechnical problems
PublikacjaA certain non-linear differential equation containing a power of unknown function being the solution is considered with application to selected geotechnical problems. The equation can be derived to a linear differential equation by a proper substitution and properties of the operations G and S.
-
May Staphylococcus lugdunensis Be an Etiological Factor of Chronic Maxillary Sinuses Infection?
PublikacjaStaphylococcus lugdunensis is an opportunistic pathogen found in the healthy human skin microbiome bacterial community that is able to cause infections of diverse localization, manifestation, and course, including laryngological infections, such as necrotizing sinusitis. Chronic maxillary sinusitis is a disease present in up to one third of European and American populations, and its etiology is not fully described. Within this...
-
Wysokociśnieniowe uszczelnienia ruchu obrotowego wału hydraulicznych maszyn wyporowych
PublikacjaW artykule przedstawiono wyniki badań mające na celu wytypowanie węzła uszczelniającego wał silnika hydraulicznego zapewniającego najwyższą trwałość przy smarowaniu wodą. Parametry pracy: ciśnienie 2 MPa i minimalna prędkość poślizgu uszczelek 2 m/s. Opisano również nowatorski przyrząd, na którym przeprowadzono pomiary wszystkich parametrów węzła uszczelniającego.
-
Relationship between electronic structure and geometry of silanethiols and their derivatives. Elucidation of copper group silanethiolates
PublikacjaWyznaczono strukturę elektronową wybranych silanotioli X3SiSH (dla X=H, C2H5, OCH3, F, Cl i Br) oraz powstalych z nich anionów. Geometrię i funkcje falowe wyznaczono przy użyciu teorii funcjonałów gęstości elektronowej DFT. Przeanalizowano wpływ efektów anomerycznych oraz wielkości calki nakładania sigma(Si-S) na obserwowane skrócenie wiązania Si-S przy deprotonowaniu silanotioli. Podano nowe wyjaśnienie wyjątkowo niskiej kwasowości...
-
Effects of Laser Remelting at Cryogenic Conditions on Microstructure and Wear Resistance of the Ti6Al4V Alloy Applied in Medicine
PublikacjaThe titanium and its alloys can be subjected to surface treatment, including laser treatment. In this work a new laser treatment at cryogenic conditions of Ti6Al4V alloy has been described. The work has been aimed at establishing whether such surface treatment could be suitable for implants working under wear in biological corrosive environment. The remelting has been made with the use of CO2 continuous work laser at laser power...
-
A lower bound on the double outer-independent domination number of a tree
PublikacjaA vertex of a graph is said to dominate itself and all of its neighbors. A double outer-independent dominating set of a graph G is a set D of vertices of G such that every vertex of G is dominated by at least two vertices of D, and the set V(G)D is independent. The double outer-independent domination number of a graph G, denoted by gamma_d^{oi}(G), is the minimum cardinality of a double outer-independent dominating set of G. We...
-
Buckling Analysis of a Micro Composite Plate with Nano Coating Based on the Modified Couple Stress Theory
PublikacjaThe present study investigates the buckling of a thick sandwich plate under the biaxial non-uniform compression using the modified couple stress theory with various boundary conditions. For this purpose, the top and bottom faces are orthotropic graphene sheets and for the central core the isotropic soft materials are investigated. The simplified first order shear deformation theory (S-FSDT) is employed and the governing differential...
-
Res iudicata w sprawach administracyjnych
PublikacjaGlosa do wyroku Europejskiego Trybunału Sprawiedliwości z 19 września 2006 r. w sprawach połączonych C-392/04,C-422/04 i -21 i Arcor, Zb. Orz. 2006, s. I - 8559
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublikacjaThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Chaos in vibroimpact systems with one degree of freedom in a neighborhood of chatter generation: II
Publikacja -
The symmetrization method and limit cycles of vibro-impact systems
Publikacja -
A Criterion for Conditional Instability by the First Approximation for Solutions of Differential Systems
Publikacja -
Chaos in vibroimpact systems with one degree of freedom in a neighborhood of chatter generation: I
Publikacja -
Chaotic invariant sets of vibro-impact systems with one degree of freedom
Publikacja