scholarly journals Semantics for Interactive Sequential Systems and Non-Interference Properties

2011 ◽  
Vol 14 (3) ◽  
Author(s):  
Matias Lee ◽  
Pedro R. D’Argenio
Keyword(s):  
Interactive Systems ◽  
General Definition ◽  
Interactive System ◽  
Input And Output ◽  
Weak Bisimulation ◽  
Sequential Systems ◽  
Security Properties ◽  
The One ◽  
Definition Of ◽  
System 1

An interactive system is a system that allows communication with the users. This communi- cation is modeled through input and output actions. Input actions are controllable by a user of the system, while output actions are controllable by the system. Standard semantics for sequen- tial system [1, 2] are not suitable in this context because they do not distinguish between the different kinds of actions. Applying a similar approach to the one used in [2] we define seman- tics for interactive systems. In this setting, a particular semantic is associated with a notion of observability. These notions of observability are used as parameters of a general definition of non-interference. We show that some previous versions of the non-interference property based on traces semantic, weak bisimulation and refinement, are actually instances of the observability- based non-interference property presented here. Moreover, this allows us to show some results in a general way and to provide a better understanding of the security properties.

The Aims of Mathematical Education

1921 ◽  
Vol 14 (6) ◽  
pp. 297-304
Author(s):  
J. H. Minnick ◽  
_ _
Keyword(s):  
The Other ◽  
General Definition ◽  
Mathematical Education ◽  
Face To Face ◽  
School Activities ◽  
General Meaning ◽  
The One ◽  
Definition Of ◽  
Objective Side ◽  
The Individual

Education is a complex process involving a variety of experiences gained through both school and out-of-school activities. Each subject of the curriculum should make its definite contribution to this experience, but we must be sure that the result is a unit. An investigation of conditions in most of our high schools will show that a child is under the instruction of perhaps four or five teachers, all of whom are working independently of each other. Very seldom docs one teacher know what the others are trying to do. In order to avoid such conditions and to insure a unified education for each individual, it is necessary that the aim of each subject shall be determined in the light of the general definition of education. Only by this means can the subject matter of each course be so selected and presented that there is neither useless overlapping on the one hand nor the omission of important elements on the other hand. Hence, in discussing the aim of mathematical education, we shonld consider the general meaning of education and then determine what contribution mathematics can make most effectively. For this purpose we shall accept Ruediger’s definition, namely, “… to educate a person means to adjust him to those elements of his environment that are of concern in modern life, and to develop, organize, and train his powers so that he may make efficient and proper use of them.”1 This definition consists of two parts. One of these is concerned with the adjustment of the individual to his environment; this is the objective side. The other is concerned with the development of the powers of the individual; this is the subjective side of education. However, one’s powers are developed only by contact with and adjustment to his environment, and he is adjusted to his environment only through his powers and abilities. Thus, a child’s power to think correctly is developed most effectively when he is brought face to face with a real situation the solution of which is vital to his welfare; but he can successfully master the situation only by the use of his reasoning power or such other abilities as may be involved. Hence, the two parts of this definition are not independent and we need not consider them separately; when one is satisfied in the most effective way the other will be. At present we shall confine our attention to the objective phase of education.

scholarly journals JUSTICE IN MODERN RUSSIA: THE CONCEPT AND FEATURES

2018 ◽  
Vol 22 (4) ◽  
pp. 527-546
Author(s):  
Olga V Pankova
Keyword(s):  
Intrinsic Property ◽  
Subject Area ◽  
The State ◽  
Point Of View ◽  
General Definition ◽  
Judicial Reform ◽  
State Activity ◽  
Judicial Procedures ◽  
The One ◽  
Definition Of

