scholarly journals An Automated Formal Approach to Managing Dynamic Reconfiguration

2006 ◽  
Author(s):  
Ian Warren ◽  
Jing Sun ◽  
Sanjev Krishnamohan ◽  
Thiranjith Weerasinghe
Keyword(s):  
Dynamic Reconfiguration ◽  
Formal Approach

Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip

2013 ◽  
Vol 59 (9) ◽  
pp. 709-728 ◽  
Author(s):  
Sergey Ostroumov ◽  
Leonidas Tsiopoulos ◽  
Juha Plosila ◽  
Kaisa Sere
Keyword(s):  
Dynamic Reconfiguration ◽  
Formal Approach ◽  
Networks On Chip ◽  
Agent Based ◽  
On Chip

Reconfiguration of Autonomous Robotics

2015 ◽  
Vol 3 (1) ◽  
pp. 41-58
Author(s):  
Yujian Fu ◽  
Steven Drager
Keyword(s):  
Natural Transformation ◽  
Formal Model ◽  
Research Work ◽  
Dynamic Reconfiguration ◽  
Dynamic Adaptation ◽  
Autonomous Robotics ◽  
Enabling Technology ◽  
Formal Approach ◽  
Heterogeneous Objects ◽  
Specification And Verification

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specification and verification of reconfigurability of ARSs. Two typical problems w.r.t. the dynamic adaptation and reconfiguration of ARSs were identified and studied. The first problem is how to formally represent the ARSs and describe the reconfigurable behavior precisely so that the ARSs can adapt to the new changes. The second problem focuses on how to analyze and verify the formal model of the reconfiguration and ensure the correctness of the system during reconfiguration. Considering behavior preserving in the reconfiguration model, a net reconfigurations based on the natural transformation is introduced.

Reconfiguration of Autonomous Robotics

2019 ◽  
pp. 1511-1527
Author(s):  
Yujian Fu ◽  
Steven Drager
Keyword(s):  
Natural Transformation ◽  
Formal Model ◽  
Research Work ◽  
Dynamic Reconfiguration ◽  
Dynamic Adaptation ◽  
Autonomous Robotics ◽  
Enabling Technology ◽  
Formal Approach ◽  
Heterogeneous Objects ◽  
The Future

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specification and verification of reconfigurability of ARSs. Two typical problems w.r.t. the dynamic adaptation and reconfiguration of ARSs were identified and studied. The first problem is how to formally represent the ARSs and describe the reconfigurable behavior precisely so that the ARSs can adapt to the new changes. The second problem focuses on how to analyze and verify the formal model of the reconfiguration and ensure the correctness of the system during reconfiguration. Considering behavior preserving in the reconfiguration model, a net reconfiguration based on the natural transformation is introduced.

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

Dynamic Reconfiguration in Planetary Exploration: A Sociomaterial Ethnography

MIS Quarterly ◽  
2014 ◽  
Vol 38 (3) ◽  
pp. 831-848 ◽  
Author(s):  
Melissa Mazmanian ◽  
◽  
Marisa Cohn ◽  
Paul Dourish ◽  
◽  
...  
Keyword(s):  
Dynamic Reconfiguration ◽  
Planetary Exploration

THE CHALLENGES OF TEACHING FOREIGN LANGUAGES TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

2020 ◽  
pp. 115-122
Author(s):  
Elena N. Gur'yanova ◽  
Keyword(s):  
Learned Helplessness ◽  
Educational Needs ◽  
Point Of View ◽  
Teaching Staff ◽  
Technical Equipment ◽  
Special Educational Needs ◽  
Right To Education ◽  
Formal Approach ◽  
Program Compliance ◽  
Special Health

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.

Sign in / Sign up

Export Citation Format

Share Document