Characterizations of hoops based on stabilizers

2020 ◽  
Vol 39 (3) ◽  
pp. 4341-4348
Author(s):  
Jun Tao Wang ◽  
R. A. Borzooei ◽  
M. Aaly Kologani

In this paper, we characterize the algebraic structure of hoops via stabilizers. First, we further study left and right stabilizers in hoops and discuss the relationship between them. Then, we characterize some special classes of hoops, for example, Wajsberg hoops, local hoops, Gödel hoops and stabilizer hoops, in terms of stabilizers. Finally, we further determine the relationship between stabilizers and filters in hoops and obtain some improvement results. This results also give answer to open problem, which was proposed in [Stabilizers in MTL-algebras, Journal of Intelligent and Fuzzy Systems, 35 (2018) 717-727]. These results will provide a more general algebraic foundation for consequence connectives in fuzzy logic based on continuous t-norms.

2019 ◽  
Vol 17 (1) ◽  
pp. 998-1013
Author(s):  
Xiao Yun Cheng ◽  
Mei Wang ◽  
Wei Wang ◽  
Jun Tao Wang

Abstract The main goal of this paper is to introduce the notion of stabilizers in EQ-algebras and develop stabilizer theory in EQ-algebras. In the paper, we introduce (fuzzy) left and right stabilizers and investigate some related properties of them. Then, we discuss the relations among (fuzzy) stabilizers, (fuzzy) prefilters (filters) and (fuzzy) co-annihilators. Also, we obtain that the set of all prefilters in a good EQ-algebra forms a relative pseudo-complemented lattice, where Str(F, G) is the relative pseudo-complemented of F with respect to G. These results will provide a solid algebraic foundation for the consequence connectives in higher fuzzy logic.


2021 ◽  
Vol 43 (1) ◽  
pp. 1-79
Author(s):  
Colin S. Gordon

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale—an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.


2021 ◽  
Vol 16 ◽  
pp. 155892502198897
Author(s):  
Joy Sarkar ◽  
Md Abdullah Al Faruque ◽  
Moni Sankar Mondal

The main purpose of this study is to predict and develop a model for forecasting the Seam Strength (SS) of denim garments with respect to the thread linear density (tex) and Stitches Per Inch (SPI) by using a Fuzzy Logic Expert System (FLES). The seam strength is an important factor for the serviceability of any garments. As seams bound the fabric pieces together in a garment, the seams must have sufficient strength to execute this property even in the unexpected severe conditions where the garments are subjected to loads or any additional internal or external forces. Sewing thread linear density and number of stitches in a unit length of the seam are the two of the most important factors that affect the seam strength of any garments. But the relationship among these two specific variables and the seam strength is complex and non-linear. As a result, a fuzzy logic based model has been developed to demonstrate the relationship among these parameters and the developed model has been validated by the experimental trial. The coefficient of determination ( R2) was found to be 0.98. The mean relative error also lies withing acceptable limit. The results have suggested a very good performance of the model in the case of the prediction of the seam strength of the denim garments.


2020 ◽  
Vol 4 (Supplement_1) ◽  
pp. 652-653
Author(s):  
Emily Urban-Wojcik ◽  
Soomi Lee ◽  
Susan Charles ◽  
David Almeida ◽  
Richard Davidson ◽  
...  

Abstract The hippocampus, implicated in learning, memory, and spatial navigation, is one of the few brain structures that demonstrates neurogenesis across the lifespan. Hippocampal volume (HV), then, may be a marker of exposure to and engagement with novel events and environments, which may in turn be related to cognitive functioning. The present study examined the relationship between HV and activity diversity (AD), which characterizes the range and evenness of participation in daily activities. In 52 participants who completed the daily-diary and neuroscience projects of the Midlife in the United States Refresher study, greater levels of AD across an 8-day period were related to greater HV averaged across the left and right hemispheres when adjusting for overall brain volume, total activity time, time between projects, and relevant sociodemographic variables, b=1128mm3, t(43)=2.54, p=.015. These findings may point to a mechanism through which AD has been related to better cognitive and mental health outcomes.