The article reveals the essential characteristics of justice as a specific type of state activity; identifies the main features of justice that distinguish it, on the one hand, from other types of state activity, and on the other - from other types of judicial activity. The purpose of this article is to identify and analyze the features of justice in its modern sense. The versatility of this legal category as an ambivalent definition is reflected in its various characteristics, through the consideration of which the most general definition of justice is formulated in the work. The methodological basis of the article is the modern achievements of the theory of knowledge. In the course of research theoretical, General philosophical (dialectics, system method, analysis, synthesis, deduction), traditional legal methods (formal-logical) were applied. Turning to the question of the characteristics of justice, the author touches upon the problem of its broad and narrow understanding due to the increasing role of mediation, conciliation and arbitration as alternative forms of resolution of legal conflicts, as well as in connection with the empowerment of certain state bodies of jurisdictional powers, and concludes that, unlike a number of foreign countries, justice in Russia can be carried out only by state courts. Of considerable interest is also the study of the subject area of justice, which is related to the situation of legal conflict. In this context, the author's analysis of the concept of "legal conflict" and his proposed differentiation of such conflicts into types with subsequent consideration of each of them is quite legitimate. In the context of the formation of the new Russian statehood, the arbitration sign of justice acquired a different sound, which is considered in the work from the standpoint of the special jurisdictional procedural activity of the court and the situational nature of justice. Since the beginning of the modern judicial reform, objective changes in the activities of the courts associated with the emergence of simplified and writ proceedings that have simplified the procedure for the consideration and resolution of certain categories of administrative and civil cases, as well as the allocation of jurisdictional powers to other state bodies that are not part of the judiciary, but use quasi-judicial procedures, i.e. almost judicial procedures as close as possible to them, have significantly changed the attitude to the procedural form of justice, which has lost its former importance. In this regard, the author substantiates the point of view that nowadays in order to determine the qualitative nature of the jurisdictional bodies, it is necessary to identify, in particular, the distinctive features in each of the procedural forms. Revealing in more detail the content of methods and means of justice, the author touches upon the problem of correlation of this legal category with justice and on the basis of the analysis of different points of view comes to the conclusion that these concepts can not be considered as legal phenomena that coincide in whole or in part. Justice is rather an intrinsic property of justice, contributing to its perception as a social and legal value. As one of the most important signs of justice in the work is considered the state-power nature and reliability of judicial decisions, the execution of which involves the suppression of the will (freedom) or material deprivation of one of the parties with the use in certain cases of power and force of the state. In this regard, some attention is paid to the characterization of the binding nature of the judgment as one of its essential properties. Examining justice as categories which help to reveal the contents and legal merits of this form of state activity, in the definition of the given concept into a single, unified definition.

scholarly journals Surah Al-Humaza: Invocation Objective Study: سورة الهمزة: دراسة موضوعية دعوية وتربوية

2019 ◽  
Vol 2 (7) ◽  
Author(s):  
Shareefah abdulkareem freihat
Keyword(s):  
Main Idea ◽  
The Other ◽  
General Definition ◽  
The Poor ◽  
The People ◽  
Objective Interpretation ◽  
The One ◽  
Definition Of ◽  
The Right ◽  
Objective Study

The objective interpretation can be showed in three ways: to follow the text in its context in the Koran and interpreted its meaning; to search for the similar verses which competent one subject and illustrates the objective interpretation; or to address the whole Surah and explore it in an objective study and to explain the definition of the Surah and determine the main idea of the Surah then divided into topics and link verses with the main idea. The aim of this study is to study Surat Al- Humaza an objective study, a general definition of the surah and its topics was explored then the topics were linked with the pre - and beyond to show the miracle the connection between the topics of the Koran in the context of the Surah and its verses. Then the main idea was identified which is challenging and flawing people in their presence and in their absence, then the topics of the verses of Surah were linked to the main idea to show “with the help of God” the objective unity of the Holy Qur'an. The first verse of the Surah threat and intimidate anyone who challenges people and flaw them, because challenging and flawing people showed the evil in the heart, and the behavior of the Muslim is correct only by treating his heart after the recovery of his mind. As money is one of the motives that drive the evil hearts to challenge and flaw the people and do unfairness to other people, the Surah stated the money and its impact on the souls after the threat and intimidation on the one who slanderer that he insults and holds others in contempt habitually, the fraud and raise money to arrogance and did not pay for the right of God for the poor will all be lost, crashed and shattered all hopes and. Every oppressor arrogant to the other will be punished in the Hell, all of this were sown in the Surah and it can be seen in the unity of objectivity between the verses of Surah from beginning to end.  

