A Formal Classification of Process Anomalies for Workflow Verification

2003 ◽  
Author(s):  
Henry H. Bi ◽  
J. Leon Zhao
Keyword(s):  
Formal Classification ◽  
Workflow Verification

The Walking Robot Control System that is Adaptive to Changes in the Kinematics

2021 ◽  
Vol 22 (11) ◽  
pp. 601-609
Author(s):  
A. S. Samoylova ◽  
S. A. Vorotnikov
Keyword(s):  
Genetic Algorithm ◽  
Control System ◽  
Robot Control ◽  
Control Algorithm ◽  
Human Life ◽  
Support Surface ◽  
Machine Modeling ◽  
Cargo Delivery ◽  
Formal Classification

The walking mobile robots (WMR) have recently become widely popular in robotics. They are especially useful in the extreme cases: search and rescue operations; cargo delivery over highly rough terrain; building a map. These robots also serve to explore and describe a partially or completely non-deterministic workspace, as well as to explore areas that are dangerous to human life. One of the main requirements for these WMR is the robustness of its control system. It allows WMR to maintain the operability when the characteristics of the support surface change as well as under more severe conditions, in particular, loss of controllability or damage of the supporting limb (SL). We propose to use the principles of genetic programming to create a WMR control system that allows a robot to adapt to possible changes in its kinematics, as well as to the characteristics of the support surface on which it moves. This approach does not require strong computational power or a strict formal classification of possible damage to the WMR. This article discusses two main WMR control modes: standard, which accord to a serviceable kinematics, and emergency, in which one or more SL drives are damaged or lost controllability. As an example, the structure of the control system of the WMP is proposed, the kinematics of which is partially destroyed in the process of movement. We developed a method for controlling such robot, which is based on the use of a genetic algorithm in conjunction with the Mealy machine. Modeling of modes of movement of WMR with six SL was carried out in the V-REP program for two cases of injury: absent and not functioning limb. We present the results of simulation of emergency gaits for these configurations of WMP and the effectiveness of the proposed method in the case of damage to the kinematic scheme. We also compared the performance of the genetic algorithm for the damaged WMR with the standard control algorithm.

A formal classification of Hopf-Bogdanov-Takens singularities of codimension three

2019 ◽  
Vol 480 (2) ◽  
pp. 123408
Author(s):  
Fátima Drubi ◽  
Santiago Ibáñez ◽  
David Rivela
Keyword(s):  
Formal Classification

Towards a new classification of tribe Stachydeae (Lamiaceae): naming clades using molecular evidence

2019 ◽  
Vol 190 (4) ◽  
pp. 345-358 ◽  
Author(s):  
Yasaman Salmaki ◽  
Günther Heubl ◽  
Maximilian Weigend
Keyword(s):  
Ribosomal Dna ◽  
Dna Sequences ◽  
Phylogenetic Relationships ◽  
Nuclear Ribosomal Dna ◽  
Molecular Evidence ◽  
New Classification ◽  
Formal Classification ◽  
Phylogenetic Nomenclature

AbstractStachydeae, comprising c. 470 species, are one of the most diverse and taxonomically puzzling groups in Lamioideae. In the present study, the phylogenetic relationships in the Eurystachys clade (a phylogenetic name for all genera attributed to Stachydeae except Melittis) were reconstructed utilizing nuclear ribosomal DNA sequences (nrETS, 5S-NTS) from 148 accessions in 12 genera. Our phylogenetic results recovered Stachys as paraphyletic with numerous traditionally recognized genera nested in it. A broadly defined Eurystachys clade, however, was monophyletic. Unlike previous studies, the present study was able to resolve the group into 12 well-supported clades, named here as (1) Eriostomum, (2) Stachys, (3) Prasium, (4) Setifolia, (5) Distantes, (6) Burgsdorfia, (7) Hesiodia, (8) Empedoclia, (9) Sideritis, (10) Marrubiastrum, (11) Swainsoniana and (12) Olisia. These 12 clades were formally named in a phylogenetic nomenclature for the Eurystachys clade. Several infrageneric units were retrieved as monophyletic, namely Sideritis sections Burgsdorfia, Empedoclia and Hesiodia, Sideritis subgenus Marrubiastrum and Stachys sections Eriostomum (including Stachys section Mucronata) and Setifolia. The findings of this study also provide the basis for a future formal classification, with two options: (1) splitting of the Eurystachys clade into 12 monophyletic genera, all of them based on pre-existing genus names and redefined to encompass additional taxa, but without clear morphological apomorphies; or (2) lumping of all segregates into a broadly defined Stachys, including widely recognized and well-defined segregates such as Prasium and Sideritis.