Healthcare ◽  
2021 ◽  
Vol 9 (8) ◽  
pp. 936
Author(s):  
Milan Kojić ◽  
Branka Protić Gava ◽  
Milan Bajin ◽  
Marko Vasiljević ◽  
Jasmina Bašić ◽  
...  

Background: The research objective of the study is to determine the differences in the manifestation of the motor status of normally fed preschool test subjects, classified into groups according to foot status. Methods: This is a simple, comparative observational study. Preschool children included in this study have been subjected to anthropometric measurements in order to determine BMI, tests for motor skills assessment (running at 20 m from a high start, standing broad jump, backwards polygon, rectangular seated forward bend, plate tapping, sit-ups for 60 s, and bent arm hang), and a determination of foot status. The total sample was comprised of 202 test subjects who attended a regular sports program, aged 3.9 to 6.5 years of decimal age (M = 141; Age = 5.3 ± 0.74; Height = 117.3 ± 7.1; Weight = 22 ± 3.7; F = 61; Age = 5.1 ± 0.73; Height = 114.9 ± 7.4; Weight = 21.2 ± 3.8), of which 153 (75.7%) were normally fed, 6 (3%) were undernourished, 30 were overweight (14.9%), and 13 were obese (6.4%). Results: In the total sample, 30 (14.9%) subjects had normal arch feet, 90 (44.6%) high arched feet, and 41 (20.3%) flat feet. We found 41 (20.3%) subjects who had different left and right foot statuses within this sample. The data were processed by means of nonparametric tests (the Kruskal–Wallis and Mann–Whitney U tests) at a significance level p ≤ 0.05. Conclusion: The results show that there is a statistically significant difference between groups of subjects with different foot statuses in the manifestation of motor status in most tests, with a significance level of p ≤ 0.01, and in tests of sit-ups for 60 s and the bent arm hang, there is a statistically significant difference, the level of which is p ≤ 0.05. It is only in the inclination test of rectangular seated forward bend that no statistically significant difference was displayed.


1996 ◽  
Vol 12 (02) ◽  
pp. 85-98
Author(s):  
Jun Li ◽  
Michael G. Parsons

Fuzzy logic is a technique that attempts to systematically and mathematically emulate human reasoning. This paper investigates the feasibility of applying fuzzy logic to transportation and shipbuilding market modeling, analysis and forecasting. Fuzzy systems called fuzzy decision modelers (FDMs) are developed based on fuzzy logic techniques to model the crude oil tanker freight rate market, the tanker new order market and the tanker scrapping market. Our results show that the FDMs are able to model and forecast these economic systems very well. In addition, the FDMs also provide valuable insights into market mechanisms and market participants' decision-making patterns. The FDMs are mathematical model-free, nonlinear systems capable of capturing complicated relationships among economic variables. The FDMs are easy to develop and easy to interpret. These advantages of fuzzy systems suggest that fuzzy logic techniques are a promising alternative in shipping and shipbuilding market modeling, analysis and forecasting.


Sports ◽  
2018 ◽  
Vol 6 (4) ◽  
pp. 174 ◽  
Author(s):  
Thomas Dos’Santos Christopher Thomas ◽  
Paul Comfort ◽  
Paul A. Jones

The purpose of this study was twofold: (1) to examine differences in change of direction (COD) performance and asymmetries between team-sports while considering the effects of sex and sport; (2) to evaluate the relationship between linear speed, COD completion time, and COD deficit. A total of 115 (56 males, 59 females) athletes active in cricket, soccer, netball, and basketball performed the 505 for both left and right limbs and a 10-m sprint test. All team-sports displayed directional dominance (i.e., faster turning performance/shorter COD deficits towards a direction) (p ≤ 0.001, g = −0.62 to −0.96, −11.0% to −28.4%) with, male cricketers tending to demonstrate the greatest COD deficit asymmetries between directions compared to other team-sports (28.4 ± 26.5%, g = 0.19–0.85), while female netballers displayed the lowest asymmetries (11.0 ± 10.1%, g = 0.14–0.86). Differences in sprint and COD performance were observed between sexes and sports, with males demonstrating faster 10-m sprint times, and 505 times compared to females of the same sport. Male soccer and male cricketers displayed shorter COD deficits compared to females of the same sport; however, female court athletes demonstrated shorter COD deficits compared to male court athletes. Large significant associations (ρ = 0.631–0.643, p < 0.001) between 505 time and COD deficit were revealed, while trivial, non-significant associations (ρ ≤ −0.094, p ≥ 0.320) between COD deficit and 10-m sprint times were observed. In conclusion, male and female team-sport athletes display significant asymmetries and directional dominance during a high approach velocity 180° turning task. Coaches and practitioners are advised to apply the COD deficit for a more isolated measure of COD ability (i.e., not biased towards athletes with superior acceleration and linear speed) and perform COD speed assessments from both directions to establish directional dominance and create a COD symmetry profile.