XVII.—The Genus Primula: Sections Obconica, Sinenses, Reinii, Pinnatae, Malacoides, Bullatae, Carolinella, Grandis, and Denticulata

1947 ◽  
Vol 61 (2) ◽  
pp. 415-478 ◽  
Author(s):  
W. Wright Smith ◽  
H. R. Fletcher
Keyword(s):  
Good Reason ◽  
General Definition ◽  
Cylindrical Structure ◽  
The One ◽  
Definition Of

When Pax (1) in 1889 constituted his section Sinenses, he was well aware that it contained at least three distinct groups, each of which could with good reason be regarded as separate sections. Of these the one which he designated Poculiformia is the equivalent of Obconica. This group Poculiformia (while sharing in the general definition of Sinenses) he marked off by the beaker-shaped calyx which is generally accrescent after anthesis. In his view the group comes nearer to group Cortusina (i.e. section Cortusoides) than to the more isolated Auganthus (i.e. Sinenses sensu restricto), which may quite well be the case. In its turn the group Cortusina is to be distinguished from Poculiformia by the character of its calyx—a tubular or cylindrical structure. Of the species quoted by Pax as within Poculiformia, only four are now considered legitimate members of Obconica—P. obconica, P. filipes, P. Listen, and P. oreodoxa.

scholarly journals Defining a notation for usability-oriented interaction and navigation modeling for interactive systems

2017 ◽  
Vol 8 (2) ◽  
pp. 1 ◽  
Author(s):  
Anna Beatriz Marques ◽  
Simone Diniz Junqueira Barbosa ◽  
Tayana Uchôa Conte
Keyword(s):  
Knowledge Base ◽  
Feasibility Study ◽  
Academic Research ◽  
Interactive Systems ◽  
Interactive System ◽  
Preliminary Evaluation ◽  
Teaching Models ◽  
Definition Of ◽  
Quality In Use ◽  
Interaction Goals

Modeling the interaction and navigation of an interactive system can assist designers in making decisions about how the users will be able to achieve their interaction goals. However, there is a lack of proposals to: (1) deal with interaction and navigation in an integrated way and (2) deal with usability features in interaction and navigation modeling. In this paper, we propose a usability-oriented interaction and navigation model to improve the quality in use of interactive systems. We evaluate the feasibility of the model through a study with three participants with experience in using models in industry, teaching models and carrying out academic research about models. Our main contributions are: (1) a knowledge base about the existing solutions for the problem, (2) the USINN (Usability-oriented Interaction and Navigation) model, (3) a preliminary evaluation about the feasibility of USINN, (4) the evolution of the USINN notation based on the results of the feasibility study, and (5) the definition of the USINN metamodel.

Understanding functional illiteracy from a policy, adult education, and cognition point of view: Towards a joint referent framework

2019 ◽  
Vol 30 (2) ◽  
pp. 109-122
Author(s):  
Aleksandar Bulajić ◽  
Miomir Despotović ◽  
Thomas Lachmann
Keyword(s):  
Adult Education ◽  
Operational Definition ◽  
Literacy Skills ◽  
Point Of View ◽  
Industrialized Countries ◽  
Functional Illiteracy ◽  
Scale Levels ◽  
Components Of Reading ◽  
The One ◽  
Definition Of

