Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "(S.α.S) process" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Spectral density estimation for stationary stable random fields
    Autorzy:
    Sabre, Rachid
    Powiązania:
    https://bibliotekanauki.pl/articles/1340288.pdf
    Data publikacji:
    1995
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    (S.α.S) process
    double kernel method
    periodogram
    Jackson kernel
    Opis:
    We consider a stationary symmetric stable bidimensional process with discrete time, having the spectral representation (1.1). We consider a general case where the spectral measure is assumed to be the sum of an absolutely continuous measure, a discrete measure of finite order and a finite number of absolutely continuous measures on several lines. We estimate the density of the absolutely continuous measure and the density on the lines.
    Źródło:
    Applicationes Mathematicae; 1995-1996, 23, 2; 107-133
    1233-7234
    Pojawia się w:
    Applicationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki
    Methodology of production process verification using Petri nets illustrated by case study of modeling production process milling-copier machine
    Autorzy:
    Lasota, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/152408.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri net
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Opis:
    Przedmiotem artykułu jest analiza skuteczności algorytmu weryfikacji procesów produkcyjnych. Zaproponowana metoda weryfikacji procesu oraz wskazane typy rozwiązań dla wykrytych błędów według autora przyczynią się do bezpieczniejszego specyfikowania i planowania przebiegu realizacji procesu produkcyjnego. Zasadność zaproponowanego podejścia została wykazana na przykładzie modelowania procesu produkcyjnego frezarko-kopiarki z wykorzystaniem diagramów aktywności UML oraz dwóch podklas sieci Petriego: s-sieci i α-sieci.
    The subject of the paper is analysis of the algorithm effectiveness of production processes verification. The proposed verification method (Section 3) and proposed types of solutions for faults (Section 4) according to the author will contribute to safer specifying and planning the implementation of a production process. The production process correct structure (Subsection 2.7) is a key condition for its implementation. Errors at the stage of the process modeling affect the process correctness. Introduction of intermediate quality control can additionally corrupt the process structure and requires its changes. Petri nets provide a convenient mathematical tool for verification of modeled processes (Section 2). Two classes of nets - the s-nets and its subclass α-nets - were selected as the most adequate for modeling the analyzed production processes [2, 3, 4, 7, 9]. To verify the correctness of the processes the "stubborn set method" and Andre method were proposed [1, 3, 4, 5, 8]. In order to depict the manner of the correc-tion of possible structural errors in a net, the paper describes a sample solution. The reasonableness of the proposed approach is shown on an example of modeling the production of a milling-copier machine (Section 4, Figs. 1-9). The area related to the milling-copier machine contains two main parts: the first is modeling the milling-copier machine production process and the second is modeling the copied process mapping.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 661-665
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości
    Modification methodology of nets illustrating the production process including quality control points
    Autorzy:
    Lasota, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/157408.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri nets
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Opis:
    Artykuł pokazuje jaki wpływ na poprawność procesu produkcyjnego ma wprowadzenie do jego realizacji punktów kontroli jakości. Weryfikacja oddziaływania tych zmian w procesach realizowanych współbieżnie odbywa przy wykorzystaniu sieci Petriego. Pośrednia kontrola jakości może przyczynić się do powstania błędów w strukturze procesu. W celu zobrazowania sposobu korekcji możliwych błędów behawioralnych sieci w pracy zaproponowano przykładowe rozwiązania poprzez wskazanie metodologii modyfikacji sieci.
    Quality control in the production process is one of the key moments and is compulsory, since it determines the quality of the completed product. The paper shows how the quality control accomplishment affects the process correctness. Indirect control of the quality may cause errors in the structure of the process. Convenient way to verify the behavioral correctness of the production process is its modeling by Petri nets. In order to depict the manner of the correction of possible errors in the paper the sample solutions are demonstrated. Studies have shown that Petri nets are a convenient tool for validation of behavioral correctness of the production processes. For carrying on the analysis it was necessary to propose modifications of the nets. The methodology adopts two input sets of data. The first one corresponds to Petri nets with single-token initial marking, called s-nets, while the second is -nets (s-nets belong to the class of extended free-choice nets). In the proposed method it is required to restart execution of the process, in the case of detection of deviations from the quality standards. Such restarting is implemented through the introduction of the additional transitions, which move tokens from the critical places to the initially marked place.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 320-323
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies