Wszystkie pola: systems modeling - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Concurrent systems modeling with CCL
Modelowanie systemu w CCL
Autorzy:: Kułakowski, K.
Powiązania:: https://bibliotekanauki.pl/articles/282097.pdf
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem
Opis:: One of the challenges facing software engineering is to conduct research into new methods of modeling systems. The CCL notation shown in the article tries to follow in this direction. The solutions and methods presented here indicate its practical application to modeling complex eomputer systems using the struetural, dataflowcentric approach. The basis for the proposed integration between CCL and struetural methods is the newly defined externalization mechanism. It allows the details of inter-process communication to be abstracted away, thereby reducing the size of the submodels which are subject to further verification. Thanks to the methods adopted here, the overall picture of the system becomes morę readable for humans, and, due to the significant submodel state space reduction, the effective use of formal methods for their analysis becomes possible.
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.
Źródło:: Automatyka / Automatics; 2012, 16, 2; 115-125
1429-3447
2353-0952
Pojawia się w:: Automatyka / Automatics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Cellular Automata and Many-Particle Systems Modeling Aggregation Behavior Among Populations
Autorzy:: Morale, D.
Powiązania:: https://bibliotekanauki.pl/articles/929762.pdf
Data publikacji:: 2000
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: równanie różniczkowe stochastyczne
równanie różniczkowo-całkowe
cellular automata
individual-based models
stochastic differential equations
law of large numbers
density dependence
nonlinear integrodifferential equations
Opis:: A cellular automaton model is presented in order to describe mutual interactions among the individuals of a population due to social decisions.The scheme is used for getting qualitative results, comparable to field experiments carried out on a population of ants which present an aggregative behavior. We also present a second description of a biological spatially structured population of N individuals by a system of stochastic differential equations of Ito type. A 'law of large numbers' to a continuum dynamics described by an integro-differential equation is given.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2000, 10, 1; 157-173
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Diagramy wdrożeniowe w modelowaniu systemów informatycznych
Implementation diagrams in IT systems modeling
Autorzy:: Wrycza, Stanisław
Marcinkowski, Bartosz
Maślankowski, Jacek
Powiązania:: https://bibliotekanauki.pl/articles/426275.pdf
Data publikacji:: 2014
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: diagramy wdrożeniowe
systemy informatyczne
diagramy komponentów
diagramy rozlokowania
hierarchia diagramów
Opis:: An inherent element of the documentation of IT system projects are the diagrams, which present the hardware and software infrastructure of the created systems. An example of such diagrams are implementation diagrams in the UML. There can be distinguished two types of implementation diagram, namely Component diagram and Deployment diagram. The aim of the present paper is to evaluate the possibilities of using the implementation diagrams for modeling of IT systems which use modern technology solutions. After discussing the role of implementation diagrams in IT systems modeling, the authors present also their functions and graphical conventions. Then, theoretical issues concerning diagrams and their practical uses have been examined and illustrated by the such examples of modern applications in the range of e-economy as: IT system of city traffic control, electronic warehouse management system and using mobile devices for purchase of e-tickets.
Źródło:: e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2014, 1 (53); 77-85
1731-6758
1731-7428
Pojawia się w:: e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Modelowanie Systemów Złożonych. Profil działalności Koła Naukowego GLIDER
Complex Systems Modeling, activity proile of scientiic circle GLIDER
Autorzy:: Wąs, J.
Porzycki, J.
Pisulak, B.
Powiązania:: https://bibliotekanauki.pl/articles/275259.pdf
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: koło naukowe
systemy złożone
niehomogeniczne automaty komórkowe
systemy wieloagentowe
complex systems
cellular automata
Opis:: W artykule przedstawiono profil działalności studenckiego koła naukowego Glider. Tematyka prac koła koncentruje się wokół modelowania i symulacji systemów złożonych.
The article presents a profile of student scientific circle Glider, focuses mainly on modeling and simulation of complex systems.
Źródło:: Pomiary Automatyka Robotyka; 2011, 15, 12; 246-248
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: A model of thermal energy storage according to the Convention of Bond Graphs (Bg) and State Equations (Se)
Autorzy:: Cichy, M.
Kropiwnicki, J.
Kneba, Z.
Powiązania:: https://bibliotekanauki.pl/articles/963418.pdf
Data publikacji:: 2015
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: energy systems modeling
Bond Graphs method
Opis:: The main advantage of the use of the Bond Graphs method and State Equations for modeling energy systems with a complex structure (marine power plants, hybrid vehicles, etc.) is the ability to model the system components of different physical nature using identical theoretical basis. The paper presents a method of modeling thermal energy storage, which is in line with basic BG theory. Critical comments have been put forward concerning multiport energy storage introduced by other authors or the so-called C-field. In suggested approach, the decision not to use pseudo Bond Graphs has been justified as not being in line with basic BG theory. On the basis of molecular physics it was considered that the state variable, in physical and mathematical sense, should be temperature rather than entropy. Examples of the application of the proposed approach to thermodynamic processes and heat exchange have been presented. The application of a single graph as a model for thermal energy storage has been illustrated by a way of numerical simulation examples.
Źródło:: Polish Maritime Research; 2015, 4; 41-47
1233-2585
Pojawia się w:: Polish Maritime Research
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Developing the computerization concept of the commercial agency by combining analytical perspectives
Autorzy:: Jeż, Szymon
Susłow, Walery
Powiązania:: https://bibliotekanauki.pl/articles/41204165.pdf
Data publikacji:: 2011
Wydawca:: Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:: computerization
business modeling
systems modeling
conceptual modeling of information systems
Opis:: The article presents the case of study of the computerization concept of a typical commercial agency, worked out through the view model and viewpoints framework. Simultaneous use of standard (business, object, structural) and unconventional (reach picture, organizational chart) analytical perspectives in the process of developing the concept of an information system has increased, according to the authors, the chance to build the transparent, clear, useable system.
Źródło:: Studia i Materiały Informatyki Stosowanej; 2011, 4; 41-48
1689-6300
Pojawia się w:: Studia i Materiały Informatyki Stosowanej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Metody modelowania układów HVDC w obliczeniach zwarciowych
The method of HVDC systems modeling in the short-circuit calculations
Autorzy:: Miller, P.
Wancerz, M.
Powiązania:: https://bibliotekanauki.pl/articles/377144.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: obliczenia zwarciowe
HVDC
stany quasi-ustalone
Opis:: Specyfika układów przesyłowych prądu stałego stwarza wiele problemów w przypadku chęci odwzorowania tych układów w programach zwarciowych. Programy zwarciowe wykorzystywane są głównie do wyznaczania wielkości zwarciowych w konwencji stanów quasi-ustalonych. Brakuje w nich możliwości odwzorowania stanów nieustalonych, bardziej adekwatnych do odwzorowania pracy układów HVDC. W artykule zaprezentowano uproszczone podejście do modelowania układów HVDC w obliczeniach zwarciowych oparte na idei regulowanych źródeł prądowych.
The specificity of the DC transmission systems creates a lot of problems if you wish to model these systems in short-circuit programs. Short-circuit programs are mainly used to determine the size of short-circuit in the convention states of quasi-state. They lack the ability of mapping transients state. The article presents a simplified approach to modeling HVDC systems in the short-circuit calculations based on the idea of regulated current sources.
Źródło:: Poznan University of Technology Academic Journals. Electrical Engineering; 2017, 90; 137-148
1897-0737
Pojawia się w:: Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Improving software systems by Flow Control Analysis
Autorzy:: Poznański, P.
Wawrowski, M.
Powiązania:: https://bibliotekanauki.pl/articles/305292.pdf
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: software engineering
architecture definition
requirements management
testing
agile
systems modeling
Opis:: Using agile methods during the implementation of the system that meets mission critical requirements can be a real challenge. The change in the system built of dozens or even hundreds of specialized devices with embedded software requires the cooperation of a large group of engineers. This article presents a solution that supports parallel work of groups of system analysts and software developers. Deployment of formal rules to the requirements written in natural language enables using formal analysis of artifacts being a bridge between software and system requirements. Formalism and textual form of requirements allowed the automatic generation of message flow graph for the (sub) system, called the “big-picture-model”. Flow diagram analysis helped to avoid a large number of defects whose repair cost in extreme cases could undermine the legitimacy of agile methods in projects of this scale. Retrospectively, a reduction of technical debt was observed. Continuous analysis of the “big picture model” improves the control of the quality parameters of the software architecture. The article also tries to explain why the commercial platform based on UML modeling language may not be sufficient in projects of this complexity.
Źródło:: Computer Science; 2012, 13 (2); 81-92
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Metoda dynamiki systemowej w modelowaniu złożonych systemów i procesów
System dynamics method in the modeling of complex processes and systems
Autorzy:: Hoffmann, R.
Protasowicki, T.
Powiązania:: https://bibliotekanauki.pl/articles/305988.pdf
Data publikacji:: 2013
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: symulacja
dynamika systemowa
modelowanie systemów złożonych
simulation
system dynamics
complex systems modeling
Opis:: Autorzy przedstawili metodę dynamiki systemowej (ang. System Dynamics), która umożliwia budowę modeli symulacji ciągłej. Artykuł ma postać rozważań teoretycznych dotyczących samej metody, jak również jej potencjalnych zastosowań w symulacji złożonych systemów i zachodzących w nich procesów. Opisana w artykule metoda pozwala modelować strukturę i dynamikę złożonych systemów, uwzględniając przy tym występujące w tych systemach liczne sprzężenia zwrotne. Dzięki rozpatrywaniu badanego systemu, jako spójnej całości w kontekście jego dynamiki, tworzone modele symulacyjne umożliwiają łatwe odwzorowanie i zrozumienie nawet bardzo skomplikowanych relacji o nieliniowym charakterze. Omawiana metoda pozwala na łatwe dokonywanie adaptacji zbudowanego modelu do bieżących potrzeb, m.in. w celu sprawdzenia kolejnych hipotez lub nowych scenariuszy działania. Dzięki tym właściwościom może ona być z powodzeniem stosowana w modelowaniu i analizie różnych klas złożonych zagadnień z zakresu niemalże dowolnej dziedziny problemowej.
This paper presents the System Dynamics (SD) method, which allows to build a continuous simulation models. Paper contains a theoretical consideration on SD method and its potential applications in field of the simulation of complex systems and processes. Described method allows to model the structure and dynamics of complex systems, taking into account a feedback loops embedded within these systems. By considering the system as comprehensive and indivisible – in the meaning of its dynamics – developed simulation models allows for easy mapping and understanding the complex non-linear relationships between elements included to the model. SD method allows for easy adaptation of the constructed model to the current needs, to verify new hypotheses and new scenarios. These properties enables the SD method to be successfully used in modeling and analyzing the different classes of complex systems related to almost any problem domain.
Źródło:: Biuletyn Instytutu Systemów Informatycznych; 2013, 12; 19-28
1508-4183
Pojawia się w:: Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: The conception of simulation environment for development and testing of distributed diagnostic systems
Koncepcja środowiska symulacyjnego dla potrzeb tworzenia i testowania rozproszonych systemów diagnostycznych
Autorzy:: Rzydzik, S.
Powiązania:: https://bibliotekanauki.pl/articles/329536.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: diagnostyka układów mechanicznych
maszyna
modelowanie systemów
diagnostics of mechanical systems
systems modeling and evaluation
Opis:: Machinery, equipment and system for monitoring and diagnostics are considered. It is assumed that the considered a set of machinery and equipment is distributed territorially and/or functionally (for example, several systems which are part of one machine). Machinery, equipment and system for monitoring and diagnostics that make up a distributed diagnostic system are called nodes of that system. The article presents the concept of the environment to develop and testing distributed diagnostic systems. Connection with each nodes of distributed diagnostic system is implemented by the agent system and blackboard. Each agent represents the selected node of the distributed diagnostic system. Locally, the agent performs the task of communicating with the node that represents and the tasks of processing and collection of information contained in the received data from that node. Globally, the agent cooperates with other agents by performing tasks transmitting, receiving, processing and storing messages. Blackboard carries out the task of collecting the data common to the entire agent system. Communication with the blackboard is implemented through an agent who represents that.
Rozpatrywane są maszyny i urządzenia wraz z systemami monitoringu i diagnostyki tych maszyn. Zakłada się, że rozpatrywany zbiór diagnozowanych maszyn i urządzeń jest rozproszony terytorialnie i/lub funkcjonalnie (np. kilka układów wchodzących w skład jednej maszyny). Maszyny, urządzenia oraz systemy monitoringu i diagnostyki wchodzące w skład rozproszonego systemu diagnostycznego są nazywane węzłami tego systemu. W artykule przedstawiono koncepcję budowy środowiska, w którym można tworzyć i testować rozproszone systemy diagnostyczne. Połączenie ze sobą węzłów rozproszonego systemu diagnostycznego realizowane jest przez system agentowy i tablicę ogłoszeń. Każdy agent reprezentuje wybrany węzeł rozproszonego systemu diagnostycznego. Lokalnie, agent realizuje zadanie komunikowania się z reprezentowanym węzłem rozproszonego systemu diagnostycznego oraz zadania przetwarzania i gromadzenia informacji zawartych w otrzymanych od reprezentowanego węzła danych. Globalnie, agent współpracuje z innymi agentami przez realizację zadań nadawania, odbierania, przetwarzania i gromadzenia wiadomości. Tablica ogłoszeń realizuje zadanie gromadzenia danych wspólnych dla całego systemu agentowego. Komunikacja z tablicą ogłoszeń jest realizowana za pośrednictwem reprezentującego ją agenta.
Źródło:: Diagnostyka; 2012, 1(61); 51-58
1641-6414
2449-5220
Pojawia się w:: Diagnostyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "systems modeling" wg kryterium: Wszystkie pola

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język