scholarly journals Let’s Get Physical: Models and Methods for Real-World Security Protocols

Author(s):  
David Basin ◽  
Srdjan Capkun ◽  
Patrick Schaller ◽  
Benedikt Schmidt
Author(s):  
Mahalingam Ramkumar

Approaches for securing digital assets of information systems can be classified as active approaches based on attack models, and passive approaches based on system-models. Passive approaches are inherently superior to active ones. However, taking full advantage of passive approaches calls for a rigorous standard for a low-complexity-high-integrity execution environment for security protocols. We sketch broad outlines of mirror network (MN) modules, as a candidate for such a standard. Their utility in assuring real-world information systems is illustrated with examples.


2019 ◽  
Vol 22 (2) ◽  
pp. 255-270 ◽  
Author(s):  
Manuel D. Ortigueira ◽  
Valeriy Martynyuk ◽  
Mykola Fedula ◽  
J. Tenreiro Machado

Abstract The ability of the so-called Caputo-Fabrizio (CF) and Atangana-Baleanu (AB) operators to create suitable models for real data is tested with real world data. Two alternative models based on the CF and AB operators are assessed and compared with known models for data sets obtained from electrochemical capacitors and the human body electrical impedance. The results show that the CF and AB descriptions perform poorly when compared with the classical fractional derivatives.


2002 ◽  
Vol 7 (5) ◽  
pp. 274-278
Author(s):  
Ellen Hines

Functions are an important component in the study of mathematics (NCTM 1989, 2000). Learning about the concept of functions can be a natural way for students to “mathematize” the real-world relationships that they observe. Everyday life abounds with opportunities for students to observe and describe dynamic relationships that can be classified as functions.


Electronics ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 571
Author(s):  
Chiara Di Mascio ◽  
Giambattista Gruosso

The hardware in the loop technologies allow to simulate physical models in combination with real devices in order to validate the behavior of the latter under different conditions, not easily reproducible in the real world. They are widely used in various industrial applications. In this work we want to extend the methodology to medical devices. These must interact with the patient to obtain the desired clinical result, however, during the development and validation phase of medical devices, the patient cannot be involved in the testing process. In this article the hardware in the loop methodology is proposed starting from a mathematical model of the heart, based on oscillators, that can be used to validate pacemakers or other medical devices.


Symmetry ◽  
2021 ◽  
Vol 13 (12) ◽  
pp. 2269
Author(s):  
Donal O’Regan

In this paper, we present a variety of existence theorems for maximal type elements in a general setting. We consider multivalued maps with continuous selections and multivalued maps which are admissible with respect to Gorniewicz and our existence theory is based on the author’s old and new coincidence theory. Particularly, for the second section we present presents a collectively coincidence coercive type result for different classes of maps. In the third section we consider considers majorized maps and presents a variety of new maximal element type results. Coincidence theory is motivated from real-world physical models where symmetry and asymmetry play a major role.


1997 ◽  
Vol 13 (02) ◽  
pp. 93-100
Author(s):  
Scott McGhee ◽  
Sivrama Nalluri ◽  
Ron Reeve ◽  
Robert Rongo ◽  
Fritz Prinz ◽  
...  

The application of robots to variable tasks in unstructured environments presents a series of problems that must be solved in order to achieve viable results Common teaching-type robots cannot be applied in these cases as the programming time and labor investment far exceed the time and cost of direct manual production. Numerically controlled (NC) robots programmed off-line by modified NC methods have been applied with economic success to program robots directly from computer-aided design (CAD) data where tasks are sufficiently repetitive and the operating environment is sufficiently structured Similarly, off-line programming systems have been developed by various robot manufacturers to generate instructions from CAD data for their robots. Likewise, developers of 3D simulation software have devised methods to merge CAD data with physical models of robots and system hardware to produce robot path programs that approximate the tasks to be performed. Each of these systems is unable to provide a totally automated means to program robot tasks directly from CAD data due to inaccuracies in the real-world elements and/or the models, and due to a lack of knowledge about the processes. A new approach to automatic robot programming is needed that is capable of dealing with:inherent differences between the CAD models and the real-world parts;uncertainties regarding the precise location and accessibility of the parts relative to the robot:process knowledge required to adapt these differences and uncertainties; andprocess knowledge essential to optimizing robot activities. Such an automatic robot programming system is being developed to meet the dual-use defense and commercial ship construction needs of American shipyards under the Technology Reinvestment Project (TRP) for Shipbuilding Robotics. This system automates the programmer's task of identifying location of welds, assigning weld process parameters and adaptive welding strategies to each joint. A procedural diagram for this system is shown in Figure 1. The results and benefits of this approach are described herein. Fig. 1Procedure for automatic off-line robot task planning


Water ◽  
2019 ◽  
Vol 11 (1) ◽  
pp. 107 ◽  
Author(s):  
Thomas Fichtner ◽  
Felix Barquero ◽  
Jana Sallwey ◽  
Catalin Stefan

Physical models such as surface infiltration experiments in the lab and field are an approach to understand processes in the unsaturated soil zone. In the case of mapping processes influencing the operation of real-world managed aquifer recharge schemes they are helpful tools to determine interactions between processes in the unsaturated soil zone, and site-specific as well as operational parameters. However, the multitude of assumptions and scale-related limitations of downscale investigations often lead to over- or underestimations, rendering their results useless when translated to field-like conditions. Various real-world managed aquifer recharge operational scenarios were simulated in three physical models, a 1D-lab column, a rectangular shaped stainless steel 3D-lab infiltration tank and a rectangular shaped 3D-field unit, to understand the impact of the experimental set-up on the assessment of processes and to identify the experimental set-up which is most-suitable to describe these processes. Results indicate that water flow velocity, water saturation and oxygen consumption are often overestimated in 1D-column experiments due to sidewall effects and no existing lateral flow. For precise analysis of infiltration processes in general as well as during operation of managed aquifer recharge, 3D experiments are recommended due to their more realistic representation of flow processes.


Sign in / Sign up

Export Citation Format

Share Document