scholarly journals Specification and Verification in Integrated Model of Distributed Systems (IMDS)

Computers ◽  
2018 ◽  
Vol 7 (4) ◽  
pp. 65 ◽  
Author(s):  
Wiktor Daszczuk
Keyword(s):  
Distributed Systems ◽  
Rapid Development ◽  
Integrated Model ◽  
Automated Verification ◽  
Independent Components ◽  
Uniform Model ◽  
Relationship Of ◽  
The Relationship ◽  
Natural Characteristics ◽  
The Internet Of Things

Distributed systems, such as the Internet of Things (IoT) and cloud computing, are becoming popular. This requires modeling that reflects the natural characteristics of such systems: the locality of independent components, the autonomy of their decisions, and asynchronous communication. Automated verification of deadlocks and distributed termination supports rapid development. Existing techniques do not reflect some features of distribution. Most formalisms are synchronous and/or use some kind of global state, both of which are unrealistic. No model supports the communication duality that allows the integration of a remote procedure call and client-server paradigm into a single, uniform model. The majority of model checkers refer to total deadlocks. Usually, they do not distinguish between communication deadlocks from resource deadlocks and deadlocks from distributed termination. Some verification mechanisms check partial deadlocks at the expense of restricting the structure of the system being verified. The paper presents an original formalism for the modeling and verification of distributed systems. The Integrated Model of Distributed Systems (IMDS) defines a distributed system as two sets: states and messages, and the relationship of the “actions” between these sets. Communication duality provides projections on servers and on traveling agents, but the uniform specification of the verified system is preserved. General temporal formulas over IMDS, independent of the structure of the verified system, allow automated verification. These formulas distinguish between deadlocks and distributed termination, and between communication deadlocks and resource deadlocks. Partial deadlocks and partial termination can be checked. The Dedan tool was developed using IMDS formalism.

scholarly journals Integration of Pedagogical and Production Factors in the Process of the Formation of Industry 4.0

TEM Journal ◽  
2021 ◽  
pp. 1964-1970
Author(s):  
Nikolay Chapaev ◽  
Olga Akimova ◽  
Yevgeniy Dorozhkin ◽  
Andrey Efanov ◽  
Ekaterina Bychkova
Keyword(s):  
Industry 4.0 ◽  
Industrial Revolution ◽  
Rapid Development ◽  
Student Assessment ◽  
Teacher Assessment ◽  
Educational Process ◽  
Production Factors ◽  
Ancient Times ◽  
Relationship Of ◽  
The Relationship

The rapid development of Industry 4.0 as a result of the Fourth Industrial Revolution brings back the relationship of pedagogy and production to mutual integration that has been their characteristic since ancient times. The study revealed high digital readiness of students (4.24 according to the student assessment and 2.82 according to the teacher assessment on a 5- point scale) and very low readiness of production to accept integrated learning (1.68 and 2.67, respectively), as well as the poor digitalization of the educational process according to the students and teachers, who are more closely familiar with the reality of production (2.03 and 2.45, respectively).

The Application of Internet of Things in Smart Grid

2013 ◽  
Vol 718-720 ◽  
pp. 2390-2400
Author(s):  
Li Jun Zhao ◽  
Fei Zhou Zhang ◽  
Han Xian He
Keyword(s):  
Internet Of Things ◽  
Smart Grid ◽  
Rapid Development ◽  
Actual Situation ◽  
Power Resources ◽  
Application Analysis ◽  
The Relationship ◽  
Detailed Application ◽  
The Internet Of Things ◽  
Development Prospects

With the rapid development of science and technology, the concept of smart grid is proposed and continuously developed. Its inevitable to apply the current technology of Internet of Things (IOT) to Smart Grid, to make peoples access to power resources more intelligent, convenient. Considering on the actual situation, this paper starts from the smart grid concept, then makes an illustration on the relationship between the Internet of Things and Smart Grid, and detailed application analysis on seven actual cases about Things Networkings using on the Smart Grid, at last the elaboration of the development prospects and the importance of the combination of IOT and Smart Grid.

scholarly journals FOURTH INDUSTRIAL REVOLUTION: HOW THE INTERNET OF THINGS INFLUENCESON INDUSTRIAL BUSINESS RELATIONSHIPS?

2018 ◽  
pp. 16-29 ◽  
Author(s):  
A. V. Trachuk ◽  
N. V. Linder
Keyword(s):  
Internet Of Things ◽  
Information Exchange ◽  
Industrial Revolution ◽  
The Internet ◽  
Industrial Companies ◽  
Demand Information ◽  
Relationship Of ◽  
The Relationship ◽  
The Internet Of Things ◽  
Selection Of

Empirical research is devoted to influence of quality and value of relationship of partners on acceptance of the Internet-of-Things (IoT) technologies. Research is based on carrying out interview in selection of 51 companies (157 respondents).Transformation of relationship of the industrial companies in the B2B markets as a result of introduction of technology of the Internet of things is shown. It is shown that the IoT technologies influence transformation of norms of relationship among which a key role play: information exchange, technical feasibility, flexibility, openness, technological acceptance, trust, lack of opportunism, monitoring of behavior of partners. IntroductionofIoTaddsonemorekeyinterrelationhavingnatureofblastingtechnology – information. Further it will demand “information as service” model development.Key characteristics of quality, and also function of value of the relationship, influencing acceptance by the companies of the IoT technologies are allocated. Рractical recommendations about application of the received results of research are presented.