2018 ◽  
Vol 47 (2) ◽  
pp. 391-414 ◽  
Author(s):  
Nicholas T. Davis

In this article, I explore the relationship between sorting and the value that individuals assign to compromise. Analyzing four separate, nationally-representative surveys from 2007 to 2016, I show that a reliable asymmetry among partisans exists regarding their preference for political leaders who compromise. Among persons with right-leaning identities, high levels of overlap between partisanship and ideology undercut the professed desirability of compromise and amplify the association between compromise and selling out one’s principles. However, when individuals are asked about the specific extent to which one’s “side” deserves greater deference in the policymaking process, differences between persons with left- and right-leaning identities disappear. Well-sorted individuals are uniformly unwilling to distribute policymaking demands equally. Although this disconnect is emblematic of the general tension between abstract principles and episodic behavior (or “practicing what you preach”), it also highlights how the introduction of material threat may challenge expressive commitments to lofty ideals.


2017 ◽  
Vol 24 (s1) ◽  
pp. 174-181 ◽  
Author(s):  
Zygmunt Paszotta ◽  
Malgorzata Szumilo ◽  
Jakub Szulwic

Abstract This paper intends to point out the possibility of using Internet photogrammetry to construct 3D models from the images obtained by means of UAVs (Unmanned Aerial Vehicles). The solutions may be useful for the inspection of ports as to the content of cargo, transport safety or the assessment of the technical infrastructure of port and quays. The solution can be a complement to measurements made by using laser scanning and traditional surveying methods. In this paper the authors recommend a solution useful for creating 3D models from images acquired by the UAV using non-metric images from digital cameras. The developed algorithms, created and presented software allows to generate 3D models through the Internet in two modes: anaglyph and display in shutter systems. The problem of 3D image generation in photogrammetry is solved by using epipolar images. The appropriate method was presented by Kreiling in 1976. However, it applies to photogrammetric images for which the internal orientation is known. In the case of digital images obtained with non-metric cameras it is required to use another solution based on the fundamental matrix concept, introduced by Luong in 1992. In order to determine the matrix which defines the relationship between left and right digital image it is required to have at least eight homologous points. To determine the solution it is necessary to use the SVD (singular value decomposition). By using the fundamental matrix the epipolar lines are determined, which makes the correct orientation of images making stereo pairs, possible. The appropriate mathematical bases and illustrations are included in the publication.


i-Perception ◽  
2020 ◽  
Vol 11 (1) ◽  
pp. 204166952090355 ◽  
Author(s):  
Jan Koenderink ◽  
Andrea van Doorn ◽  
Christoph Witzel ◽  
Karl Gegenfurtner

We studied the relationship between color afterimages and complementary colors. The hues of afterimages of 24 inducer hues, uniformly distributed over the rgb color circle, were measured by an iterative method of adjustment. The judgment of equality of hue of the afterimage and a synthesized patch was effectively judged at the moment immediately after the switch-off of the inducer, when the synthesized patch went through any number of iterative adjustments. The two patches—both phenomenally present, but only one optically presented—appeared to the left and right of a fixation mark that was fixated throughout the whole procedure. Thus, both patches were present in eccentric vision. The hues of afterimages were found to be quite different from the hue of the complementary of the inducer. Almost one half of the color circle (orange to chartreuse) leads to afterimage hues in a narrow region of purples. This implies that color circles based on diametrically opposed inducer–afterimage hues are necessarily inconsistent. Yet, perhaps surprisingly, the relation between primary and afterimage hues is still approximately an involution (they are reciprocally related).


Sign in / Sign up

Export Citation Format

Share Document