Abstract. The article discusses the emergence of a functional literacy construct and the rediscovery of illiteracy in industrialized countries during the second half of the 20th century. It offers a short explanation of how the construct evolved over time. In addition, it explores how functional (il)literacy is conceived differently by research discourses of cognitive and neural studies, on the one hand, and by prescriptive and normative international policy documents and adult education, on the other hand. Furthermore, it analyses how literacy skills surveys such as the Level One Study (leo.) or the PIAAC may help to bridge the gap between cognitive and more practical and educational approaches to literacy, the goal being to place the functional illiteracy (FI) construct within its existing scale levels. It also sheds more light on the way in which FI can be perceived in terms of different cognitive processes and underlying components of reading. By building on the previous work of other authors and previous definitions, the article brings together different views of FI and offers a perspective for a needed operational definition of the concept, which would be an appropriate reference point for future educational, political, and scientific utilization.

Democracy and Political Culture

2019 ◽  
Author(s):  
Ross McKibbin
Keyword(s):  
Political Culture ◽  
Case Studies ◽  
Social System ◽  
Political System ◽  
Democratic Politics ◽  
Social Structures ◽  
The Political ◽  
The Subject ◽  
The One ◽  
Definition Of

This book is an examination of Britain as a democratic society; what it means to describe it as such; and how we can attempt such an examination. The book does this via a number of ‘case-studies’ which approach the subject in different ways: J.M. Keynes and his analysis of British social structures; the political career of Harold Nicolson and his understanding of democratic politics; the novels of A.J. Cronin, especially The Citadel, and what they tell us about the definition of democracy in the interwar years. The book also investigates the evolution of the British party political system until the present day and attempts to suggest why it has become so apparently unstable. There are also two chapters on sport as representative of the British social system as a whole as well as the ways in which the British influenced the sporting systems of other countries. The book has a marked comparative theme, including one chapter which compares British and Australian political cultures and which shows British democracy in a somewhat different light from the one usually shone on it. The concluding chapter brings together the overall argument.

scholarly journals A remark on local fractional calculus and ordinary derivatives

2016 ◽  
Vol 14 (1) ◽  
pp. 1122-1124 ◽  
Author(s):  
Ricardo Almeida ◽  
Małgorzata Guzowska ◽  
Tatiana Odzijewicz
Keyword(s):  
Fractional Calculus ◽  
Fractional Derivative ◽  
Short Note ◽  
General Definition ◽  
Local Fractional Derivative ◽  
Fundamental Properties ◽  
Local Fractional Calculus ◽  
Definition Of

AbstractIn this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly.

An LQ Approach to Active Control of Vibrations in Helicopters

1996 ◽  
Vol 118 (3) ◽  
pp. 482-488 ◽  
Author(s):  
Sergio Bittanti ◽  
Fabrizio Lorito ◽  
Silvia Strada
Keyword(s):  
Optimal Control ◽  
Active Control ◽  
Linear Quadratic ◽  
Control Effort ◽  
Vibration Effect ◽  
Suitable Definition ◽  
Lq Optimal Control ◽  
The One ◽  
Definition Of ◽  
And Control

In this paper, Linear Quadratic (LQ) optimal control concepts are applied for the active control of vibrations in helicopters. The study is based on an identified dynamic model of the rotor. The vibration effect is captured by suitably augmenting the state vector of the rotor model. Then, Kalman filtering concepts can be used to obtain a real-time estimate of the vibration, which is then fed back to form a suitable compensation signal. This design rationale is derived here starting from a rigorous problem position in an optimal control context. Among other things, this calls for a suitable definition of the performance index, of nonstandard type. The application of these ideas to a test helicopter, by means of computer simulations, shows good performances both in terms of disturbance rejection effectiveness and control effort limitation. The performance of the obtained controller is compared with the one achievable by the so called Higher Harmonic Control (HHC) approach, well known within the helicopter community.

scholarly journals AB0677 REVISING THE DEFINITION OF REACTIVE ARTHRITIS AND DIFFERENTIATION FROM UNDIFFERENTIATED SPONDYLOARTHRITIS