scholarly journals The concept of «property» (according to the practice of the European court of human rights)

2021 ◽  
pp. 368-371
Author(s):  
M.V. Dobrev
Keyword(s):  
Human Rights ◽  
Property Rights ◽  
Case Law ◽  
Legal Systems ◽  
Council Of Europe ◽  
European Court ◽  
Formal Classification ◽  
Rights And Interests ◽  
Material Things

The article is devoted to the autonomous meaning of the term «property» used by the European Court of Human Rights. Emphasis is placed on the fact that in national legal systems, approaches to defining the concept of proper-ty, property rights have been and remain different. The violation of property as ownership exclusively of material things, excluding other rights and interests (substantive legal interests), the application of a formal classification of objects of law leads to violations of the right of everyone to own, use and dispose of their property by public author-ities and local governments. property. As the judgment of the European Court of Human Rights is a source of law in the member states of the Council of Europe, national law cannot contradict the Convention and the case law of the European Court of Human Rights.It is noted that the European Court of Human Rights, applying the autonomous meaning of the term «proper-ty», which does not depend on the formal classification of property rights in the national legislation of the mem-ber states of the Council of Europe, applies the following approaches to the concept of «property», the concept and content of property rights. that would be compatible with national legal systems. As a result of the analysis of the case law of the European Court of Human Rights, it was established that «property» is: 1) ownership of existing material things; 2) assets, including claims that the entity can claim to have at least a «legitimate ex-pectation» that they will be realized; 3) other rights and interests that constitute assets and can be considered as «property rights». Property that falls within the scope of Art. 1 of Protocol No. 1 to the Convention for the Protection of Human Rights and Fundamental Freedoms constitute, inter alia, economic resources to which natural persons have no registered property rights, but which have originally belonged to their ancestors and parents for economic activities, as well as income that individuals receive from the use of these resources.

scholarly journals Newly professionalised physiotherapists: symbolic or substantive change?

2019 ◽  
Vol 42 (2) ◽  
pp. 300-314
Author(s):  
Pauline Anderson ◽  
Chris Warhurst
Keyword(s):  
Qualitative Research ◽  
National Health Service ◽  
Health Service ◽  
National Health ◽  
Design Methodology ◽  
Content Type ◽  
Formal Classification ◽  
Mixed Outcomes

Purpose There is renewed interest in the professions as a range of occupations pursue professionalisation projects. The purpose of this paper is turn analysis to an important omission in current research – the skills deployed in the work of these professions. Such research is necessary because skills determine the formal classification of occupations as a profession. Design/methodology/approach Drawing on qualitative research, this paper explores the deployment of skills in work of one newly professionalised occupation in the UK’s National Health Service – physiotherapists. Findings The findings point to a disconnect between how this occupation has become a profession (the skills to get the job, and related political manoeuvring by representative bodies) and the mixed outcomes for their skills deployment (the skills to do the job) in work as a profession. Originality/value The paper provides missing empirical understanding of change for this new profession, and new conceptualisation of that change as both symbolic and substantive, with a “double hybridity” around occupational control and skill deployment for physiotherapists as a profession.

scholarly journals A formal classification of the Lygeum spartum vegetation of the Mediterranean Region

2019 ◽  
Vol 22 (4) ◽  
pp. 593-608 ◽  
Author(s):  
Corrado Marcenò ◽  
Riccardo Guarino ◽  
Ladislav Mucina ◽  
Idoia Biurrun ◽  
Ulrich Deil ◽  
...  
Keyword(s):  
Mediterranean Region ◽  
Formal Classification ◽  
The Mediterranean

A Formal Classification of the Extant Cycads

Brittonia ◽  
1992 ◽  
Vol 44 (2) ◽  
pp. 220 ◽  
Author(s):  
Dennis Wm. Stevenson
Keyword(s):  
Formal Classification
Sign in / Sign up

Export Citation Format

Share Document