Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Given a timed automaton $\mathcal P$<alternatives> <inline-graphic xlink:href="wang-ieq1-2653778.gif"/></alternatives> modeling an implementation and a timed automaton $\mathcal S$<alternatives> <inline-graphic xlink:href="wang-ieq2-2653778.gif"/></alternatives> as a specification, the problem of language inclusion checking is to decide whether...
Software code review is a process of developers inspecting new code changes made by others, to evaluate their quality and identify and fix defects, before integrating them to the main branch of a version control system. Modern Code Review (MCR), a lightweight and tool-based variant of conventional code review, is widely adopted in both open source and proprietary software projects. One challenge that...
There are flow pulsation in all existing piston pump, but this paper suggest a new constant flow method, and a axial piston pump with no flow pulsation in theory is designed. With the simulation in AMESim and MATLAB software, the dynamic characteristics of the new pump include pressure and flow are analyzed.
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.