Reasoning Method Based on Intervals with Symmetric Truncated Normal Density

Error parameters are inevitable in systems. In formal verification, previous reasoning methods seldom considered the probability information of errors. In this article, errors are described as symmetric truncated normal intervals consisting of the intervals and symmetric truncated normal probability density. Furthermore, we also rigorously prove lemmas and a theorem to partially simplify the calculation process of truncated normal intervals and independently verify the formulas of variance and expectation of symmetric truncated interval given by some scholars. The mathematical derivation process or verification codes are provided for most of the key formulas in this article. Hence, we propose a new reasoning method that combines the probability information of errors with the previous statistical reasoning methods. Finally, an engineering example of the reasoning verification of train acceleration is provided. After simulating the large-scale cases, it is shown that the simulation results are consistent with the theoretical reasoning results. This method needs more calculation, while it is more effective in detecting non-error’s fault factors than other error reasoning methods.

Energy exchange calculations in a simple mechanical system to investigate the origin of friction

The microscopic origin of friction is an important topic in science and technology. To date, noteworthy aspects of it remain unsolved. In an effort to shed some light on the possible mechanisms that could give rise to the macroscopic emergence of friction, a very simple 1D system of two particles is considered, one of them is free but moving with an initial velocity, and the other confined by a harmonic potential. The two particles interact via a repulsive Gaussian potential. While it represents in a straightforward manner a tip substrate system in the real world, no analytic solutions can be found for its motion. Because of the interaction, the free particle (tip) may overcome the bound particle (substrate) losing part of its kinetic energy. We solve Newton’s equations of the two particles numerically and calculate the net exchange of energy in the asymptotic state in terms of the relevant parameters of the problem. The effective dissipation that emerges from this simple, classical model with no ad hoc terms shows, surprisingly, a range of rich, nontrivial, behavior. We give theoretical reasoning which provides a satisfactory qualitative description. The essential ingredient of that reasoning is that the transfer of energy from the incoming particle to the confined one can be regarded as the source of the emergent dissipation force the friction experienced by the incoming particle.

Why Is Civil Conflict Path Dependent? A Cultural Explanation

Empirical investigation suggests that conflict is path-dependent, i.e., current conflict leads to more conflict in the future. However, there is very little formal theory for why conflict path dependence exists. We propose a mathematical model to explore one possible pathway to explain the persistence of conflict once it starts. In this model, there are three types of cultures in two boundedly rational populations. The two populations are State Actors and Insurgents. The three cultures are Peaceable, Warring, or Bargainers. The distribution of these types is different in each population. Evolutionary dynamics determine which of these three cultures might predominate. Our simulations suggest that it is rational for people to learn to be warlike even in environments where State Actors are willing to give large side payments to “buy” peace to avoid bargaining failure. War can also be learned when State Actors and Insurgents are extremely patient and, therefore, potentially committed to Pareto improving peace deals. The outcomes of these simulations suggest that cultural learning can be a hitherto ignored explanation for why conflict is path dependent. If culture is indeed a possible cause for conflict, the best intentions of technocratic peacemakers trying to build frameworks for resource sharing and/or institutional building may fail, simply because such structures are not suited to local conditions. On the flip side, our model also provides theoretical reasoning for the observation that conflict is not a deterministic outcome of bargaining and commitment failures.

The Power and Limits of Reason: Al-Razı on the Possibility of General and Particular Metaphysical Knowledge

This article examines al-Rāzī’s views on the possibility of metaphysical knowledge. Firstly, after outlining his classification of the metaphysical knowable into essence and existence as well as undetailed (ijmālī) and detailed (tafṣīlī), the article analyzes al-Rāzī’s acceptance of the possibility of general knowledge of metaphysics under a few headings by delving into some major themes. These include the claims that the category of existence is broader than the world of the sensible, that theoretical reasoning leads to metaphysical knowledge, and lastly that the theoretical evidence provides necessary knowledge about the existence of a creator. Al-Rāzī has also been demonstrated in al-Matālib to have inherited the arguments rejecting metaphysical knowledge, which he had attributed in his earlier works to a group with the name muhandisiyyūn, by restricting them to the issue of God’s essence being knowable. For al-Rāzī, theoretical reasoning could provide knowledge about the existence of a particular metaphysical being but not about its quiddity. The article further underlines the metaphysical and epistemic theses for the position on the unknowability of God’s essence and discusses its semantic interpretation. The debate on the potential of theoretical reason to provide uncertain knowledge of detailed metaphysics in the form of the best possible explanations (the metaphysics of the best explanation, or al-awlawiyya), however, is left to another article.

