格蕴涵代数的生成(∈,∈∨q)-Ⅳ模糊LI理想

基于常规Ⅳ模糊集合包含序?,引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明了生成(∈,∈∨q)-Ⅳ模糊LI理想的表示定理.为研究(∈,∈∨q)-Ⅳ模糊LI理想全体之集在?下的格结构特征奠定了基础.     

Point-line incidence on Grassmannians and majority logic decoding of Grassmann codes

In this article, we consider the decoding problem of Grassmann codes using majority logic. We show that for two points of the Grassmannian, there exists a canonical geodesic between these points once a complete flag is fixed. These geodesics are used to construct a large set of parity checks orthogonal on a coordinate of the code, resulting in a majority decoding algorithm.     

Negation and partial axiomatizations of dependence and independence logic revisited

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms.     

Terrain classification using intelligent tire

A wheeled ground robot was designed and built for better understanding of the challenges involved in utilization of accelerometer-based intelligent tires for mobility improvements. Since robot traction forces depend on the surface type and the friction associated with the tire-road interaction, the measured acceleration signals were used for terrain classification and surface characterization. To accomplish this, the robot was instrumented with appropriate sensors (a tri-axial accelerometer attached to the tire innerliner, a single axis accelerometer attached to the robot chassis and wheel speed sensors) and a data acquisition system. Wheel slip was measured accurately using encoders attached to driven and non-driven wheels. A fuzzy logic algorithm was developed and used for terrain classification. This algorithm uses the power of the acceleration signal and wheel slip ratio as inputs and classifies all different surfaces into four main categories; asphalt, concrete, grass, and sand. The performance of the algorithm was evaluated using experimental data and good agreements were observed between the surface types and estimated ones.     

Predictive Sequential Research Design to Study Complex Social Phenomena

Social phenomena in their simplest form share infinite complexities and relationships, and by interacting with other entities, their levels of complexity become exponentially inexplicable and incomprehensible. Using a single form of study in complex phenomena could be insufficient, and new forms of analysis should be opened that allow for observing the multidimensionality of study problems from integrative perspectives. The emergence of research using mixed methods attempts to reconcile these methodologies through integration, configuring a stage of interconnection between research paradigms that cause cuts and leaks that may or may not be consistent with the study’s object. At the time of integration, vices can be created by specific value and subjectivity judgments, with investigative diffraction being an alternative to extend integration through data fracture and redirecting the object of study. This work proposes a Predictive Sequential Research Design (DISPRE) for complex social phenomena, which uses fuzzy logic as a tool to solve the information biases caused by the investigative diffraction of each methodological approach as a strategy to capture, explain, understand and predict the intrinsic complexity of the social entity under study.     

A Visibly Observable,Programmable Supramolecular Logic Platform and Its Application in Smart Thiols Sensing

Molecular computation is increasingly attractive as a tool for medical and biological research because of its programmability and controllability. Herein, a novel visibly observable supramolecular system that can execute multi-level logic functions on a uniform platform was constructed. By employing some programming factors, we succeeded in not only constructing a whole set of contrary logic pairs, but also building up a logic network that can implement advanced functions. Further, the platform is applied to sense thiols in specific environments. The developed method can efficiently filter signals of thiols in intracellular conditions and measure cysteine levels quantitatively in serum conditions. The visual readout makes the method particularly suitable for point-of-care testing. The supramolecule-based platform illustrates not only an incremental advance for the construction of programmable molecular logic systems, but also viable applications in intelligent thiol analysis.