scholarly journals The Role of Grit in Students’ L2 Engagement in the English as a Foreign Language Classroom

2021 ◽  
Vol 12 ◽  
Author(s):  
Juan Liu
Keyword(s):  
Foreign Language ◽  
Teaching And Learning ◽  
Rapid Development ◽  
Language Education ◽  
Academic Field ◽  
Language Classroom ◽  
The One ◽  
Relationship Of ◽  
The Relationship

Due to the rapid development of teaching and learning English as a Foreign Language (EFL), on the one hand, and the arrival of positive psychology (PP) in the process of language education, on the other hand, student engagement has been burgeoned and got a noteworthy role in the academic field. The present review attempts to investigate the relationship of grit with students’ L2 engagement, by examining both backgrounds and consequences of grit. Consequently, the effectiveness of findings for policymakers and academic experts is discussed, along with the prominence of strengthening grit in the scholastic contexts in order to cultivate character in learners and improve their prospects.

scholarly journals Mediated Tarekat Qadiriyah wa Naqshabandiyah in the Digital Era: An Ethnographic Overview

2021 ◽  
Vol 22 (1) ◽  
pp. 35
Author(s):  
Zulfan Taufik ◽  
Muhammad Taufik
Keyword(s):  
Internet Of Things ◽  
The Internet ◽  
Online Media ◽  
Islamic Revival ◽  
Digital Era ◽  
Challenges And Opportunities ◽  
Sufi Order ◽  
Relationship Of ◽  
The Relationship ◽  
The Internet Of Things

This article examines how Tarekat Qadiriyah wa Naqshabandiyah (TQN) utilizes online media to strengthen its existence. As an integral part of the Islamic revival in Indonesia, Sufi orders (tarekat) are facing remarkable challenges and opportunities in maintaining their existence in the digital era. Nevertheless, previous studies observed Sufi orders as a traditional community that would be exterminated by the pace of modernization and globalization. This article argues that Sufi orders may survive in the internet of things era, contrary to preceding discourses. Based on ethnography research, both online and offline, the authors found out that the vitality of the Sufi order can adapt, develop, and innovate using online media. TQN's use of online media through various platforms proves Sufi order’s adaptive efforts to the internet-based era. TQN’s online media provide informations on Islamic  and Sufism teachings, news, schedule of activities, and fundraising. Even though TQN members’ being active in cyber-Islamic environments, they resist online asceticism thus leverage the vertical-personal obedience, conservative authorities, and sacred rituals. These practices done by TQN members illuminate its identity as an authentic online sufism. Premises shown in this paper may enrich the scope of study within the relationship of Sufi orders and Islamic-cyber environment, especially in Indonesian context.

scholarly journals Role and Importance of IoT in the Smart City and E-Governance

2017 ◽  
Author(s):  
MUHAMMAD SAQIB ◽  
Nadia Al-Muqrashi
Keyword(s):  
Internet Of Things ◽  
Smart City ◽  
Service Providers ◽  
Smart Cities ◽  
The Internet ◽  
Smart Cameras ◽  
The Government ◽  
Relationship Of ◽  
The Relationship ◽  
The Internet Of Things

In the recent years, developments growth have been rising in utilizing of recent technologies; Smart cities have been furnished with various electronic devices concentrated on the Internet of Things (IoT) to be more smarter than before. The Internet of Things is empowered by various emerging technologies such as smart cameras, sensors, wireless communication devices etc. Smart cities are huge systems connected with countless sub-systems, and these systems are depending on the electricity to move the human, things, and data to share information. Without electric power and Internet of Things, the smart city cannot be achieved and services cannot be provided. This paper aims to provide a comprehensive concept of IoT, the smart city as well as the relationship of Smart Cities to IoT. Moreover, an extensive review of the relationship of IoT to the smart city discussed with few instances of services provided by the government using IoT technologies for the citizens. Therefore the objects and applications which come under the IoT technology that can be used to meet the objective of having a smart city. In this paper, a thorough literature on the concept of IoT with Smart City and a brief comparison of it in terms of services, challenges, and issues are discussed. Also the discussion on the issues faced by service providers with regards to technologies used to equip the citizens with up to date services.

scholarly journals Integrating Dialectical and Paradox Perspectives on Managing Contradictions in Organizations

2016 ◽  
Vol 38 (3-4) ◽  
pp. 319-339 ◽  
Author(s):  
Timothy J Hargrave ◽  
Andrew H Van de Ven
Keyword(s):  
Process Model ◽  
Integrated Model ◽  
Social Contexts ◽  
The Political ◽  
Model Account ◽  
Dialectical Perspective ◽  
Distribution Of Power ◽  
Relationship Of ◽  
The Relationship