Does flexible work arrangements decrease or increase turnover intention? A comparison between the social exchange theory and border theory

PurposeMore companies embrace flexible work arrangements (FWA) as one of their employee retention strategies, yet its effectiveness is not consistent. Generally, past researchers use the social exchange theory to explain how FWA lowers turnover intention, while the rest adopts the border theory to justify why FWA can be ineffective. Here, the authors compare the competing theories for the first time to differentiate the theoretical reasoning of three forms of FWA (flex time, flex leave and homeworking). Two mediators (organisational commitment and work−family conflicts) are chosen to represent the mechanism of each theory.Design/methodology/approachThe authors employ the latest wave of the International Social Survey Program (ISSP) Work Orientation Module from 2015. Based on nationally representative data from 35 nations and 17,604 participants, the authors employed simple mediation and parallel double-mediation models via bootstrapping procedures to investigate the theoretical reasoning behind each FWA.FindingsThe results indicate that organisational commitment and work−family conflicts as significant mediators in all models, supporting both theories. The authors first tested each mediator in separated models. In models concerning the social exchange theory, all FWA lead to increased organisational commitment before lowering turnover intention, implying the beneficial outcomes of FWA. However, findings also support the border theory's perspective where flex time and homeworking increase turnover intention through heightened work−family conflicts. The parallel double-mediation further suggests that all three FWA forms have their unique theoretical framework, impacting turnover intention differently.Originality/valueBoth the social exchange theory and border theory are well-developed theories but grounded on different theoretical reasoning. This is the first paper that compares both theoretical perspectives in the context of FWA. It offers a new perspective in explaining the inconclusive effectiveness of FWA and provides future researchers a more integrated interpretation and prediction of FWA's impact on turnover intention.

The ECB Under the Threat of Fiscal Dominance – The Individual Central Banker Dimension

This paper examines the threat of fiscal dominance for central banks with a focus on the individual dimension. A general symptom of fiscal dominance is a feedback loop from sovereign debt developments to monetary policy decisions. Our theoretical reasoning clarifies under which assumptions the individual members in a federal central bank system should pay particular attention to their home regions’ public debt situation. We present empirical evidence for the existence of such a repercussion in the context of the ECB Council. Based on public statements regarding the Pandemic Emergency Purchase Programme (PEPP), we classify the governors of the euro area national central banks (NCB) and the ECB board members as “hawks”, “neutrals,” and “doves”. We correlate the resulting classification with their home countries’ debt level. The resulting pattern is consistent with what can be expected for a regime of fiscal dominance. Whereas the doves tend to come from high-debt countries, the average debt level of the hawks’ home countries is significantly lower. As expected, this pattern is even more pronounced for the NCB presidents than for board members.

Maternal Aggression

This chapter explores evolutionary psychological (EP) perspectives on maternal aggression, focusing on physical aggression, both lethal and nonlethal. It argues that the psychological mechanisms underpinning such aggression held an adaptive function to our foremothers. If such mechanisms formerly did hold an adaptive function, then maternal aggression should not be expected to be a random event, nor necessarily caused by pathology. Rather, the risk factors and characteristic traits of maternal aggression should follow an ancestrally adaptive and evolutionary logic. In which case, it should be a predictable phenomenon on a societal level. And as the chapter presents, the theoretical understanding of maternal aggression that EP perspectives offer has allowed for the successful prediction of risk factors and characteristic traits for such aggression. The chapter reviews these risk factors and traits, along with the theoretical reasoning the predictions are based on and the cross-cultural empirical support for their existence.

Inspirational Sources for Church Development

The purpose of this article is to identify and discuss key issues in church growth movement and the litera- ture following in its wake, which represents vital sources for the emerging discipline in practical theology of church development. The church growth movement has had a strong impact on churches around the globe. Factors such as scriptural authority, evangelism, cultural openness and relevance, pastoral leader- ship, organization, planning, vision and goals are among issues and factors discussed in the literature. Among the shortcomings of church growth thinking is an all-too-simple theoretical reasoning, a lack of causal modeling and theological issues only superficially discussed. Oftentimes, the growth is assumed to come simply by addressing a few factors. Nevertheless, several of the issues and factors that are identified and discussed have influenced subsequent work on church development.