Informacja

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

Wyszukujesz frazę "metoda modelowa" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Polskie gospodarstwa rolne w warunkach kryzysu
Polish farms in crisis
Autorzy:
Józwiak, W.
Zieliński, M.
Powiązania:
https://bibliotekanauki.pl/articles/339173.pdf
Data publikacji:
2010
Wydawca:
Instytut Technologiczno-Przyrodniczy
Tematy:
dochód rolniczy
gospodarstwo rolne
kryzys gospodarczy
metoda modelowa
reprodukcja majątku trwałego
agricultural income
economic crisis
farm
model method
reproduction of real estate
Opis:
W opracowaniu przeprowadzono dwie analizy, dotyczące sytuacji dochodowej i możliwości reprodukcji majątku trwałego większych towarowych gospodarstw rolnych, będących w posiadaniu osób fizycznych w sytuacji przedłużania się do 2013 r. światowego kryzysu gospodarczego. Jedna z nich polegała na porównaniu przyszłych dokonań gospodarstw o wielkości 8-16 ESU i różniących się strukturą produkcji, druga natomiast - na porównaniu przyszłych dokonań gospodarstw o tej samej strukturze produkcji, ale różniących się wielkością (8-16 i 40-100 ESU). Do osiągnięcia wyznaczonego celu wykorzystano metody modelowe. Posłużono się metodami programowania liniowego i planowania programu. Zauważono m.in., że sytuacja dochodowa gospodarstw o wielkości 8-16 ESU będzie w 2013 r. gorsza niż np. w 2005 r. Gospodarstwa o wielkości 40-100 ESU zapewnią natomiast "opłatę pracy własnej" co najmniej na poziomie parytetowym i będą dysponować środkami własnymi na inwestycje ponad poziom wyznaczony reprodukcją prostą majątku trwałego.
Two analyses were made of the incomes and possibilities of reproduction of real estate in larger privately owned market farms under the prolongation of world economic crisis until 2013. One of them consisted in a comparison of future achievements of 8-16 ESU size farms differing in the production structure and the second - in a comparison of future achievements of farms of the same production structure but differing in size (8-16 and 40-100 ESU). Modelling methods were used for this purpose. The methods of linear programming and planning programme were used. It was found that the incomes of farms of a size of 8-16 ESU will be worse in 2013 than e.g. in 2005. Farms of a size of 40-100 ESU will ensure "payment of the own labour" at a parity level and will possess the means for investments above the level of simple reproduction of real estate.
Źródło:
Woda-Środowisko-Obszary Wiejskie; 2010, 10, 3; 95-106
1642-8145
Pojawia się w:
Woda-Środowisko-Obszary Wiejskie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Niektóre metody nauczania języka polskiego jako obcego (Próba klasyfikacji)
Autorzy:
Michowicz, Janina
Strąk, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/680869.pdf
Data publikacji:
1987
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
nauczanie cudzoziemców
język polski jako obcy
metoda gramatyczno-tekstowa
metoda kognitywna
metoda demonstracyjno-sytuacyjna
metoda imitacyjno-modelowa
Opis:
Artykuł niniejszy jest próbą wstępnej klasyfikacji niektórych metod nauczania studentów-cudzoziemców w Studium Języka Polskiego dla Cudzoziemców UŁ, refleksją nad zagadnieniem nauczania języka polskiego jako obcego.
Źródło:
Acta Universitatis Lodziensis. Kształcenie Polonistyczne Cudzoziemców; 1987, 0
0860-6587
2449-6839
Pojawia się w:
Acta Universitatis Lodziensis. Kształcenie Polonistyczne Cudzoziemców
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:
Klimek, R.
Szwed, P.
Powiązania:
https://bibliotekanauki.pl/articles/305621.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau
Opis:
Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.
Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.
Źródło:
Computer Science; 2010, 11; 115-131
1508-2806
2300-7036
Pojawia się w:
Computer Science
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