2020 ◽  
Vol 79 (Suppl 1) ◽  
pp. 1633.2-1634
Author(s):  
F. Cosan ◽  
O. M. Gedar
Keyword(s):  
Causative Agent ◽  
Reactive Arthritis ◽  
Case Reports ◽  
Experimental Studies ◽  
Classification Criteria ◽  
General Definition ◽  
Parasitic Infections ◽  
Undifferentiated Spondyloarthritis ◽  
Classical Definition ◽  
Definition Of

Background:Reactive arthritis (ReA) is defined by 1999 ACR criteria as arthritis preceding a bacterial genitourinary (GUS) or gastrointestinal (GIS) infection in 3 days-6 weeks and evidence of triggering infection. Recently, ReA is classified as SpA and patients who do not fulfill SpA criteria are classified as undifferentiated spondyloarthritis (USpA) according to ASAS/EULAR SpA classification criteria.Objectives:In several case reports which are associated with other infective agents are reported and the definition is extended for some clinicians so that SpA which is occurred after any infection is called as ReA. On the other hand, some researchers still accept the classical definition of ReA. The problem with the heterogeneity of opinions and unstandardized definition of ReA hinders studies about pathogenesis and standardization of treatments. In this study, we aimed to determine the spectrum of the use of the definition of reactive arthritis in publications in PubMed between 2009-2019.Methods:The ReA keyword is searched in PubMed for the years between 2009-2019. 248 different publications have been identified and included in this research. 89 articles, 47 reviews, 108 case reports, 2 guidelines, and 2 editorials reviewed for the definition of ReA.Results:Only 42.7% (106 patients) of these publications meet the classical definition which suggests ReA after only GIS and GUS infections. In 4 (1.6%) of the publications ReA was defined after GIS, GUS and oropharyngeal infections; in 3 (1,2%) of the publications after any bacterial infection; in 9 (3.6%) of the publications after any infection. In 8 (3.2%) of the publications, ReA and USPA was used correspondingly. In 39 (15,7%) of the publications the term agent related, ReA was used without making a general definition for ReA. 79 publications (31,9%) have not defined ReA.According to causative agent and ReA relationship, in 64 (24,6%) general infective agents, in 75 (30,2%) classical agents, in 22 (8,9%) other bacterial agents, in 23 (9,3%) streptococcus, in 10(4%) intravesical BCG, in 6 (2.4%) HIV, in 6 (2.4%) tuberculosis, in 12 (4,8%) clostrudium difficle, in 2 (0.8%) parasites were reported. In 31 (12,5%) of the publications the causative agent for the ReA was unknown, the diagnosis was made clinically.Conclusion:In this study, it is aimed to draw attention terminology intricacy and the need for the standardization of the definition of ReA and USpA. It is clear that to standardize the definition of Rea and USpA is necessary. Between 2009-2019 there are reported cases diagnosed as ReA associated with bacterial infections (especially with Clostridium difficile, streptococcus and tuberculosis infections), and viral infections (by a majority with HIV), and parasitic infections. It is not clear if we need to define them classically or define them as USPA. Another important consideration is the necessity of extended laboratory investigations to find out the real causative agent even if the patient is clinically diagnosed with ReA. The requirement of the differentiation between ReA and USpA must be revealed for therapeutic researches.References:[1]A proposal for the classification of patients for clinical and experimental studies on reactive arthritis. Pacheco-Tena C, Burgos-Vargas R, Vázquez-Mellado J, Cazarín J, Pérez-Díaz JA. J Rheumatol. 1999 Jun;26(6):1338-46.[2]The Assessment of SpondyloArthritis International Society classification criteria for peripheral spondyloarthritis and for spondyloarthritis in general. Rudwaleit M, van der Heijde D, Landewé R, Akkoc N, Brandt J, Chou CT, Dougados M, Huang F, Gu J, Kirazli Y, et al. Ann Rheum Dis. 2011;70:25–31.Disclosure of Interests:None declared

Sign in / Sign up

Export Citation Format

Share Document