Concurrent incorrectness separation logic

Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal of proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL), which extends ISL to account for bug catching in concurrent programs. Inspired by the work on Views, we design CISL as a parametric framework, which can be instantiated for a number of bug catching scenarios, including race detection, deadlock detection, and memory safety error detection. For each instance, the CISL meta-theory ensures the soundness of incorrectness reasoning for free, thereby guaranteeing that the bugs detected are true positives.

Assessment of Quality in Saudi Arabian Roadways

A new assessment model was developed in this work. The developed model introduced a new approach and reference for assessment factors control the quality in Saudi Arabian roads using the fuzzy logic system. Fuzzy logic system was chosen to be used in this research due to its suitability for uncertain and approximate reasoning that involves human intuitive thinking as well as, it requires a little data to achieve the aim of the proposed model. Furthermore, the fuzzy logic has the ability for combining many effects such as the probability of occurrence and the impact of factors on the quality of roadways construction. The methodology of this research included conducting a field survey with construction practitioners in the field of roadways projects across Saudi Arabia. The proposed model was then evaluated and applied using the collected data from the field survey. The study results proved that the proposed model can be successfully used in the assessment of factors affecting quality in roadways. The major factors that found to be significantly affecting the quality in construction of roadways projects were identified according to their importance as; 1) Change order control; 2) Fluctuation default of Subcontractor; 3) Third party delay 4) Contract dispute results from disagreement. The proposed model is considered as a general model that can be easily adapted and applied to other types of projects.

Some Advances on the Solution of the Generalized Law of Importation for Fuzzy Implication Functions

The law of importation has attracted the interest of many researchers devoted to fuzzy implication functions in the last decades. This property has several important applications, especially in approximate reasoning and image processing. Several generalizations of this property have been proposed. Specifically, one generalization related to the law of migrativity was recently introduced by Baczyński et al. in which two fuzzy implication functions are involved. In this paper, some advances on the solution of this functional equation for the particular case where the involved fuzzy conjunction is a t-norm are presented. Indeed, a complete characterization of all those pairs of fuzzy implication functions with a strict natural fuzzy negation satisfying the generalized law of importation is achieved.

Estimation of Machining Sustainability Using Fuzzy Rule-Based System

Quantification of a highly qualitative term ‘sustainability’, especially from the perspective of manufacturing, is a contemporary issue. An inference mechanism, based on approximate reasoning, is required to tackle the complexities and uncertainties of the manufacturing domain. The work presents development of a fuzzy rule-based system to quantify sustainability of the most widely utilized manufacturing process: machining. The system incorporates the effects of key control parameters of machining on several sustainability measures, as reported in the literature. The measures are categorized under the three dimensions of sustainability and contribute to the sustainability scores of the respective dimensions with different weightages. The dimensions’ scores are added up in different proportions to obtain the holistic sustainability score of the process. The categories of the control parameters incorporated into the system include type of the process, work material, material hardness, tool substrate and coating, tool geometry, cutting fluids, and cutting parameters. The proposed method yields sustainability scores, ranging between 0 and 100 of machining processes against the given values of their prominent control parameters. Finally, the rule-based system is applied to three different machining processes to obtain the measures of their accomplishment levels regarding economic, environmental, and societal dimensions of sustainability. The sustainability score of each process is then obtained by summing up the three accomplishment levels under the respective weightages of the dimensions. The presented approach holds immense potentials of industrial application as it can conveniently indicate the current sustainability level of a manufacturing process, leading the practitioners to decide on its continuation or improvement.

An emotion-driven virtual counselling system in computer-mediated communication

We present and evaluate a virtual counselling system that is devoted to improving user awareness of emotional situations in computer-mediated communication and making informed decisions on actions to recommend to the users involved in a conversation. Starting from elements such as the moods and emotions of the users involved in a conversation, the system constructs the emotional signatures of individuals and groups that are used to characterize a situation. It then uses an approximate reasoning mechanism based on three-way decisions to classify recognized situations with respect to particular emotional dynamics based on emotional contagion. A prototype of the system has been experimented on in a real context based on collaboration between university students for the realization of project work. The distinctive features of the system have been evaluated with accuracy measures, and the results are promising.

Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear FunctionsThis work has been partially supported in 2019-2020 by the domestic research grant of University of Marketing and Distribution Sciences in Kobe (Japan).

Summary. IF-THEN rules in fuzzy inference is composed of multiple fuzzy sets (membership functions). IF-THEN rules can therefore be considered as a pair of membership functions [7]. The evaluation function of fuzzy control is composite function with fuzzy approximate reasoning and is functional on the set of membership functions. We obtained continuity of the evaluation function and compactness of the set of membership functions [12]. Therefore, we proved the existence of pair of membership functions, which maximizes (minimizes) evaluation function and is considered IF-THEN rules, in the set of membership functions by using extreme value theorem. The set of membership functions (fuzzy sets) is defined in this article to verifier our proofs before by Mizar [9], [10], [4]. Membership functions composed of triangle function, piecewise linear function and Gaussian function used in practice are formalized using existing functions. On the other hand, not only curve membership functions mentioned above but also membership functions composed of straight lines (piecewise linear function) like triangular and trapezoidal functions are formalized. Moreover, different from the definition in [3] formalizations of triangular and trapezoidal function composed of two straight lines, minimum function and maximum functions are proposed. We prove, using the Mizar [2], [1] formalism, some properties of membership functions such as continuity and periodicity [13], [8].