Search
Didn't find any results in this catalog!
But we have some results in other catalogs.Filters
total: 319
Search results for: CONP-COMPLETENESS
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
NP-completeness of convex and weakly convex domiating set decision problems.
PublicationLiczby dominowania wypukłego i słabo wypukłego są nowymi rodzajami liczb dominowania. W tym artykule pokazujemy, że problemy decyzyjne dominowania wypukłegi i słabo wypukłego są NP-zupełne w przypadku grafów dwudzielnych oraz split grafów. Posługując się zmodyfikowanym algorytmem Washalla możemy w czasie wielomianowym określić, czy dany podzbiór wierzchołków grafu jest spójny bądź słabo spójny.
-
The influence of a cone-in-cone insert on flow pattern and wall pressure in a full-scale silo
PublicationArtykuł opisuje przeprowadzone badania przepływów silosowych i naporu materiałów sypkich podczas napełniania i opróżniania silosu o średnicy 2.5 m wyposażonego we wkładkę "stożek w stożku''. Badania przeprowadzane były w Instytucie Badawczym Tel-Tek w Norwegii. Materiałem użytym był suchy piasek. Napór na ścianę mierzony był bezpośrednio za pomocą 10 czujników wbudowanych w ścianę. Badania eksperymentalne pokazały duży wpływ wkładki...
-
Con l’introduzione
PublicationNata nel 1953 con l’obiettivo di portare l’Italia tra le nazioni avanzate anche in campo energetico, Eni rappresenta una delle principali imprese ad aver influenzato l’innovazione economica del Paese. La sua storia, legata a doppio filo alla figura di Enrico Mattei, consente di seguirne le traiettorie di sviluppo e le strategie di internazionalizzazione, nel quadro di un contesto in continua evoluzione. Questo volume ripercorre...
-
Free vibration of truncated-cone columns
Publication -
Civil-Comp Proceedings
Journals -
Size effect in centrifuge cone penetration tests
PublicationOkreślenie efektu skali w badaniu wciskania stożka w zagęszczonych piaskach kwarcowych na podstawie badań modelowych w wirówce geotechnicznej. Badania przeprowadzono na dwóch piaskach kwarcowych przy przyśpieszeniach od 30g do 100g. Analizowano efekt skali związany ze stosunkiem średnicy modelu (mini-stożka) do średniej średnicy ziaren oraz wpływem poziomu naprężenia na opór stożka. Wpływ poziomu naprężenia powoduje powstanie geometrycznego...
-
2D inverse solution for cone-shaped centrifugal compressor
PublicationWprowadzono stożkowy układ współrzędnych dla opisania obszaru wirnika sprężarki promieniowej. W takim układzie został sformułowany problem odwrotny. Oznacza to, że dla założonej jednej rodziny powierzchni prądu (S1) w formie powierzchni stożkowych druga rodzina (S2) jest znajdywana w drodze rozwiązania układu równań zachowania. Pokazano w jaki sposób rozwiązanie zależy od warunków brzegowych. Przedstawiona metoda jest przydatna...
-
Sylwester Kaczmarek dr hab. inż.
PeopleSylwester Kaczmarek received his M.Sc in electronics engineering, Ph.D. and D.Sc. in switching and teletraffic science from the Gdansk University of Technology, Gdansk, Poland, in 1972, 1981 and 1994, respectively. His research interests include: IP QoS and GMPLS and SDN networks, switching, QoS routing, teletraffic, multimedia services and quality of services. Currently, his research is focused on developing and applicability...
-
Digital Innovations and Smart Solutions for Society And Economy: Pros and Cons
PublicationRecent developments in artificial intelligence (AI) may involve significant potential threats to personal data privacy, national security, and social and economic stability. AI-based solutions are often promoted as “intelligent” or “smart” because they are autonomous in optimizing various processes. Be-cause they can modify their behavior without human supervision by analyzing data from the environ-ment, AI-based systems may be...