Formal Definition and Construction of Nominative Signature

2007 ◽  
pp. 57-68 ◽  
Author(s):  
Dennis Y. W. Liu ◽  
Duncan S. Wong ◽  
Xinyi Huang ◽  
Guilin Wang ◽  
Qiong Huang ◽  
...  
Keyword(s):  
Formal Definition

Selective Enumeration: A Formal Definition

1998 ◽  
Author(s):  
Craig A. Damon
Keyword(s):  
Formal Definition

INTEGRATED ASSESSMENT OF STABILITY FUNCTIONING COMPLEX TECHNICAL SYSTEMS IN THE TECHNO AND INFO SPHERE

2018 ◽  
pp. 89-94
Author(s):  
V. A. Minaev ◽  
I. D. Korolev ◽  
V. V. Mukhortov
Keyword(s):  
Integrated Assessment ◽  
Noise Immunity ◽  
Maximum Intensity ◽  
Robotic Systems ◽  
Formal Definition ◽  
Protection Systems ◽  
Computer Attacks ◽  
Complex Technical Systems ◽  
Impact Protection ◽  
Technical Systems

The article deals with the issues of integrated assessment of complex technical systems stability functioning in techno sphere and info sphere. It is shown that the concept of cyber stability, including its components such as cyber reliability, noise immunity and cyber survivability are insufficiently investigated and defined. The formal definition is given and the scale with various gradation of cyber survivability is entered. On the example of robotic systems in form of drones two variants of mathematical models of cyber survivability estimation are considered. The first variant is related to the description of drones functioning in the conditions of computer attacks without impact protection systems. The second variant reflects the functioning of drones under the conditions of impacts in the presence of adaptive combined cybernetic protection system. In both variants, two strategies are considered - with minimal and maximum intensity of effects on the drone. It is concluded that proposed in the paper approach enables to evaluate the integrated stability of complex technical systems in the techno sphere and info sphere at the same time.

scholarly journals A SIMPL distributed operating system and its formal definition

1973 ◽  
Author(s):  
R. Noonan ◽  
V. Basili ◽  
R. Hamlet ◽  
M. Lay ◽  
D. Mills ◽  
...  
Keyword(s):  
Operating System ◽  
Formal Definition ◽  
Distributed Operating System

scholarly journals Students’ Understanding on Formal Definition of Limit

2021 ◽  
Vol 1752 (1) ◽  
pp. 012082
Author(s):  
Nurdin ◽  
S F Assagaf ◽  
F Arwadi
Keyword(s):  
Formal Definition ◽  
Definition Of

scholarly journals Power Laws in Economics: An Introduction

2016 ◽  
Vol 30 (1) ◽  
pp. 185-206 ◽  
Author(s):  
Xavier Gabaix
Keyword(s):  
Stock Market ◽  
Power Law ◽  
Power Laws ◽  
Economic Fluctuations ◽  
Formal Definition ◽  
Empirical Power

Many of the insights of economics seem to be qualitative, with many fewer reliable quantitative laws. However a series of power laws in economics do count as true and nontrivial quantitative laws—and they are not only established empirically, but also understood theoretically. I will start by providing several illustrations of empirical power laws having to do with patterns involving cities, firms, and the stock market. I summarize some of the theoretical explanations that have been proposed. I suggest that power laws help us explain many economic phenomena, including aggregate economic fluctuations. I hope to clarify why power laws are so special, and to demonstrate their utility. In conclusion, I list some power-law-related economic enigmas that demand further exploration. A formal definition may be useful.

Diagnosis Rule Discovery Based on Causality in the Context of Fault Diagnosis in Rotating Machinery

2014 ◽  
Vol 532 ◽  
pp. 113-117
Author(s):  
Zhou Jin ◽  
Ru Jing Wang ◽  
Jie Zhang
Keyword(s):  
Fault Diagnosis ◽  
General Framework ◽  
Complex Structure ◽  
Rotating Machinery ◽  
Massive Data ◽  
Formal Definition ◽  
Rule Discovery ◽  
Rule Based ◽  
Simple Implementation ◽  
Definition Of

The rotating machineries in a factory usually have the characteristics of complex structure and highly automated logic, which generated a large amounts of monitoring data. It is an infeasible task for uses to deal with the massive data and locate fault timely. In this paper, we explore the causality between symptom and fault in the context of fault diagnosis in rotating machinery. We introduce data mining into fault diagnosis and provide a formal definition of causal diagnosis rule based on statistic test. A general framework for diagnosis rule discovery based on causality is provided and a simple implementation is explored with the purpose of providing some enlightenment to the application of causality discovery in fault diagnosis of rotating machinery.

Application of Bifurcation Theory to Voltage Stability in Power System

2013 ◽  
Vol 811 ◽  
pp. 643-646
Author(s):  
Xue Song Zhou ◽  
Mo Chen ◽  
You Jie Ma
Keyword(s):  
Power System ◽  
Bifurcation Analysis ◽  
Bifurcation Point ◽  
Bifurcation Theory ◽  
Voltage Stability ◽  
Formal Definition ◽  
Voltage Stabilization ◽  
Advantages And Disadvantages ◽  
Voltage Instability ◽  
Dynamic Bifurcation

In order to study on the problem of voltage stability of power system, this paper describes the static bifurcation analysis and the dynamic bifurcation analysis in voltage stabilization analysis of power system and its relationship with the voltage stability,discusses the voltage instability caused by two main bifurcation formal definition, the occurrence of the conditions and the calculation of the bifurcation point, and points out advantages and disadvantages of various algorithms. Finally the paper looks forward to further study of the bifurcation theory in terms of voltage stability.

Sign in / Sign up

Export Citation Format

Share Document