Using DSMLs, the domain experts can express their models in a language that is relevant to the problem area. However, it also adds the complexity of interoperability between these languages, specially for application ...
详细信息
ISBN:
(数字)9783030378738
ISBN:
(纸本)9783030378738;9783030378721
Using DSMLs, the domain experts can express their models in a language that is relevant to the problem area. However, it also adds the complexity of interoperability between these languages, specially for application areas that encompass multiple domains. One such application area, Cyber Threat Analysis (CTA), is at the intersection of various domains that can evolve independently: system modeling, attacker modeling and threat description. In this paper, we present an approach to address CTA interoperability issues based on role modeling. The proposed language provides a mechanism to define shared semantics between DSMLs relative to the CTA. The concept of a role is central to our approach, presented as Role4All framework. These roles allow us to federate different DSMLs to generate an attacker's viewpoint. Our approach is illustrated using a case study on the development of an attacker's viewpoint based on the federation of multiple domain models. Interoperability between the domain models is crucial to apply dedicated algorithms and interpretations on the attacker's viewpoint. We used this attacker viewpoint to simulate attacks on a system for security analysis.
Sensor fusion is a technique used to combine sensor data and improve the description of the physical property measured by these sensors. Sensors working alone could provide data that is erroneous, incomplete and uncer...
详细信息
With telecommunication technology development now moving to a different generation of wireless communication from 4G to 5G, user connections become faster and more reliable. However, from the view of application devel...
详细信息
Grass is a very important element of nature and it could almost be found in every natural scene. Thus grass modeling, rendering as well as simulation becomes an important task for virtual scene creation. Existing manu...
详细信息
ISBN:
(纸本)9783030618636;9783030618643
Grass is a very important element of nature and it could almost be found in every natural scene. Thus grass modeling, rendering as well as simulation becomes an important task for virtual scene creation. Existing manual grass modeling and reconstruction methods have researched on generate or reconstructing plants. However, these methods do not achieve a good result for grass blades for their extremely thin shape and almost invariant surface color. Besides, current simulation and rendering methods for grasses suffer from efficiency and computation complexity problems. This paper introduces a framework that reconstructs the grass blade model from the color-enhanced depth map, simplifies the grass blade model and achieves extremely large scale grassland simulation with individual grass blade response. Our method starts with reconstructing the grass blade model. We use color information to guide the refinement of captured depth maps from cameras based on an autoregressive model. After refinement, a high-quality depth map is used to reconstruct thin blade models, which cannot be well handled by multiview stereo methods. Then we introduce a blade simplification method according to each vertex's movement similarity. This method takes both geometry and movement characteristics of grass into account when simplifying blade mesh. In addition, we introduce a simulation technique for extremely large grassland that achieve tile management on GPU and allow individual response for each grass blade. Our method excels at reconstructing slender grass blades as well as other similar plants, and realistic dynamic simulation for large scale grassland.
For simulations of emerging neuromorphic circuits an analog memory modeling strategy with the dynamic time evolution method (DTEM) is reported. Dynamic state variables are needed to trace the physical quantities of th...
详细信息
To reduce the complex mechanism and difficult control of multi-legged robot, the overall design of the new multi-footed wheel robot was carried out according to the previous research results-multi-footed wheel mechani...
详细信息
Boolean-logic Driven Markov Processes (BDMPs) is a graphical language for reliability analysis of dynamic repairable systems. simulation and trace-based analysis tools for BDMPs exist and have been used to analyze rel...
详细信息
ISBN:
(纸本)9783030545482;9783030545499
Boolean-logic Driven Markov Processes (BDMPs) is a graphical language for reliability analysis of dynamic repairable systems. simulation and trace-based analysis tools for BDMPs exist and have been used to analyze reliability, safety and security aspects of industrially relevant case studies. To enable a model-based analysis of BDMPs, such as probabilistic model checking, formal semantics is indispensable. This paper presents a rigorous semantics to repairable BDMPs using Markov automata (MA), a variant of continuous-time Markov chains (CTMCs) with action transitions. The semantics is modular: an MA is associated with each BDMP element and these are combined to obtain an automaton for the entire BDMP. By ignoring the actions that are used to "glue" the MA of BDMP elements, a CTMC is obtained that is amenable to analysis by e.g., model checking. We report on a prototypical implementation and experimentally show that our semantics corresponds to the BDMP interpretation by the tool Yet Another Monte Carlo simulation.
In this article, we implemented an improved susceptible-exposed-infected-removed model (SEIR) to study the outbreak, prevention and control of global pandemics, while taking into account the movement of people on a gl...
详细信息
ISBN:
(纸本)9781665406932
In this article, we implemented an improved susceptible-exposed-infected-removed model (SEIR) to study the outbreak, prevention and control of global pandemics, while taking into account the movement of people on a global scale. Firstly, we incorporate the effects of vaccines into the model. In addition, the government’s promulgation of different orders of limiting the interpersonal contact on the epidemic is also considered. Then, we used this model to study the nationwide epidemic outbreak in Argentina as an example. Numerical simulation shows that the prevention and control measures in the early stage of the epidemic are particularly important, and when the virus started to spread over a large area, they also play an significant role in limiting the spread of the disease. Finally, we conduct simulation experiments on this model on a global scale. The result shows that the main driving force of epidemic disease spread is regional transmission within the subpopulation, which shows that wearing masks and vaccines are important to the control of diseases.
With the development of integrated design and manufacturing technology, it is necessary to consider how to integrate a variety of modeling tools in the procedure of complex product design driven by the model-centric c...
详细信息
The numerical analysis of complex event-continuous processes represented by the class of Cauchy problems with constraints on an event function is considered. The processes are specified in the developed unique textual...
详细信息
ISBN:
(数字)9781665498043
ISBN:
(纸本)9781665498050
The numerical analysis of complex event-continuous processes represented by the class of Cauchy problems with constraints on an event function is considered. The processes are specified in the developed unique textual-graphical language LISMA using Harel statecharts. The program models are edited, numerically analyzed, and their results are processed in the computer-aided analysis environment ISMA. The numerical analysis is performed using a collection of traditional and developed original explicit numerical integration methods of variable order and step with extended stability domains and an original algorithm detecting unilateral events in hybrid systems. The efficiency of the original methods has been tested on typical examples of hybrid systems. The chosen visual specification of program models satisfies the representation semantics of discrete-continuous processes with complex operational mode switching logic. Moreover, such a specification is understandable to an end user, who is rather interested in analyzing complex dynamic processes using simple and comprehensible tools for composing and editing models and being able to change the model structure and parameters fast.
暂无评论