We present a typology and process model that integrate dialectical and paradox perspectives on managing contradictions in organizations. Whereas paradox research depicts tensions between contradictory elements as irreconcilable and best managed through acceptance and synergy, the dialectical perspective portrays the relationship of such elements as adversarial and transformed through conflict. Our integrated typology and process model account for both dialectical and paradox approaches to managing contradictions and also identify two approaches, assimilation and adjustment, which combine the two. The model also identifies a key contingency, the expected distribution of power between contradictory elements, as a key influence on actors’ approaches to managing contradictions. For paradox researchers our integrated model emphasizes the need for more attention to the political, institutional, and social contexts of contradictions, practices for managing conflict, and transformation of organizational contradictions. Our integrated model suggests that dialectics researchers pay attention to the strategies managers use to productively manage tensions between contradictory elements, take a contingent view of transformation, and recognize that acceptance of contradiction may play a role in transformation. Hence our integrated model suggests a broadened agenda for both paradox and dialectics researchers.

scholarly journals Hubungan peranan teman sebaya dengan perkembangan sosial emosional siswa-siswi kelas X di SMK Negeri 2 Sewon Bantul Yogyakarta

2019 ◽  
Vol 8 (1) ◽  
Author(s):  
Evi Suryandari ◽  
Sulistiyawati Sulistiyawati ◽  
Lia Endriyani
Keyword(s):  
Social Development ◽  
Rapid Development ◽  
P Value ◽  
Cross Sectional ◽  
Test Analysis ◽  
Student Sample ◽  
Relationship Of ◽  
The Relationship ◽  
Cluster Random Sampling

Teenagers are the time to mature with the rapid development of physical, cognitive, emotional and social. Not all adolescents get through smoothly. Emotional, social problems marked aggressiveness and delinquency during 2016 in DIY recorded 43 cases of student brawl, perpetrators of children aged 14-18 years. One of the factors that influence is peers. Teens spend a lot of time hanging out with their peers, so peers are influential in emotional-social development. To know the relationship of peer role with emotional-social development of students at SMK Negeri 2 Sewon Bantul Yogyakarta. The design of this research is analytic descriptive with a cross-sectional approach — the sampling condition used cluster random sampling method with 107 student sample. The research instrument used is a peer role questionnaire and emotional, social development questionnaire — bivariate statistical test using Pearson. The majority of respondents were women of 81 people (75.7%), 16 years of age 77 people (72%), peer role was 81 people (75.7%), and emotional, social development both 101 people (94.4 %). The role of peers is with emotional-social development, both 76 (71.0%). Result of bivariate test analysis obtained p-value = 0,028 and correlation coefficient value 0,213. There is a significant relationship between the role of peers with emotional-social development in the students at SMK Negeri 2 Sewon Bantul Yogyakarta

scholarly journals Risks and security solutions existing in the Internet of things (IoT) in relation to Big Data

2020 ◽  
Vol 23 (1) ◽  
pp. e9484
Author(s):  
Yigliana Alvarez Mendoza ◽  
Tania J. Londoño Gomez ◽  
Miguel Angel Leguizamón Páez
Keyword(s):  
Big Data ◽  
Internet Of Things ◽  
The Internet ◽  
Sensitive Data ◽  
Security Risks ◽  
New Era ◽  
Multiple Data ◽  
Relationship Of ◽  
The Relationship ◽  
The Internet Of Things

The technological advance of the new era has led to the interconnection of devices, applications, people and data, giving way to the generation of the Internet of Things (IoT). The multiple data collected is so voluminous and variable that it must be stored in Big Data architectures. This evolution has provided the opportunity to have better access, quality and analysis of information, but at the same time, there is a challenge to prevent and mitigate the security risks associated with the relationship between IoT and Big Data, endangering the information collected and the user’ sensitive data, among others. The purpose of this document is to carry out a literature review to collect the security risks found between the relationship of Big Data and IoT, as well as evaluate the current solutions implemented and conclude if they cover the needs for prevention and mitigation of the risk.

scholarly journals Universes and simulations: Civilizational development in nested embedding

2018 ◽  
Vol 43 (3) ◽  
pp. 181-205
Author(s):  
Maciej Komosinski
Keyword(s):  
Rapid Development ◽  
Computer Hardware ◽  
Energetic Efficiency ◽  
Physical Universe ◽  
Computer Interfaces ◽  
Nested Structures ◽  
Relationship Of ◽  
The Relationship ◽  
Theoretical Considerations ◽  
Increased Activity

Abstract The rapid development of technology has allowed computer simulations to become routinely used in an increasing number of fields of science. These simulations become more and more realistic, and their energetic efficiency grows due to progress in computer hardware and software. As humans merge with machines via implants, brain-computer interfaces and increased activity involving information instead of material objects, philosophical concepts and theoretical considerations on the nature of reality are beginning to concern practical, working models and testable virtual environments. This article discusses how simulation is understood and employed in computer science today, how software, hardware and the physical universe unify, how simulated realities are embedded one in another, how complicated it can get in application, practical scenarios, and the possible consequences of these situations. A number of basic properties of universes and simulations in such multiply nested structures are reviewed, and the relationship of these properties with a level of civilizational development is explored.

Sign in / Sign up

Export Citation Format

Share Document